Lagrangeova věta (teorie grup): Porovnání verzí
Smazaný obsah Přidaný obsah
Řádek 34:
== Důsledky ==
Řád každého prvku <math> a\in G </math>, neboli nejnižžší číslo ''n'', pro které <math>a^n=e</math>, je
Lagrangeova věta je silnějším tvrzením než [[Eulerova věta (teorie čísel)|věta Euler-Fermatova]]. Dá se ukázat, že množina [[Zbytek po dělení|zbytků modulo n]], které jsou s ''n'' nesoudělná, tvoří s operací násobení grupu. Neutrální prvek je ''e'' = 1; existence inverzního prvku je důsledek [[Bézoutova rovnost|Bézoutovy rovnosti]] pro ''gcd(g,n)'' = 1; asociativita vyplývá z vlastností [[Modulární aritmetika|modulární aritmetiky]]; uzavřenost grupy je zřejmá, neboť součin dvou čísel nesoudělných s ''n'' je rovněž nesoudělný, jakož i jeho zbytek po dělení modulo ''n''. Řád takové grupy je právě <math>\varphi (n)</math>, což je [[Eulerova funkce]]. Podle Lagrangeovy věty má každý prvek ''g'' nějaký řád ''k'', který je dělitelem čísla <math>\varphi (n)</math>. Odtud plyne
<math>\varphi (n)=kd</math>, kde <math>d\in\mathbb{Z}</math>
Řádek 40 ⟶ 41:
<math>g^{\varphi (n)}=g^{kd}=({g^k})^d=e^d=e</math>
což je ekvivalentí zápisu
<math>g^{\varphi (n)} \equiv 1 \pmod{n}</math>▼
▲<math>g^{\varphi (n)} \equiv 1 \pmod{n}</math>.
== Příbuzná tvrzení ==
|