Equivalent group extensions
ID: equivalent-group-extensions
Two extensions of by the same -module are equivalent when an isomorphism between their middle groups commutes with the inclusions of and the projections to . Splitness is preserved under this equivalence.
New to topics? Read the docs here!