Path-component of identity
- The path-component of identity is a topological automorphism-invariant subgroup of the whole group. In particular, it is a normal subgroup of the whole group.
- The path-components are precisely the cosets of this subgroup. Since the subgroup is a normal subgroup, the left cosets coincide with the right cosets.