Вы находитесь на странице: 1из 5

1963

ИЗВЕСТИ Я

ВЫСШИ Х

УЧЕБНЫ Х

МАТЕМАТИКА

В.

Д.

Белоусов

ЗАВЕДЕНИ Й

1

(32)

ОДНОМ КЛАССЕ ЛЕВОДИСТРИБУТИВНЫХ КВАЗИГРУПП

ОБ

Множество Q с бинарной операцией а-b, определённой для любой пары элементов a,b£Q, называется квазигруппой, если уравнения ах= b, уа = b разрешимы однозначно при любых a,b£Q. Квази­

группа Q называется дистрибутивной [1], если выполняются дующие два тождества:

a(bc) = (ab) (ас), (bc)a = (ba)(ca).

a(bc) = (ab) (ас), (bc)a = (ba)(ca).

сле­

(1)

(2)

Возникает вопрос о зависимости левого дистрибутивного закона (1) от правого (2) в квазигруппах. Этот вопрос был решен Ш . Стен­ ном [2] Именно, пользуясь одним построением М . Хоссу [3], [4], он доказывает существование леводистрибутивных квазигрупп, но не праводистрибутивных. Леводнстрибутивные квазигруппы, построен­ ные Стейном и Хоссу, и пусть она обладает автоморфизмом <]>, оставляющим инвариантной только единицу. Вводится новая операция о с помощью равенства

имеют следующий вид. Пусть — группа,

х о у = xty (х~ г у).

(3)

Тогда Q( o ) — леводистрибутивная квазигруппа. Если Q(-) — неком­ мутативная группа, то Q( ° ) — не праводистрибутивная квазигруппа. Доказывается существование некоммутативных групп с такими спе­ циальными автоморфизмами. В [2] показано, что отображение <р х—> xtyx~ l является подстановкой, т. е. взаимно однозначным ото­ бражением множества Q на себя. Равенство (3) принимает вид

х о у = ух-$у, а это означает, что леводистрибутивные квазигруппы, построенные Стейном и Хоссу, изотопны 2 ) группам. ли леводистрибутивных квазигрупп, не изотопных группам? В этой заметке мы даем положительный ответ на вышепоставленныи вопрос. Сначала дадим некоторые определения, необходимые нам в дальней­ шем. -

Естественно

поставить

вопрос:

существуют

другие

классы

Определени е

1.

Лупа 3 )

Q(-)

называется

лупой

Муфанг,

если выполняется тождество

любых х,

для

y,z£Q.

xy-zx

= (x-yz)x,

(4)

1) Если

Q — квазигруппа

(или

группоид)

•,

(?(•) . Если операция обозначается как

 

{х-,

у),

писать Q (А).

•••

2) Квазигруппа

Q ( o

) изотопна квазигруппе Q (•),

если существуют три подста­

 

,

р,

множества Q , таких, что

) —главный

(

Q(•).

°у)

— ?х-"(у

« =

1.

любых X, y€Q.

Квази­

3)

для называется квазигруппа с единицей х\

=1х

=

х.

Об

I

одном классе леводистрибутивных

квазигрупп

17

Приведем некоторые результаты, касающиеся луп Муфанг, дока­

можно найти, например, в [5].

зательство которых Лемм а 1 ([5], стр. 115). Следующие два тождества:

x(y-xz)

= (xy-x)z,

(xy-z)

= x(y-zy),

у

и

тождество

(4)

эквивалентны.

2 ([5], стр. следующие

111,115).

Лемм а

место

равенства:

В любой

лупе

Муфанг

Q (•)

(5)

имеют

(ху)

х

х

хх- х

=

(хх) у,

х (ух)

=

у,

(ху) = (ух)х' 1

= х-1х

= \,{х- 1 )-1

=

(ху) х,

у (хх)

=

(ух) X,

= х,{ху)- х = у-*х-*.

.

(6)

(7)

(8).

множество Q конечным.

в конечной

лупе

Муфанг

,

.

.

2п +

/

+ 2

я

1,

=

лупы (x 2 ) ' J+1 = (y 2 ) n+l

будет

=

и

у Муфанг ([5], стр. 117), в элемента

дальнейшем

В

Лемм а

3.

=

у

2 .

Тогда

будем считать х—>х 2 подстановкой. Q(- )

