デデキント環でできんとかん<[Gr]でできんと>・かん

Math.Dedekind-Ring