代数 - 群

ここでは \((X, 0, \pm)\) を群と呼ぶ