一般マグマの多項式の完備化 環の演算では書き換え規則の合成を行っているので、今までの議論で説明できるのですが、その説明では長くなるのでいったん 群の完備化の説明をしたいと思います。群の完備化ではクヌース・ベンディックス完備化アルゴリズム - Wi…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。