 (The opposite conclusion holds for any ideal, by definition).Thus, if a prime ideal is principal, it is equivalently generated by a prime element.However, in rings such as formula_6, prime ideals need not be principal.