Ортогональности группы z p ⊕ z p

Фуксон Софья Леонидовна

2015

ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА Математика и механика

№ 4(36)

УДК 512.541.32

DOI 10.17223/19988621/36/6

С.Л. Фуксон

ОРТОГОНАЛЬНОСТИ ГРУППЫ Z p © Z p

В марте 2013 г. International Journal of Mathematics and Mathematical Sciences опубликовал статью «Perpendicularity in an Abelian Group». Основная цель статьи - введение понятия бинарного отношения ортогональности в произвольной абелевой группе. Нами полностью исследованы прямые суммы групп Z3 © Z3 и Z5 © Z 5 , построены все их ортогональности. Также нам удалось обобщить полученные результаты для прямых сумм циклических групп Z p © Z p .

Ключевые слова: ортогональность, группа, абелева группа, прямая сумма, циклическая группа.

Всё больше геометрические понятия проникают в пространство изучения алгебры. Haukkanen и другие [1] вводят понятие ортогональности в абелевой группе с помощью аксиом, которые оказываются вполне естественными, если придать им геометрическую интерпретацию.

Цель данного исследования - выяснить, какими ортогональностями обладает прямая сумма циклических групп Z p © Z p. На пути к ответу на этот вопрос мы

рассматриваем частные случаи: группы Z2 © Z2, Z3 © Z3, Z5 © Z5, и только после этого нам удаётся обобщить результаты для произвольной группы Z p © Z p.

Пусть G = (G, +) - аддитивная абелева группа. Пусть A - бинарное отношение в G, удовлетворяющее следующим аксиомам:

(A1) У a е G : 3b е G : a A b,

(A2) Va е G \ {0}: a A a,

(A3) Va, b е G : a A b ^ b A a,

(A4) Va, b,c е G : a A b л a A c ^ a A (b + c),

(A5) Va, b е G : a A b ^ a A -b.

Будем называть данное бинарное отношение A ортогональностью в G [1]. Следующая ортогональность называется тривиальной:

х A у » х = 0 v у = 0. (1)

Однако наибольший интерес представляют нетривиальные ортогональности

[1].

Определение 1. Назовём отношение ортогональности максимальной ортогональностью в G, если при добавлении к нему каких-либо новых пар полученное отношение уже не является ортогональностью в G .

Сформулированная ниже теорема помогает определить, когда G имеет нетривиальную ортогональность.

47

Ортогональности группы Z p © Z p

Теорема 2 [1]. Следующие условия эквивалентны:

(a) G имеет нетривиальную ортогональность L ;

(b) G имеет нетривиальные циклические подгруппы H и K, такие, что H n K = {0};

(c) G имеет нетривиальные подгруппы Ни K , такие, что H n K = {0} . Наибольший интерес представляет собой доказательство импликации

(с) ^ (а), поскольку с его помощью вводится способ построения нетривиальных ортогональностей. А именно, определим L как

х L у » (х е Н л y е K) v (x е K л y е H) v x = 0 v y = 0. (2)

Пример 3. Пусть G = Z 2 © Z 2.

Обозначим через 0 = (0, 0), а = (0, 1), b = (1, 0), с = (1, 1) элементы группы Z2 © Z2. Нетривиальными подгруппами группы G являются подгруппы: A = {0,

a}, B = {0, b}, C = {0, c}.

Применяя (2) к каждой паре подгрупп, получаем 3 нетривиальные ортогональности:

х L у » (х е A л у е B) v (х е B л у е A) v х = 0 v у = 0, х L у » (х е A л у е C) v (х е C л у е A) v х = 0 v у = 0, х L у » (х е B л у е C) v (х е C л у е B) v х = 0 v у = 0.

Все эти ортогональности являются максимальными [1].

Оказывается, что ситуация существенно усложняется при рассмотрении группы Z 3 © Z 3.

Пример 4. Пусть G = Z3 © Z3.

Z3 © Z3 = {0, ab a2, a3, a4, a5, a6, a7, a8}, где 0 = (0, 0), a1 = (0, 1), a2 = (0, 2),

a3 = (1, 0), a4 = (1, 1), a5 = (1, 2),

a6 = (2, 0), a7 = (2, 1), a8 = (2, 2).

В силу теоремы 2, группа G имеет нетривиальную ортогональность тогда и только тогда, когда G имеет нетривиальные подгруппы, имеющие тривиальное пересечение. Так как порядок группы Z3 © Z3 равен 9, то, согласно теореме Лагранжа, порядок любой её нетривиальной подгруппы равен 3. Выпишем эти подгруппы:

