Простейшие свойства конечных нильпотентных групп

Лемма 1. Подгруппа нильпотентной группы нильпотентна.

Доказательство:

Пусть Покажем, что .

Пусть - силовская p-подгруппа группы А. Покажем, что .

Т.к. , то - силовская p-подгруппа в . Т.к. , то . Тогда

Покажем, что

Т.к. в любой группе силовские p-подгруппы сопряжены между собой, то в нильпотентной группе силовская p-подгруппа единственна.

Т.к. - p-подгруппа группы G, то , Тогда .

одгруппа в , т.е. , т.е. .

Т.о., и .

ч.т.д.

Лемма 2. Факторгруппа нильпотентной группы нильпотентна.

Доказательство:

Пусть . Покажем, что.

Пусть силовская p-подгруппа группы . Тогда силовская p-подгруппа .

Т.к. , то . Т.о., .

ч.т.д.

Лемма 3. Прямое произведение нильпотентных групп является нильпотентной группой.

Доказательство:

Пусть , ,

Пусть - силовская p-подгруппа в , - силовская p-подгруппа в . Покажем, что нильпотентна.

Пусть . Т.к. По свойству прямого произведения

.

, и .

, а

- силовская -подгруппа в .

ч.т.д.

Лемма 4. Если и , то .

Доказательство:

По теореме Ремака изоморфно подпрямому произведению групп , т.е. , где . Но по лемме 3 . Тогда по лемме 1 и .

ч.т.д.

Утверждение 1. Если , то .

Утверждение 2. .

Лемма 5. Если , то .

Доказательство:

Т.к. , то

ч.т.д.

Утверждение 3

Лемма 6. Если , , то .

Доказательство:

Допустим, что лемма неверна и пусть - контрпример минимального порядка. Возможны два случая:

1. Пусть . Т.к. , то .

.

2. Пусть .

ч.т.д.