Математическая энциклопедия
групп - теоретико-групповая конструкция. Группа Gназывается Ц. п. своих подгрупп Аи В, если она порождается ими, если для любых двух элементов 
и 
верно равенство аb=bа и если пересечение 
лежит в центре Z(G)группы G. В частности, при 
Ц. п. оказывается прямым произведением 
Фиксируя для произвольных групп А, В и Стаких, что 
- нек-рый мономорфизм 
можно определить Ц. п. групп Аи В ине предполагая предварительно, что А п В являются подгруппами нек-рой группы G.
Лит.:[1] Gorenstein D., Finite groups, N. Y., 1968.
Н. Н. Вильямс.