Varios grupos tienen la propiedad de que cada elemento es su propio inverso. Por ejemplo, los números $0$ y $1$ y el operador XOR forman un grupo de este tipo, y más generalmente el conjunto de todas las cadenas de bits de longitud $n$ y XOR forman un grupo con esta propiedad.
Estos grupos tienen la interesante propiedad de que tienen que ser conmutativos .
¿Hay algún nombre especial asociado a los grupos con esta propiedad? ¿O son simplemente "grupos abelianos donde cada elemento tiene orden dos"?
Gracias.