Isoclinism of groups

This is a variation of isomorphism of groups|Find other variations of isomorphism of groups |

History

The notion of isoclinism seems to have been first introduced by Philip Hall mainly for the purpose of classifying finite p-groups, in his 1937 paper.

About this page

This page is mostly about the mappings that are used to define isoclinism. For more on the equivalence relation of being isoclinic, see isoclinic groups.

Definition

Short definition

An isoclinism is an isologism of groups with respect to the subvariety of abelian groups.

Full definition

For any group $G$, let $\mathrm{I}\mathrm{n}\mathrm{n}(G)$ denote the inner automorphism group of $G$, $G^{\prime }$ denote the derived subgroup of $G$, and $Z(G)$ denote the center of $G$.

Let ${\omega }_G$ denote the map from $\mathrm{I}\mathrm{n}\mathrm{n}(G)\times \mathrm{I}\mathrm{n}\mathrm{n}(G)$ to $G^{\prime }$ defined by first taking the map $G\times G\to G^{\prime }$ given as $(x,y)\mapsto x^{-1}{y}^{-1}xy$ and then observing that the map is constant on the cosets of $Z(G)\times Z(G)$.

An isoclinism of groups $G_1$ and $G_2$ is a pair $(\zeta ,\phi )$ where $\zeta$ is an isomorphism of $\mathrm{I}\mathrm{n}\mathrm{n}(G_1)$ with $\mathrm{I}\mathrm{n}\mathrm{n}(G_2)$ and $\phi$ is an isomorphism of ${G_{1^{\prime }}}^{\prime }$ with ${G_{2^{\prime }}}^{\prime }$ such that $\phi \circ {\omega }_{G_1}={\omega }_{G_2}\circ (\zeta \times \zeta )$. Explicitly, this means that for any $x,y\in \mathrm{I}\mathrm{n}\mathrm{n}(G_1)$, we have the following:

$\phi ({\omega }_{G_1}(x,y))={\omega }_{G_2}(\zeta (x),\zeta (y))$

Pictorially, the following diagram must commute:

$\begin{array}{ccc}\mathrm{I}\mathrm{n}\mathrm{n}(G_1)\times \mathrm{I}\mathrm{n}\mathrm{n}(G_1)& & \mathrm{I}\mathrm{n}\mathrm{n}(G_2)\times \mathrm{I}\mathrm{n}\mathrm{n}(G_2)\\ {\downarrow }^{{\omega }_{G_1}}& & {\downarrow }^{{\omega }_{G_2}}\\ G_1\text{'}& & G_2\text{'}\\ \end{array}$

Two groups are said to be isoclinic groups if there is an isoclinism between them.

Definition in terms of homoclinism

An isoclinism is an invertible homoclinism of groups, i.e., a homoclinism for which both the component homomorphisms are isomorphisms. Equivalently, it is an isomorphism in the category of groups with homoclinisms.

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

Book	Page number	Chapter and section	Contextual information	View
Group Theory II (Grundlehren Der Mathematischen Wissenschaften 248) by Michio Suzuki. 10-digit ISBN 0387109161, 13-digit ISBN 978-0387109169More info	93	Chapter 4 (Finite p-groups), Definition 4.28	definition introduced explicitly, followed by facts about isoclinic groups