является

пусть порядок

х 2п+1

2n+2

x

два

=

Соответствие

порядка Действительно, х мы использовали рой говорится,

х

=

четного

2

=

известную теорему

что любые

лупы Муфанг порождают

не­

.

пусть

Здесь:

кото­

ассоциативную подлупу. Эта теорема позволяет нам не писать скобки лупы.

2.

Пусть Q(-)

Q(А),

А — бинарная

операция,

(х,

у)

= ху~ х

х,

.

(9)

называется сердцевиной лупы Q(-) ([5|, стр. 120).

1. Сердцевина

лупы Муфанг квазигруппой. Сначала покажем, что Q(А) — квазигруппа.

явля­

(х,

а) =

которое *

А формуле (9), можно переписать следующим образом: xa~ l

Ь,

х—

Ь. Умно­

а~ х ,

получаем ха~ 1 ха~~ 1

=

Ьа~ х ,

{xar x f

= bar\

(10)

как ,

лемме ,

х-^х 2

является подстановкой, то

существует обратная подстановка, которую обозначим через 1/2:

а. Уравнение А (а, у) — Ь имеет решение у = ab~ l a. Очевидно, решения обоих уравнений определяются однозначно. Итак, Q(А) — квази­ группа. Покажем теперь, что Q(A) леводистрибутивна, т. е.

(11)

для любых х, у,

по­

= A[A(x,y),

АГ-7+JC 1 ' 2 . Таким образом, из (10) следует

'xa~

l

=(ba~ x yi 2 ,

или x=(ba~ l ) vi

А[х,

A(y,z)]

A(y,z)}

А (х, z)]=A

-

= xy~ 1 x-(xz" > x)~ 1 -xy~ 1 x. мощью

X\х~ х zx~ x )-xy~ x

лую скобку :

Q. Имеем t —А \А(х,

(5) —(8):

x t

t =

{x[y~ l

х-х^ 1

•ху~ х

zx~ l

Щ\

х

х

-z) у~ х \

у),

(xy~ l x,

xz~ 1 x)= с

х

X

круг­

X

Преобразуем полученное выражение

t =

(x-x~ l

ху' 1

х-х" 1

zx~ l )]\-xy~ x

zx~ l -xy~ l х.

х

=

= (хх~ х -z) х" 1 = zx~ l .

(xy~ l

равенств

Вычислим

zy~ b -,x,=х и,

t

X

=

(у->-ЪХ- х ))

X

тельно,

[х (у 1 rzx~ x )\ xYy-^-x '=

=

[х( у" 1

Следовательно,

{[xy~ x -'izx^ L 'X)]X
1

гу~ х )1= х• у-

у\\х=[(ху- х

(у,

z)\~ l

Q (А) — леводистрйбутивная

х — А [х, A (y,z)\.

(11). доказано, квазигруппа.

;

Равенство

следова­

 

18

В.

.

 

Теорем а 2. Необходимым

 

того,

 
 

сердцевина лупы Муфанг была дистрибутивной дистрибутивной), является равенство

 

(т.

е.

право-

 

ху 2 х

= ух 2 у

 

(12)

 

х,

y£Q.

 
 

Доказательство .

необходимо.

 

£сли

 

Q (А) дис­

 

справа,

Условие (12) то, в частности, \\ = А[А(у,

1),А(*-\1)] ,

 

(13)

 

А[А(у,х~ х ), А (уху,

1) =

2 ,

х~ 2 ),

(уху) 2

=

2 х

2 у

2 .

 

квадрат:

 

уху-уху

=

2 х

2 у

2 .

(14)

у,

(12).

 
 

Условие (12) достаточно.

(14),

 

деле,

(13).

 

z—любой

элемент.

является, как

   

L z a

=

A (z,

а)

(1)

 

из квазигруппы Q(A).

Применим автоморфизм L z к обеим

частям

равенства

(13):

 

*

L z x~ x ),

L z \\

v,

= A[A(L z y,

L z l),

(15)

A(L z x~\

L z \)\.

zy~ x

w),

 

(15)

Ho L z \

A\A(L z y, =A(z,

l) =

z 2 ,

L z y

   

L z x

= zxz.

z,

zxz

и]

=

эле­

=

A [A (v,

и),

A (w,

и,

и)].

 

из

w,

и,

v,

 
 

Q(-),

доказана.

 
 

3.

квазигруппа,

 

явля­

 
 

Q( °

некоторой ), удовлетворяющей

 

порядка,

[х°

х)]о

z =

[ус

(Хо

z)}

(16)

(см. также [5], стр.

121).

Доказательство .

Как известно [6], каждая квазигруппа

Q(A)

обладает главным изотопом, являющимся лупой. Именно, введем новую операцию ° следующим образом:

 

хо

y = A(RJ 1 x,

 

(17)

 

=

(х,

g),

L h x

= A(h,

х).

Q( o

Lu x y), ) является

лупой,

едини­

 

A (h, g). Пусть

Q (А) — сердцевина

 
Q(-). Тогда R x x=A Построим лупу ) по формуле (17), полагая g = h
Q(-).
Тогда R x x=A
Построим
лупу
)
по
формуле
(17),
полагая
g =
h =
\.
(х,
1) =
х
2 ,
=
А (1,
х) =
Следовательно, х
о
у
=
=
A(RT l
х,
L\ l
у),
откуда
Q ( 0
L x x
А
(х,
у)
= R x x
х~ х .
°
или
А
(х,
у)=х 2
о
у
1
.
Сравнивая
с равенством
(9),
получаем
х
2
о
L x у,
у- 1
=
ху
х
х,
или
х
2
о
у
= хух.
(18)
Вычислим
2
о
у) 2
о
z,
пользуясь
снова равенствами
(5) — (8):
о
— х [ух • (zx
2
у) 2
о
z = xyx-z-xyx
= xyx-(z-xyx)
= (х-ух)\{zx-y)x\
=
• у)] X =
=
х
[ у
(х • zx)
у] х
z)} X =
=
х [у (xzx)
[у 2
у] х =
х
2
z) у] X
о
х
[у 2
°
2
{X 2
о
X 2
о
о
о
z)],
т.
е.

