Universal property of profinite completion
ID: universal-property-of-profinite-completion
Every homomorphism from a group to a profinite group extends uniquely to a continuous homomorphism . Construct the extension on every finite quotient of and invoke the universal property of an inverse limit; uniqueness follows from the density of in .
New to topics? Read the docs here!