2 ALGEBRE

Virgil Emil C az anescu

December 23, 2004
1 Expresii si ecuat ii
1.1 Expresii
Conceptul de expresie asa cum este el folosit n nv at am antul preuniversitar nu are o denit ie si un nt eles precis.
Vom da un exemplu care s a ilustreze acest fapt. La ntrebarea este x y z o expresie? r aspunsul depinde de
contextul n care a fost pus a ntrebarea. Dac a operat ia a fost declarat a asociativ a, atunci x y z este o expresie.

In caz contrar ea nu este o expresie deoarece include o ambiguitate put and interpretat a ca x (y z) sau (x y) z
ambele ind expresii.

In continuare not iunea de expresie va denit a n ipoteza c a operat iile cu care lucr am nu au
nici o proprietate suplimentar a.
Mai ment ion am c a cele dou a expresii de mai sus mai pot scrise n scrierea polonez a x yz si xyz sau n
scrierea polonez a invers a xyz si xyz. Ne intereseaz a o denit ie a conceptului de expresie care s a e independent a
de forma de scriere a acesteia.
Denit ia 1.1 -algebra A = (A
s
, A

) se numeste liber generat a de V A dac a pentru orice -algebr a D si pentru

orice funct ie sortat a f : V D, exist a un unic morsm de -algebre f
#
: A D care extinde f.
-algebra A se numeste liber a dac a exist a V A astfel nc at A este liber generat a de V.
Denit ia 1.2 Se numeste expresie un element dintr-o algebr a liber a.
Binent eles c a acest concept este nc a dependent de signatura cu care lucr am.

In plus not iunea naiv a de expresie ne
d a intuit ia necesar a pentru nt elegerea conceptului de algebr a liber a: algebrele libere nu sunt altceva dec at algebre
de expresii.
Independent a de modul de scriere al expresiilor corespunde unicit at ii abstract ie de un izomorsm al algebrei
libere pentru care este xat a mult imea generatorilor.
1.2 Evaluarea expresiilor
Un alt concept deosebit de util at at n matematic a c at si n informatic a este cel de evaluare a unei expresii. Desi este
clar c a pentru a evalua o expresie este necesar s a d am valori variabilelor care apar n ea, mai put in evident este faptul
c a trebuie precizat si unde d am valori acestor variabile. Pentru a ilustra acest fapt ment ion am c a expresia x?(yz)
nu poate evaluat a numai d and valori variabilelor x, y si z ntr-o mult ime dac a mult imea nu este nzestrat a cu dou a
operat ii binare corespunz atoare simbolurilor de operat ii binare ? si .

In concluzie pentru a evalua o expresie este
necesar s a d am
1. o algebr a n care se fac calculele si care are aceeasi signatur a cu cea a expresiei
2. valori variabilelor din expresie.
Ment ion am c a a da valori variabilelor din mult imea X n algebra D este echivalent cu a da o funct ie v : X D.
Pentru orice variabil a x din X valoarea dat a lui x este v(x).
Vom nota cu T

(X) algebra liber generat a de mult imea X de variabile. Incluziunea X T

(X) este echivalent a

cu faptul intuitiv c a orice variabil a este o expresie. Pentru orice algebr a D si pentru orice funct ie v : X D exist a,
conform denit iei algebrelor libere, un unic morsm v
#
: T

(X) D a c arui restrict ie la X coincide cu v.

Fix and algebra D vom constata c a exist a o biject ie natural a ntre Alg

(T

(X), D) mult imea morsmelor de

algebre de la T

(X) la D si Set
S
(X, D) mult imea funct iilor S-sortate de la X la D. Fie
r : Alg

(T

(X), D) Set
S
(X, D)
1
funct ia restrict ie, adic a r(h) : X D este restrict ia morsmului h la X. Proprietatea de mai sus a algebrei libere
spune c a
(v Set
S
(X, D))(!v
#
Alg

(T

(X), D))r(v
#
) = v
adic a r este biject ie. Existent a acestei biject ii ne permite s a identic am elementele celor dou a mult imi nemaif ac and
distinct ie ntre un morsm v
#
de la T

(X) la D si v, restrict ia lui la X.

