1

Despre AGC cuasigrupuri

V. Izba
1. Introducere
Se tie c grupurile au aprut n matematic ca grupuri de automorfisme. Rolul
automorfismelor este remarcabil i bine cunoscut. La studierea diverselor structuri
matematice speciale, de carecter algebric, geometric i chiar extramatematic, se ntlnesc,
adesea, diferite simetrii, care joac un rol foarte important. Toate aceste simetrii, ale
diferitor obiecte de natur att matematic ct i fizic, pot fi definite i descrise doar
folosind limbajul automorfismelor. Astfel grupurile de automorfisme se prezint ca un
aparat matematic special pentru descrierea simetriilor. Grupul de automorfisme al unei
structuri algebrice concrete n mare parte determin starea structurei nsi. Deasemenea
grupurile de automorfisme sunt folosite i pentru clasificarea diferitor obiecte matematice.
Se tie c orice grup poate fi reprezentat ca grup de automorfisme al unui grupoid.
Exist un numr mare de lucrri, care conin construcii a diferitor structuri Q astfel nct
grupul de automorfisme AutQ este izomorf cu un grup G predefinit. Aceste rezultate pot fi
interpretate ca construcii a structurilor Q cu simetrii predefinite. Se pare c numrul de
orbite al grupului AutQ msoar gradul de asimetrie a structurii Q, i este neleas dorina
de ncercare de a msura acest asimetrie. Din acest punct de vedere cele mai simetrice
structuri Q sunt acelea, care au grupul AutQ tranzitiv, adic Q este singura orbit a
grupului AutQ. Aceasta este echivalent cu faptul c pentru orice elemente Q b a e , exist
un automorfism AutQ e astfel nct b a = ) ( .
Pentru cuasigrupuri sunt cunoscute unele rezultate care descriu unele cuasigrupuri cu
grupul de automorfisme tranzitiv. ns problema descrierii tuturor cuasigrupurilor cu
grupul de automorfisme tranzitiv este n caz general nesoluionat.
n aceast comunicare se prezint un studiu al AGC grupoizilor i
AGC cuasigrupurilor (grupoizi sau cuasigrupuri automorfe de grup ciclic) , definite de
savantul francez Albert Sade, care formeaz o clas larg de grupoizi i cuasigrupuri
speciale, care au subgrupul de automorfisme ciclic i tranzitiv. Unele rezultate sunt
prezentate i demonstrate ntr-un cadru mai general dect cel coninut n lucrrile lui A.
Sade.

2

2. Noiuni i rezultate preliminare

Definiie A : Grupoidul ) , ( G

pentru care
,
unde este
un grup cu element neutru , iar o funcie arbitrar se numete AG grupoid.
Dac este un grup ciclic atunci ) , ( G se numete AGC grupoid.

Propoziie: Uor se verific c c i unde
,
deci ) , ( G

are grupul de automorfisme tranzitiv .

Propoziie: Orice grupoid ) , ( G

care are un subgrup ciclic de automorfisme tranzitiv de
ordinul | | G este de forma dat n Definiie A. Exist o coresponden biunivoc ntre AGC
grupoizi i totalitatea funciilor pe mulimea G.

Corolar: Pentru exist exact AGC grupoizi definii pe .

Corolar: Dac este bijecie atunci este bijecie pentru orice .

Teorem: AG grupoidul ) , ( G

este cuasigrup la dreapta dac i numai dac
bijectiv.

Teorem: Un AGC grupoid este cuasigrup atunci i numai atunci cnd
funcia ce-l determin satisface urmtoarele condiii:

(unde operaiile i sunt n cazul cnd este finit de ordinul .)



3

Teorem: Orice AGC cuasigrup finit este de ordin impar.

Propoziie: Pentru orice numr impar exist un AGC cuasigrup.

Exemplu: Astfel se obine, c grupoidul definit de aplicaia Q x x x e ,
2
prin relaia
Q y x y y x f y x e + = - , , ) ( ntr-un grup ciclic de ordin impar este AGC cuasigrup.

Exemplu: Fie . Atunci definit pe de urmtoarea operaie:
;
este AGC grupoid.

Exemplu: Fie numerele ntregi pare. Atunci se tie c este grup ciclic.
Definim funcia astfel:
;
Observm c nu este surjectiv, dar este injectiv, deoarece ecuaia nu are
soluii:



Propoziie: Nu exist un AGC grup netrivial (care conine cel puin dou elemente).

Deseori n loc de AGC cuasigrupul definit de permutarea f se spune scurt
AGC cuasigrupul f .


4

3. Transformri ce pstreaz invariant proprietatea
grupoidului de a fi AGC grupoid.

Cu ) , ( + Q Ort notm mulimea tuturor permutrilor f ale mulimei Q, care definesc n
modul stabilit AGC cuasigrupuri i astfel nct este bijecie. Este
adevrat urmtoarea afirmaie.
Teorem: Dac ) , ( + e Q Ort f , atunci avem aplicaiile
Q h y x h x f x f E f E f Q Ort Q Ort E
Q h y x h x f x f D f D f Q Ort Q Ort D
Q y x x f x f c f c f Q Ort Q Ort c
Q y x x f x x f ab f ab f Q Ort Q Ort ab
Q y x x f x f b f b f Q Ort Q Ort b
Q y x x f x x f a f a f Q Ort Q Ort a
h h h
h h h
e + = + +
e = + +
e = + +
e + = + +
e = + +
e = + +

, , , ) ( ) )( ( ), ( ), , ( ) , ( :
; , , ), ( ) )( ( ), ( ), , ( ) , ( :
; , ), ( ) )( ( ), ( ), , ( ) , ( :
; , ), ( ) )( ( ), ( ), , ( ) , ( :
; , ), ( ) )( ( ), ( ), , ( ) , ( :
; , ), ( ) )( ( ), ( ), , ( ) , ( :
1

care sunt permutri ale mulimei ) , ( + Q Ort , i care formeaz un grup diedral de ordinul 12.
Remarc: Aceste relaii rmn adevrate i pentru orice grup abelian ) , ( + Q inclusiv infinit.
Remarc: Dac atunci AGC cuasigrupul determinat de funcia l vom
nota cu |
.
|

\
|

f
sau .
Propoziie: Pentru orice i orice AGC cuasigrupurile determinate de
funciile i sunt izotopi ai AGC cuasigrupului determinat de .

Notm
Lem: Mulimea este invariant fa de transformrile i .

Exemplu: Dac i atunci pentru cu
, AGC grupoidul (cuasigrupul) este comutativ.
Propoziie: Pentru orice impar exist un AGC grupoid comutativ.
Exemplu: Pentru toate AGC cuasigrupurile sunt date de funciile:
; ; ;

5

4. Compoziia AGC cuasigrupurilor

Teorem [2]: Fie i . Atunci aplicaia

este ortomorfism al grupului .

Propoziie: Dac i atunci este subcuasigrup normal n .

Corolar: Dac i atunci , oricare ar fi .

Teorem [2]: Fie mulimea tuturor ortomorfismelor grupurilor .
Atunci este semigrup necomutativ cu unitate n raport cu operaia definit prin
egalitatea

.


Corolar: Fie - subsemigrupul semigrupului generat de numerele i
. Atunci este subsemigrup al semigrupului .

Corolar: Dac , atunci subsemigrupul semigrupului generat de
elementul este izomorf cu grupul aditiv al numerelor naturale .






6

5. Parastrofii AGC cuasigrupului

Notm cu i parastrofii AGC cuasigrupului , adic
.

Propoziie: Parastrofii AGC cuasigrupului sunt tot AGC cuasigrupuri.

Propoziie: Dac este AGC cuasigrup, atunci i ).

Corolar: Clasa AGC cuasigrupurilor este nchis n raport cu transformarea de
parastrofie.

Teorem: Dac atunci aplicaia este ortomorfism,
.

Corolar: Dac atunci aplicaia este ortomorfism,
.

Teorem: Dac este un AGC cuasigrup, de ordinul , dac elementul
este soluie a unei din urmtoarele trei ecuaii i este
reciproc prim cu atunci , unde , unde se ia
dup modulul .






7

Teorema: Dac AGC cuasigrupul finit de ordin nu este generat de nici un
element al su, atunci:
1. Fiecare element al su genereaza un subcuasigrup de acelai ordin constant

2. Exist exact subcuasigrupuri astfel definite (monogenerate), care este generat de
orice element al su;
3. Toate aceste subcuasigrupuri sunt disjuncte, izomorfe ntre ele i toate se obin
din oricare altul aplicnd automorfismele ;
4. Subcuasigrupul generat de elementul este: , i el se obine
prin nmulirea cu , fr a schimba legea de compoziie a unui cuasigrup oarecare
de ordin automorf de acelai grup ciclic de ordin , adic generat de unul din
elementele sale;
5. Toate aceste subcuasigrupuri au acelai grup de automorfisme, i anume grupul
ciclic de ordinul , i anume grupul ciclic generat de .

Bibliografie

1. .. . : . , , 1967.
2. A. Sade. Groupoides automorphes par le groupe cyclique, Can. J. Math., 9
(1957), 321-335.
3. S. K. Stein. On the foundation of quasigroups, Trans. Amer. Math. Soc. vol. 85
(1957) pp. 228-256.
4. S. K. Stein. Homogeneous quasigroups. Pacific J. Math. 14 1964 10911102.
20.95
5. M. Hosszu. Homogeneous groupoids. Ann. Univ. Sci. Budapest. Etvs. Sect.
Math. 3-4 1960/1961 9599.