Vés al contingut

Ideal primer

De la Viquipèdia, l'enciclopèdia lliure

En matemàtiques, un ideal primer és un conjunt inclòs en un anell que té unes propietats semblants a les que tenen els nombres primers dins l'anell dels nombres enters. El concepte d'ideal primer té important rellevància, no només dins la pròpia teoria d'anells de l'àlgebra abstracta sinó també en teoria algebraica de nombres i en l'aritmètica modular.

Definició

[modifica]

Hi ha dues definicions molt esteses per aquest concepte. La primera, indica el concepte i diu:

  • Un ideal I d'un anell A es diu que és primer si AI i quan dos ideals J1, J₂ ⊆ A compleixen que el seu producte J1J₂ està inclòs en I aleshores algun dels dos està també inclòs en I.

Aquesta definició reflecteix el punt de vista històric que va portar als ideals primers com a generalització dels nombres ideals primers, donat que en l'estudi de divisibilitat de ℤ, el concepte «J està inclòs en I» es correspon amb el de «I divideix J». Per tant, és una generalització de la propietat del lema d'Euclides.

La segona definició és, en canvi, més concisa i diu:

Exemples

[modifica]

Usos

[modifica]

Un àmbit on els ideals primers tenen especial importància és en la geometria algebraica. Allà, el conjunt d'ideals primers d'un anell s'anomena el seu espectre que es converteix en un espai topològic seguint la definició de la topologia de Zariski.