§2.

Produs Cartezian direct dintre doi grupoizi

Se cere de elaborate algoritm ,care efectuiaza produs cartezian dintre grupoid

(Q1,·) si (Q2,o) conform regulei:
( x 1 , y 1 )∗( x 2 , y 2 )=( x 1 ∙ x2 , y 1 ° y 2), unde x 1 , x 2 ∈Q 1 şi y 1 , y 2 ∈Q2
program prob3;
uses crt;
type masiv=array[1..50,1..50] of integer;
var a,b,rez,t1,p1,gr:masiv;
r1,d1,r,d,n,t,i,j,k,p,r2,m:integer;
c,f:array[1..100] of integer;
procedure produs_cartez(var S:masiv);
var i,j:integer;
begin
k:=1;
for i:=1 to n do
for j:=1 to m do
begin
c[k]:=i;
t1[i,j]:=k;
f[k]:=j;
k:=k+1;end;
for i:=1 to n*m do
for j:=1 to n*m do
s[i,j]:=t1[a[c[i],c[j]],b[f[i],f[j]]];
end;
procedure medial (gr:masiv);
var i,j,k,t,l:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
for t:=1 to n do
begin
d:=gr[i,j];
r:=gr[k,t];
d1:=gr[i,k];
r1:=gr[j,t];
if gr[d,r]<>gr[d1,r1] then inc(l);end;
if l=0 then writeln('este medial') else
writeln('nu este medial');
end;
Procedure asociativ(gr:masiv);
var l,i,j,k:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
begin
d:=gr[j,k];
d1:=gr[i,j];
 if gr[i,d]<>gr[d1,k] then inc(l); end;
if l=0 then writeln('este asociativ') else
writeln('nu este asociativ');end;

