Конечно определенная группа · LibMeta · SciLib
Encyclopedia of Math ConceptSKOS conceptEncyclopedia article

Конечно определенная группа

http://libmeta.ru/thesaurus/mathencyclopedia/Конечно_определенная_группа

Definition

- группа, обладающая конечным числом образующих и задаваемая в этих образующих конечным числом соотношений. Таких групп с точностью до изоморфизма счетное множество. Для любой конечной системы образующих К. о. г. из всякой системы определяющих соотношений, связывающих эти образующие, можно выбрать конечную подсистему, уже достаточную для задания группы.