Isomorphism of topological groups

Summary

An isomorphism of topological groups is a group isomorphism that is also a homeomorphism. Two isomorphic topological groups are the same in every respect that involves both the group law and the topology. A continuous bijective homomorphism need not be an isomorphism, because its inverse may fail to be continuous. The open mapping theorem for locally compact groups gives conditions under which this cannot happen.