prime ideal

An algebra ideal is called prime if it satisfies the condition that if for elements , if then or

Note:

If is prime, then the quotient is a domain.