You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Propozit¸ia 1.1 ([2], Propozit¸ia 1.1). Există o corespondent¸ă bijectivă, ce<br />
păstrează ordinea dată de incluziune, între mult¸imea idealelor b ale lui A ce<br />
cont¸in a ¸si cea a idealelor b ale lui A/a, corespondent¸ă dată de<br />
b = φ −1 (b) .<br />
Teorema 1.2. (de izomorfism) Fie f : A → B un morfism de inele,<br />
I = ker f, a un ideal al lui A inclus în I ¸si φ : A → A/a proiect¸ia canonică.<br />
Atunci:<br />
1) Există un unic morfism f : A/a → B astfel încât f = f ◦ φ.<br />
2) Morfismul f este injectiv dacă ¸si numai dacă a = I.<br />
3) Morfismul f este surjectiv dacă ¸si numai dacă f este surjectiv.<br />
În particular,<br />
Imf A/ ker f .<br />
Fie A ¸si B două inele. Notăm A[X1, . . . , Xn] inelul polinoamelor în n<br />
nedeterminate peste A (n ∈ N ∗ ). Un morfism<br />
f : A[X1, . . . , Xn] → B<br />
este determinat de restrict¸ia sa la A ¸si de imaginile nedeterminatelor Xi,<br />
i ∈ {1, . . . , n}.<br />
Fie A un inel. Numim A-algebră un inel B înzestrat cu un morfism<br />
(care, în acest volum, este în cele mai multe situat¸ii injectiv) f : A → B.<br />
A-algebra B se nume¸ste de tip finit dacă este generată de un număr finit de<br />
elemente x1, . . . , xn, în sensul următor: orice element al lui B se poate obt¸ine<br />
ca un polinom în xi cu coeficient¸i în A. Altfel spus, inelul B este izomorf cu<br />
un cât al inelului de polinoame A[X1, . . . , Xn].<br />
1.1.2 Divizori ai lui zero; elemente nilpotente; unităt¸i<br />
Un element x ∈ A se nume¸ste divizor al lui zero dacă există y ∈ A\{0}<br />
astfel încât xy = 0. Un inel fără divizori ai lui zero nenuli se nume¸ste inel<br />
integru domeniu de integritate.<br />
Un element x ∈ A se nume¸ste nilpotent dacă există n ∈ N ∗ astfel încât<br />
x n = 0.<br />
Un element x ∈ A este inversabil (sau element unitate) dacă există<br />
y ∈ A astfel încât xy = 1. Elementul y este determinat în mod unic de x ¸si<br />
este notat x −1 . Mult¸imea elementelor inversabile ale lui A formează un grup<br />
2