Wikipedia tiene un básico de referencia en *-anillos en el *-álgebra artículo, que define un *anillo como un anillo equipado con un * operador que es un antiautomorphism y una involución.
Sin embargo, no estoy interesado en anillos equipados con un operador, pero los Grupos equipado con uno. He intentado buscar por "*-grupo" para encontrar referencias, pero no fue capaz de encontrar mucho (también probé el groupified versiones de los nombres alternativos de Wikipedia sugerido por *-anillos: "involutiva anillo, involutory el anillo y el anillo con la involución", sin suerte).
Me pregunto si tal estructura como un "*-grupo" que existe en la literatura, y si es así, ¿qué nombre hace que se vaya?
¿Hay alguna referencia que pueda dar una introducción básica al tema? (O tal vez la estructura es trivial, lo que podría explicar tan poco se ha escrito acerca de él?)
(Para el contexto de por qué estoy interesado, estoy pensando en generalizaciones de una Contado B-Árbol para no conmutativa sumas de dinero, donde los segmentos pueden ser sumados, restados off de cada uno de los otros, y "voltear" para invertir el orden).
