PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
non-commuting graph (Definition)

Let $G$ be a non-abelian group with center $Z(G)$ . Associate a graph $\Gamma_G$ with $G$ whose vertices are the non-central elements $G\setminus Z(G)$ and whose edges join those vertices $x,y\in G\setminus Z(G)$ for which $xy\neq yx$ . Then $\Gamma_G$ is said to be the non-commuting graph of $G$ . The non-commuting graph $\Gamma_G$ was first considered by Paul Erdös, when he posed the following problem in 1975 [B.H. Neumann, A problem of Paul Erdös on groups, J. Austral. Math. Soc. Ser. A 21 (1976), 467-472]:
Let $G$ be a group whose non-commuting graph has no infinite complete subgraph. Is it true that there is a finite bound on the cardinalities of complete subgraphs of $\Gamma_G$ ?
B. H. Neumann answered positively Erdös' question.
The non-commuting graph $\Gamma_G$ of a non-abelian group $G$ is always connected with diameter 2 and girth 3. It is also Hamiltonian. $\Gamma_G$ is planar if and only if $G$ is isomphic to the symmetric group $S_3$ , or the dihedral group $\mc{D}_8$ of order $8$ or the quaternion group $Q_8$ of order $8$ .
See [Alireza Abdollahi, S. Akbari and H.R. Maimani, Non-commuting graph of a group, Journal of Algbera, 298 (2006) 468-492.] for proofs of these properties of $\Gamma_G$ .

Examples

Symmetric group $S_3$

The symmetric group $S_3$ is the smallest non-abelian group. In cycle notation, we have \begin{equation*} S_3=\{(),(12),(13),(23),(123),(132)\}. \end{equation*}The center is trivial: $Z(S_3)=\{()\}$ . The non-commuting graph in Figure [*] contains all possible edges except one.
Figure 1: Non-commuting graph of the symmetric group $S_3$
\includegraphics{NonCommutingGraphOfAGroup.s3.eps}

Octic group

The dihedral group $\mc{D}_8$ , generally known as the octic group, is the symmetry group of the square. If you label the vertices of the square from $1$ to $4$ going along the edges, the octic group may be seen as a subgroup of the symmetric group $S_4$ : \begin{equation*} \mc{D}_8:=\{(),(13),(24),(12)(34),(13)(24),(14)(23),(1234),(1432)\}. \end{equation*}So the octic group has order $8$ (hence its name), and its center consists of the identity element and the simultaneous flip around both diagonals $(13)(24)$ . Its non-commuting graph is given in Figure [*].
Figure 2: Non-commuting graph of the octic group
\includegraphics{NonCommutingGraphOfAGroup.d4.eps}




Anyone with an account can edit this entry. Please help improve it!

"non-commuting graph" is owned by GrafZahl. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: non-Abelian theory, non-Abelian structures, non-commutative dynamic modeling diagrams, generalized toposes with many-valued logic subobject classifiers

Other names:  non-commuting graph of a group
Log in to rate this entry.
(view current ratings)

Cross-references: diagonals, identity element, label, symmetry, octic group, contains, cycle notation, properties, proofs, quaternion group, order, dihedral group, symmetric group, planar, Hamiltonian, girth, diameter, connected, cardinalities, bound, finite, subgraph, complete, infinite, groups, join, edges, elements, vertices, graph, center, non-abelian group
There is 1 reference to this entry.

This is version 8 of non-commuting graph, born on 2005-05-26, modified 2007-08-25.
Object id is 7117, canonical name is NonCommutingGraphOfAGroup.
Accessed 2731 times total.

Classification:
AMS MSC20D60 (Group theory and generalizations :: Abstract finite groups :: Arithmetic and combinatorial problems)
 05C25 (Combinatorics :: Graph theory :: Graphs and groups)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)