コーシーの定理 (群論)

基本概念

対称群 $S n$

群論において、コーシーの定理（コーシーのていり; 英: Cauchy's theorem）とは次のような定理である。

コーシーの定理 ― 有限群 $G$ の位数 $| G |$ が素数 $p$ の倍数であれば、 $G$ は位数 $p$ の元を含む。

概論

ラグランジュの定理によれば、部分群 $H$ の位数 $| H |$ は必ず元の群 $G$ の位数 $| G |$ を割り切る。

|H|\,{\big |}\,|G|

すると、素数位数の群は自明な部分群 ${e}$ , $G$ 以外の部分群を持たないことになるが、群の基本的性質から、これは素数位数の群が必ず単独の生成元 $g$ で生成される巡回群 $⟨ g ⟩$ であることを意味する。

このことから、群の位数の素因数分解と、部分群に素数位数の巡回群が存在することの関連が容易に予想されるが、これを1845年に示したのがコーシーの定理である^[1]^[2]。

コーシーの定理が最初に示されてから27年後の1872年に、これを素数 $p$ の冪（べき） $p n$ に拡張したシローの定理が証明された。

証明

証明 (McKay 1959): 群 $G$ の位数は素数 $p$ で割り切れるとする。集合 $S$ を次で定める。

S:=\{\,(x_{1},...,x_{p})\in G^{p}\mid x_{1}...x_{p}=e\,\}.

このとき、 $(x 1, ..., x p)$ が $S$ に属すならば、 $(x 2, x 3, ..., x p, x 1),$ $(x p, x 1, x 2, ..., x p - 1)$ も $S$ に属す。写像 $f : S \to S$ を、 $f(x_{1},...,x_{p})=(x_{2},x_{3},...,x_{p},x_{1})$ で定める。 $f$ は全単射となる。よって、 $f$ は対称群 $Sym(S)$ の元であり、互いに素な巡回置換の積で表すことができる。 $p$ 個の $f$ を合成してできる写像 $f p$ は恒等写像であり、 $Sym(S)$ の単位元であるので、 $f$ の表現における各巡回置換の長さは $1$ あるいは $p$ である。さらに、 $f$ の表現における長さ 1 の巡回置換の個数を $s$ 、長さ $p$ の巡回置換の個数を $t$ とすると、 $|S|=s+pt$ である。なお、 $s$ は $f$ の不動点の個数でもある。 $|S|=|G|^{p-1}$ であるから、 $| S |$ は $p$ で割り切れる。ゆえに、 $s$ も $p$ で割り切れる。そして、 $(e, ..., e)$ は $S$ に属し、 $f(e,...,e)=(e,...,e)$ なので、 $s > 0$ であり、 $p | s$ より $s \geq p$ である。ゆえに $f$ は $(e, ..., e)$ 以外にも不動点を持つ。 $f$ の定義より $f$ の不動点は $(a,...,a)(a\in G)$ という形で表せる。 $f$ の $(e, ..., e)$ 以外の不動点の1つ $(x, ..., x)$ をとる。 $x \neq e$ であり、 $S$ の定義より $x p = e$ となる。Q.E.D.

脚注

[脚注の使い方]

^ Cauchy (1845)
^ Cauchy (1932)

参考文献

Cauchy, A.-L. (1845), “Mémoire sur les arrangements que l'on peut former avec des lettres données, et sur les permutations ou substitutions à l'aide desquelles on passe d'un arrangement à un autre”, Exercises d'analyse et de physique mathématique (Paris) 3: 151-252
Cauchy, A.-L. (1932) (PDF), Oeuvres complètes, second series, 13 (reprinted ed.), Paris: Gauthier-Villars, pp. 171–282
McKay, James H. (1959), “Another proof of Cauchy's group theorem”, Amer. Math. Monthly 66: 119, doi:10.2307/2310010, MR 0098777, Zbl 0082.02601

外部リンク

群論：Cauchyの定理 - YouTube - (McKay 1959)の解説。

Read other articles:

New Delhi

New Delhi नई दिल्ली نئ دہلی ਦੇਹਲੀMunicipal corporationDari atas, searah jarum jam: Kuil Lotus, Humayun's Tomb, Istana Connaught, Kuil Akshardham dan Monumen Nasional Gerbang India. LambangNegara IndiaNegara BagianTeritori Ibukota Nasional DelhiHari jadi1911Pemerintahan • Wakil GubernurTejendra Khanna • Kepala MenteriSheila DikshitLuas[1] • Municipal corporation42,7 km2 (16,5 sq mi)Ketinggian216...

Porter Hall