Dac a mai sus scriam c a a da valori variabilelor din mult imea X n algebra D este echivalent cu a da o funct ie
v : X D acum spunem c a:
A da valori variabilelor din mult imea X n algebra D este echivalent cu a da un morsm v : T

(X) D.
O alt a consecint a a celor de mai sus este:
Pentru a deni un morsm de la algebra liber generata de X la algebra D este sucient sa dam o
funct ie de la X la D.
Denit ia 1.3 Dac a e T

(X) este o expresie cu variabile din X si h : T

(X) D morsmul prin care se dau

valori n D variabilelor, atunci h(e) este rezultatul evalu arii expresiei e pentru valorile variabilelor date de funct ia
h : X D. 2
Pentru a ne convinge c a aceast a denit ie modeleaz a corect realitatea vom relua exemplul de mai sus privind expresia
x?(yz). S a evalu am aceast a expresie n mult imea numerelor naturale unde ? este nmult irea si este adunarea.
Pentru valorile x = 2, y = 3 si z = 1 intuitiv obt inem 2 (3 + 1) = 8 iar cu denit ia de mai sus unde
h : (T

({x, y, z}), ?, ) (N, , +)

este morsmul denit prin h(x) = 2, h(y) = 3 si h(z) = 1 obt inem
h(x?(yz)) = h(x) h(yz) = h(x) (h(y) + h(z)) = 2 (3 + 1) = 8.
1.3 Ecuat ii
S a analiz am conceptul de axiom a asa cum apare el n algebr a. De exemplu comutativitatea si asociativitatea se scriu
(xy)x?y = y?x (xyz)x?(y?z) = (x?y)?z.
Ce sunt acestea? Sunt egalit at i de dou a expresii cuanticate universal prin mult imea variabilelor cont inute n cele
dou a expresii. Deci o astfel de axiom a are forma
(X)l = r
unde l si r sunt din algebra liber generat a de mult imea X de variabile.
Ce nseamn a c a o axiom a este adev arat a ntr-o algebr a D? Intuitiv este necesar ca rezultatul evalu arii celor dou a
expresii l si r n algebra D s a e acelasi indiferent de valorile date n D variabilelor din X. Aceast a idee intuitiv a
conduce la:
Denit ia 1.4 Axioma (X)l = r este satisf acut a n algebra D dac a si numai dac a pentru orice morsm
h : T

(X) D este adev arat a egalitatea h(l) = h(r).

In continuare vom folosi pentru (X)l = r termenul de ecuat ie n locul celui de axiom a, pentru a ne conforma cu
terminologia internat ional a.

In plus vor intra n joc si asa zisele ecuat ii condit ionate. De exemplu
(xyz)(x y = x z y = z)
ceea ce corespunde axiomei de simplicare la st anga care este adev arat a n orice grup sau n orice monoid liber.
1.4 Ecuat ii condit ionate

In logica ecuat ional a o axiom a este o implicat ie

a
1
= c
1
, a
2
= c
2
, . . . , a
n
= c
n
a = c
unde ipoteza este o conjunct ie de egalit at i si concluzia o egalitate. Toat a implicat ia este cuanticat a universal, fapt
care nu apare scris mai sus. Dac a introducemn signatur a sortul boolean si pentru ecare sort s o operat ie binar a =
s
2
cu ambele argumente de sort s si rezultat boolean egalit at ile din ipotez a devin elemente booleene. Dac a si conjunct ia
boolean a este operat ie din signatur a, atunci ntreaga ipotez a devine un element boolean.

In acest cadru o axiom a,
numit a n continuare si ecuat ie condit ionat a a logicii ecuat ionale, poate scris a sub forma
(X) a =
s
c if H
unde a si c sunt elemente de acelasi sort s, iar H este un element de sort boolean din algebra liber generat a de
mult imea X de variabile. Ipoteza implicat iei este dat a de condit ia H.

In continuare presupunem ca n signatura noastra xata (S, ) exista un sort b S (b de la boolean)