A = {0, ab a2}, B = {0, a3, a6}, C = {0, a4, a8}, D = {0, a5, a7}.

Заметим также, что каждые две подгруппы имеют лишь тривиальное пересечение. Таким образом, в силу (2), получаем 6 различных нетривиальных ортогональностей:

х l у (х е A л у е B) v (х е B л у е A) v х = : 0 v у = 0, (A, B)

х L 2 у (х е A л у е C) v (х е C л у е \A) v х = = 0 v у = = 0, (A, C)

х L3 у (х е A л у е D) v (х е D л у е A) v х- = 0 v у-- = 0, (A, D)

х L 4 у (х е B л у е C) v (х е C л у е Е B) v х = = 0 v у = = 0, (B, C)

х L5 у (х е B л у е D) v (х е D л у ( = B) v х = = 0 v у-- = 0, (B, D)

х L6 у (х е C л у е D) v (х е D л у ( е C) v х : = 0 v у: = 0. (C, D)

48

С.Л. Фуксон

Будем называть такие ортогональности, полученные с помощью (2), элементарными.

Заметим, что каждая ортогональность соответствует паре подгрупп. Так, например, ортогональность А1 соответствует паре (A,Б), А2- паре (A,C)и т.д.

Будем говорить, что (X, Y) и (S, T) не имеют общих элементов, если

(X и Y) П (S U T) = 0. (3)

Например, (A,Б) и (A, C) имеют общие элементы, а (A, Б) и (C, D) нет.

Можно ли построить новые ортогональности, отличные от элементарных? Следующее предложение помогает при ответе на этот вопрос.

Предложение 5. Объединение ортогональностей, соответствующих парам подгрупп, не имеющих общих элементов, также является ортогональностью.

Таким образом, объединив ортогональности А1 и А6, А2 и А5, А3 и А4, мы получим 3 новые ортогональности:

х А16 y » (x e A л у e Б) v (x e Б л y e A) v (x e C л y e D) v v(x e D л у e C) v x = 0 v у = 0,

x А25 у » (x e A л у e C) v (x e C л у e A) v (x e Б л у e D) v v(x e D л у e Б) v x = 0 v у = 0,

x А34 у » (x e A л у e D) v (x e D л у e A) v (x e Б л у e C) v v(x e C л у e Б) v x = 0 v у = 0.

Предложение 6. Ортогональности А16, А25 и А34 являются максимальными.

Доказательство. Докажем, что А16 является максимальной ортогональностью.

x ±16 у » (x e A л у e Б) v (x e Б л у e A) v (x e C л у e D) v v(x e D л у e C) v x = 0 v у = 0.

Предположим, что ортогональность ±16 не является максимальной, а значит, в силу определения максимальной ортогональности, ±16 можно расширить. По построению мы можем добавить пару, у которой или первая координата из A, а вторая из C, или первая координата из Б, а вторая из D, или первая координата из A , а вторая из D, или первая координата из Б, а вторая из C.

Рассмотрим случай, когда первая координата из A, а вторая из C. Остальные случаи рассматриваются аналогичным образом.

Пусть ортогональность А. такова, что

(x А16 у) v (x = а л у = 04) ^ x А у, (4)

тогда, в силу (А4), из того, что а1 А а4, следует а1 А а8, где а8 = а4 + а4 e C . Та-

ким образом, а1 А C . Так как подгруппа A циклическая и каждый её ненулевой элемент является её образующим, то

A А C. (5)

Из (4) следует, что

A А Б л C А D.

Объединив условия (5) и (6), получим A А Б л A А C л C А D.

(6)

49

Ортогональности группы Z p © Z p

Воспользовавшись (А4), имеем A L B © C , где B © C = G . Таким образом, из того, что A с G , следует A L A , а значит, a1 L ax л a2 L a2, что противоречит антирефлексивности ортогональности.

Таким образом, отношение L не является ортогональностью.

Аналогичным образом можно показать, что ортогональности L25 и L34 также являются максимальными.

□

Замечание 7. Если пары подгрупп, соответствующие ортогональностям, имеют общие элементы, то их объединение не является ортогональностью.

Так, например, объединив Lj и L2, получим

х Lj2 у » (х e A л y e B) v (x e B л y e A) v (x e A л y e C) v

v(x e C л у e A) v x = 0 v у = 0. (7)

Покажем, что отношение Lj2 не является ортогональностью. Из определения Lj2, в частности, вытекает, что aj Lj2 a3 л aj Lj2 a4. В силу (А4) aj Lj2 a3 + a4, то есть aj Lj2 a7, где a7 e D, что противоречит (7).

Нетрудно показать, что всякая нетривиальная ортогональность в Z © Z p

может быть получена как объединение элементарных ортогональностей.

Таким образом, в рассматриваемой нами группе Z3 © Z3 существует 9 нетривиальных ортогональностей, 6 из которых являются элементарными, а 3 другие -это всевозможные их объединения, являющиеся максимальными ортогональностями.

Перед тем как перейти к исследованию произвольной группы Z © Z , рассмотрим группу Z5 © Z5.

Пример 8. Пусть G = Z 5 © Z 5.

Z5 ©Z5 = {0, aj, a2, ..., a24}, где

0 = (0, 0), aj = (0, j), a2 = (0, 2), a3 = (0, 3), a4 = (0, 4),

a5 = (j, 0), a6 = (j, j), a7 = (j, 2), a8 = (1, 3), a9 = (j, 4),

aj0 = (2, 0), ajj = (2, 1), aj2 = (2, 2), aj3 = (2, 3), aj4 = (2, 4),

aj5 = (3, 0), aj6 = (3, 1), aj7 = (3, 2), aj8 = (3, 3), aj9 = (3, 4),

a20 = (4, 0), a2j = (4, j), a22 = (4, 2), a23 = (4, 3), a24 = (4, 4).

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Так как порядок группы Z5 © Z5 равен 25, то порядок любой её нетривиальной подгруппы равен 5.

Выпишем эти подгруппы:

A ={0, aj, a2, a3, a4},

^={0, a3, aw, aj5, a20},

C={0, a6, aj2, aj8, a24},

^={0, a2, aj4, aj6, a23},

^={0, a8, ajj, aj9, a22},

F={0, a9, aj3, aj7, a2j}.

50

С.Л. Фуксон

С помощью (2) построим 15 элементарных ортогональностей, которые запишем в виде пар соответствующих им подгрупп:

1) 11:(A,B) 12:(A,C) 1s:(A,D) 14:(A,E)

2) 16 :(B, C) 1y:(B,D) 1 :(B, E) I9 :(B, F)

