Изменения
Нет описания правки
Если <tex>\langle S\rangle = G</tex>, то говорят, что <tex>S</tex> является '''системой образующих''' для <tex>G</tex>. <tex>G</tex> называется '''конечно порожденной''', если у нее есть конечная система образующих.
}}
примером '''не конечно порожденной'''группы может являться множество всех рациональных чисел за исключением нуля.
примером '''конечно порожденной''' группы может служить множество целых чисел <tex>(\langle \mathbb{Z},\;+)\rangle</tex>
[[Категория: Теория групп]]