Porter HallHall pada 1930LahirClifford Porter Hall(1888-09-19)19 September 1888Cincinnati, OhioMeninggal6 Oktober 1953(1953-10-06) (umur 65)Los Angeles, CaliforniaPekerjaanPemeranTahun aktif1926–1953Suami/istriGeraldine Brown (m. 1927)Anak2 Clifford Porter Hall (19 September 1888 – 6 Oktober 1953) adalah seorang pemeran karakter Amerika Serikat yang dikenal karena tampil dalam sejumlah film pada 1930an dan 1940an. Hall biasan...

Agus Yuniarto

Agus Yuniarto Kepala Staf Komando Gabungan Wilayah Pertahanan II ke-3Masa jabatan23 Juni 2021 – 2 Agustus 2021 PendahuluOerip SoekotjoPenggantiMuhammad Saleh Mustafa Informasi pribadiLahir0 Agustus 1963 (umur 60)IndonesiaAlma materAkademi Militer (1986)Karier militerPihak IndonesiaDinas/cabang TNI Angkatan DaratMasa dinas1986–2021Pangkat Mayor Jenderal TNINRP30879SatuanInfanteriSunting kotak info • L • B Mayor Jenderal TNI (Purn.) Agus Yuniarto, S...

1990–91 OHL season

The 1990–91 OHL season was the 11th season of the Ontario Hockey League. Sixteen teams each played 66 games. The Sault Ste. Marie Greyhounds won the J. Ross Robertson Cup, defeating the Oshawa Generals. The Detroit Compuware Ambassadors are granted a franchise. Expansion/Realignment Detroit Compuware Ambassadors On December 11, 1989, the Detroit Compuware Ambassadors were approved to join the league for the 1990–91 season as an expansion team. The club was owned by former Windsor Compuwar...

Fairfield Shipbuilding and Engineering Company

Scottish shipbuilding company Fairfield Shipbuilding and Engineering CompanyCompany typePublic companyIndustryShipbuildingPredecessorRandolph, Elliott and Co.Randolph, Elder and Co.John Elder & Co.Founded1834Defunct1968FateMerged with others to form Upper Clyde ShipbuildersSuccessorGovan ShipbuildersHeadquartersGovan, Scotland, UKKey peopleCharles RandolphJohn ElderSir William PearceSir James LithgowSir Alexander KennedyProductsNaval shipsMerchant shipsOcean linersMarine enginesParentNort...

Glass cliff

Workplace phenomenon affecting women in leadership roles This article is about workplace discrimination. For the similarly named developmental psychology experiment, see Visual cliff. Part of a series onFeminism History Feminist history History of feminism Women's history American British Canadian German Waves First Second Third Fourth Timelines Women's suffrage Muslim countries US Other women's rights Women's suffrage by country Austria Australia Canada Colombia India Japan Kuwait Liechtenst...

Alpentor

Glacially-formed areas in the Alps An alpentor (literally Alpine gateway, plural alpentore) in geology is the point where an entire glacier forced its way through to the Alpine Foreland from the Alps during the ice age. Alpentore during the Würm glaciation Murnauer Moos with its alpentor During the Würm glaciation, where several glaciers from different Alpine valleys met or flowed through narrow passages at the edge of the Alps, ice was piled up. Such bottlenecks had a significant impact on...

Tengaran, Semarang

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Tengaran, Semarang – berita · surat kabar · buku · cendekiawan · JSTOR TengaranKecamatanPeta lokasi Kecamatan TengaranNegara IndonesiaProvinsiJawa TengahKabupatenSemarangPemerintahan • C...

2022年內華達州副州長選舉

2022年內華達州副州長選舉 ← 2018 2022年11月8日 2026 → 获提名人斯塔夫羅斯·安東尼麗莎·卡諾·伯克黑德政党共和黨民主黨民選得票 500994 463871 得票率 49.4% 45.8% 縣市結果安東尼: 40–50% 50–60% 60–70% 70–80% 80–90%伯克黑德: 40–50% 选前副州長麗莎�...

內閣總理大臣

关于与「內閣總理大臣」標題相近或相同的条目页，請見「內閣總理大臣 (消歧義)」。日本國內閣總理大臣內閣總理大臣紋章現任岸田文雄自2021年10月4日在任尊称總理、總理大臣、首相、阁下官邸總理大臣官邸提名者國會全體議員選出任命者天皇任期四年，無連任限制[註 1]設立法源日本國憲法先前职位太政大臣（太政官）首任伊藤博文设立1885年12月22日，...

G.I. Joe: A Real American Hero 25th Anniversary

G.I. Joe: A Real American Hero 25th AnniversaryTypeAction FiguresCompanyHasbroCountryUnited StatesAvailability2007–2009Official website 2007 marked the 25th anniversary of the G.I. Joe: A Real American Hero toyline. To commemorate the event, Hasbro released a G.I. Joe: A Real American Hero 25th Anniversary collection of newly sculpted 3¾ figures based on classic and new designs of many of the line's best known and most popular characters.[1] The 25th Anniversary figures added a swi...

