Wiki. *-代数 [星代数]

一个 *-代数是一个交换 (或非交换), 结合 (或非结合) 代数 $A$, 具有一个反对合 (anti-involution) $(-)^*\colon A \to A$, 满足

  • $(ab)^* = b^* a^*$,
  • $(a^*)^* = a$,
  • $1^*=1$.