>>688
言えない。ZはPIDだが、Z[x]上のxと2で生成されるイデアルは単項生成にならない。多分。