Neen, dit is letterlijk de vraag zoals ze op het oefeningenblad staat. Er zijn wel nog 3 andere deelvragen die volgen na de 2 die ik hier heb gepost. 3) Bewijs dat

wat natuurlijk volgt uit de associativiteit en regulariteit:
=a\ast x\Rightarrow e\ast x=x)
2) Bewijs dat
)
een groep is: associativiteit en inwendigheid zijn al meegegeven door de binaire bewerking, neutraal element hebben we zonet alles bewezen, nl.

, dus enkel nog bewijzen dat

: analoog zoals bij 1), doordat

, kunnen we opnieuw gebruik maken van de uniciteit van de producten en de eindigheid van G om te stellen dat er met elk element in G, een invers element correspondeert.
3) Is
)
nog steeds een groep als G oneindig is? Neen, dan kunnen we bovenstaande redenering niet meer maken