環同型写像

仮定

• \( R_1, R_2 \) は環
• \( f \) は写像 \( f: R_1 \longrightarrow R_2 \) は環準同型写像

定義

\( f \) が環同型写像であるとは、 \( f \) が全単射であること。