лупы

,

( Х 2 о

Q(-)

рчвенстве

в

2 °

хну,

2

о

у) 2

о

X 2 o

2

Z

=

2

о

(

Х

о

лупы

yf

о

z )\.

Q( o = x 2 o z)].

(19)

х

); 2 о

Единица

гая

тельно,

%

и

является единицей (19) получаем (х 2 о

z =

x 2 o

2

о

2

поэтому,

2 ),

пола­

следова­

2

2=1

через

х 2 )]°

получаем искомое

х

Наконец,

заменяя

(16).

у

тождество

=

19

Об

одном

1.

Лупа

условие (12).

классе леводистрибутивных квазигрупп

и

Q(°

только

), построенная

тогда,

когда

в

что равенство

(18) можно

хо

у

=

х ц2 ух щ

лупе

3,

в теореме

Муфанг

переписать

Следстви е

лупой Муфанг тогда

полняется Сначала заметим, щим образом:

является Q(- ) вы­

следую­

(20)

Q( о

) —лупа

Муфанг,

то,

2,

 

х)

=

°

х)

X.

Переходим

к

лупе

Q(-)

с помощью равенства

у 112

г!2

хх т )

/

2

=

1!2 ху 1 > 2 ) 112

х (у" 2

Заменим

у

1 ' 2

через

у:

ух 2 у^(уху) 1,2 х(уху) 1 ' 2 .

z 2 ;

z 2 y~* = у" 1 х,

Обозначим уху

ставляя

в

через

тогда

значение

у~ г

для

(22) найденное

 

(21)

(22)

=

х.

Под­

 

у —

(20,:

xy^W-

(уху)у~ х v (y~ l z 2 y~ l f

находим

=

(z 2 ) ll2 -y^z 2 y- l _

• (z 2 f 2 ,

z

2 y- 2 z 2

= zy~ l z 2 y~ l

z, zy~ 2 z

= y- l z 2 y-\

Нако­

нец, заменяя y~ l элементами,

и учитывая,

(12).

 

z

(21)

(22)

обратимы,

 

(12)

(21).

 

(16)

z =

x:

о

х)]о

 

 

 

°

х)].

 

х

=

       

(21), следует о

о х )]°

=

х°

[(у

х)

Отсюда, ввиду ° х]. Элемент у

