Language: Japanese
が成り立つので、q における加法および乗法は剰余類 ab cd 各々の代表元 a b c d のとり方に依らない。    の属する同値類   が q における零元および単位元となることが確かめられ、マイナス元と逆元が上述のように得られるので、これで q における上述のような四則が全て形式的に正当化される。また、写像 ι を