包装一个问题

[TheMatrix]

考虑Z[X]，the polynomial ring with integer coefficient。
考虑 Z[X] --> Z 的全部surjective ring homomorphism，记为 Hom(Z[X],Z)。
给定 r in Z[X]，考虑 r在Z中的全部像点集合，
也就是 S(r) = { φ(r): φ in Hom(Z[X],Z) }。

包装一个问题：r is irreducible if and only if S(r) has infinitely many primes.