Дефиниција Цосет
Х је подгрупа групе Г, за одређени г ∈ Г,
{ГХ | За све х ∈ Х} представља леву цосет од Х, означава са ГХ;
{Хг | За све х ∈ Х} представља право цосет-Х, означено Хг;
Такође преведена цосет, поред сета, итд
Релатед теореме
0> коначна група Г је подгрупа било које две цосетс Х садрже исти број елемената, а како је једнака Х.1> Х подгрупа групе Г од два лево (десно) цосетс су или раздвојити или су једнаки.
2> Х је подгрупа групе Г, за било г ∈ (ГХ), ГХ ∩ Х = Φ, Хг ∩ Х = Φ.
3> Х је подгрупа групе Г коначног, ако постоји група Г2, Г3 ... г ∈ (ГХ), тако да за сваки сам = ј има ХГИ ∩ ХГЈ = Φ (или ГИХ ∩ гјХ = Φ), и Г = Х ∪ ХГ2 ∪ ∪ ... ∪ ХГ3 ХГР (или Х ∪ г2Х ∪ ∪ ... ∪ Г3Х ГРХ), затим редослед г р пута у поретку Х, и дефинисати Р = [Г: Х] је индекс Х у Г.
Двоструки цосет
С обзиром група Г две подгрупе Х и К (може бити исти), и Г је фиксни елемент Г, {ХГК | За све х ∈ Х, Г ∈ Г} се зове двоструко цосет, означава ХГК.
|