Documente Academic
Documente Profesional
Documente Cultură
Definiţia 3.2. Vom spune că operaţia A definită pe Q este inversabilă la stânga, dacă ecuaţia
A( y, a) b are o unică soluţie y Q ,oricare ar fi a, b Q , şi vom spune că A este inversabilă la
dreapta dacă ecuaţia A(a, x) b are o unică soluţie x Q . O operaţie A inversabilă la stânga şi la
dreapta se numeşte inversabilă. Deci cuasigrupul (Q, A) este o mulţime cu o operaţie inversabilă.
x ( x \ y ) ( y / x) x y pentru x, y Q . (3.1)
Definiţia 3.4. Grupoidul (Q, ) se numeşte cuasigrup dacă două operaţii (\) şi (/) definite în
mulţimea Q , astfel încât în algebra universală (Q, , \, / ) se îndiplinesc indentităţile:
x ( x \ y) y, ( y / x) x y,
(3.2)
x \ ( x y) y, ( y x) / x y
Propoziţia 3.5. Definiţia 2.6 şi definiţia 3.4 ale quasigrupului sunt echivalente.
Demonstraţie. Df. 2.6 Df. 3.4 Fie (Q, ) este cuasigrup conform definiţiei 2.6. Atunci
ecuaţiile a x b şi y a b au soluţii unice în x şi y oricare ar fi elementele a, b în Q . Definim
operaţiile (\) şi (/) astfel: a \ b x a x b şi b / a y y a b . Din definiţia operaţiilor (\)
şi (/) imediat se obţine a (a \ b) b şi (b / a) a b oricare ar fi a, b Q , adică se îndeplinesc
identităţile
x ( x \ y) y,
( y / x) x y
Dacă în prima dintre aceste identităţi substituim y cu x y , iar în a doua dintre aceste identităţi
substituim y cu y x , atunci obţinem
x ( x \ ( x y)) x y,
,
(( y x) / x) x y x
de unde avem
x \ ( x y) y,
( y x) / x y
x ( x \ y) y, x \ ( x y) y,
( y / x) x y, ( y x) / x y
x ( x \ y) y, x \ ( x y) y,
( y / x) x y, ( y x) / x y
Identităţile
x ( x \ y) y,
( y / x) x y
x \ ( x y) y,
( y x) / x y
Astfel obţinem că soluţia ecuaţiei A(a, x) b este x A 1 (a, b), iar soluţia ecuaţiei A( y, a) b
1
este y A(b, a) .
Remarca 3.10. Dacă operaţia din cuasigrup va fi notată ca înmulţire obişnuită „ ” , atunci
1
() (\), 1( ) (/) .
Propoziţia 3.11. Dacă (Q, A) este cuasigrup, atunci grupoizii (Q, A 1 ) şi (Q, 1A) sunt de
asemenea cuasigrupuri.
Demonstraţie. Vom demonstra afirmaţia pentru (Q, A 1 ) . Să arătăm că ecuaţia A 1 (a, x) b are
soluţie unică.
Existenţa: Din (3.3) avem A 1 (a, A(a, b)) b , rezultă că A(a, b) este soluţie a ecuaţiei
A 1 (a, x) b.
Unicitatea: Fie că x c soluţie a acestei ecuaţii, atunci A 1 (a, c) b şi din definiţia lui A 1
Altă demonstraţie. Fie (Q, A) cuasigrup. Notăm cu LaA şi RaA translaţiile în (Q, A) generate de
elementul a , adică LaA ( x) A(a, x), RaA ( x) A( x, a) pentru orice x Q . După cum sa demonstrat
LaA şi RaA sunt bijecţii ale mulţimii Q . Deci există aplicaţiile inverse ( LaA ) 1
şi ( RaA ) 1 , care sunt de
asemenea bijecţii. Din definiţiile operaţiilor A 1
şi 1
A vedem că
1 A 1 1 A 1
A (a, x) ( L ) ( x),
a A ( y, a) ( Ra ) ( y) , deci
Exemplul 3.12. Fie (Q, A) cuasigrupul definit pe mulţimea Q {1,2,3,4} şi operaţia A este
definită în tabelul a) .
A 1 2 3 4 A 1
1 2 3 4 1
A 1 2 3 4
1 2 4 1 3 1 3 1 4 2 1 2 4 1 3
2 1 3 4 2 2 1 4 2 3 2 1 3 4 2
3 4 2 3 1 3 4 2 3 1 3 4 2 3 1
4 3 1 2 4 4 2 3 1 4 4 3 1 2 4
a) b) c)
Deoarece 1
A( x, y) z A( z, y) x , atunci pentru a găsi elementul 1 A(a, b) procedăm astfel:
în coloana cu intrarea b a tabelului operaţiei A găsim elementul a . Dacă în tabelul operaţiei A
elementul a se află în linia cu intrarea c , atunci punem 1 A(a, b) c .
Bucla poate fi definită şi ca algebră universală cu trei operaţii { , \, / } , care verifică identităţile
(3.2) şi încă identitatea x \ x y / y, x, y Q .
Definiţia 3.13. Se numeşte buclă algebra universală (Q, , \, / ) care verifică identităţile
x ( x \ y) y, ( y / x) x y,
x \ ( x y) y, ( y x) / x y, (3.4)
x\x y/ y
1
Exemplul 3.14. Fie (Q, ) un grup. Atunci x \ y x y, x/ y x y1.
Într-adevăr a x b x a 1
b şi y a b y b a 1.
Exemplul 3.15. Fie (Q, ) un grup comutativ, şi două automorfisme ale lui care comută,
şi c Q un elemnt arbitrar fixat. Grupoidul (Q, ) pentru care
x y x y c, x, y Q este cuasigrup, care se numeşte cuasigrup medial. Notăm (\\) ( ) 1
şi
(//) 1
( ) . Să determinăm expresiile ce definesc operaţiile (\\) şi (//) .
Dacă (Q, A) este cuasigrup, am vazut (Propoziţia 3.11.) că grupoizii (Q, A 1 ) şi (Q, 1A) sunt de
asemenea cuasigrupuri. Atunci pentru fiecare din operaţiile A 1
şi 1
A există operaţiile inverse
(A 1 ) 1 , 1 ( A 1 ) şi ( 1A) 1 , 1 ( 1A) .
Astfel din A 1 putem obţine operaţia nouă 1 ( A 1 ) pe care o vom numi sd inversa lui A . La
fel, din 1 A putem obţine operaţia nouă ( 1A) 1 pe care o vom numi ds inversa lui A .
Demonstraţie. Într-adevăr
Demonstraţie: Avem
[ 1 ( A 1 )] 1 (a, b) c 1
( A 1 )(a, c) b A 1 (b, c) a A(b, a) c A (a, b) c.
Similar
1
[( 1A) 1 ](a, b) c ( 1A) 1 (c, b) a 1
A(c, a) b A(b, a) c A (a, b) c.
1
Deci [( 1A) 1 ](a, b) A (a, b), a, b Q .
Astfel, pornind de la cuasigrupul A , prin trecere la operaţia inversă la dreapta sau la stânga ,
obţinem încă 5 cuasigrupuri noi: A 1 , 1 A , 1 ( A 1 ) , ( 1A) 1 , A . Alte cuasigrupuri prin acest
procedeu nu pot fi obţinute.
Vom arăta că fiecare trecere de la cuasigrupul A la un cuasigrup invers al lui îi este asociată o
anumită permutare a trei elemente. Astfel echivalenţa A(a, b) c A 1 (a, c) b este asociata
permutării (a, b, c) (a, c, b). Astfel ajungem la următoarea noţiune.
Definiţia 3.19. Vom spune că cuasigrupul (Q, B) este parastrofic cuasigrupului (Q, A) dacă
există o permutare S3 astfel încât A(a, b) c B( a, b) c, a, b, c Q . Scurt vom nota
acest lucru : B A . Deci A(a, b) c A( a, b) c, a, b, c Q . Spunem că B este parastrof
al lui A .
A - - A A, 1Q
1
A s-inversa A(a, b) c 1
A(c, b) a 1
A l A, l (13)
1
( A 1) sd-inversa A(a, b) c 1
( A 1 )(b, c) a 1
( A 1) A, (123)
Propoziţia 3.22. Fie (Q, A) un cuasigrup. Atunci oricare ar fi , S3 sunt adevărate egalităţile:
1
a) Dacă B A atunci A B;
b) ( A) A.
De asemenea avem
A(a, b) c A(( )a, ( )b) ( )c, a, b, c Q .
Deci
( A)(( )a, ( )b) A(( )a, ( )b) ( )c, a, b, c Q ,
adică obţinem ( A) A.
Exerciţii propuse.
x y
2. Fie Q R - mulţimea numerelor reale. Definim pe Q operaţia „ ” astfel: x y
2
oricare ar fi x, y Q . Cu [x] se notează partea întreagă a numîrului x , adică unicul număr întreg
care verifică inegalitatea [ x] x [ x] 1 . Pentru orice a Q să se examineze translaţia Ra .
Poate Ra fi surjectivă? Injectivă? Bijectivă?
6.