si un simbol de operat ie constanta t
,b
(t de la true).
De ce numai at at? Pentru c a celelalte ipoteze ment ionate mai sus(conjunct ia boolean a si operat iile binare =
s
cu
dou a argumente de sort s si rezultat boolean) nu au nici un rol n demonstrat iile care urmeaz a. Binent eles ele vor
prezente aproape mereu n aplicat ii.
Pentru a verica dac a o algebr a D satisface axioma de mai sus se dau valori arbitrare variabilelor din X n D fapt
ce poate f acut printr-o funct ie arbitrar a f : X D sau echivalent printr-un morsm arbitrar h : T

(X) D.
Apoi se evalueaz a ipoteza H si se veric a dac a rezultatul evaluarii h
b
(H) coincide cu adev arul D
t
din D. Dac a
h
b
(H) = D
t
trebuie ca h
s
(a) = h
s
(c). Deci -algebra D satisface ecuat ia condit ionat a (X)a =
s
c if H fapt notat
prin
D|=

(X) a =
s
c if H
dac a si numai dac a
(h : T

(X) D) h
b
(H) = D
t
implic a h
s
(a) = h
s
(c).
Credem c a este bine s a ment ion am diferent a esent ial a ntre semnele =
s
si =, diferent a care va ment inut a constant
pe parcursul ntregului text. Egalul indexat de un sort(=
s
) indic a o egalitate formal a care poate adev arat a sau
fals a. Egalul = are semnicat ia uzual a indic and deobicei o egalitate adev arat a.

In cele ce urmeaz a putem evita folosirea mult imii X de variabile nlocuind at at mult imea X din cuanticatorul
(X) c at si algebra liber a T

(X) printr-o algebr a liber a P. Prin urmare o ecuat ie condit ionat a are forma
(P) a =
s
c if H
unde a si c sunt elemente de sort s iar H este un element de sort b din algebra liber a P. Prin denit ie
D |=

(P) a =
s
c if H
dac a si numai dac a (h : P D) h
b
(H) = D
t
implic a h
s
(a) = h
s
(c).
Denit iile formale le vom da n lect ia urm atoare.
2 Algebre Peano
Denit ia 2.1 O algebr a A = (A
s
, A

) se numet e Peano peste X A dac a

1. X genereaz a algebra A,
2. pentru orice
w,s
si orice a A
w
, A

(a) X
s
si
3. (
w,s
)(a A
w
)(

,s
)(a

A
w
) A

(a) = A

(a

) w = w

, =

si a = a

.
Teorema 2.2 Orice algebr a Peano peste X este liber generat a de X.
Demonstrat ie: Fie A = (A
s
, A

) o algebr a Peano peste X A, B o alt a algebr a si h : X B o funct ie.

Stim c a A =

nN
X
n
unde X
0
= X si pentru orice n N si orice s S
X
n+1
s
= X
n
s
{A

(a) :
w,s
, a X
n
w
}.
Denim prin induct ie dup a n N sirul de funct ii h
n
: X
n
B prin h
0
= h si
h
n+1
s
(a) =

h
n
s
(a) dac a a X
n
s
B

(h
n
w
(a

)) dac a a = A

(a

) X
n
s
unde
w,s
si a

X
n
w
Corectitudinea acestei denit ii rezult a din condit ia 3 din denit ia algebrei Peano.
Observ am c a sirul funct iilor h
n
: X
n
B este cresc ator. Denim funct ia g : A B pentru orice s S si
orice a A
s
prin
3
g
s
(a) = h
n
s
(a) dac a n este cel mai mic num ar natural cu proprietatea a X
n
s
.
Observ am c a g
s
(a) = h
m
s
(a) pentru orice num ar natural m cu proprietatea a X
m
s
.
Prob am c a g : A B este morsm de algebre. Fie
w,s
si a A
w
.
Deoarece A

(a) X
0
s
exist a n cel mai mic num ar natural cu proprietatea A

(a) X
n+1
s
X
n
s
. Rezult a c a
g
s
(A

(a)) = h
n+1
s
(A

(a)).
Prob am c a a X
n
w
. Deoarece A

(a) X
n+1
s
X
n
s
exist a

,s
si a

X
n
w
astfel nc at A

(a) = A

(a

). Rezult a
c a w = w

, =

si a = a

, deci a X
n
w
. Prin urmare
g
w
(a) = h
n
w
(a) si h
n+1
s
(A

(a)) = B

(h
n
w
(a))
deci
g
s
(A

(a)) = B

