Jabarkan Kehomomorfan dari Grup topologi

Kehomomorfan dari grup topologis berarti kehomomorfan grup . Grup topologis, bersama dengan kehomomorfannya, membentuk kategori. kehomomorfan grup antara grup topologi komutatif kontinu jika dan hanya jika kontinu pada beberapa titik.

Keisomorfan dari grup topologis adalah grup keisomorfan yang juga merupakan homeomorfisme dari ruang topologi yang mendasarinya. Ini lebih kuat daripada hanya perlu keisomorfan grup kontinu, kebalikannya juga harus kontinu. Terdapat contoh grup topologis yang isomorfik sebagai grup biasa tetapi tidak sebagai grup topologis. Memang, setiap grup topologis takdiskret juga merupakan grup topologis bila dipertimbangkan dengan topologi diskret. Grup yang mendasari sama, tetapi sebagai grup topologis tidak ada keisomorfan.