Подгруппа. Достаточные условия подгруппы.
Определение 1. Пусть <G, *> - группа и HÌG. Подалгебра <Н, *> группы <G, *> называется подгруппой группы G, если алгебра <Н, *> сама является группой относительно операции *.
Если Н - подгруппа группы G, то пишут Н < G.
Замечание. Для того, чтобы выяснить, является ли некоторое множество HÌG подгруппой группы G относительно операции *, заданной на G, достаточно проверить следующие условия:
а) " а Î Н, " b Î Н, а * b Î H - условие замкнутости,
б) " а Î Н, а' Î Н - условие симметризуемости,
называемые в дальнейшем достаточными условиями подгруппы.
Действительно, если " а Î Н, а' Î Н, то а * а'ÎН. Так как а * а' = е, то нейтральный элемент е группы G также принадлежит и множеству Н. Операция * на множестве Н является ассоциативной, так как она ассоциативна на множестве G, включающем Н. Итак, <Н, *> - группа.
Пример 1. Рассмотрим аддитивные группы чисел <Z, +>, <2Z, +>, <Q, +>, <R, +>. Имеет место следующая цепочка 2Z<Z<Q<R.
Покажем, например, что 2Z<Z. Действительно, 2ZÌZ. Кроме того:
а) " a, b Î 2Z, a + b Î 2Z,
б) " a Î 2Z, -a Î 2Z.
Таким образом, достаточные условия подгруппы выполнены.
Аксиома нейтрального элемента выполнима на 2Z, так как из условий а) и б) следует, что а + (- а) = 0, 0Î2Z. Аксиома ассоциативности тоже выполнима, так как 2ZÌZ. Таким образом, 2Z < Z.
Пример 2. Подгруппами абстрактной группы G будут так называемые тривиальные подгруппы - сама группа G, т е G<G и группа Е={е, еÎG}, т.e. E<G.
Пример 3. Показать, что алгебра <R+, +> не является подгруппой аддитивной группы <R, +>.
Действительно, R+ Ì R. Кроме того,
а) " a, b Î R+. (a + b)ÎR+. - условие замкнутости выполнено,
б) "aÎR+ -aÏR+, - условие симметризуемости не выполняется на R+. Следовательно, алгебра < R+ , +> не является подгруппой группы <R,+>.