シフトしてみよう 群や体は条件を満たせばすべてそれとみなせるので、 そのような演算子を無理くり作ることもできる。 例えば実数\(\mathbb{R}\)上のある\(a\)に対して、 \(x@y = x+y-a\) などといった演算子を考えてみよう。 これは、 \((z-a)=(x-a)+(y-a)\)…

群と体 群や体といった概念は、大まかに足し算や掛け算を一般化した概念である。 面白い群を見かけたのでその記事を書こうと思ったら能書きが長くなってしまった。 定義を切り分けて、記事にしておく。