Struktur aljabar → Teori grup Teori grup
Gagasan dasar Subgrup Subgrup normal Grup hasil bagi darab langsung semi-darab langsung Homomorfisme grup kernel bayangan jumlah langsung karangan bunga sederhana hingga takhingga kontinu multiplikatif aditif siklik Abel dihedral nilpoten terselesaikan aksi Glosarium teori grup Daftar topik teori grup
Grup hingga Klasifikasi grup sederhana hingga siklik bergantian tipe Lie sporadik Teorema Cauchy Teorema Lagrange Teorema Sylow Teorema Hall grup-p Grup Abel elementer Grup Frobenius Pengganda Schur Grup simetrik ${\displaystyle \mathrm {S} _{n}}$ Grup Klein ${\displaystyle \mathrm {V} }$ Grup dihedral ${\displaystyle \mathrm {D} _{n}}$ Grup kuaternion ${\displaystyle \mathrm {Q} }$ Grup disiklik ${\displaystyle \mathrm {Dic} _{n}}$
Grup diskret Kekisi Bilangan bulat (${\displaystyle \mathbb {Z} }$) Grup bebas Grup modular ${\displaystyle \mathrm {PSL} (2,\mathbb {Z} )}$ ${\displaystyle \mathrm {SL} (2,\mathbb {Z} )}$ Grup aritmetika Kekisi Grup hiperbolik
Topologis dan Grup Lie Solenoid Lingkaran Linear umum ${\displaystyle \mathrm {GL} (n)}$ Linear khusus ${\displaystyle \mathrm {SL} (n)}$ Ortogonal ${\displaystyle \mathrm {O} (n)}$ Euklides ${\displaystyle \mathrm {E} (n)}$ Ortogonal khusus ${\displaystyle \mathrm {SO} (n)}$ Uner ${\displaystyle \mathrm {U} (n)}$ Uniter khusus ${\displaystyle \mathrm {SU} (n)}$ Simplektik ${\displaystyle \mathrm {Sp} (n)}$ G2 F4 E6 E7 E8 Lorentz Poincaré konformal Difeomorfisme Gelung Grup Lie berdimensi takhingga ${\displaystyle O(\infty )}$ ${\displaystyle \mathrm {SU} (\infty )}$ ${\displaystyle \mathrm {Sp} (\infty )}$
Grup aljabar Grup aljabar linear Grup reduktif Varietas Abel Kurva eliptik
l b s

Teorema Lagrange, dalam teori grup, bagian dari matematika, menyatakan bahwa jika H adalah subgrup dari grup terbatas G, maka urutan dari H membagi urutan G (urutan grup adalah jumlah elemen yang dimilikinya). Teorema ini dinamai Joseph-Louis Lagrange. Varian berikut juga mengidentifikasi rasio ${\displaystyle |G|/|H|}$, sebagai indeks [G : H], didefinisikan sebagai jumlah kohimpunan kiri dari H dalam G.

Varian ini berlaku meskipun G tidak terbatas, asalkan ${\displaystyle |G|}$, ${\displaystyle |H|}$, dan [G : H] ditafsirkan sebagai bilangan kardinal.

Coset kiri dari H di G adalah kelas ekivalen dari hubungan ekivalen tertentu pada G: khusus, panggil x dan y di G setara jika ada h di H sedemikian rupa sehingga x = yh. Oleh karena itu koset kiri membentuk partisi dari G. Setiap koset kiri aH memiliki kardinalitas yang sama dengan H karena ${\displaystyle x\mapsto ax}$ mendefinisikan kebijaksanaan ${\displaystyle H\to aH}$ (the inverse is ${\displaystyle y\mapsto a^{-1}y}$). Jumlah koset kiri adalah indeks [G : H]. Dengan tiga kalimat sebelumnya,

${\displaystyle \left|G\right|=\left[G:H\right]\cdot \left|H\right|.}$

Teorema Lagrange dapat diperluas ke persamaan indeks antara tiga subgrup G.^[1]

Jika kita ambil K = (e} (e adalah elemen identitas dari G), lalu [G : (e}] = |G| dan [H : (e}] = |H|. Oleh karena itu kita dapat memulihkan persamaan aslinya |G| = [G : H] |H|.

Konsekuensi dari teorema ini adalah bahwa urutan elemen apa pun a dari grup berhingga (yaitu bilangan bulat positif terkecil k dengan a^k = e, di mana e adalah elemen identitas grup) membagi urutan grup itu, karena urutan a sama dengan urutan subgrup siklik dihasilkan dari a. Jika grup memiliki elemen n, maka grup akan mengikuti

${\displaystyle \displaystyle a^{n}=e{\mbox{.}}}$

