>>329
d≠0、m>1、m²|dの時, m²はdの平方因子

dを平方因子を持たない整数とする
ℤ[√d]、x+y√d、√d∉ℚ
部分環