部分環
環Rの部分集合Sが
加法群に関して部分群
乗法の単位元1を含む
乗法に関して閉じている
のとき、Sを部分環という
群における部分群と類似
環準同型