Ini dapat digunakan untuk membuktikan teorema kecil Fermat dan generalisasinya, Teorema Euler. Kasus-kasus khusus ini telah diketahui jauh sebelum teorema umum dibuktikan.

Teorema ini juga menunjukkan bahwa setiap kelompok orde utama adalah siklik dan sederhana. Hal ini pada gilirannya dapat digunakan untuk membuktikan teorema Wilson, bahwa jika p adalah bilangan prima maka p adalah faktor dari ${\displaystyle (p-1)!+1}$.

Teorema Lagrange juga dapat digunakan untuk menunjukkan bahwa ada banyak bilangan prima yang tak terhingga: jika ada bilangan prima terbesar p, kemudian pembagi prima q dari bilangan Mersenne ${\displaystyle 2^{p}-1}$ akan menjadi sedemikian rupa sehingga urutan 2 dalam grup perkalian ${\displaystyle (\mathbb {Z} /q\mathbb {Z} )^{*}}$ (lihat aritmatika modular) membagi urutan ${\displaystyle (\mathbb {Z} /q\mathbb {Z} )^{*}}$, yaitu ${\displaystyle q-1}$. Karenanya p < q, bertentangan dengan asumsi bahwa p adalah bilangan prima terbesar.^[2]

Teorema Lagrange memunculkan pertanyaan sebaliknya, apakah setiap pembagi urutan suatu kelompok adalah urutan dari suatu subgrup. Ini tidak berlaku secara umum: diberi grup terbatas G dan pembagi d dari |G|, belum tentu ada subgrup G dengan urutan d . Contoh terkecil adalah A₄ (grup bergantian dengan derajat 4), yang memiliki 12 elemen tetapi tidak ada subgrup berorde 6.

"Kebalikan dari Teorema Lagrange "(CLT) grup adalah grup berhingga dengan properti bahwa untuk setiap pembagi dari urutan grup, ada subkelompok dari urutan. Diketahui bahwa grup CLT harus solvable dan setiap grup selesaikan adalah grup CLT. Namun, terdapat grup yang dapat dipecahkan yang bukan CLT (misalnya, A ₄ ) dan grup CLT yang tidak dapat diselesaikan (misalnya, S _{4 </ sub>, kelompok simetris derajat 4).}

Ada sebagian percakapan dalam teorema Lagrange. Untuk kelompok umum, Teorema Cauchy menjamin keberadaan suatu unsur, dan karenanya dari subkelompok siklik, dengan urutan bilangan prima apa pun yang membagi urutan grup. Teorema Sylow memperluas hal ini hingga keberadaan subkelompok ordo yang sama dengan pangkat maksimal bilangan prima apa pun yang membagi ordo grup. Untuk grup yang dapat dipecahkan, Teorema Hall menegaskan keberadaan subgrup ordo yang sama dengan pembagi kesatuan mana pun dari urutan grup (yaitu, coprime pembagi untuk itu

Kebalikan dari teorema Lagrange menyatakan bahwa jika d adalah pembagi dari urutan grup G, maka terdapat subgrup dimana |H| = d.

Jika memeriksa grup bergantian A₄, himpunan genap permutasi sebagai subgrup dari Grup simetris S₄.

A₄ = (e, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3), (1 2 3), (1 3 2), (1 2 4), (1 4 2), (1 3 4), (1 4 3), (2 3 4), (2 4 3)}.

|A₄| = 12 jadi pembaginya adalah 1, 2, 3, 4, 6, 12. Asumsikan sebaliknya bahwa terdapat subgrup H pada A₄ dengan |H| = 6.

Misalkan V menjadi subgrup non-cyclic dari A₄ yang disebut [[Klein empat grup] ].

V = (e, (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)}.

Maka K = H ⋂ V. Karena H dan V adalah subgrup dari A₄, K juga merupakan subgrup dari A₄.

Dari teorema Lagrange, urutan K harus membagi 6 dan 4, urutan H dan {{mvar | V} } masing-masing. Dua bilangan bulat positif yang membagi 6 dan 4 adalah 1 dan 2. Begitu |K| = 1 atau 2.

Menganggap |K| = 1, menjadi K = (e}. Jika H tidak berbagi elemen apa pun dengan V, maka 5 elemen di H selain Elemen identitas e harus menjadi dari bentuk (a b c) dimana a, b, c adalah elemen berbeda di (1, 2, 3, 4}.

Karena setiap elemen bentuk (a b c) kuadrat adalah (a c b), dan (a b c)(a c b) = e, any element of H dalam bentuk (a b c) harus dipasangkan dengan kebalikannya. Secara khusus, 5 elemen yang tersisa dari H harus berasal dari pasangan elemen yang berbeda di A₄ yang tidak ada di V. Hal ini tidak mungkin karena pasangan elemen harus genap dan tidak dapat berjumlah hingga 5 elemen. Jadi, asumsi |K| = 1 salah, jadi |K| = 2.