Procedure paramedial(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
for t:=1 to n do
begin
d:=gr[i,j];
r:=gr[k,t];
d1:=gr[t,j];
r1:=gr[k,i];
if gr[d,r]<>gr[d1,r1] then inc(l);end;
if l=0 then writeln('este paramedial') else
writeln('nu este paramedial');end;
Procedure bicomutativ(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
for t:=1 to n do
begin
d:=gr[i,j];
r:=gr[k,t];
d1:=gr[t,k];
r1:=gr[j,i];
if gr[d,r]<>gr[d1,r1] then inc(l);end;
if l=0 then writeln('este bicomutativ') else
writeln('nu este bicomutativ')end;
Procedure AG_grupoid(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
begin
d:=gr[i,j];
d1:=gr[k,j];
if gr[d,k]<>gr[d1,i] then inc(l);end;
if l=0 then writeln('este AG grupoid') else
writeln('nu este AG grupoid'); end;
Procedure GA_grupoid(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
begin
 d:=gr[i,j];
d1:=gr[j,i];
if gr[d,k]<>gr[k,d1] then inc(l);end;
if l=0 then writeln('este GA grupoid') else
writeln('nu este GA grupoid');end;
Procedure AD_grupoid(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
begin
d:=gr[i,j];
if gr[d,k]<>gr[k,d] then inc(l);end;
if l=0 then writeln('este AD grupoid') else
writeln('nu este AD grupoid');end;
Procedure DA_grupoid(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
begin
d:=gr[j,k];
d1:=gr[j,i];
if gr[i,d]<>gr[k,d1] then inc(l);end;
if l=0 then writeln('este DA grupoid') else
writeln('nu este DA grupoid');end;
Procedure hexagonal(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
for t:=1 to n do
begin
d:=gr[i,j];
r:=gr[k,t];
d1:=gr[i,k];
r1:=gr[j,t];
if (gr[d,r]<>gr[d1,r1]) or (gr[i,i]<>i)
then inc( l);end;
if l=0 then writeln('este hexagonal') else
writeln('nu este hexagonal');end;
Procedure dist_dreapta(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
begin
d:=gr[i,j];
d1:=gr[i,k];
 r1:=gr[j,k];
if gr[d,k]<>gr[d1,r1] then inc(l);end;
if l=0 then writeln('este distributiv la dreapta') else
writeln('nu este distributiv la dreapta');end;
Procedure dist_stinga(gr:masiv);
var l,i,j,k,t:integer;
begin
l:=0;
for i:=1 to n do
for j:=1 to n do
for k:=1 to n do
begin
d:=gr[i,j];
d1:=gr[k,i];
r1:=gr[k,j];
if gr[k,d]<>gr[d1,r1] then inc(l);end;
if l=0 then writeln('este distributiv la stinga') else
writeln('nu este distributiv la stinga');end;
Procedure unitate_dreapta(gr:masiv);
var l,i,j,k,t:integer;
begin
j:=0;
r:=0;
for i:=1 to n do begin
l:=0;
inc(j);
if gr[j,i]=i then begin
for k:=1 to n do begin
if gr[k,j]=k then inc(l);
if l=n then r:=j;end;end;end;
if r<>0 then writeln('Este unitate de dreapta ', r) else
writeln('Nu este unitate de dreapta'); end;

Procedure unitate_stanga(gr:masiv);
var l,i,j,k,t:integer;
begin
j:=0;
r2:=0;
for i:=1 to n do begin
l:=0;
inc(j);
if gr[i,j]=i then begin
for k:=1 to n do begin
if gr[j,k]=k then inc(l);
if l=n then r2:=j;
end;end;end;
if r2<>0 then writeln('Este unitate de stanga ', r2) else
writeln('Nu este unitate de stanga');
end;
Procedure unitate;
begin
if (r=r2) and (r>0) then writeln('Este unitate ',r) else
writeln('Nu este unitate');
end;
procedure Afisare;
var i,j:integer;
Begin
for i:=1 to n do
begin
writeln;
for j:=1 to n do
begin
write(a[i,j],' '); end; end;
writeln;
writeln;
for i:=1 to m do
begin
writeln;
for j:=1 to m do
begin
write(b[i,j],' ');
end;end;
writeln;
writeln;end;

BEGIN
clrscr;
write('dati n=');
readln(n);
for i:=1 to n do
for j:=1 to n do
begin
write('a[',i,',',j,']=');
readln(a[i,j]);
end;
writeln;
write('dati m=' );
readln(m);
for i:=1 to m do
for j:=1 to m do
begin
write('b[',i,',',j,']=');
readln(b[i,j]);
end;
writeln('afisare grupoid Q1 si Q2');
readkey;
afisare;
readkey;
writeln('afisare produs cartezian');
produs_cartez(rez);
for i:=1 to n*m do
begin
for j:=1 to n*m do
begin
write(rez[i,j],' ');end;
writeln;end;
writeln;
writeln;
readkey;
writeln('grupoidul rezultat verifica urmatoarele proprietati:');
writeln;
n:=n*m;
medial(rez);
paramedial(rez);
asociativ(rez);
AG_grupoid(rez);
GA_grupoid(rez);
AD_grupoid(rez);
DA_grupoid(rez);
bicomutativ(rez);
hexagonal(rez);
dist_dreapta(rez);
dist_stinga(rez);
unitate_dreapta(rez);
unitate_stanga(rez);
unitate;
readkey;end.

Ex 1 dati n=2
a[1,1]=1
a[1,2]=2
a[2,1]=2
a[2,2]=1

dati m=3
b[1,1]=1
b[1,2]=2
b[1,3]=3
b[2,1]=3
b[2,2]=1
b[2,3]=2
b[3,1]=2
b[3,2]=3
b[3,3]=1
afisare grupoid Q1 si Q2
1 2
2 1

1 2 3
3 1 2
2 3 1
afisare produs cartezian
1 2 3 4 5 6
3 1 2 6 4 5
2 3 1 5 6 4
4 5 6 1 2 3
6 4 5 3 1 2
5 6 4 2 3 1
grupoidul rezultat verifica urmatoarele proprietati:
este medial
este paramedial
nu este asociativ
este AG grupoid
nu este GA grupoid
nu este AD grupoid
nu este DA grupoid
este bicomutativ
nu este hexagonal
nu este distributiv la dreapta
nu este distributiv la stinga
Nu este unitate de dreapta
Este unitate de stanga 1
Nu este unitate

Ex 2 dati n=4
a[1,1]=2
a[1,2]=3
a[1,3]=1
a[1,4]=4
a[2,1]=4
a[2,2]=1
a[2,3]=3
a[2,4]=2
a[3,1]=3
a[3,2]=2
a[3,3]=4
a[3,4]=1
a[4,1]=1
a[4,2]=4
a[4,3]=2
a[4,4]=3

dati m=7
b[1,1]=1
b[1,2]=4
b[1,3]=7
b[1,4]=3
b[1,5]=6
b[1,6]=2
b[1,7]=5
b[2,1]=6
b[2,2]=2
b[2,3]=5
b[2,4]=1
b[2,5]=4
b[2,6]=7
b[2,7]=3
b[3,1]=4
b[3,2]=7
b[3,3]=3
b[3,4]=6
b[3,5]=2
b[3,6]=5
b[3,7]=1
b[4,1]=2
b[4,2]=5
b[4,3]=1
b[4,4]=4
b[4,5]=7
b[4,6]=3
b[4,7]=6
b[5,1]=7
b[5,2]=3
b[5,3]=6
b[5,4]=2
b[5,5]=5
b[5,6]=1
b[5,7]=4
b[6,1]=5
b[6,2]=1
b[6,3]=4
b[6,4]=7
b[6,5]=3
b[6,6]=6
b[6,7]=2
b[7,1]=3
b[7,2]=6
b[7,3]=2
b[7,4]=5
b[7,5]=1
b[7,6]=4
b[7,7]=7
afisare grupoid Q1 si Q2
2 3 1 4
4 1 3 2
3 2 4 1
1 4 2 3

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

afisare produs cartezian

8 11 14 10 13 9 12 15 18 21 17 20 16 19 1 4 7 3 6 2 5 22 25 28 24 27 23 26
13 9 12 8 11 14 10 20 16 19 15 18 21 17 6 2 5 1 4 7 3 27 23 26 22 25 28 24
11 14 10 13 9 12 8 18 21 17 20 16 19 15 4 7 3 6 2 5 1 25 28 24 27 23 26 22
9 12 8 11 14 10 13 16 19 15 18 21 17 20 2 5 1 4 7 3 6 23 26 22 25 28 24 27
14 10 13 9 12 8 11 21 17 20 16 19 15 18 7 3 6 2 5 1 4 28 24 27 23 26 22 25
12 8 11 14 10 13 9 19 15 18 21 17 20 16 5 1 4 7 3 6 2 26 22 25 28 24 27 23
10 13 9 12 8 11 14 17 20 16 19 15 18 21 3 6 2 5 1 4 7 24 27 23 26 22 25 28
22 25 28 24 27 23 26 1 4 7 3 6 2 5 15 18 21 17 20 16 19 8 11 14 10 13 9 12
27 23 26 22 25 28 24 6 2 5 1 4 7 3 20 16 19 15 18 21 17 13 9 12 8 11 14 10
25 28 24 27 23 26 22 4 7 3 6 2 5 1 18 21 17 20 16 19 15 11 14 10 13 9 12 8
23 26 22 25 28 24 27 2 5 1 4 7 3 6 16 19 15 18 21 17 20 9 12 8 11 14 10 13
28 24 27 23 26 22 25 7 3 6 2 5 1 4 21 17 20 16 19 15 18 14 10 13 9 12 8 11
26 22 25 28 24 27 23 5 1 4 7 3 6 2 19 15 18 21 17 20 16 12 8 11 14 10 13 9
24 27 23 26 22 25 28 3 6 2 5 1 4 7 17 20 16 19 15 18 21 10 13 9 12 8 11 14
15 18 21 17 20 16 19 8 11 14 10 13 9 12 22 25 28 24 27 23 26 1 4 7 3 6 2 5
20 16 19 15 18 21 17 13 9 12 8 11 14 10 27 23 26 22 25 28 24 6 2 5 1 4 7 3
18 21 17 20 16 19 15 11 14 10 13 9 12 8 25 28 24 27 23 26 22 4 7 3 6 2 5 1
16 19 15 18 21 17 20 9 12 8 11 14 10 13 23 26 22 25 28 24 27 2 5 1 4 7 3 6
21 17 20 16 19 15 18 14 10 13 9 12 8 11 28 24 27 23 26 22 25 7 3 6 2 5 1 4
19 15 18 21 17 20 16 12 8 11 14 10 13 9 26 22 25 28 24 27 23 5 1 4 7 3 6 2
17 20 16 19 15 18 21 10 13 9 12 8 11 14 24 27 23 26 22 25 28 3 6 2 5 1 4 7
1 4 7 3 6 2 5 22 25 28 24 27 23 26 8 11 14 10 13 9 12 15 18 21 17 20 16 19
6 2 5 1 4 7 3 27 23 26 22 25 28 24 13 9 12 8 11 14 10 20 16 19 15 18 21 17
4 7 3 6 2 5 1 25 28 24 27 23 26 22 11 14 10 13 9 12 8 18 21 17 20 16 19 15
2 5 1 4 7 3 6 23 26 22 25 28 24 27 9 12 8 11 14 10 13 16 19 15 18 21 17 20
7 3 6 2 5 1 4 28 24 27 23 26 22 25 14 10 13 9 12 8 11 21 17 20 16 19 15 18
5 1 4 7 3 6 2 26 22 25 28 24 27 23 12 8 11 14 10 13 9 19 15 18 21 17 20 16
3 6 2 5 1 4 7 24 27 23 26 22 25 28 10 13 9 12 8 11 14 17 20 16 19 15 18 21
grupoidul rezultat verifica urmatoarele proprietati:
este medial
nu este paramedial
nu este asociativ
nu este AG grupoid
nu este GA grupoid
nu este AD grupoid
nu este DA grupoid
nu este bicomutativ
nu este hexagonal
nu este distributiv la dreapta
nu este distributiv la stinga
Nu este unitate de dreapta
Nu este unitate de stanga
Nu este unitate

Ex 3
dati n=4
a[1,1]=1
a[1,2]=2
a[1,3]=4
a[1,4]=3
a[2,1]=2
a[2,2]=3
a[2,3]=1
a[2,4]=4
a[3,1]=4
a[3,2]=1
a[3,3]=3
a[3,4]=2
a[4,1]=3
a[4,2]=4
a[4,3]=2
a[4,4]=1

dati m=3
b[1,1]=1
b[1,2]=2
b[1,3]=3
b[2,1]=3
b[2,2]=1
b[2,3]=2
b[3,1]=2
b[3,2]=3
b[3,3]=1
afisare grupoid Q1 si Q2
1 2 4 3
2 3 1 4
4 1 3 2
3 4 2 1

1 2 3
3 1 2
2 3 1

afisare produs cartezian

1 2 3 4 5 6 10 11 12 7 8 9
3 1 2 6 4 5 12 10 11 9 7 8
2 3 1 5 6 4 11 12 10 8 9 7
4 5 6 7 8 9 1 2 3 10 11 12
6 4 5 9 7 8 3 1 2 12 10 11
5 6 4 8 9 7 2 3 1 11 12 10
10 11 12 1 2 3 7 8 9 4 5 6
12 10 11 3 1 2 9 7 8 6 4 5
11 12 10 2 3 1 8 9 7 5 6 4
7 8 9 10 11 12 4 5 6 1 2 3
9 7 8 12 10 11 6 4 5 3 1 2
8 9 7 11 12 10 5 6 4 2 3 1

grupoidul rezultat verifica urmatoarele proprietati:

nu este medial
nu este paramedial
nu este asociativ
nu este AG grupoid
nu este GA grupoid
nu este AD grupoid
nu este DA grupoid
este bicomutativ
nu este hexagonal
nu este distributiv la dreapta
nu este distributiv la stinga
Nu este unitate de dreapta
Nu este unitate de stanga
Nu este unitate

Ex 4
dati n=3
a[1,1]=1
a[1,2]=2
a[1,3]=3
a[2,1]=2
a[2,2]=3
a[2,3]=1
a[3,1]=3
a[3,2]=2
a[3,3]=1

dati m=4
b[1,1]=3
b[1,2]=4
b[1,3]=2
b[1,4]=3
b[2,1]=3
b[2,2]=2
b[2,3]=4
b[2,4]=1
b[3,1]=4
b[3,2]=1
b[3,3]=3
b[3,4]=2
b[4,1]=2
b[4,2]=3
b[4,3]=1
b[4,4]=4
afisare grupoid Q1 si Q2
1 2 3
2 3 1
3 2 1

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

afisare produs cartezian

3 4 2 3 7 8 6 7 11 12 10 11
3 2 4 1 7 6 8 5 11 10 12 9
4 1 3 2 8 5 7 6 12 9 11 10
2 3 1 4 6 7 5 8 10 11 9 12
7 8 6 7 11 12 10 11 3 4 2 3
7 6 8 5 11 10 12 9 3 2 4 1
8 5 7 6 12 9 11 10 4 1 3 2
6 7 5 8 10 11 9 12 2 3 1 4
11 12 10 11 7 8 6 7 3 4 2 3
11 10 12 9 7 6 8 5 3 2 4 1
12 9 11 10 8 5 7 6 4 1 3 2
10 11 9 12 6 7 5 8 2 3 1 4

grupoidul rezultat verifica urmatoarele proprietati:

nu este medial
nu este paramedial
nu este asociativ
nu este AG grupoid
nu este GA grupoid
nu este AD grupoid
nu este DA grupoid
nu este bicomutativ
nu este hexagonal
nu este distributiv la dreapta
nu este distributiv la stinga
Nu este unitate de dreapta
Nu este unitate de stanga
Nu este unitate

Ex 5
dati n=7
a[1,1]=1
a[1,2]=4
a[1,3]=7
a[1,4]=3
a[1,5]=6
a[1,6]=2
a[1,7]=5
a[2,1]=6
a[2,2]=2
a[2,3]=5
a[2,4]=1
a[2,5]=4
a[2,6]=7
a[2,7]=3
a[3,1]=4
a[3,2]=7
a[3,3]=3
a[3,4]=6
a[3,5]=2
a[3,6]=5
a[3,7]=1
a[4,1]=2
a[4,2]=5
a[4,3]=1
a[4,4]=4
a[4,5]=7
a[4,6]=3
a[4,7]=6
a[5,1]=7
a[5,2]=3
a[5,3]=6
a[5,4]=2
a[5,5]=5
a[5,6]=1
a[5,7]=4
a[6,1]=5
a[6,2]=1
a[6,3]=4
a[6,4]=7
a[6,5]=3
a[6,6]=6
a[6,7]=2
a[7,1]=3
a[7,2]=6
a[7,3]=2
a[7,4]=5
a[7,5]=1
a[7,6]=4
a[7,7]=7

dati m=3
b[1,1]=1
b[1,2]=2
b[1,3]=3
b[2,1]=3
b[2,2]=1
b[2,3]=2
b[3,1]=2
b[3,2]=3
b[3,3]=1
afisare grupoid Q1 si Q2
1 4 7 3 6 2 5
6 2 5 1 4 7 3
4 7 3 6 2 5 1
2 5 1 4 7 3 6
7 3 6 2 5 1 4
5 1 4 7 3 6 2
3 6 2 5 1 4 7

1 2 3
3 1 2
2 3 1
afisare produs cartezian
1 2 3 10 11 12 19 20 21 7 8 9 16 17 18 4 5 6 13 14 15
3 1 2 12 10 11 21 19 20 9 7 8 18 16 17 6 4 5 15 13 14
2 3 1 11 12 10 20 21 19 8 9 7 17 18 16 5 6 4 14 15 13
16 17 18 4 5 6 13 14 15 1 2 3 10 11 12 19 20 21 7 8 9
18 16 17 6 4 5 15 13 14 3 1 2 12 10 11 21 19 20 9 7 8
17 18 16 5 6 4 14 15 13 2 3 1 11 12 10 20 21 19 8 9 7
10 11 12 19 20 21 7 8 9 16 17 18 4 5 6 13 14 15 1 2 3
12 10 11 21 19 20 9 7 8 18 16 17 6 4 5 15 13 14 3 1 2
11 12 10 20 21 19 8 9 7 17 18 16 5 6 4 14 15 13 2 3 1
4 5 6 13 14 15 1 2 3 10 11 12 19 20 21 7 8 9 16 17 18
6 4 5 15 13 14 3 1 2 12 10 11 21 19 20 9 7 8 18 16 17
5 6 4 14 15 13 2 3 1 11 12 10 20 21 19 8 9 7 17 18 16
19 20 21 7 8 9 16 17 18 4 5 6 13 14 15 1 2 3 10 11 12
21 19 20 9 7 8 18 16 17 6 4 5 15 13 14 3 1 2 12 10 11
20 21 19 8 9 7 17 18 16 5 6 4 14 15 13 2 3 1 11 12 10
13 14 15 1 2 3 10 11 12 19 20 21 7 8 9 16 17 18 4 5 6
15 13 14 3 1 2 12 10 11 21 19 20 9 7 8 18 16 17 6 4 5
14 15 13 2 3 1 11 12 10 20 21 19 8 9 7 17 18 16 5 6 4
7 8 9 16 17 18 4 5 6 13 14 15 1 2 3 10 11 12 19 20 21
9 7 8 18 16 17 6 4 5 15 13 14 3 1 2 12 10 11 21 19 20
8 9 7 17 18 16 5 6 4 14 15 13 2 3 1 11 12 10 20 21 19

grupoidul rezultat verifica urmatoarele proprietati:

este medial
nu este paramedial
nu este asociativ
nu este AG grupoid
nu este GA grupoid
nu este AD grupoid
nu este DA grupoid
nu este bicomutativ
nu este hexagonal
nu este distributiv la dreapta
nu este distributiv la stinga
Nu este unitate de dreapta
Nu este unitate de stanga
Nu este unitate
Ex 6
dati n=4
a[1,1]=2
a[1,2]=1
a[1,3]=3
a[1,4]=4
a[2,1]=3
a[2,2]=4
a[2,3]=2
a[2,4]=1
a[3,1]=4
a[3,2]=3
a[3,3]=1
a[3,4]=2
a[4,1]=1
a[4,2]=2
a[4,3]=4
a[4,4]=3

dati m=4
b[1,1]=1
b[1,2]=4
b[1,3]=2
b[1,4]=3
b[2,1]=3
b[2,2]=2
b[2,3]=4
b[2,4]=1
b[3,1]=4
b[3,2]=1
b[3,3]=3
b[3,4]=2
b[4,1]=2
b[4,2]=3
b[4,3]=1
b[4,4]=4
afisare grupoid Q1 si Q2
2 1 3 4
3 4 2 1
4 3 1 2
1 2 4 3

1 4 2 3
3 2 4 1
4 1 3 2
2 3 1 4
afisare produs cartezian
5 8 6 7 1 4 2 3 9 12 10 11 13 16 14 15
7 6 8 5 3 2 4 1 11 10 12 9 15 14 16 13
8 5 7 6 4 1 3 2 12 9 11 10 16 13 15 14
6 7 5 8 2 3 1 4 10 11 9 12 14 15 13 16
9 12 10 11 13 16 14 15 5 8 6 7 1 4 2 3
11 10 12 9 15 14 16 13 7 6 8 5 3 2 4 1
12 9 11 10 16 13 15 14 8 5 7 6 4 1 3 2
10 11 9 12 14 15 13 16 6 7 5 8 2 3 1 4
13 16 14 15 9 12 10 11 1 4 2 3 5 8 6 7
15 14 16 13 11 10 12 9 3 2 4 1 7 6 8 5
16 13 15 14 12 9 11 10 4 1 3 2 8 5 7 6
14 15 13 16 10 11 9 12 2 3 1 4 6 7 5 8
1 4 2 3 5 8 6 7 13 16 14 15 9 12 10 11
3 2 4 1 7 6 8 5 15 14 16 13 11 10 12 9
4 1 3 2 8 5 7 6 16 13 15 14 12 9 11 10
2 3 1 4 6 7 5 8 14 15 13 16 10 11 9 12

grupoidul rezultat verifica urmatoarele proprietati:

nu este medial
nu este paramedial
nu este asociativ
nu este AG grupoid
nu este GA grupoid
nu este AD grupoid
nu este DA grupoid
nu este bicomutativ
nu este hexagonal
nu este distributiv la dreapta
nu este distributiv la stinga
Nu este unitate de dreapta
Nu este unitate de stanga
Nu este unitate

Ex 7
dati n=4
a[1,1]=1
a[1,2]=4
a[1,3]=2
a[1,4]=3
a[2,1]=3
a[2,2]=2
a[2,3]=4
a[2,4]=1
a[3,1]=4
a[3,2]=1
a[3,3]=3
a[3,4]=2
a[4,1]=2
a[4,2]=3
a[4,3]=1
a[4,4]=4

dati m=4
b[1,1]=2
b[1,2]=1
b[1,3]=3
b[1,4]=4
b[2,1]=3
b[2,2]=4
b[2,3]=2
b[2,4]=1
b[3,1]=4
b[3,2]=3
b[3,3]=1
b[3,4]=2
b[4,1]=1
b[4,2]=2
b[4,3]=4
b[4,4]=3
afisare grupoid Q1 si Q2
1 4 2 3
3 2 4 1
4 1 3 2
2 3 1 4

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

afisare produs cartezian

2 1 3 4 14 13 15 16 6 5 7 8 10 9 11 12
3 4 2 1 15 16 14 13 7 8 6 5 11 12 10 9
4 3 1 2 16 15 13 14 8 7 5 6 12 11 9 10
1 2 4 3 13 14 16 15 5 6 8 7 9 10 12 11
10 9 11 12 6 5 7 8 14 13 15 16 2 1 3 4
11 12 10 9 7 8 6 5 15 16 14 13 3 4 2 1
12 11 9 10 8 7 5 6 16 15 13 14 4 3 1 2
9 10 12 11 5 6 8 7 13 14 16 15 1 2 4 3
14 13 15 16 2 1 3 4 10 9 11 12 6 5 7 8
15 16 14 13 3 4 2 1 11 12 10 9 7 8 6 5
16 15 13 14 4 3 1 2 12 11 9 10 8 7 5 6
13 14 16 15 1 2 4 3 9 10 12 11 5 6 8 7
6 5 7 8 10 9 11 12 2 1 3 4 14 13 15 16
7 8 6 5 11 12 10 9 3 4 2 1 15 16 14 13
8 7 5 6 12 11 9 10 4 3 1 2 16 15 13 14
5 6 8 7 9 10 12 11 1 2 4 3 13 14 16 15

grupoidul rezultat verifica urmatoarele proprietati:

nu este medial
nu este paramedial
nu este asociativ
nu este AG grupoid
nu este GA grupoid
nu este AD grupoid
nu este DA grupoid
nu este bicomutativ
nu este hexagonal
nu este distributiv la dreapta
nu este distributiv la stinga
Nu este unitate de dreapta
Nu este unitate de stanga
Nu este unitate

1 2 3 4 5 6 7
asociativ - - - - - - -
medial + - - - + - -
paramedial + - - - - - -
bicomutati + - + - - - -
v
AG-grupoid + - - - - - -
GA-grupoid - - - - - - -
AD-grupoid - - - - - - -
DA-grupoid - - - - - - -
Distr de - - - - - - -
dreapta
Distr de - - - - - - -
stinga
Hexagonal - - - - - - -

Unitate - - - - - - -
dreapta
Unitate - - - - - - -
Stinga
Unitate - - - - - - -