圭

圭是一种代数结构, 刻画群里的对合、图形的反射变换.

1定义

定义 1.1. 圭是集合 $S$ 附带二元运算 $◃$, 满足对任意 $a,b,c\in S$:

•	$a◃(b◃c)=(a◃b)◃(a◃c)$;
•	$a◃a=a$;
•	$a◃(a◃b)=b$.

2例子

•	对群 $G$, 子集 $S=\{s\in G\mid s^2=1\}$ 关于运算 $a◃b=ab{a}^{-1}$ 构成圭.

3相关概念

•

卝

术语翻译

圭 • 英文 kei • 日文 圭