*-環 - .｡oO(さっちゃんですよヾ(〃l

*-環

*-ring。對合環 (involutive ring)

對合 (involution。共軛 (conjugate))

$ (x^*)^*=x(對合律) となる作用

*-環$ (R,~^*)とは、以下を滿たす對合$ ^*:R\to Rを持つ環

加法律$ (x+y)^*=x^*+y^*

反乘法律$ (xy)^*=y^*x^*

(單位律$ 1^*=1これは他の公理から導ける)

對合律$ (x^*)^*=x

以上より$ ^*は對合逆轉自己同型である

準同型は、環の準同型であると共に$ f(x^*)=f(x)^*である事を求める

*-代數 (*-algebra。對合多元環。對合代數 (involutive algebra)。*-多元環)

C*-環 (C*-代數。C*-algebra)

von Neumann 環 (von Neumann algebra)

*-半群 (對合附き半群)

圭

分配亜群 (distributive groupoid。quandle)

殘滓 (rack)