Ideal principal

De Viquipèdia

Un ideal I d'un anell A és principal si tots els seus elements són múltiples d'un cert element g \in I que n'és el generador; això és

\exists g \in I, \forall a \in I, \exists n \in A, a = ng

La notació més comuna per a descriure que l'ideal principal I té a g \in I com a generador és aquesta:

I = (g)