Non-commuting graphs of nilpotent groups

Alireza Abdollahi and Hamid Shahverdi

arXiv: 1304.4839v1 · PDF · 17 April 2013
Categories: math.GR
Licence: CC BY 4.0 The site shows the text.

Abstract

Let G be a non-abelian group and Z(G) be the center of G. The non-commuting graph \Gamma_G associated to G is the graph whose vertex set is G\setminus Z(G) and two distinct elements x,y are adjacent if and only if xy\neq yx. We prove that if G and H are non-abelian nilpotent groups with irregular isomorphic non-commuting graphs, then |G|=|H|.

Items 9

Conjecture

Conjecture 1.1 (Conjecture 1.1 of)

QSQF

Let G and H be two finite non-abelian groups such that \Gamma_G\cong \Gamma_H. Then |G|=|H|.

Theorem

Theorem 1.2

OTCP

Let G and H be two finite non-abelian nilpotent groups with irregular non-commuting graphs such that \Gamma_G\cong\Gamma_H. Then |G|=|H|.

Lemma

Lemma 2.1

W72D

Let G and H be two finite non-abelian groups. If \phi:\Gamma_G\rightarrow \Gamma_H is a graph isomorphism and g is a non-central element of G, then the following hold:

|G|-|Z(G)|=|H|-|Z(H)|.
|G|-|C_G(g)|=|H|-|C_H(\phi(g))|.
|C_G(g)|-|Z(C_G(g))|=|H|-|Z(C_H(\phi(g)))|, where C_G(g) is not abelian.
If C_G(g) is not abelian, then \Gamma_{C_G(g)}\cong \Gamma_{C_H(\phi(g))}.
Suppose that C_1=C_G(g_1) and C_i=C_{C_{i-1}}(g_i) for i\geq 2, where g_1\in G\setminus Z(G) and g_i\in C_{i-1}\setminus Z(C_{i-1}). Then there exists k\in\mathbb{N} such that C_k is an AC-group.
|G|=|H| if and only if |C_G(g)|=|C_H(\phi(g))| if and only if |Z(G)|=|Z(H)|.

Proof of Lemma 2.1

It is straightforward. To prove (5), note that if the centralizer C_i is not an AC-group, then some proper centralizer in C_i is not abelian guaranteeing the existence of an element g_{i+1}. On the other hand, G is finite so the series C_1>C_2>\cdots>C_i>\cdots will eventually terminate in an AC-group.

Lemma

Lemma 2.2 (see e.g. Theorem 2.1 of)

AWUK

Let G be a finite non-abelian group and H be a group such that \Gamma_G\cong \Gamma_H. Then the following hold:

|C_H(h)| divides (|g^G| - 1) (|Z(G)| - |Z(H)|) for any g\in G\setminus Z(G) and h=\phi(g), where \phi is any graph isomorphism from \Gamma_G to \Gamma_H.
If |Z(G)|\geq |Z(H)| and G contains a non-central element g such that {|C_G(g)|}^2\geq |G|\cdot|Z(G)|, then |G|=|H|.

Used by Proof

Theorem

Theorem 2.3 (see e.g. Theorem 1.3 of)

VGH1

Let x,y,m,n be integers such that y>x>1 and m,n>1. Then the following equation has at most one pair (m,n) of solution for every fixed pair (x,y):

\frac{y^n-1}{y-1}=\frac{x^m-1}{x-1}.

Theorem

Theorem 2.4

97VN

Let G be a nilpotent group with at least two distinct non-abelian Sylow subgroups. Suppose also that H is any non-abelian group such that |Z(G)|\geq|Z(H)| and \Gamma_G\cong\Gamma_H. Then |G|=|H|.

Proof of Theorem 2.4

Suppose G=P\times Q\times S, where P and Q are non-abelian Sylow p, q-subgroups of G such that p\neq q and S is a subgroup of G. If x\in P\setminus Z(P) and y\in Q\setminus Z(Q), then |Z(G)|< |C_P(x)||C_Q(y)||S|. Therefore

|G||Z(G)|< |C_P(x)||C_Q(y)||P||Q||S|^2=|C_G(x)||C_G(y)|.

It follows that

|G||Z(G)|< \max\{|C_G(x)|^2,|C_G(y|^2\}.

Now, Lemma 2.2(2) completes the proof.

Uses Lemma 2.2

Corollary

Corollary 2.5

OHVX

Let G and H be two nilpotent groups each of which have at least two non-abelian Sylow subgroups. If \Gamma_G\cong\Gamma_H, then |G|=|H|.

Source and licence

The text on this page is from arXiv:1304.4839v1 by Alireza Abdollahi and Hamid Shahverdi, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/1304/1304.4839.jsonl.