Породжувальна множина групи: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
IvanBot (обговорення | внесок)
м →‎Вільна група: replaced: Найбільш загальна → Найзагальніша
м стильові правлення
Рядок 1:
'''Породжуюча множина групи''' — це така [[підмножина]] ''S'' [[Група (алгебра)|групи]] ''G'', що кожен елемент групи ''G'' може бути представлений як [[добуток]] скінченної кількості елементів із ''S'' та [[обернений елемент|обернених]] до них.
 
Більш загальноЗагальніше, якщо ''S'' підмножина групи ''G'', тоді <''S''> — ''підгрупа породжена S'', це найменша [[підгрупа]] ''G'' яка містить всі елементи ''S''. Еквівалентно, <''S''> це підгрупа всіх елементів ''G'', які можуть бути представлені як добутки скінченної кількості елементів з ''S'' та обернених до них.
 
Якщо ''G'' = <''S''>, говорять, що ''S'' породжує ''G'', а елементи ''S'' називаються '''породжуючими елементами''' групи ''G''. Якщо ''S'' — [[порожня множина|порожня]], то за визначенням, вважається <''S''> = {e}.