3) 1Ю:(С ,D) 1„:(C ,E) 1U:(C ,F)

4) 1B:(D,E) 114:(D,F)

5) 115:(E,F)

±5:(A,F)

Здесь в первой строке указаны пары, содержащие в качестве первой компоненты подгруппу A, во второй - подгруппу B и так далее, пока не останется единственная пара (E, F).

Рассмотрим ортогональности, являющиеся объединениями двух элементарных ортогональностей, удовлетворяющих (3).

Каждую из ортогональностей первой строки можно объединить с шестью другими ортогональностями; каждую ортогональность второй строки можно объединить с тремя из оставшихся ортогональностей; ортогональности третий строки объединяются с ортогональностями последующих строк единственным образом; ортогональности четвёртой и пятой строчек не могут быть объединены, поскольку имеют общие элементы. Запишем полученные ортогональности в следующую таблицу.

11,10 11,11 11,12 11,13 11,14 11,15

12,7 12,8 12,9 12,13 12,14 12,15

13,6 13,8 13,9 13,11 13,12 13,15

1 4^ 08 1 4^ 1— 4^ 14,10 14,12 14,14

15,6 15,7 15,8 15,10 15,11 15,13

^6,13 -^6,14 ^6,15

1.

18.10 18,12 18,14

19.10 19,11 19,13

Таким образом, при объединении элементарных ортогональностей в пары возникает 45 более сложных ортогональностей. Однако все они не являются максимальными.

Объединим ортогональности в тройки. Для наглядности запишем их в виде соответствующих объединений пар подгрупп.

(A, B) U (C, D) U (E, F) (A, B) U (C, E) U (D, F) (A, B) U (C, F) U (D, E) (A, C) U (B, D) U (E, F) (A, C) U (B, E) U (D, F) (A, C) U (B, F) U (D, E) (A, D) U (B, C) U (E, F) (A, D) U (B, E) U (C, F) (A, D) U (B, F) U (C, E)

(A, E) U (B, C) U (D, F) (A, E) U (B, D) U (C, F) (A, E) U (B, F) U (C, D) (A, F) U (B, C) U (D, E) (A, F) U (B, D) U (C, E) (A, F) U (B, E) U (C, D)

