КОНЕЧНО ОПРЕДЕЛЕННАЯ ГРУППА

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

Лит.:[1] Курош А. Г., Теория групп, 3 изд., М., 1967.