Fischer graph of a subgroup
Definition with symbols
- Its vertex set is (viz, the vertices are conjugates of )
- Two vertices in are adjacent if they commute element-wise. Viz, and are adjacent if
The group acts on the Fischer graph by conjugation.
The graph-theoretic complement of the Fischer graph of a contranormal subgroup is connected.