08/07/17 02:10:09
>>408
ああ，非可換でいいのか．だったら簡単に作れる．
S を {a, b, c, d, x, y, u, v} が生成する(単位的な)半群で，
各元が a x = b y, c x = d y, a u = b v なる条件を満たすものとし，
R = k S (k は可換体) として得られる環 R が例になる．
（S上では c u ≠ d v だが，埋め込めたとすると c u = d v になる）
08/07/17 02:10:09
>>408
ああ，非可換でいいのか．だったら簡単に作れる．
S を {a, b, c, d, x, y, u, v} が生成する(単位的な)半群で，
各元が a x = b y, c x = d y, a u = b v なる条件を満たすものとし，
R = k S (k は可換体) として得られる環 R が例になる．
（S上では c u ≠ d v だが，埋め込めたとすると c u = d v になる）