°

л: может

 

у,

.

поэтому можем заме­

 

°

 

у)

 

( у

 

у:

2

2.

   

=

)

\(х°

у)°

 

х\°

z =

(х°

z)\.

обра­

1, заключаем, что

Q( °

) —лупа Муфанг.

Ком­

 

1

теоремы 3, получаем

 

(12)

 

Q(-), тогда сердцевина лупы Q(- ) является дистрибутивной квазигруп­

(20).

Q( °

), построенной

по теореме, доказанной в [7], в которой утверждается, что всякая дистрибутивная Муфанг, Замечание . для

силу

х—>х 2

и

соответствие

пой, изотопной лупе Муфанг

квазигруппа изотопна некоторой коммутативной лупе

формуле

По

следует, что

операция о коммутативна.

теоремы

случая, если предполагать,

Выше доказанные

сохраняют свою

бесконечного Q(-) является

лупе

в

что подстановкой множества Q. что,

если

(12)

возьмем

не

лупу

выполняется

Из всего сказанного вытекает, условие

в которой

Муфанг

по­

и

Q(A),

 

квази­

группу,

группе, так

в этом случае , по теореме Альберта

Q(-) ~ также

[6] (если

группа),

лупа Q( ) изотопна

неко­

)

Q( °

группе, Q( o )

лупой Муфанг V .

группой, но

Пример .

(стр.

[8]

225).

вида

3k +

2,

не является Q(-),

# —простое

щих соотношений:

З а <? 3 ,

определяю­

cb =

3 "

bcd,

da

=

=

a~ x ba—c,

ad,

1,

b q =

c q

db — bd,

=

d q

=

=

l,

.

аГ 1 са

b~ x с~ х ,

 

dc =

cd.

порядка, строим сердцевину

нечетного

!) Каждая группа, очевидно, является

лупой Муфанг.

20

В.

Д. Белоусов

a~ 1 ba=c,

а~ 1 са=Ь~ 1 с~ 1

слева

а~' г Ьа 2 —сГ 1 {сГ 1 Ьа)

х

Ь

2 сГ х :

=

c 2 ,

мы

могли

Из — а"" 1 са = в заменить в последнем равенстве

Если

равенств

бы

следует

на

условие

через

Ь,

=

ba~ 2 ba 2 =c~ 1 .

а

бы

Ь~ х с~ х .

этой

c- 1

Умножая

получаем

(12), то

сГ

группе выполнялось

= (a- i b 2 a- 1 )a 2

ЬсГ 2 Ь = a- l b 2 a

= (a- l ba) 2

3

=

1.

Но, по условию, c q =\

q >

3. Следовательно, в рас­

дока­

откуда

сматриваемой

занным

с

группе теоремам, сердцевина группы Q(- ) будет

и

Q(-) . условие (12) не выполняется.

П

о

леводистрибутйвной

 

группе.

что класс луп „почти-Муфанг", т. е. удов­

Муфанг.

примера.

 

путем, это

([5],

стр.

124).

Бельцкий государственный педагогический А

им.

.

Русс о

институт

1.

С

.

Bur s tin ,

W.

Mayer .

ЛИТЕРАТУРА

Distributive

Gruppen.

J .

rein

Поступило 12 XI I 1959

und

angew

Math.,

160,

S. 111—160,

1929.

2.

Sh. K.

Stein .

On a construction

of

Hosszu. Publ. Math. Debrecen, 6, p. 10—15,

1959.

 

3.

M . Хоссу .

M .

Несимметрические средние.

Hosszu .

Colloq. Math., 5, p. 32—42.

1957.

.

4.

Nonsymmetric means. Publ. Math. Debrectn, 6, p. 1—9,

1959.

5.

R.

H .

В ruck .

A

survey of

binary

systems.

Springer

Verlag,

Berlin — Oottin-

gen — Heidelberg,

1958.

 

A.

6. A .

Albert .

Quasigroups, I. Trans. Amer. Math. Soc , 54, p.

507—519, 1943.

7. Д

В.

.

Белоусов .

квазигрупп.

УМН,

т.

XIII,

вып.

3 (81),

стр. 235—236,

1958.

 

8. О

.

.

Шмидт .

Избранные труды. Изд. А Н СССР,

М. , 1959.