Z[A]は、Aがどんな複素数のときにUFDになりますか？
Z[A]がUFDならば、ユークリッド環にもなっていますか？