36
правок
Изменения
Нет описания правки
Реберная и вершинная группы графа <tex>G</tex> изоморфны тогда и только тогда, когда граф <tex>G</tex> имеет не более одной изолированной вершины, а граф <tex>K_2</tex> не является его компонентой.
|proof=
Пусть подстановка <tex>\alpha'</tex> группы <tex>\Gamma_1(G)</tex> индуцируется подстановкой <tex>\alpha</tex> группы <tex>\Gamma(gG)</tex>. Из определения операции умножения в группе <tex>\Gamma_1(G)</tex> вытекает, что
<tex>\alpha'\beta'=\alpha\beta</tex>
