No CrossRef data available.
Published online by Cambridge University Press: 13 October 2021
The concept of isomorphism is central to group theory, indeed to all of abstract algebra. Two groups {G, *} and {H, ο}are said to be isomorphic to each other if there exists a set bijection α from G onto H, such that $$\left( {a\;*\;b} \right)\alpha = \left( a \right)\alpha \; \circ \;(b)\alpha $$ for all a, b ∈ G. This can be illustrated by what is usually known as a commutative diagram: