unique-factorization-domain-that-is-not-a-principal-ideal-domain-image April 24, 2016 1260 × 672 unique-factorization-domain-that-is-not-a-principal-ideal-domain-image The ideal (X_1,X_2) is not principal in F[X_1,X_2]