Порядок елемента

Шаблон:Теорія груп Порядок елемента в теорії груп — найменше додатне ціле $m$, таке що $m$-разове групове множення даного елемента $g\in G$ на себе дає нейтральний елемент:

$\underset{m}{\underbrace{gg\dots g}}=g^m=e$.

Іншими словами, $m$ — кількість різних елементів циклічної підгрупи, породженої даним елементом. Якщо такого $m$ не існує (або, еквівалентно, число елементів циклічної підгрупи нескінченне), то кажуть, що $g$ має нескінечний порядок. Позначається як $\mathrm{o}\mathrm{r}\mathrm{d}(g)$ або $|g|$.

Вивчення порядків елементів групи може дати інформацію про її структуру. Декілька глибоких питань щодо зв'язку порядку елементів і порядку групи містяться в різних задачах Бернсайда, деякі з них залишаються відкритими.

Основні властивості

Порядок елемента дорівнює одиниці тоді й лише тоді, коли елемент є нейтральним.

Якщо будь-який не нейтральний елемент у $G$ збігається зі своїм оберненим (тобто $g^2=e$), то $\mathrm{o}\mathrm{r}\mathrm{d}(a)=2$ і $G$ є абелевою групою, оскільки $ab=(ab{)}^{-1}=b^{-1}{a}^{-1}=ba$. Обернене твердження в загальному випадку хибне: наприклад, (адитивна) циклічна група ${\mathbb{Z}}_6$ цілих чисел за модулем 6 — абелева, але число 2 має порядок 3:

$2+2+2=6\equiv 0(\mathrm{mod}6)$.

Для будь-якого цілого $k$ тотожність $g^k=e$ виконана тоді й лише тоді, коли $\mathrm{o}\mathrm{r}\mathrm{d}(g)$ ділить $k$.

Усі степені елемента нескінченного порядку мають нескінченний порядок. Якщо $g$ має скінченний порядок, то порядок $g^k$ дорівнює порядку $g$, поділеному на найбільший спільний дільник чисел $\mathrm{o}\mathrm{r}\mathrm{d}(g)$ і $k$. Порядок оберненого елемента збігається з порядком елемента ($\mathrm{o}\mathrm{r}\mathrm{d}(g)=\mathrm{o}\mathrm{r}\mathrm{d}(g^{-1})$).

Зв'язок із порядком групи

Порядок будь-якого елемента групи ділить порядок групи. Наприклад, у симетричній групі $S_3$, що складається з шести елементів, нейтральний елемент $e$ має (за визначенням) порядок 1, три елементи, що є коренями з $e$ — порядок 2, а порядок 3 мають два елементи, що залишилися, які є коренями елементів порядку 2: тобто, всі порядки елементів є дільниками порядку групи.

Частково обернене твердження правильне для скінченних груп (теоретико-групова теорема Коші): якщо просте число $p$ ділить порядок групи $G$, то існує елемент $g\in G$, для якого $\mathrm{o}\mathrm{r}\mathrm{d}(g)=p$. Твердження не виконується для складених порядків, так що 4-група Кляйна не містить елемента порядку чотири.

Порядок добутку

У будь-якій групі $\mathrm{o}\mathrm{r}\mathrm{d}(ab)=\mathrm{o}\mathrm{r}\mathrm{d}(ba)$.

Немає загальної формули, що пов'язує порядок добутку $ab$ з порядками співмножників $a$ і $b$. Можливий випадок, коли і $a$, і $b$ мають скінченні порядки, а порядок добутку $ab$ нескінченний, також можливо, що і $a$, і $b$ мають нескінченний порядок, тоді як $\mathrm{o}\mathrm{r}\mathrm{d}(ab)$ — скінченний. Приклад першого випадку: в симетричній групі над цілими числами перестановки, що задаються формулами $a(x)=2-x,b(x)=1-x$ тоді $ab(x)=x-1$. Приклад другого випадку: перестановки в тій самій групі $a(x)=x+1,b(x)=x-1$, добуток яких є нейтральним елементом (перестановка $ab(x)=\mathrm{i}\mathrm{d}$, що залишає елементи на своїх місцях). Якщо $ab=ba$ то можна стверджувати, що $\mathrm{o}\mathrm{r}\mathrm{d}(ab)$ ділить найменше спільне кратне чисел $\mathrm{o}\mathrm{r}\mathrm{d}(a)$ і $\mathrm{o}\mathrm{r}\mathrm{d}(b)$. Як наслідок, у скінченій абелевій групі порядок будь-якого елемента ділить максимальний порядок елементів групи.

Підрахунок за порядком елементів

Для даної скінченної групи $G$ порядку $n$, кількість елементів із порядком $d$ ($d$ — дільник $n$) кратна $\phi (d)$, де $\phi$ — функція Ейлера, що дає число додатних чисел, які не перевищують $d$ та взаємно прості з ним. Наприклад, у випадку $S_3$$\phi (3)=2$, і є рівно два елементи порядку 3; при цьому дане твердження не дає жодної корисної інформації щодо елементів порядку 2, оскільки $\phi (2)=1$, і дуже обмежену інформацію про складені числа, такі як $d=6$, оскільки $\phi (6)=2$, і в групі $S_3$ є нуль елементів порядку 6.

Зв'язок із гомоморфізмами

Гомоморфізми груп мають властивість знижувати порядок елементів. Якщо $f:G\to H$ є гомоморфізмом, та $g\in G$ — елемент скінченного порядку, то $\mathrm{o}\mathrm{r}\mathrm{d}(f(g))$ ділить $\mathrm{o}\mathrm{r}\mathrm{d}(g)$. Якщо $f$ ін'єктивне, то $\mathrm{o}\mathrm{r}\mathrm{d}(f(g))=\mathrm{o}\mathrm{r}\mathrm{d}(g)$. Цей факт можна використати для доведення відсутності (ін'єктивного) гомоморфізму між двома заданими групами. (Наприклад, немає нетривіального гомоморфізму $h:S_3\to {\mathbb{Z}}_5$, оскільки будь-яке число, за винятком нуля, в ${\mathbb{Z}}_5$ має порядок 5, а 5 не ділить жодного з порядків 1, 2 та 3 елементів $S_3$.) Іншим наслідком є твердження, що спряжені елементи мають однаковий порядок.

Література

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга