>>471
つづき

注釈
1^ 環論において、環 R の "unit"（単元）は、単位元 1R に限らず、その環 R において乗法逆元を持つ元（可逆元）を総した呼称である。しかし、可逆性は単位元の存在なしには定義できないし、単位元は必ず単元であるので、何らかの単元を持つ環は必ず単位的環となって、"ring with (a) unit" という呼称は図らずも齟齬をきたさない。
(引用終り)