>>563
環論から言えば、素元の話になるんですかね。
とにかく、複雑な定義になっている場合は、何か裏事情がある場合が多いのではないか、ということを言いたかったんです。