Isoclinic groups

This article defines an equivalence relation over the collection of groups. View a complete list of equivalence relations on groups.

Definition

Two groups are said to be isoclinic if there is an isoclinism between them, i.e., there is an isomorphism between their inner automorphism groups as well as an isomorphism between their derived subgroups such that the isomorphisms are compatible with the commutator map $\operatorname {Inn} (G)\times \operatorname {Inn} (G)\to G'$.

Invariants under isoclinism

Many arithmetic functions associated with groups are invariant under isoclinism, and many group properties are preserved under isoclinism. Some of these are listed below:

Simple invariants

Arithmetic function	Group property for which this is defined (this also forces that if one group has the property, so does any isoclinic group)	Meaning	Proof of invariance under isoclinisms	Value for abelian groups and the trivial group exception
nilpotency class	nilpotent group	Length of the upper central series or the lower central series, or any central series of minimum possible length	Isoclinic groups have same nilpotency class	0 or 1. Note that the only situation where isoclinic groups can have different nilpotency class is the case of the trivial group (class zero) and a nontrivial abelian group (class one).
derived length	solvable group	Length of the derived series	Isoclinic groups have same derived length	0 or 1. Note that the only situation where isoclinic groups can have different derived length is the case of the trivial group (length zero) and a nontrivial abelian group (length one).

Groups it is made out of

• Isoclinic groups have same non-abelian composition factors

Multiset invariants

Multiset invariant	Proof of something close to invariance under isoclinisms	Full statement	Explanation
degrees of irreducible representations	isoclinic groups have same proportions of degrees of irreducible representations	Suppose $G_{1}$ and $G_{2}$ are finite groups that are isoclinic and $d$ is a positive integer. Then, if $m_{1}$ is the number of irreducible representations (up to equivalence) of $G_{1}$ of degree $d$ over $\mathbb {C}$, and $m_{2}$ is the number of irreducible representations (up to equivalence) of $G_{2}$ of degree $d$ over $\mathbb {C}$, then $m_{1}/m_{2}=|G_{1}|/|G_{2}|$. Note in particular that this implies that the set of degrees of irreducible representations is the same for both groups.	The idea is that an irreducible projective representation of the inner automorphism group lifts to $G_{1}$ if and only if it lifts to $G_{2}$, and the ratio of the number of lifts is proportional to the order. For more, see the full proof.
conjugacy class sizes	isoclinic groups have same proportions of conjugacy class sizes	Suppose $G_{1}$ and $G_{2}$ are finite groups that are isoclinic and $d$ is a positive integer. Then, if $m_{1}$ is the number of irreducible representations (up to equivalence) of $G_{1}$ of degree $d$ over $\mathbb {C}$, and $m_{2}$ is the number of irreducible representations (up to equivalence) of $G_{2}$ of degree $d$ over $\mathbb {C}$, then $m_{1}/m_{2}=|G_{1}|/|G_{2}|$. Note in particular that this implies that the set of conjugacy class sizes is the same for both groups.	The idea is that for each element in the inner automorphism group, the size of the conjugacy class of any element of $G_{1}$ mapping to it is the same as the size of the conjugacy class of any element of $G_{2}$ mapping to it.

Probabilistic invariants

• Isoclinic groups have same commuting fraction

Facts

Taking the closure of group properties under isoclinism

Starting group or group property	Meaning	Property of being isoclinic to a group with this property	Meaning
trivial group	only one element	abelian group	any two elements commute
finite group	finitely many elements	FZ-group	the center has finite index. Note that the derived subgroup is forced to be finite because FZ implies finite derived subgroup.

Stem groups

A stem group is a group whose center is contained in its derived subgroup. The following are true:

• Every group is isoclinic to a stem group
• The unique stem group among abelian groups is the trivial group
• Stem group has the minimum order among all groups isoclinic to it. In fact, the order of a stem group must divide the order of any group isoclinic to it. In particular, isoclinic stem groups have the same order (though they need not be isomorphic).

Isoclinism for small orders

Order	Total number of groups up to isomorphism	Number of equivalence classes under isoclinism among the groups of that order	List of groups for each equivalence class under isoclinism	Total number of stem groups	Number of equivalence classes under isoclinism for stem groups of that order	List of groups for each equivalence class under isoclinism
1	1	1	trivial group (stem group)	1	1	trivial group
2	1	1	cyclic group:Z2 (stem group: trivial group)	0	0	--
3	1	1	cyclic group:Z3 (stem group: trivial group)	0	0	--
4	2	1	class of (cyclic group:Z4 and Klein four-group) (stem group: trivial group)	0	0	--
5	1	1	cyclic group:Z5 (stem group: trivial group)	0	0	--
6	2	2	class of cyclic group:Z6 (stem group: trivial group) other class contains symmetric group:S3 (stem group)	1	1	symmetric group:S3
7	1	1	cyclic group:Z7 (stem group: trivial group)	0	0	--
8	5	2	class of (cyclic group:Z8, direct product of Z4 and Z2, elementary abelian group:E8) (stem group: trivial group) class of (dihedral group:D8 and quaternion group)	2	1	class of (dihedral group:D8 and quaternion group) -- see dihedral and dicyclic groups are isoclinic
9	2	1	class of (cyclic group:Z9 and elementary abelian group:E9) (stem group: trivial group)	0	0	--
10	2	2	class of cyclic group:Z10 (stem group: trivial group) class of dihedral group:D10	1	1	dihedral group:D10
12	5	3	class of (cyclic group:Z12 and direct product of Z6 and Z2) (stem group: trivial group) class of (dicyclic group:Dic12 and dihedral group:D12) (stem group: symmetric group:S3) class of alternating group:A4	1	1	alternating group:A4
16	14	3	class of abelian groups (5 members) class of class two groups (6 members) class of class three groups (3 members) see Groups of order 16#Families and classification for more.	3	1	class three groups: dihedral group:D16, semidihedral group:SD16, generalized quaternion group:Q16

More on prime powers

The classification of groups of order $2^{n},n\leq 6$ by Hall and Senior was done on the basis of isoclinism. In the jargon used by Hall and Senior, they defined the Hall-Senior family of a group as its equivalence class under isoclinism, and the Hall-Senior genus (see Hall-Senior genus) was obtained by further refinement based on the lattice of normal subgroups and the Hall-Senior family of each normal subgroup. To see this classification in action, refer:

• Groups of order 8#Families and classification
• Groups of order 16#Families and classification
• Groups of order 32#Families and classification
• Groups of order 64#Families and classification

Related group and subgroup properties

• Subgroup isoclinic to the whole group
• Group having no proper isoclinic subgroup
• Finite group that is not isoclinic to a group of smaller order

References

Journal references

Original use

• The classification of prime-power groups by Philip Hall, Volume 69, (Year 1937): ^{Official linkMore info}: Definition introduced on Page 133 (Page 4 within the paper)

Other uses

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.

Textbook references

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.