Определение
Пусть $(G,\cdot )$ — группа. Если в группе $G$ $\exists g_{0}\in G$, такое, что $\forall g\in G\;\exists n\in \mathbb{Z}\;g=g_{0}^{n}$, то группа называется циклической. $G=<g_{0}>$, где $g_{0}$ — образующий элемент группы.
Примеры:
- Группа корней n-ой степени из единицы $U_{n}$ является циклической, а произвольный первообразный корень является порождающим элементом.
- Группа целых чисел по сложению $(\mathbb{Z},+)$ циклическая. Её образующими элементами являются числа $\pm 1$.
Лемма
Каждая подгруппа циклической группы сама циклическая.
Доказательство
Пусть $G=<g_{0}>,\;H\subset G,\;G\neq \left \{1 \right \},\;g_{0}^{n}\in H,\;n\in\mathbb{N}$, n — наименьшее. Любой элемент $g\in H$ можно выразить как $g=g_{0}^{m}$. Представим число $m$ в виде $m=nq+r$, где $0\leq r<n$.
Поэтому $g_{0}^{m}=g_{0}^{nq+r}=q_{0}^{nq}\cdot g_{0}^{r}=(g_{0}^{n})^{q}\cdot q_{0}^{r}\Rightarrow g_{0}^{r}=$$=((g_{0}^{n})^{q})^{-1}\cdot g_{0}^{m}\Rightarrow r=0\Rightarrow m\;\vdots\; n$. Следовательно, $g_{0}^{m}=(g_{0}^{n})^{r}\Rightarrow H=<g_{0}^{n}>$, т.е. подгруппа $H$ — циклическая с образующим элементом $g_{0}^{n}$.
Литература
- Белозёров Г.С. Конспект лекций по линейной алгебре
- Воеводин В.В. Линейная алгебра. М.: Наука, 1994 стр.23-27
- Курош А.Г. Курс высшей алгебры. М.: Наука, 1968 c.401-403
Циклические группы и их подгруппы
Тест на тему «Циклические группы и их подгруппы».
Таблица лучших: Циклические группы и их подгруппы
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |