https://123dok.net/document/qvl60x9r-monoid-extension-submonoid-groupg-morphism-ontogsuch-inverse-identity.html