899 部分環はイデアル、イデアルは加法部分群
確かに初学者にとっては抽象的すぎて動機づけが足りなくてむずかしいところ