Каинова группа
Ка́инова группа — группа, совпадающая со своим коммутантом.

Некоторые авторы используют термин «совершенная группа» (от ). Это создаёт путаницу с другим одноимённым понятием, которое в англоязычной литературе обычно называется «полной (complete) группой».

Определение 
Группа  называется каиновой, если она удовлетворяет одному из следующих эквивалентных условий:
 Она совпадает со своим коммутантом: .
 Её абелианизация тривиальна: .
 Любой гомоморфизм  из неё в произвольную абелеву группу  тривиален: .
 Среди её факторгрупп абелевой является лишь тривиальная группа.

Примеры 
Простейшим примером каиновой группы является знакопеременная группа . В действительности, для любого  группа  является каиновой. Более того, как следует непосредственно из определения, любая простая группа, не являющаяся абелевой (точнее, циклической), каинова. Наконец, любая  является каиновой.

Специальная линейная группа  является каиновой. Более того, любая полупростая группа Ли является каиновой.

Свойства 
Любая нетривиальная каинова группа является неразрешимой.

Прямое произведение каиновых групп является каиновой. Любая факторгруппа каиновой группы каинова.

Согласно лемме Грюна, центр факторгруппы  каиновой группы  по её центру тривиален.

Если матричная группа является каиновой, то она унимодулярна, то есть каждый её элемент является унимодулярной матрицей. Это следует из того, что определитель  — гомоморфизм из полной линейной группы над произвольным коммутативным кольцом  в  этого кольца, являющуюся абелевой.

Связная группа Ли является каиновой тогда и только тогда, когда для её алгебры Ли  выполняется соотношение .

Этимология 
Название понятия отсылает к убийству Авеля Каином. Согласно одному из определений, группа каинова, если тривиальна её абелианизация (названа в честь Нильса Хенрика Абеля). 
«‎Абель» — другая форма имени «‎Авель».

Термин предложен Александром Дмитриевичем Вентцелем и Владимиром Яковлевичем Лином.

Примечания

Литература

Ссылки 
 

Теория групп