Аналогично предложению 6 показывается, что все эти 15 ортогональностей максимальны. При объединении элементарных ортогональностей по четыре возникающие отношения уже не являются ортогональностями, а значит, группа Z5 © Z 5 имеет ровно 75 нетривиальных ортогональностей.

51

Ортогональности группы Z p © Z p

Обобщим полученные результаты. Рассмотрим произвольную группу Zp © Zp, где p > 3, p - простое число:

Zp = {0, 1, 2, ... , p -1},

Z„ ©Zp = {0, a , a2, ... , a 2 }.

p -1

Порядок любой нетривиальной подгруппы группы Z p © Z p равен p. Так как

каждая нетривиальная подгруппа группы Z p © Z циклическая и содержит p -1

ненулевых элементов (каждый из которых является её образующим), то количество её подгрупп равно числу

p2-1 p -1

p +1.

Таким образом, можно построить C p2+1 элементарных ортогональностей: p ортогональностей, соответствующих парам (A,X), где X - произвольная нетривиальная подгруппа, X Ф A;

(p -1) ортогональностей, соответствующих парам (B, X), где X - произвольная нетривиальная подгруппа, XФ A, B;

одну ортогональность, соответствующую паре двух последних подгрупп. Теорема 9. Число s всевозможных нетривиальных ортогональностей прямой суммы циклических групп Z p © Z , p > 3, вычисляется по формуле

p-1

2 с 2 C 2 C 2

_ _ V Cp+1 'Cp-1 '••• 'Cp-(2i-1)

h (i +1)! •

Доказательство. Число элементарных ортогональностей

Z p © Z p равно

Cp+j. Объединим элементарные ортогональности в пары так, чтобы полученные

отношения снова были ортогональностями. Выберем из Cp+1 пару ортогональностей, удовлетворяющую (3). Первую ортогональность можно выбрать с1+1 спо-

собами, вторую - Cp-1 способами, исключив ортогональности, которые соответствуют парам подгрупп, содержащих в качестве хотя бы одной из компонент подгруппы из первой ортогональности. Так как (X, Y) U (S, T) _ (S, T) U (X, Y), то

формула для подсчёта ортогональностей, являющихся объединениями двух элементарных, имеет следующий вид:

C

2

p+1

2!

С помощью аналогичных рассуждений можно получить формулу для подсчёта числа ортогональностей, соответствующих объединению максимального возможного числа элементарных ортогональностей в тройки:

C

p+1

C 2 с 2

• Cp-1 ‘ Cp-

3!

52

С.Л. Фуксон

Продолжая этот процесс, получим в конце формулу для вычисления числа ортогональностей, соответствующих объединению максимально возможного числа элементарных ортогональностей с соблюдением условия (3). При добавлении к таким ортогональностям новой элементарной ортогональности условие (3) уже не будет выполняться и полученное отношение не будет ортогональностью. Формула имеет вид

C 2 с 2 C 2 C 2 C 2

Cp+1 *Cp-1 *Cp-3 *...* C4 -C2

2 )

Таким образом, последняя формула соответствует числу максимальных ортогональностей группы Z p ® Z p, где p > 3 .

Просуммировав полученные результаты, имеем формулу для вычисления числа всевозможных нетривиальных ортогональностей прямой сум-

мы Z p ® Z p , p > 3 :

p-i

2

I

i=0

/'~»2 /'”’2 fi.

Cp+1 ‘Cp-1 *...* C

2

p-(2i-1)

(i +1)!

Для наглядности занесём результаты, полученные для всех исследуемых нами групп, в таблицу.

Группа Число элементарных ортогональностей Число максимальных ортогональностей Число всевозможных нетривиальных ортогональностей

Z p © Z p , p > 3 C2 Cp+1 C 2 c 2 C 2 C 2 C 2 Cp+1 ' Cp-1 ' Cp-3 ' ...' C4 - C2 ( p 2+1) p-1 ^ с1+1-с p-1-...-C2-(2i-1) h (i +1)!

ЛИТЕРАТУРА

1. Haukkanen P., Mattila M., Merikoski J.K., Tossavainen T. Perpendicularity in an Abelian group // International Journal of Mathematics and Mathematical Sciences. 2013. V. 13.

2. Haukkanen P., Merikoski J.K., Tossavainen T. Axiomatizing perpendicularity and parallelism // Journal for Geometry and Graphics. 2011. V. 15. No. 2. P. 129-139.

