Se spune că un inel R este un inel primitiv stâng dacă are un R-modul stâng simplu fidel. Un inel primitiv drept este definit similar cu R-modul drept. Există inele care sunt primitive pe o parte, dar nu pe cealaltă. Primul exemplu a fost construit de George Bergman.[1]. Un alt exemplu care arată deosebirea este găsit de Jategaonkar.[2]
O caracterizare internă a inelelor primitive stângi este următoarea: un inel este primitiv stâng dacă și numai dacă există un ideal maximal stâng care nu conține ideale bilaterale nenule. Pentru inelele primitive drepte definiția este analoagă.
O altă definiție, echivalentă, afirmă că un inel este primitiv stâng dacă și numai dacă este un inel prim cu un modul stâng fidel de lungime(d) finită.[3]
Proprietăți
Inelele primitive unilaterale sunt atât inele semiprimitive, cât și inele prime. Deoarece produsul a două sau mai multe inele nenule nu este prim, este evident că produsul inelelor primitive nu este niciodată primitiv.
Pentru un inel artinian stâng, se știe că condițiile „primitiv stâng”, „primitiv drept”, „prim” și „simplu” sunt toate echivalente, iar în acest caz este un inel semisimplu izomorf cu un inel de matrici(d) pătrate peste un corp. Mai general, în orice inel cu un ideal minimal unilateral, „primitiv stâng” = „primitiv drept” = „prim”.
Orice inel simplu R cu unitate este atât primitiv stâng cât și drept. (Totuși, un inel simplu fără unitate poate să nu fie primitiv.) Acest lucru decurge din faptul că R are un ideal maximal stâng M și faptul că modulul factorR/M este un R-modul simplu stâng și că anulatorul său este în R un ideal bilateral propriu. Deoarece R este un inel simplu, acest anulator este {0}, prin urmare, R/M este un R-modul stâng fidel.
Algebrele Weyl peste corpurile cu caracteristica zero sunt primitive și, deoarece sunt domenii, sunt exemple fără ideale minime unilaterale.
Inele liniare complete
Un caz perticular al inelelor primitive este cel al inelelor liniare complete. Un inel liniar complet stâng este inelul tuturortransformărilor liniare ale unui spațiu vectorial stâng de infinit dimensional peste un corp. (Un inel liniar complet drept diferă prin utilizarea unui spațiu vectorial drept.) În simboluri, unde V este un spațiu vectorial peste un corp D. Se știe că R este un inel liniar complet stâng dacă și numai dacă R este un inel regulat von Neumann(d), autoinjectiv stâng, cu soclulsoc(RR) ≠ {0}.[4] În algebra liniară, se poate arăta că este izomorf cu inelul matricilor linie finite , unde I este un set de indici a cărui dimensiune este dimensiunea lui V peste D. De asemenea, inelele liniare complete drepte pot fi realizate ca matrici coloane finite peste D.
Folosind aceasta, se poate vedea că există inele primitive stângi care nu sunt simple. Prin caracterizarea densității Jacobson, un inel liniar complet stâng R este întotdeauna primitiv stâng. Când dimDV este finit, R este un inel de matrici pătrate peste D, dar când dimDV este infinit, mulțimea transformărilor liniare de rang finit este un ideal bilateral propriu al lui R, prin urmare R nu este simplu.
en Goodearl, K. R. (), von Neumann regular rings (ed. 2), Malabar, FL: Robert E. Krieger Publishing Co. Inc., pp. xviii+412, ISBN0-89464-632-X, MR1150975
en Lam, Tsi-Yuen (), A First Course in Noncommutative Rings, Graduate Texts in Mathematics, 131 (ed. 2nd), Springer, ISBN9781441986160, MR1838439
en Rowen, Louis H. (), Ring theory. Vol. I, Pure and Applied Mathematics, 127, Boston, MA: Academic Press Inc., pp. xxiv+538, ISBN0-12-599841-4, MR0940245