(h
n
w
(a)) = B

(g
w
(a)).
Restrict ia lui g la X = X
0
este h
0
= h.
Unicitatea lui g este consecint a faptului c a X genereaz a A.
Teorema 2.3 Algrbra arborilor de derivare ai unei gramatici independente de context este algebr a Peano peste
mult imea vid a.
Fie (S, ) o signatur a si X o mult ime S-sortat a cu componentele disjuncte dou a c ate dou a. F ar a a micsora general-
itatea vom presupune c a si X sunt disjuncte.
Consider am gramatica independent a de context denit a prin
1. Mult imea neterminalelor este S,
2. Mult imea terminalelor este X si
3. Mult imea product iilor este {(s, w)|
w,s
} {(s, x)|s S, x X
s
}.
Not am cu A = (A
s
, A
(s,w)
, A
(s,x)
) algebra arborilor ei de derivare. Ea este algebr a Peano peste mult imea vid a.
Not am cu B = (A
s
, B

) algebra de signatur a denit a prin B

= A
(s,w)
pentru orice
w,s
si cu i : X A
funct ia S-sortat a denit a pentru orice s S si x X
s
prin i
s
(x) = A
(s,x)
. Observ am c a funct ia i are toate
componentele injective.
Teorema 2.4 -algebra B este Peano peste i(X).
Demonstrat ie:
1. Fie C A o parte stabil a a algebrei B care include i(X). Observ am c a C este o parte stabil a a algebrei A.
Deaorece A este Peano peste mult imea vid a rezult a c a C = A.

In concluzie algebra B este generat a de i(X).

2. Fie
w,s
si a A
w
. Deoarece A
(s,w)
(a) = A
(s,x)
pentru orice s S si x X
s
rezult a c a B

(a) i(X).
3. Fie
w,s
, a A
w
,

,s
a

A
w
cu B

(a) = B

(a

). Din
A
(s,w)
(a) = A
(s

,w

)
(a

)
deoarece A este algebr a Peano deducem c a (s, w) = (s,

) si a = a

. Mai observ am c a =

si w = w

.
3 Algebre proiective
Fie (S, ) o signatur a multisortat a. Vom lucra n categoria -algebrelor Alg

. Pentru simplicitate vom scrie pe

scurt algebr a si morsm n loc de -algebr a si respectiv morsm de -algebre.
Intr-o categorie, un morsm e : A B se numeste epimorsm dac a pentru orice pereche de morsme f : B C
si g : B C dac a e; f = e; g, atunci f = g.
Propozit ie 3.1 Fie A si B dou a (S, )-algebre si h : A B un (S, )-morsm. Morsmul h este epimorsm n
A

dac a si numai dac a h

s
este surjectiv pentru orice s S.
Intr-o categorie, un obiect P se numeste proiectiv dac a pentru orice epimorsm e : A B si pentru orice
morsm f : P B exist a un morsm g : P A astfel nc at g;e = f.
4
Propozit ie 3.2 In Alg

orice algebr a liber a este proiectiv a.

Demonstrat ie: Fie A, B dou a (S, )-algebre si X o mult ime S-sortat a de variabile. Dac a e : A B este un
morsm cu toate componentele surjective si f : T

(X) B este un morsm oarecare trebuie s a demonstr am c a

exist a un morsm g : T

(X) A astfel nc at g; e = f.
Pentru a deni morsmul g este sucient s a d am act iunea lui pe variabile.
Fie s S si x X
s
. Deoarece e
s
este surjectiv, deci exist a a
x
A
s
astfel nc at f
s
(x) = e
s
(a
x
). Denim g ca
ind unicul morsm cu proprietatea c a g
s
(x) = a
x
pentru orice s S si pentru orice x X
s
. Este evident faptul c a
(g; e)
s
(x) = f
s
(x) pentru orice s S si orice x X
s
. Deoarece morsmele g; e si f coincid pe generatorii algebrei
libere T

(X) rezult a c a g; e = f si demonstrat ia este ncheiat a. 2

Comentariu. Faptul c a g
s
(x) poate ales arbitrar n e
1
s
({f
s
(x)}) nu garanteaz a unicitatea lui g. 2
5