Řád prvku

Řád prvku a {\displaystyle a\,\!} v grupě G {\displaystyle G\,\!} je takové nejmenší přirozené číslo n {\displaystyle n\,\!} , že a n = 1 {\displaystyle a^{n}=1\,\!} (přičemž 1 {\displaystyle 1\,\!} je neutrální prvek grupy G {\displaystyle G\,\!} ), značíme jej ord a {\displaystyle \operatorname {ord} \,a\,\!} nebo | a | {\displaystyle |a|\,\!} .

Definice

Buď dána grupa G {\displaystyle G\,\!} , a prvek a G {\displaystyle a\in G\,\!} . Je-li cyklická grupa generovaná prvkem a {\displaystyle a\,\!} konečná, pak řád prvku a {\displaystyle a\,\!} v grupě G {\displaystyle G\,\!} klademe roven řádu této cyklické grupy, jinak 0 {\displaystyle 0\,\!} (u některých autorů {\displaystyle \infty \,\!} ).

Tvrzení

  • Z Lagrangeovy věty plyne, že řád prvku je dělitelem řádu grupy.
  • Pokud je řád prvku roven řádu grupy, pak je tento prvek jejím generátorem a tato grupa je cyklická.
  • Buď f : G H {\displaystyle f:G\rightarrow H\,\!} homomorfismus grup a a G {\displaystyle a\in G\,\!} prvek konečného řádu, pak ord f ( a ) | ord a {\displaystyle \operatorname {ord} \,f(a)|\operatorname {ord} \,a\,\!} . Je-li navíc f {\displaystyle f\,\!} injektivní, pak ord f ( a ) = ord a {\displaystyle \operatorname {ord} \,f(a)=\operatorname {ord} \,a\,\!} .
  • Neutrální prvek je jediný prvek grupy s řádem 1 {\displaystyle 1\,\!} (plyne z jednoznačnosti neutrálního prvku).

Literatura

  • BERAN, Ladislav. Grupy a svazy. Praha: SNTL – Nakladatelství technické literatury, 1974. (Matematický seminář SNTL, 5). Kapitola 2.4 Podgrupa generovaná komplexem, s. 67–68. 
  • ROSICKÝ, Jiří. Algebra. Brno: Masarykova univerzita, 2001. ISBN 80-210-2964-1. Kapitola 1.4 Základní vlastnosti grup, s. 26. 

Odkazy

Související články

Pahýl
Pahýl
Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.