Tabla unei operaii

Se aplic pentru legile de compoziie

definite pe mulimi finite

Noiuni teoretice
Fie M o mulime. Spunem c operaia , este

lege de compoziie definit pe MxM dac

oricare ar fi x i y din MxM avem c xy
aparine lui M.
Proprieti:
- asociativitatea
- comutativitatea
- element neutru
- element simetrizabil

Aplicaie 1.Fie mulimea M={1,2,3,4}. Alctuii

tabla operaiei pentru xy=max(x,y) i
identificai proprietile.

este asociativ
este comutativ
are element neutru pe 1
toate elementele sunt

simetrizabile adic:
1=1
2=2
3=3
4=4

Aplicaie 2. Fie mulimea M={0,1,2,3,4,5}.

Alctuii tabla operaiei i identificai
proprietile pentru
xy=restul mpririi lui xy la 6.

0
1
2
3
4
5

0
0
0
0
0
0
0

1
0
1
2
3
4
5

2
0
2
4
0
2
4

3
0
3
0
3
0
3

4
0
4
2
0
4
2

5
0
5
4
3
2
1

este asociativ
este comutativ
are element neutru pe 1
0,2,3 i 4 nu sunt

simetrizabile doar 1 i 5
1=1
5=5

Aplicaie 3. Fie mulimea M={0,1,2,3,4}.

Alctuii tabla operaiei i identificai
proprietile pentru xy=|x-y|.

0 1 2 3 4

0 0 1 2 3 4
1 1 0 1 2 3
2 2 1 0 1 2
3 3 2 1 0 1
4 4 3 2 1 0

nu este asociativ pentru c

(12)4 1(24)
este comutativ
are element neutru pe 0
toate elementele sunt
simetrizabile adic
0=0
1=1
2=2
3=3
4=4

Aplicaie 4. Pe mulimea M={1,2,3,4,5,6} se definete

legea de compoziie cu urmtoarele proprieti:

xy=x:y , dac x se divide prin y,
xy=y:x , dac y se divide prin x,
xy=|x-y| , n caz contrar

1 2 3 4 5 6

1 1 2 3 4 5 6
2 2 1 1 2 3 3
3 3 1 1 1 2 2
4 4 2 1 1 1 2
5 5 3 2 1 1 1
6 6 3 2 2 1 1

nu este asociativ pentru

c (23)42(34)
este comutativ
are element neutru pe 1
elementele sunt
simetrizabile dar nu au
simetric unic

Aplicaie 5.Fie mulimea M={f1, f2, f3, f4} unde f1,

f2, f3, f4 :R\{0}R f1(x)=x, f2(x)=1/x, f3(x)=-x,
f4(x)=-1/ mpreun cu operaia de compunere a
funciilor. Alctuii tabla operaiei i identificai
proprietile.

f1

f2

f3

f4

f1

f1

f2

f3

f4

f2

f2

f1

f4

f3

f3

f3

f4

f1

f2

f4

f4

f3

f2

f1

este asociativ
este comutativ dei n

general compunerea
funciilor nu este
comutativ
are element neutru pe f1
toate elementele sunt
simetrizabile