>>573
いま、ふと思ったが、
Z/nZで、n=1とすると
Z/Z={Z}

これは何者だろう?
単位元のみと見て、
群と解釈できるが
1元体F1?(゜ロ゜;