Let be an open normal subgroup of a compact topological group , and let be a continuous faithful representation. Choose representatives for the finite left cosets . Write and act on the -th summand of by into the -th summand. The cocycle identity proves this is a continuous group representation. An element outside has a nontrivial coset permutation, while an element of acting trivially has on the identity-coset summand. Hence the representation of is faithful and integral.

Articles by others on the same topic (0)

There are currently no matching articles.