Смежные классы

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Смежные классы

Определение:

Левым смежным классом группы [math]G[/math] по множеству [math]H[/math] назовем множество вида [math]aH=\lbrace a\cdot x\vert x\in H\rbrace\subseteq G[/math] Аналогично определяется и правый смежный класс [math]Ha[/math]. Для определенности далее рассматриваем только левые смежные классы, все результаты непосредственно переносятся и на правые.

Теорема:

Левые смежные классы [math]G[/math] по подгруппе [math]H[/math] либо не пересекаются, либо совпадают.

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

[math]\triangleright[/math]

Достаточно доказать, что если классы пересекаются, то они совпадают. Рассмотрим два класса [math]aH[/math] и [math]bH[/math] с общим элементом [math]c[/math]. Докажем, что [math]aH\subseteq bH[/math]. Пусть [math]g=a\cdot h,\,h\in H[/math] принадлежит [math]aH[/math]. Известно: [math]c=a\cdot h_a=b\cdot h_b,\,h_a,h_b\in H\, \Rightarrow a=b\cdot h_b\cdot h_a^{-1}[/math]. Тогда [math]g=a\cdot h=b\cdot h_b\cdot h_a^{-1}\cdot h \in bH[/math], поскольку [math]h_b\cdot h_a^{-1}\cdot h\in H[/math]. Значит, [math]aH\subseteq bH[/math]. Аналогично [math]bH\subseteq aH[/math].

[math]\triangleleft[/math]