Порядок элемента группы — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 3: Строка 3:
 
|item2=Добавить примеры p-групп.
 
|item2=Добавить примеры p-групп.
 
}}
 
}}
испралено
+
исправлено
  
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
'''Порядком''' элемента <tex>a</tex> группы <tex>G</tex> называется наименьшее <tex>n\in\mathbb{N}</tex>, что <tex>a^n = e</tex>. Если такого <tex>n</tex> не существует, то говорят, что порядок <tex>a</tex> бесконечен.  
+
'''Порядком''' элемента <tex>a</tex> [[группа|группы]] <tex>G</tex> называется наименьшее <tex>n\in\mathbb{N}</tex>, что <tex>a^n = e</tex>. Если такого <tex>n</tex> не существует, то говорят, что порядок <tex>a</tex> бесконечен.  
 
}}
 
}}
  

Версия 14:08, 30 июня 2010

Эта статья требует доработки!
  1. Добавить примеры групп и их элементов с конечными и бесконечными порядками.
  2. Добавить примеры p-групп.

Если Вы исправили некоторые из указанных выше замечаний, просьба дописать в начало соответствующего пункта (Исправлено).

исправлено


Определение:
Порядком элемента [math]a[/math] группы [math]G[/math] называется наименьшее [math]n\in\mathbb{N}[/math], что [math]a^n = e[/math]. Если такого [math]n[/math] не существует, то говорят, что порядок [math]a[/math] бесконечен.


примером элемента с бесконечным порядком является любой ненулевой элемент множества [math]\mathbb{Z}[/math].

примером элемента с не бесконечным порядком является элемент [math]\overline{2}[/math] класса вычетов по модулю 4. он имеет порядок равный 2.


Утверждение:
В конечной группе у всех элементов конечный порядок.
[math]\triangleright[/math]
Действительно, необходимо при некоторых [math]n,m\in\mathbb{N},\, n\gt m[/math] совпадение степеней [math]a[/math](иначе получится бесконечное число различных элементов в группе). Но тогда порядок [math]a[/math] не больше [math]n-m[/math]: [math]a^{n-m}=a^n\cdot a^{-m}=a^m\cdot a^{-m}=e[/math].
[math]\triangleleft[/math]
Определение:
[math]p[/math]-группа — группа, все элементы в которой имеют порядок, равный некоторой степени простого числа [math]p[/math]. Порядок разных элементов может быть разным.


примером [math]p[/math]-группы является группа класса вычетов по модулю 3.