or invariant subgroup, n. a subgroup that is left invariant by all inner automorphisms of the group, or equivalently, has identical left- and right-cosets in the group. This occurs as the kernel of some homomorphism of the given group into another group. This latter definition is sensible also for monoids. For example, the center of a group is a normal subgroup.