WikiDer > Дополнение (теория групп)

Complement (group theory)

В математика, особенно в районе алгебра известный как теория групп, а дополнять из подгруппа ЧАС в группа грамм это подгруппа K из грамм такой, что

Эквивалентно каждый элемент грамм имеет уникальное выражение как продукт гонконгский куда часЧАС и kK. Это соотношение симметрично: если K является дополнением ЧАС, тогда ЧАС является дополнением K. Ни один ЧАС ни K нужно быть нормальная подгруппа из грамм.

Характеристики

  • Дополнения могут не существовать, и если они есть, то они не обязательно должны быть уникальными. То есть, ЧАС может иметь два различных дополнения K1 и K2 в грамм.
  • Если есть несколько дополнений нормальной подгруппы, то они обязательно изоморфный друг к другу и к факторгруппа.
  • Если K является дополнением ЧАС в грамм тогда K образует как левую, так и правую поперечный из ЧАС. То есть элементы K образуют полный набор представителей как левых, так и правых смежные классы из ЧАС.
  • В Теорема Шура – ​​Цассенхауза гарантирует наличие дополнений к нормальному Холловы подгруппы из конечные группы.

Отношение к другим продуктам

Дополнения обобщают как прямой продукт (где подгруппы ЧАС и K нормальны в грамм), а полупрямой продукт (где один из ЧАС или же K нормально в грамм). Продукт, соответствующий общему дополнению, называется внутренний продукт Zappa – Szép. Когда ЧАС и K являются нетривиальными, дополнительные подгруппы делят группу на более мелкие части.

Существование

Как упоминалось ранее, дополнительных компонентов не существует.

А п-дополнение является дополнением к Силовский п-подгруппа. Теоремы Фробениус и Томпсон описать, когда у группы есть нормальный п-дополнение. Филип Холл характеризуется конечным растворимый группы среди конечных групп, как группы с п-дополнения для каждого прайма п; эти п-дополнения используются для формирования того, что называется Силовская система.

А Дополнение Фробениуса это особый тип дополнения в Группа Фробениуса.

А дополненная группа - это та, в которой каждая подгруппа имеет дополнение.

Смотрите также

Рекомендации

  • Дэвид С. Даммит и Ричард М. Фут (2003). Абстрактная алгебра. Вайли. ISBN 978-0-471-43334-7.
  • И. Мартин Айзекс (2008). Теория конечных групп. Американское математическое общество. ISBN 978-0-8218-4344-4.