Kemudian, K = (e, v} dimana v ∈ V, v harus dalam bentuk (a b)(c d) dimana a, b, c, d adalah elemen yang berbeda dari (1, 2, 3, 4}. Empat elemen lainnya dalam H adalah siklus dengan panjang 3.

Perhatikan bahwa coset dihasilkan oleh subgrup grup adalah partisi dari grup. Koset yang dihasilkan oleh subgrup tertentu bisa identik satu sama lain atau disjoint. Indeks subgrup dalam satu grup [A₄ : H] = |A₄|/|H| adalah jumlah koset yang dihasilkan oleh subkelompok itu. Karena |A₄| = 12 and |H| = 6, H akan menghasilkan dua koset kiri, yang satu sama dengan H dan yang lainnya, gH, yang panjangnya 6 dan menyertakan semua elemen di A₄ tidak termasuk H.

Karena hanya ada 2 koset berbeda yang dihasilkan oleh H, maka H harus normal. Karena, H = gHg⁻¹ (∀g ∈ A₄). Secara khusus, ini benar untuk g = (a b c) ∈ A₄. Karena H = gHg⁻¹, gvg⁻¹ ∈ H.

Tanpa kehilangan keumuman, asumsikan a = 1, b = 2, c = 3, d = 4. Kemudian g = (1 2 3), v = (1 2)(3 4), g⁻¹ = (1 3 2), gv = (1 3 4), gvg⁻¹ = (1 4)(2 3). Bertransformasi kembali, kita dapatkan gvg⁻¹ = (a d)(b c). Karena V berisi semua transposisi terputus-putus dalam A₄, gvg⁻¹ ∈ V. Hence, gvg⁻¹ ∈ H ⋂ V = K.

Karena gvg⁻¹ ≠ v, kami telah menunjukkan bahwa ada elemen ketiga di K. Tapi sebelumnya kami berasumsi seperti itu |K| = 2, jadi kami memiliki kontradiksi.

Oleh karena itu, asumsi awal kita bahwa ada subgrup berorde 6 tidak benar dan akibatnya tidak ada subgrup orde 6 pada A₄ dan kebalikan dari teorema Lagrange belum tentu benar. Q.E.D.

Lagrange tidak membuktikan teorema Lagrange dalam bentuk umumnya. Ia menyatakan, dalam artikelnya tentangRéflexions sur la résolution algébrique des équations,^[3] bahwa jika polinomial dalam variabel n variabelnya diubah dalam semua cara n !, jumlah polinomial berbeda yang diperoleh selalu merupakan faktor dari n!. (Misalnya, jika variabel x , y , dan z diubah dalam 6 kemungkinan cara dalam polinomial x + y − z maka kami mendapatkan total 3 polinomial berbeda: x + y − z, x + z − y, dan y + z − x. Perhatikan bahwa 3 adalah faktor 6.) Banyaknya polinomial tersebut adalah indeks dalam grup simetris S_n dari subkelompok H dari permutasi yang mempertahankan polinomial. (Misalnya x + y − z, subgrup H pada S₃ berisi identitas dan transposisi (x y).) So the size of H membagi n!. Dengan perkembangan kelompok abstrak kemudian, hasil Lagrange pada polinomial ini diakui untuk memperluas teorema umum tentang kelompok hingga yang sekarang menyandang namanya.

Dalam miliknya Disquisitiones Arithmeticae pada tahun 1801, Carl Friedrich Gauss membuktikan teorema Lagrange untuk kasus khusus ${\displaystyle (\mathbb {Z} /p\mathbb {Z} )^{*}}$, kelompok perkalian bilangan bulat bukan nol modulo p , dengan p adalah bilangan prima.^[4] In 1844, Augustin-Louis Cauchy proved Lagrange's theorem for the symmetric group S_n.^[5]

Camille Jordan akhirnya membuktikan teorema Lagrange untuk kasus grup permutasi mana pun pada tahun 1861.^[6]

• Bray, Henry G. (1968), "A note on CLT groups", Pacific J. Math., 27 (2): 229–231, doi:10.2140/pjm.1968.27.229  
• Gallian, Joseph (2006), Contemporary Abstract Algebra (edisi ke-6th), Boston: Houghton Mifflin, ISBN 978-0-618-51471-7 
• Dummit, David S.; Foote, Richard M. (2004), Abstract algebra (edisi ke-3rd), New York: John Wiley & Sons, ISBN 978-0-471-43334-7, MR 2286236 
• Roth, Richard R. (2001), "A History of Lagrange's Theorem on Groups", Mathematics Magazine, 74 (2): 99–108, doi:10.2307/2690624, JSTOR 2690624 

• (Inggris) Bray, Nicolas. "Lagrange's Group Theorem". MathWorld.