Lagrange teoremi (grup teorisi)
Lagrange teoremi, grup teorisinde herhangi bir sonlu grubunun herhangi bir altgrubunun derecesinin (eleman sayısının) 'nin derecesini böldüğünü belirten bir teoremdir. Adını matematikçi Joseph-Louis Lagrange'dan almıştır.
Teoremin aşağıdaki hali bir altgrubu için sadece değil, ayrıca bu bölümün indisine de ('nin 'deki sol koset sayısına da) eşit olduğunu söyler.
Önerme
Teorem:
- Bir grubunun her altgrubu için sağlanır.
Görüldüğü gibi teoremin bu hali 'nin sonlu olmasını gerektirmez. Çünkü , ve kardinal sayılar olarak düşünülebilir.
Kanıt
'nin sol kosetlerini şöyle bir ilişkiyle 'nin içinde denklik sınıfları olarak düşünebiliriz:
- ise bir için oluyorsa ve denk olsun.
Bu denklikten ötürü 'yi ayrık altgruplarının birleşimi olarak yazabiliriz. Bu 'ların sayısı ise 'nin 'deki sol kosetleri sayısıdır. ()
olduğundan dolayı:
- olur.
□
Kullanım Alanları
Lagrange teoreminin iddiası oldukça güçlüdür. Lagrange teoremi sayesinde, bir grubunun altgruplarını çok daha hızlı bir şekilde arayabiliriz. Mesela bu teorem sayesinde 300 elemanlı bir grubun içinde altgrup ararken 151 farklı eleman elde etmişsek bu elemanları kapsayan en küçük altgrubun grubun kendisi olduğunu doğrudan söyleme şansı doğar.
Lagrange teoremi, elemanların derecesi hakkında da bilgi verir. bir grup elemanı olsun. 'nın eleman sayısı, 'nin eleman sayısını bölmek zorunda olduğundan 'nın derecesinin de 'yi böldüğünü söylemek mümkündür. Ayrıca, buna benzer bir mantıkla, bir grubun eleman sayısı asal ise 'nın tüm grubu kapsaması gerektiği sonucuna varırız. Bunun sonucu olarak eleman sayısı asal olan tüm grupların siklik (döngüsel) olduğu ve hiçbir bariz olmayan altgrubunun bulunmadığı ortaya çıkar.
Ancak Lagrange teoremi, her bölen için bir altgrubun olması gerektiğini söylemez. Mesela 'ün eleman sayısı 12 olsa da 6 elemanlı hiçbir altgrubu bulunmamaktadır. Aynı zamanda bir bölen için kaç altgrubun bulunduğunu da söylemez. Ancak Cauchy Teoremi, Sylow Teoremi ve Hall Teoremi gibi daha zayıf şartlar altında altgrupların var olduğunu iddia eden teoremler mevcutttur.
![]() | Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
![]() | Cebir ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |