Дициклическая группа
В теории групп дициклическая группа Dicn— это некоммутативная группа порядка 4n (где n>=2), являющаяся расширением циклической группы порядка 2n. Эта группа также называется обобщённой группой кватернионов и обозначается Q4n.
Имеет место точная последовательность:
которая означает, что Dicn содержит нормальную подгруппу H, изоморфную C2n. Факторгруппа Dicn/H изоморфна C2.
Определение
[править | править код]Дициклическая группа может быть задана как группа, порождённая элементами a и b соотношениями
- a2n=1,
- b2 = an,
- b-1 a b = a-1.
Из этих соотношений следует, что каждый элемент Dicn может быть единственным образом записан, как akbj, где 0 ≤ k < 2n, j = 0 или 1. Поэтому порядок группы равен 4n.
Свойства
[править | править код]Центр дициклической группы Z(Dicn) состоит из двух элементов аn и 1. Её коммутантом является подгруппа, порождённая элементом a2 и изоморфная Cn.
Дициклическая группа и группа диэдра
[править | править код]Существует сходство между дициклической группой и группой диэдра Dih2n . В этих группах имеется циклическая подгруппа A = <a>=C2n и внутренний автоморфизм, который действует на C2n как "отражение": intb(a) = a-1.
Замена соотношения b2 = 1 (для группы диэдра) на b2 = an приводит к ряду отличий. Все элементы, не принадлежащие подгруппе <a>, имеют порядок 2 в группе диэдра и порядок 4 в дициклической группе. В отличие от группы диэдра дициклическая группа Dicn не является полупрямым произведением А и <b>, так как пересечение A ∩ <b> не является тривиальным.
Дициклическая группа имеет ровно один элемент порядка 2, а именно x = b2 = аn. Этот элемент принадлежит центру группы Dicn. Если мы добавим соотношение b2 = 1, то получим группу диэдра Dihn. Таким образом факторгруппа Dicn/<b2> изоморфна группе диэдра Dihn, содержащей 2n элементов.
Наименование группы
[править | править код]В математической энциклопедии, группа кватернионов — это частный случай, когда порядок группы равен степени 2. В этом случае группа является нильпотентной.
Случай 2-группы
[править | править код]В обобщённой кватернионной группе любая абелева подгруппа является циклической[1]. Можно показать, что конечная p-группа c этим свойством (любая абелева подгруппа является циклической) является либо циклической, либо обобщённой кватернионной группой[2]. Если же конечная p-группа имеет единственную подгруппу порядка p, то она либо циклическая, либо является обобщённой кватернионной группой (с порядком, равным степени двойки)[3]. В частности, для конечного поля F нечётной характеристики 2-силовская подгруппа SL2(F) не абелева и имеет только одну подгруппу порядка 2, так что эта 2-силовская подгруппа должна быть обобщенной группой кватернионов[4]. Если pr — порядок F, где p простое, то порядок 2-силовской подгруппы SL2(F) равен 2n, где n = ord2(p2 - 1) + ord2(r).
См. также
[править | править код]Примечания
[править | править код]- ↑ Brown, 1982, с. 101, упражнение 1.
- ↑ Cartan, Eilenberg, 1999, с. 262, теорема 11.6.
- ↑ Brown, 1982, с. 99, теорема 4.3.
- ↑ Gorenstein, 1980, с. 42.
Литература
[править | править код]- Каргаполов М. И., Мерзляков Ю. И. Основы теории групп, Изд-во «Наука», 1972.
- Kenneth S. Brown. Cohomology of groups. — Springer-Verlag, 1982. — ISBN 978-0-387-90688-1.
- Henri Cartan, Samuel Eilenberg. Homological Algebra. — Princeton University Press, 1999. — ISBN 978-0-691-04991-5.
- D. Gorenstein. Finite Groups. — New York: Chelsea, 1980. — ISBN 978-0-8284-0301-6.