👉 In abstract algebra, a commutant of a group G is a subgroup H that is also a normal subgroup of G. A commutant H is unique up to isomorphism because the definition only requires the existence of one such subgroup. If H is a commutant of G, then it is closed under multiplication by elements from G, meaning that if x and y are in H, then xy is also in H. The definition of a commutant can be extended to non
