§1.

Verificarea proprietăţiilor structurilor algebrice

Fie Q o mulțime nevidă, cuplul (Q, •), unde • este o operație binară se
numește grupoid.
Se dă grupoidul (Q, •). Se cere de elaborat un program şi de verificat dacă în
grupoidul respectiv se îndeplinesc următoarele condiţii:
Asociativ – dacă (a•b)c = a(b•c), a,b,c Q.
Medial – dacă (a•b)(c•d) = (a•c)(b•d), a,b,c,d Q.
Paramedial - dacă (a•b)(c•d) = (d•b)(c•a), a,b,c,d Q.
Bicomutativ -dacă (a•b)(c•d) = (d•c)(b•a), a,b,c,d Q.
AG – grupoid - dacă (a•b)c = (c•b)a, a,b,c Q.
GA – grupoid - dacă (a•b)c = c(b•a), a,b,c Q.
AD – grupoid - dacă (a•b)c = c(a•b), a,b,c Q.
DA – grupoid - dacă a(b•c)= c(b•a), a,b,c Q.
Hexagonal – dacă a•a = a, medialitatea (a•b)(c•d)=(a•c)(b•d), a,b,c,d Q.
Distributiv de dreapta - dacă (a•b)c = (a•c)(b•c), a,b,c Q.
Distributiv de stînga - dacă c(a•b) = (c•a)(c•b), a,b,c Q.

1.
2314
4132
3241
1423

2.
1243
2314
4132
3421

3.
1243
2 314
4132
3421

4.
2134
1342
3421
4213

5.
123
231
312
6.
1423
3241
4132
2314

7.
1473625
6 2 5 1 47 3
4736251
2514736
7362514
5147362
3625147

8.
122564
222564
223364
666425
444652
555246

9.
1243
2314
4132
3421

10.
2134
1342
3421
4213

11.
2134
3421
4312
1243
 12.
123
312
231

13.
132
213
321

№
1 2 3 4 5 6 7 8 9 10 11 12 13
asociativ - - - - + - - - - - - - -
medial - - - - + + + - - - - + +
paramedi - - - - + - - - - - + + +
al
bicomuta - + + - + - - - + + - + +
tiv
AG- - - - - + + - - - - - + -
grupoid
GA- - + + - + - - - + + - - -
grupoid
GA1- - - - - + - - - - - - - -
grupoid

AD- - + + - + - - - + + - - -
grupoid
DA- - - - - + + - - - - - - +
grupoid
Distr de - - - - + + + - - - - - -
dreapta
Distr de - + - - + + + - - - - - -
stinga
Hexagona - - - - - + + - - - - - -
l
Unitate - - - - - - - - - - - - -
dreapta
Unitate - - - - + - - - - - - + -
Stinga
Unitate - - - - - - - - - - - + -