素元分解環

各元が素元（あるいは既約元）の積に一意的に書くことができるような可換環