反転環
代数学において、環の逆、逆転、反対あるいは反転 (opposite) は同じ元と同じ加法演算をもつ環であって、積が逆順で行われるものである[1]。
より正確には、環 (R, +, ·) の反転は環 (R, +, *) であって、積 '*' が a * b = b · a によって定義される。（環の加法は定義から常に可換である。）
性質
[編集]環 (R, +, · ) が可換であることとその反転環が可換であることは同値である。2つの環 R1 と R2 が同型であれば、対応する反転環も同型である。環の反転の反転はもとの環と同型である。環とその反転環は逆同型 (anti-isomorphic; 反同型) である。
可換環はつねにその反転環と等しい。非可換環はその反転環と同型かもしれないし同型でないかもしれない。
脚注
[編集]参考文献
[編集]- Berrick, A. J.; Keating, M. E. (2000). An Introduction to Rings and Modules With K-theory in View. Cambridge studies in advanced mathematics. 65. Cambridge University Press. ISBN 978-0-521-63274-4
 | この項目は、抽象代数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。 |