西遊記大結局之仙履奇緣

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。此條目需要編修，以確保文法、用詞、语气、格式、標點等使用恰当。 (2013年8月6日)請按照校對指引，幫助编辑這個條目。（幫助、討論）此條目剧情、虛構用語或人物介紹过长过细，需清理无关故事主轴的细节、用語和角色介紹。 (2020年10月6日)劇情、用語和人物介紹都只是用於了解故事主軸，輔助�...

STS-61-H

STS-61-HJenis misiPengiriman satelitOperatorNASADurasi misi7 hari (rencana) Properti wahanaWahana antariksaPesawat Ulang Alik Columbia AwakJumlah awak7AwakMichael L. CoatsJohn BlahaRobert C. SpringerJames F. BuchliAnna L. FisherNigel WoodPratiwi Sudarmono Awal misiTanggal luncur24 Juni 1986DibatalkanTempat peluncuranKennedy LC-39A Akhir MisiTanggal mendarat1 Juli 1986 MuatanSkynet 4A, Palapa B3, Westar 6S STS-61-H adalah misi wahana antariksa (Space Shuttle) Amerika Serikat y...

Metz

Disambiguazione – Se stai cercando altri significati, vedi Metz (disambigua). Metzcomune (dettagli) Metz – Veduta LocalizzazioneStato Francia RegioneGrand Est Dipartimento Mosella ArrondissementMetz-Città CantoneCantoni di Metz AmministrazioneSindacoFrançois Grosdidier (LR) dal 3-7-2020 TerritorioCoordinate49°07′N 6°10′E49°07′N, 6°10′E (Metz) Altitudine179 m s.l.m. Superficie41,93 km² Abitanti121 332[1] (2016) Densità2...

Barona (Milano)

BaronaIl parco Andrea Campagna della Barona Stato Italia Regione Lombardia Provincia Milano Città Milano CircoscrizioneMunicipio 6 Altitudine114 m s.l.m. Abitanti85 000 ab. Nome abitantibaronesi Patronosanti Nazaro e Celso BaronaBarona (Milano) La Barona (Barona in dialetto locale, IPA: [baˈruna][1]) è un quartiere e antica parrocchia di Milano posta nella zona sud-occidentale della città, appartenente al Municipio 6.[2] In precedenza borgo rurale ...

Марк Випсаний Агриппа

В Википедии есть статьи о других людях с именем Марк Випсаний Агриппа. Запрос «Агриппа» перенаправляется сюда; см. также другие значения. Марк Випсаний АгриппаMARCUS VIPSANIUS AGRIPPA Портрет Агриппы, из коллекции Луврa «Античные Греция, Этрурия, Рим» (ок. до P.X. 25—24, бюст, мрамор, в�...

2005年のバレンシアグランプリ

2005年のバレンシアグランプリレース詳細 2005年のロードレース世界選手権全17戦中第17戦決勝日 2005年11月6日開催地バレンシア・サーキット開催コース常設サーキット 4.051km MotoGP ポールポジションファステストラップセテ・ジベルナウマルコ・メランドリ 1:31.874 1:33.043 表彰台 1. マルコ・メランドリ 2. ニッキー・ヘイデン 3. バレンティーノ・ロッシ 250...

Victoria Versicherung (Berlin-Kreuzberg)

Ehemaliges Victoria-Gebäude in der Lindenstraße 20–25 in Berlin-Kreuzberg Die Victoria-Versicherung ist ein denkmalgeschütztes Bauwerk der gleichnamigen Versicherungsgesellschaft (heute: Ergo Group) in der Lindenstraße im Berliner Ortsteil Kreuzberg. Inhaltsverzeichnis 1 Geschichte und Funktion des Gebäudes 2 Architektur des Gebäudes 3 Sonstiges 4 Literatur 5 Weblinks 6 Einzelnachweise Geschichte und Funktion des Gebäudes Das Gebäude wurde im Zeitraum von 1893 bis 1913 vom Bauingeni...

First Hellenic Republic

1822–32 unrecognized, provisional Greek state during the Greek Revolution See also: History of the Hellenic Republic This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: First Hellenic Republic – news · newspapers · books · scholar · JSTOR (April 2020) (Learn how and when to remove this message) Provisional Adm...

Adnan Selçuk Mızraklı

Former Mayor of Diyarbakır, Turkey Adnan Selçuk MizraklıMayor of DiyarbakırIn office31 March 2019 – 19 August 2019Preceded byCumali AtillaSucceeded byHasan Basri GüzeloğluMember of the Grand National AssemblyIn office24 June 2018 – 31 March 2019ConstituencyDiyarbakır (2018) Personal detailsBorn1963Siverek, Şanliurfa Province, TurkeyPolitical partyPeoples' Democratic PartyOccupationSurgeon, politician Adnan Selçuk Mızraklı (born in Siverek, 1963) is a Kurdish p...

PROFILPELAJAR.COM