Internal Topology on MI-groups

An MI-group is an algebraic structure based on a generalization of the concept of a monoid that satisfies the cancellation laws and is endowed with an invertible anti-automorphism representing inversion. In this paper, a topology is defined on an MI-group G under which G is  a topological MI-group. Then we will identify open, discrete and compact MI-subgroups. The connected components of the elements of G and connected MI-groups are also identified. Some features of the maximal MI-subgroups and ideals of a topological MI-group are investigated as well. Finally, some theorems about automatic continuity will be introduced.

Keywords:

MI-groups , Monoid , Pseudoidentity elements , canonical MI-subgroup , Full MI-subgroup , Internal topology