3. Davis G. Rings with orthogonality relation // Bulletin of the Australian Mathematical Society. 1971. V. 4. P. 163-178.

4. Векслер А.И. Linear spaces with disjoint elements and their conversion into vector lattices // Учёные записки Ленинградского государственного педагогического института имени А.И. Герцена. 1967. Вып. 328. С. 19-43.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Статья поступила 05.05.2015 г.

53

More and more geometric concepts penetrate into the space of the study of algebra. On March 2013, the International Journal of Mathematics and Mathematical Sciences carried an article titled “Perpendicularity in an Abelian Group” written by Haukkanen et al. The main objective of that article was to introduce the concept of a binary relation of orthogonality in an arbitrary Abelian group. The ratio of orthogonality in different algebraic structures has already aroused the interest of mathematicians before. For example, orthogonality in the rings was studied by Davis in the paper “Rings with orthogonality relation” (Bulletin of the Australian Mathematical Society, vol. 4, 1971), Veksler considers orthogonality in lattices and lattice-ordered groups in “Linear spaces with disjoint elements and their conversion into vector lattices” (Leningrad. Gos. Ped. Inst. Uchen. Zap., vol. 328, pp. 19-43, 1967). The purpose of the present paper is to get some results about orthogonalities for specific Abelian groups. We have investigated in detail the orthogonalities of a direct sum of cyclic groups Z p © Z . On the way to answer how many and which orthogonalities this group has, we consider special cases, namely, Z3 © Z3, Z5 © Z5 and only after that we are able to summarize the results to an arbitrary group Z p © Z .

Haukkanen and others introduced the concept of orthogonality in an Abelian group with the help of axioms which are absolutely natural if we give a geometric interpretation to them.

Let G = (G, +) be an additive Abelian Group. Let T be a binary relation in G satisfying:

(А1) У a e G : 3b e G : a T b,

(А2) У a e G \{0}: a T a,

(А3) У a, b e G : a T b ^ b T a,

(А4) У a, b,c e G : a T b л a T c ^ a T (b + c),

(А5) У a, b e G : a T b ^ a T -b.

We call T an orthogonality in G.

Definition. We call 1 maximal orthogonality in G if it satisfies the axioms (Al) - (A5) and after adding thereto any of the other pair, the ratio obtained is not orthogonality in G.

direct sum Z © Z . With the help of our research, we were able to find the number of elementary, maximal, and all possible orthogonalities in the studied groups.

We present our results in the following table.

Group The number of elementary orthogonalities The number of maximal orthogonalities The number of all possible orthogonalities

Z p © z p , p > 3 C 2 Cp+1 C 2 C 2 C 2 C 2 C 2 Cp+1 ' Cp-1 ' Cp-3 ' ...' C4 ' C2 (> p-1 2 C2 -C2 • -C2 ^ Cp+1 Cp-1 ... Cp-(2i-1) i=0 (i+1)!

Keywords: Orthogonality, group, Abelian group, direct sum, cyclic group

FUKSON Sofia Leonidovna (Tomsk State University, Tomsk, Russian Federation) E-mail: [email protected]

54

С.Л. Фуксон

REFERENCES

1. Haukkanen P., Mattila M., Merikoski J.K., Tossavainen T. Perpendicularity in an Abelian group. International Journal of Mathematics and Mathematical Sciences, 2013, vol. 13.

2. Haukkanen P., Merikoski J.K., Tossavainen T. Axiomatizing perpendicularity and parallelism. Journal for Geometry and Graphics, 2011, vol. 15, no. 2, pp. 129-139.

3. Davis G. Rings with orthogonality relation. Bulletin of the Australian Mathematical Society, 1971, vol. 4, pp. 163-178.

4. Veksler A.I. Linear spaces with disjoint elements and their conversion into vector lattices. Uchenye zapiski Leningradskogo gosudarstvennogo pedagogicheskogo instituta imeni A.I. Gertsena, 1967, no. 328, pp. 19-43. (in Russian)

Ортогональности группы z p ⊕ z p Текст научной статьи по специальности «Математика»

Аннотация научной статьи по математике, автор научной работы — Фуксон Софья Леонидовна

Похожие темы научных работ по математике , автор научной работы — Фуксон Софья Леонидовна

Orthogonalities in Z p ⊕ Z p

Текст научной работы на тему «Ортогональности группы z p ⊕ z p»