Циклическая группа — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «{{Определение |definition= Группа <tex>G</tex> называется '''циклической''', если у нее существует систе…»)
 
м (rollbackEdits.php mass rollback)
 
(не показаны 2 промежуточные версии 2 участников)
Строка 1: Строка 1:
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
Группа <tex>G</tex> называется '''циклической''', если у нее существует система образующих, состоящая из одного элемента <tex>a</tex>. Тогда все элементы группы имеют вид <tex>a^n,\,n\in\mathbb{Z}</tex>.
+
[[группа|Группа]] <tex>G</tex> называется '''циклической''', если у нее существует система образующих, состоящая из одного элемента <tex>a</tex>. Тогда все элементы группы имеют вид <tex>a^n,\,n\in\mathbb{Z}</tex>.
 
}}
 
}}
  

Текущая версия на 19:06, 4 сентября 2022

Определение:
Группа [math]G[/math] называется циклической, если у нее существует система образующих, состоящая из одного элемента [math]a[/math]. Тогда все элементы группы имеют вид [math]a^n,\,n\in\mathbb{Z}[/math].


Любая циклическая группа абелева, т.к. степени одного и того же элемента коммутируют между собой.

Примерами циклических групп являются группы [math]\mathbb{Z}[/math] и [math]\mathbb{Z}/n\mathbb{Z}[/math]. Вообще, любая конечная циклическая группа изоморфна [math]\mathbb{Z}/n\mathbb{Z}[/math] при некотором [math]n[/math], а любая бесконечная — [math]\mathbb{Z}[/math].

Классификации циклических групп

Теорема (О изоморфности циклических групп):
Любая конечная циклическая группа [math]G[/math] изоморфна [math]\mathbb{Z}/n\mathbb{Z}[/math] при некотором [math]n[/math], а любая бесконечная — [math]\mathbb{Z}[/math].
Доказательство:
[math]\triangleright[/math]

Доказательство разбивается на два случая: порядок [math]a[/math] конечен или бесконечен.

Пусть порядок [math]a[/math] бесконечен. Тогда рассмотрим отображение [math]\phi:\mathbb{Z}\rightarrow G,\, \phi(n) = a^n[/math]. Докажем, что [math]\phi[/math] — изоморфизм. Очевидно, что [math]\phi[/math] — гомоморфизм: [math]\phi(n+m)=a^{n+m}=a^n\cdot a^m=\phi(n)\cdot\phi(m)[/math]. По определению циклической группы [math]\phi[/math] сюръективен. Докажем инъективность: пусть [math]n\gt m,\,a^n=a^m[/math], тогда [math]a^{n-m}=a^n\cdot a^{-m}=a^m\cdot a^{-m}=e[/math], т.е. порядок [math]a[/math] конечен, что приводит к противоречию. Поэтому [math]\phi[/math] — биекция, а значит, и изоморфизм.

Пусть теперь порядок [math]a[/math] конечен и равен [math]r[/math]. Рассмотрим отображение [math]\phi:\mathbb{Z}/r\mathbb{Z}\rightarrow G,\, \phi(n)=a^n[/math]. Докажем, что [math]\phi[/math] — гомоморфизм. Пусть [math]n,m,c\in\mathbb{Z}/r\mathbb{Z}[/math]. Тогда [math]c\equiv n+m\pmod r \Leftrightarrow c=n+m-k\cdot r,\, k\in\mathbb{Z},\, k\geq 0[/math]. Тогда:

[math]\phi(c) = \phi(n+m-k\cdot r)=a^{n+m-k\cdot r}=a^n\cdot a^m\cdot a^{-k\cdot r}=a^n\cdot a^m\cdot (a^r)^{-k}=a^n\cdot a^m\cdot {e}^{-k}=a^n\cdot a^m[/math]

[math]\phi[/math] сюръективно по определению циклической группы. Докажем инъективность. Пусть [math]a^n=a^m,\, n\lt m\lt r[/math], тогда

[math]a^{m-n}=a^m\cdot a^{-n}=a^n\cdot a^{-n}=e[/math].
Но [math]r\gt m-n\gt 0[/math], т.е. [math]r[/math] — не минимальная степень [math]a[/math], равная [math]e[/math]. Противоречие. Значит, [math]\phi[/math] — биекция, следовательно, и изоморфизм.
[math]\triangleleft[/math]