noun
prime ideal
A technical term in ring theory: an ideal P such that if a product ab belongs to P, then a or b belongs to P. Used in algebraic number theory and algebraic geometry.
整数環において、素数 p から生成されるイデアル (p) は素イデアルである。
In the ring of integers, the ideal (p) generated by a prime number p is a prime ideal.
可換環論では、素イデアルによる局所化が重要な操作となる。
In commutative ring theory, localization at a prime ideal is an important operation.