Vizualizare sursă pentru „Inel factor”

{{Distinge|Inel factorial}}
În {{ill-wd| Q1208658||teoria inelelor}}, o ramură a [[algebră abstractă |algebrei abstracte]], un '''inel factor'''<ref name=TD><!-- Conf.dr.-->Tiberiu Dumitrescu, [http://gta.math.unibuc.ro/pages/Algebra1TD.pdf ''Algebra 1''] (curs, p.&nbsp;70), [[Universitatea din București]], accesat 2023-10-15</ref><ref name=DD><!-- Prof.dr. -->Alexandru Dincă, <!-- Lector.dr. -->Christina Dan, [http://math.ucv.ro/~dan/courses/carte_algebra.pdf ''Algebră III''], Craiova, Ed. Universitaria, 2009, {{ISBN|978-606-510-573-7}}, p.&nbsp;11</ref>, cunoscut și sub numele de '''inel cât'''<ref>[https://www.cs.ubbcluj.ro/files/curricula/2008/disc/syllabus/MML0005_105_3_2008.rtf SYLLABUS - Algebra 3], [[Universitatea Babeș-Bolyai]], 2009, accesat 2023-10-15</ref><ref name=LL>[[Leon Levițchi]] (coord.), ''Dicționar Tehnic Englez – Român'', București, [[Editura Tehnică]], 1967, p.&nbsp;1068</ref>, este o construcție destul de similară cu [[grup factor |grupul factor]] din [[teoria grupurilor]] și cu [[spațiu factor |spațiul factor]] din [[algebră liniară |algebra liniară]].<ref>{{en icon}} {{cite book | last1=Dummit | first1=David S. | last2=Foote | first2=Richard M. | title=Abstract Algebra | publisher=[[John Wiley & Sons]] | year=2004 | edition=3rd | isbn=0-471-43334-9}}</ref><ref>{{en icon}} {{cite book | last=Lang | first=Serge | author-link=Serge Lang | title=Algebra | publisher=[[Springer Science+Business Media|Springer]] | series=[[Graduate Texts in Mathematics]] | year=2002 | isbn=0-387-95385-X}}</ref> Începând cu un [[inel (matematică) |inel]] {{mvar|R}} și un [[ideal (teoria inelelor) |ideal]] bilateral {{mvar|I}} în {{mvar|R}}, se construiește un nou inel, inelul factor {{mvar|R / I}}, ale cărui elemente sunt {{ill-wd| Q751969||clasele laterale}} ale lui {{mvar|I}} din {{mvar|R}} supuse operațiilor <math>+</math> și <math>\,\cdot\,</math>. (La notarea inelului factor se folosește doar [[bară oblică |bara oblică]], „&nbsp;/&nbsp;”, nu și bara orizontală de [[fracție]].)

Inelele factor sunt distincte de așa-numitul „corp factor”, sau [[corpul fracțiilor]] al unui [[domeniu de integritate]], precum și de „inelele de coeficienți”, mai generale, obținute prin {{ill-wd| Q289093|localizare (algebră)|localizare}}.

== Construcția formală a unui inel factor ==
Fiind dat un inel <math>R</math> și un ideal bilateral <math>I</math> în <math>R</math>, se poate defini o [[relație de echivalență]] <math>\sim </math> pe <math>R</math>, după cum urmează:
:<math>a\sim b</math> [[dacă și numai dacă]] <math>a-b</math> este în <math>I</math>.
Folosind proprietățile idealului, nu este dificilă verificarea că <math>\sim</math> este o {{ill-wd| Q8349849||relație de congruență}}. În cazul <math>a\sim b</math>, se spune că <math>a</math> și <math>b</math> sunt ''congruente [[Ideal (teoria inelelor) |modulo]]'' <math>I</math>. {{ill-wd| Q1211071||Clasa de echivalență}} a elementului <math>a</math> din <math>R</math> este dată de
: <math>[a]=a+I := \{a+r: r\in I\}</math>.

Uneori clasa de echivalență este notată <math>a \bmod I</math> și este numită „clasa de resturi a lui <math>a</math> modulo <math>I</math>”.

[[Mulțime]]a tuturor acestor clase de echivalență este notată cu {{mvar|<math>R / I</math>}}; devine un inel, ''inelul factor'' al <math>R</math> modulo <math>I</math>, dacă se definește:
: <math>(a+I) + (b+I) = (a+b) + I</math>;
: <math>(a+I)(b+I) = (ab) + I</math>.
(Aici trebuie verificat dacă aceste definiții sunt [[expresie bine definită |bine definite]]. De comparat clasa de resturi cu grupul factor.)

[[Element zero |Elementul zero]] al {{mvar|<math>R / I</math>}} este <math>\bar{0} = (0+I) = I</math>, iar [[element neutru |elementul neutru]] este <math>\bar{1} = (1+I)</math>.

Aplicația <math>p</math> de la <math>R</math> pe <math>R / I</math> definită prin <math>p(a) = a+I</math> este un {{ill-wd| Q1194212||homomorfism de inele}} [[funcție surjectivă |surjectiv]], numit uneori ''homomorfism canonic''.

== Exemple ==
* Inelul factor {{mvar|R/{0} }} este {{ill-wd| Q1442189||izomorf natural}} cu {{mvar|R}}, iar {{mvar|R/R}} este [[inel nul |inelul nul]] {0}, deoarece, după definiția de față, pentru orice {{mvar|r}} din {{mvar|R}} există acel {{math|1=[''r''] = ''r'' + ''R'' := {''r'' + ''b'' : ''b'' ∈ ''R''},}} care este egal cu {{mvar|R}} în sine. Acest lucru corespunde regulii generale conform căreia cu cât idealul {{mvar|I}} este mai mare, cu atât inelul factor {{mvar|R / I}} este mai mic. Dacă {{mvar|I}} este un ideal adecvat al lui {{mvar|R}}, adică {{mvar|I ≠ R,}} atunci {{mvar|R / I}} nu este inelul nul.

* Fie inelul [[număr întreg |numerelor întregi]] '''Z''' și idealul [[număr par |numerelor pare]], notat cu 2'''Z'''. Atunci inelul factor {{math|'''Z'''/2'''Z'''}} are doar două elemente, mulțimea {{math|0+2'''Z'''}} constând din numerele pare și mulțimea {{math|1+2'''Z'''}} formată din numerele impare. Aplicând definiția, {{math|1=[''z''] = ''z'' + 2'''Z''' := {''z'' + 2''y'': 2''y'' ∈ 2'''Z'''}.}} Este în mod natural izomorf cu [[corp finit |corpul finit]] cu două elemente, '''F'''<sub>2</sub>. Intuitiv: dacă se consideră toate numerele pare ca fiind 0, atunci orice număr întreg este fie 0 (dacă este par), fie 1 (dacă este impar, prin urmare, diferă de un număr par cu 1). {{ill-wd| Q319400||Aritmetica modulară}} este în esență aritmetică în inelul factor {{math|'''Z'''/''n'''''Z'''}} (care are {{mvar|n}} elemente).

* Acum fie {{ill-wd| Q1455652||inelul de polinoame}} în [[variabilă |variabila]] {{mvar|X}} cu [[coeficient |coeficienți]] [[număr real |reali]], {{math|'''R'''[''X'']}}, și idealul {{math|1=''I'' = (''X''<sup>2</sup> + 1)}} constând din toți multiplii [[polinom]]ului {{math|''X''<sup>2</sup> + 1}}. Inelul factor {{math|'''R'''[''X''] / (''X''<sup>2</sup> + 1)}} este izomorf în mod natural cu [[corp (matematică) |corpul]] [[număr complex |numerelor complexe]] {{math|'''C'''}}, cu clasa {{math|[''X'']}} jucând rolul [[unitatea imaginară |unității imaginare]] {{mvar|i}}. Motivul este că s-a „forțat” {{math|1=''X''<sup>2</sup> + 1 = 0}}, adică {{math|1=''X''<sup>2</sup> = −1}}, care este definiția lui {{mvar|i}}. Deoarece orice exponent întreg al lui {{mvar|i}} trebuie să fie fie {{mvar|±i}}, fie {{math|±1}}, înseamnă că toate polinoamele posibile se simplifică în esență la forma {{mvar|1 = a + bi}}. (Pentru clarificare, inelul factor {{math|'''R'''[''X''] / (''X''<sup>2</sup> + 1)}} este de fapt izomorf în mod natural cu corpul tuturor polinoamelor liniare {{math|''aX''+''b'', ''a,b'' ∈ '''R''',}} unde se efectuează operațiile mod {{math|''X''<sup>2</sup>+1.}} Invers, {{math|1=''X''<sup>2</sup> = −1}}, iar aceasta face să corespundă {{mvar|X}} cu unitatea imaginară din corpul izomorf al numerelor complexe.)

* Generalizând exemplul anterior, inelele factor sunt adesea folosite pentru a construi [[extindere de corp |extinderii de corp]]. Fie {{mvar|K}} un corp și {{mvar|f}} un {{ill-wd| Q1476663||polinom ireductibil}} în {{math|''K''[''X''].}} Atunci {{math|1=''L'' = ''K''[''X''] / (''f'')}} este un corp al cărui [[polinom minimal]] peste {{mvar|K}} este {{mvar|f}}, care conține pe {{mvar|K}} precum și un element {{math|1=''x'' = ''X'' + (''f'')}}.

* Un aspect important al exemplului anterior este construcția corpurilor finite. Fie, de exemplu, corpul {{math|1='''F'''<sub>3</sub> = '''Z''' / 3'''Z'''}} cu trei elemente. Polinomul {{math|1=''f''(''X'') = ''X''<sup>2</sup> + 1}} este ireductibil peste {{math|'''F'''<sub >3</sub>}} (deoarece nu are rădăcină) și se poate construi inelul factor {{math|'''F'''<sub>3</sub>[''X''] / (''f'')}}. Acesta este un corp cu {{math|1=3<sup>2</sup> = 9}} elemente, notate cu {{math|'''F'''<sub>9</sub>}}. Celelalte corpuri finite pot fi construite similar.

* În [[geometrie algebrică |geometria algebrică]] inelele de coordonate ale {{ill-wd| Q648995||varietăților algebrice}} sunt exemple importante de inele factor. Ca un caz simplu, fie varietatea reală {{math|1=''V'' = {(''x'', ''y'') {{!}} ''x''<sup>2</sup> = ''y''<sup>3</sup>} }} o [[submulțime]] a planului real {{math|'''R'''<sup>2</sup>}}. Inelul funcțiilor polinomiale cu valori reale definite pe {{mvar|V}} poate fi identificat cu inelul factor {{math|'''R'''[''X'',''Y''] / (''X''<sup>2</sup> − ''Y''<sup>3</sup>)}}, iar acesta este inelul de coordonate al lui {{mvar|V}}. Varietatea {{mvar|V}} poate fi acum studiată studiind inelul său de coordonate.

== Proprietăți ==
Este evident că dacă {{mvar|R}} este un [[inel comutativ]], atunci și {{mvar|R / I}} este; reciproca însă nu este adevărată în general.

Aplicația factorială naturală {{mvar|p}} îl are pe {{mvar|I}} drept {{ill-wd| Q574844|nucleu (algebră) |nucleu}}. Întrucât nucleul fiecărui homomorfism de inele este un ideal bilateral, se poate afirma că idealele bilaterale sunt tocmai nucleele homomorfismelor de inele.

Relația intimă dintre homomorfismele de inele, nuclee și inele factor poate fi rezumată după cum urmează: ''homomorfismele de inele definite pe {{mvar|R / I}} sunt în esență aceleași cu homomorfismele de inele definite pe {{mvar|R}} care dispar (adică sunt nule) pe {{mvar|I}}''. Mai exact, fie un ideal bilateral {{mvar|I}} din {{mvar|R}} și un homomorfism de inele {{math|''f'' : ''R'' → ''S''}} al cărui nucleu îl conține pe {{mvar|I}}, există exact un homomorfism de inele {{math|''g'' : ''R'' / ''I'' → ''S''}} cu {{mvar|1=gp = f}} (unde {{mvar|p}} este aplicația factorială naturală). Aici aplicația {{mvar|g}} este dată de regula bine definită {{math|1=''g''([''a'']) = ''f''(''a'')}} pentru orice {{mvar|a}} din {{mvar|R}}. Într-adevăr, această {{ill-wd| Q1417809||proprietate universală}} poate fi folosită pentru a ''defini'' inelele factor aplicațiile lor factoriale naturale.

Ca o consecință a celor de mai sus, se obține afirmația fundamentală: fiecare homomorfism de inele {{math|''f'' : ''R'' → ''S''}} induce un [[izomorfism de inele]] între inelul factor {{math|''R'' / ker(''f'')}} și imaginea {{math|im(''f'')}}.

Idealele lui {{mvar|R}} și {{mvar|1=R / I}} sunt strâns legate: aplicația factorială naturală oferă o [[bijecție]] între idealele bilaterale ale {{mvar|R}} care conțin pe {{mvar|I}} și idealele bilaterale ale lui {{mvar|R / I}} (același lucru este valabil și pentru idealele stângi și drepte). Această relație între idealul bilateral se extinde la o relație între inelele factor corespunzătoare: dacă {{mvar|M}} este un ideal bilateral din {{mvar|R}} care îl conține pe {{mvar|I}} și se scrie {{mvar|M / I}} pentru idealul corespunzător din {{mvar|R / I}} (adică {{math|1=''M'' / ''I'' = ''p''(''M'')}}), inelele factor {{mvar|1=R / M}} și {{math|(''R'' / ''I'') / (''M'' / ''I'')}} sunt izomorfe în mod natural prin aplicația (bine definită!) {{math|''a'' + ''M'' ↦ (''a'' + ''I'') + ''M'' / ''I''}}.

Următoarele aspecte se dovedesc utile în [[Algebră comutativă|algebra comutativă]] și [[geometrie algebrică |geometria algebrică]]: pentru {{math|1=''R'' ≠ {0} }} comutativ, {{mvar|R / I}} este un corp dacă și numai dacă {{mvar|I}} este un [[ideal maximal]], în timp ce {{mvar|R / I}} este un [[domeniu de integritate]] dacă și numai dacă ''I'' este un [[ideal prim]]. O serie de afirmații asemănătoare stabilesc relații între proprietățile idealului {{mvar|I}} și proprietățile inelului factor {{mvar|R / I}}.

[[Teorema chinezească a resturilor]] afirmă că, dacă idealul {{mvar|I}} este [[intersecție (matematică) |intersecția]] (sau, echivalent, produsul) idealelor [[numere prime între ele |coprime]] în perechi {{math|''I''<sub>1</sub>, ... , ''I<sub>k</sub>''}}, atunci inelul factor {{mvar|R / I}} este izomorf cu [[produs de inele |produsul]] inelelor factor {{mvar|R / I<sub>n</sub>}}, {{math|1=''n'' = 1 , ..., ''k''}}.

== Note ==
<references />

== Bibliografie ==
* {{de icon}} F. Kasch (1978) ''Moduln und Ringe'', translated by DAR Wallace (1982) ''Modules and Rings'', Academic Press, page 33.
* {{en icon}} Neal H. McCoy (1948) ''Rings and Ideals'', §13 Residue class rings, page 61, Carus Mathematical Monographs #8, [[Mathematical Association of America]].
* {{en icon}} {{cite book|author=Joseph Rotman | title =Galois Theory| publisher=Springer|pages=21–3| year=1998 | isbn=0-387-98541-7| edition =2nd}}
* {{nl icon}} Bartel Leendert van der Waerden (1970) ''Algebra'', translated by Fred Blum and John R Schulenberger, Frederick Ungar Publishing, New York. See Chapter 3.5, "Ideals. Residue Class Rings", pages 47 to 51.

== Legături externe ==
{{Portal|Matematică}}
* {{en icon}} {{springer|title=Quotient ring|id=p/q076920}}
* {{en icon}} [http://www.math.niu.edu/~beachy/aaol/rings.html#ideals  Ideals and factor rings] from John Beachy's ''Abstract Algebra Online''

[[Categorie:Teoria inelelor]]