§21.2 环、理想、整环、同构等概念