În algebra abstractă un inel primSocietatea de Științe Matematice din România, A 63-a olimpiadă națională de matematică: Clasa a XII-a – Soluții și barem orientativ, Gazeta Matematică – seria B, 2012 este un inel nenul în care pentru oricare două elemente și din , pentru orice din implică fie , fie . Această definiție poate fi privită ca o generalizare simultană atât a domeniilor de integritate, cât și a inelelor simple.
Deși acest articol se referă la definiția de mai sus, inelul prim se poate referi și la subinelul minimal, diferit de zero, al unui corp, care este generat de elementul său neutru 1 și determinat de caracteristica sa. Pentru un corp cu caracteristica 0, inelul prim este inelul numerelor întregi, iar pentru un corp cu caracteristica (cu un număr prim) inelul prim este corpul finit de ordinul . , p. 90
Definiții echivalente Un inel este prim dacă și numai dacă idealul nul {0} este un ideal prim în sens necomutativ.
În acest caz, condițiile echivalente pentru idealele prime dau următoarele condiții echivalente pentru ca să fie un inel prim:
Pentru oricare două ideale și din , implică fie , fie Pentru oricare două ideale drepte și din , implică fie , fie Pentru oricare două ideale stângi și din , implică fie , fie
Cu aceste condiții se poate verifica că următoarele sunt echivalente cu faptul că este un inel prim: Toate idealele drepte nenule sunt -module drepte fidele. Toate idealele stângi nenule sunt -module stângi fidele.
Exemple Orice domeniu este un inel prim. Orice inel simplu este un inel prim, și, în general: orice inel primitiv stâng sau drept este un inel prim. Orice peste un domeniu de integritate este un inel prim. În special inelul de matrici este un inel prim.
Proprietăți Un inel comutativ este un inel prim dacă și numai dacă este un domeniu de integritate. Un inel este prim dacă și numai dacă idealul său nul este un ideal prim. Un inel nenul este prim dacă și numai dacă monoidul idealului nu are divizori ai lui zero. Inelul de matrici peste un inel prim este și el un inel prim.
Note
Bibliografie
Categorie:Teoria inelelor