Cyklická grupa

Grupa G je cyklická právě tehdy, když existuje g∈G takový, že G={g^k|k∈Z}. Takovému jejímu prvku se říká generátor.

Ekvivalentní definice: G je cyklická, když existuje g∈G a jediná podgrupa G obsahující toto g je celé G (nejsou žádné "menší" podgrupy obsahující g).

Každá cyklická grupa je (homomorfním) obrazem grupy celých čísel, takže je nejvýše spočetná.

Každá konečná grupa, která má prvočíselný počet prvků, je cyklická. Plyne to z Lagrangeovy věty.

Každá cyklická grupa je automaticky Abelova, neboť všechny celé mocniny generátoru komutují. Toto a že je vůbec lze zavést je důsledkem pravidla asociativity, které platí v každé grupě.

Pokud dvě cyklické grupy mají stejný počet prvků, pak jsou již izomorfní, neboť stačí zobrazit generátor jedné grupy na generátor druhé.

Každá grupa

${\displaystyle (\mathbb {Z} _{n},+,-,0)}$,

kde operace +, - jsou brány modulo n, je cyklická.

Reprezentativním příkladem nekonečné cyklické grupy je grupa celých čísel se sčítáním

${\displaystyle (\mathbb {Z} ,+,-,0)}$.

Tato grupa má dva generátory, 1 nebo -1. Všechny nekonečné cyklické grupy jsou izomorfní grupě celých čísel.

Grupy rotací pravidelných n-mnohoúhelníků s operací skládání zobrazení jsou izomorfní s ${\displaystyle \mathbb {Z} _{n}(+)}$.

Komplexní n-té odmocniny z jedné tvoří cyklickou grupu řádu n.

Mezi významné cyklické grupy patří grupy jednotek v některých okruzích (tyto grupy jsou grupami vzhledem k násobení, ne ke sčítání).

• Každá konečná podgrupa multiplikativní grupy libovolného tělesa je cyklická. Jednoduchý důkaz vychází z vlastností Eulerovy funkce a ze skutečnosti, že polynom nad komutativním tělesem nemůže mít více kořenů, než je jeho stupeň.

• Každá konečná cyklická grupa řádu n má právě ${\displaystyle \varphi (n)}$ různých generátorů, kde ${\displaystyle \varphi (n)}$ je Eulerova funkce.

• Všechny aditivní grupy ${\displaystyle (\mathbb {Z} _{n},+,-,0)}$ jsou cyklické. Naproti tomu multiplikativní grupy jednotek ${\displaystyle (\mathbb {Z} _{n}^{*},*,^{-1},1)}$ jsou cyklické jen v následujících případech: ${\displaystyle n=2,n=4,n=p^{k},n=2p^{k}}$, p liché prvočíslo a k přirozené číslo.