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!