CC BY
13
Владикавказский математический журнал 2010, Том 12, Выпуск 2, С. 62-71
УДК 512.552.32+514.147.7
РЕШЕНИЕ ПРОБЛЕМ МУФАНГ И. А. Хубежты
В работе получено положительное решение следующих проблем Муфанг: 1) «Эквивалентны ли
проективно Dg и Dio в плоскости характеристики 2?»; 2) «Имеет ли Dg проективный алгебраический
эквивалент?».
Ключевые слова: конфигурационная теорема, локальный (проективный) алгебраический эквивалент конфигурационной теоремы, тернар.
В работе [1] Гильберт доказал, что все аксиомы поля — суть локальные алгебраические следствия теоремы Паппа и что все аксиомы ассоциативного тела — суть алгебраические следствия теоремы Дезарга Du. В [2-5] доказано, что все аксиомы альтернативного тела — суть квазитождества теоремы Dio и что альтернативное тело есть проективный алгебраический эквивалент теоремы Dio. Муфанг в [5], изучая взаимосвязи теорем Ds, Dg и Dio, поставила следующие проблемы:
(1) «Эквивалентны ли Dg и Dio в плоскости характеристики 27».
(2) «Имеет ли Dg проективный алгебраический эквивалент?»
В настоящей работе получено положительное решение этих проблем Муфанг.
Как известно, любая проективная плоскость координатизируется методом Холла, опирающимся на применение тернарной операции.
Определение 1 [6]. Соответствие Ф, ставящее упорядоченной тройке (a,m,b) из
множества символов Ф элемент d Е Ф, называется тернарной операцией, причем d =
a ■ m о b является второй координатой точки пересечения прямых [ж = а] и [(m), (0, b)] = [y = ж ■ m о b], где (m) = [(0,0)(1, m)] П l^.
Теорема 2 [3, 6]. Всякое задание четырех точек X, Y, O, E общего положения в плоскости а* определяет тернарную операцию со следующими свойствами:
1) 0 ■ m о с = m ■ 0 о с = с;
2) 1 ■ m о 0 = m ■ 1 о 0 = m;
3) уравнение a ■ m о z = с однозначно разрешимо относительно z;
4) уравнение ж ■ mi о bi = ж ■ m2 о b2, mi = m2, однозначно разрешимо относительно ж;
5) система уравнений
{а ■ ж о y = b, с ■ ж о y = d однозначно разрешима относительно ж и y.
Определение 3 [3, 6]. (1) Множество Ф с тернарной операцией, обладающей свойствами 1)-5) в теореме 2, называется тернаром плоскости.
© 2010 Хубежты И. А.
(2) Тернар а плоскости, в котором натуральные операции, сложение и умножение, являются частными случаями тернарной операции в а, т. е. выражаются формулами вида:
{а ■ 1 о Ь = а + Ь, а ■ Ь о 0 = а ■ Ь,
называется тернарным кольцом.
(3) Равенство а ■ т о Ь = ат + Ь для любых а, т, Ь в тернарном кольце плоскости называется условием линейности.
Проективные плоскости обладают конфигурационными свойствами.
Определение 4 [2]. Конфигурация есть конечное множество точек и прямых, связанных инциденциями. Если каждая точка (прямая) конфигурации инцидентна трем и более прямым (точкам), то конфигурация называется невырожденной.
Определение 5 [2]. Утверждение о том, что из инцидентности некоторых пар элементов плоскости следует инцидентность какой-либо пары элементов (или каких-либо пар) плоскости, называется конфигурационной теоремой. Точки, которые порождают конфигурационную теорему К, следуя определенной таблице инциденций, называются образующими точками теоремы К, число же г = 2(р + д) — — 1), где р, д, ] суть соот-
ветственно числа прямых, точек и инциденций, называется рангом конфигурационной теоремы К.
Определение 6 [2]. Если конфигурационная система К выполняется при любом расположении ее образующих точек, то говорят, что она в плоскости выполняется проективно или универсально. При аффинном выполнении теоремы К в плоскости выбирается специальная прямая и требуется, чтобы замыкающая инциденция на этой прямой всегда выполнялась. Наконец, если К замыкается в плоскости лишь при некотором расположении ее образующих точек, то она выполняется локально.
Определение 7. (1) [2] Локальным (проективным, аффинным) алгебраическим эквивалентом или квазитождеством (совокупности квазитождеств) конфигурационной системы К называется алгебраическое равенство (равенства), представляющее необходимое и достаточное алгебраическое условие локального (проективного, аффинного) выполнения теоремы К.
(2) [7] Равенство (*) назовем ограниченным квазитождеством теоремы К, если при его выводе используются равенства (**), следующие из К при других наборах ее образующих точек.
(3) [2] Говорят, что конфигурационная теорема К проективно влечет теорему К в плоскости Ср характеристики р (К ^ К2), если в К2 всегда можно выделить систему образующих точек теоремы К и по ним строить К такие, что замыкающая инциденция последней из них совпадает с замыкающей инциденцией К2. Любое квазитождество К2 есть квазитождество и К, а потому проективный алгебраический эквивалент К2 входит в состав проективного алгебраического эквивалента К. Теорема К может иметь геометрические следствия отличные от К2, но не существующие в плоскости Ср характеристики р.
(4) [7] Пусть в плоскости характеристики р все геометрические следствия К2 суть геометрические следствия К1 и существуют в Ср, но в этой плоскости не существует К2 в своем исходном виде, даже локально. Тогда проективный алгебраический эквивалент К2 будет проективным алгебраическим эквивалентом К в тернарах плоскостей ,..., СРк характеристик р1 ,...,р& соответственно. Пересечение проективных алгебраических эквивалентов называется специальным алгебраическим эквивалентом К в общем случае.
(5) [Т] Конфигурационные теоремы K и R называются эквивалентными проективноалгебраически, если они имеют один и тот же проективный алгебраический эквивалент в общем случае.
Конфигурационная теорема Dio (Dg и Ds) [2] (рис. І)) 8. Если прямые, соединяющие соответствующие вершины трехвершинников ABC и A/B/C/, проходят через одну точку б, называемую центром перспективы, причем одна (две, три) вершина одного трехвершинника лежит на одной (двух, трех) стороне другого трехвершинника, то точки пересечения соответствующих пар сторон инцидентны одной прямой l, называемой осью перспективы указанных трехвершинников.
Конфигурационная теорема Дезарга Dii 9. Если два трехвершинника имеют центр S перспективы, то они имеют и ось l перспективы.
Конфигурационная теорема (Lio [2] (рис. В)) 10. Теорема Dii, в которой ось l перспективы инцидентна центру S перспективы, есть теорема Lio.
Конфигурационная теорема Фано 7з [В] (рис. З) 11. Пусть для точек 1, 2, 3, 4 общего положения выполняются инциденции: 6 = [1, 4] П [2, 3], Б = [З, 2] П [3,4], 7 =
[1,3] П [2, 4], тогда будет выполняться инциденция (6, Б, 7).
Конфигурационная теорема (Lg [2] (рис. 9) 12. Теорема Lio, в которой одна сторона одного ее трехвершинника проходит через одну вершину другого трехвершинника, называется теоремой Lg.
Теорема 13. Теорема Dg проективно эквивалентна теореме Lg.
Определение 14 [В]. Проективная плоскость, в которой проективно выполняется теорема 7з, называется плоскостью Фано.
Теорема Муфанг [5] 15. Проективным алгебраическим эквивалентом Dio является альтернативное тело.
Определение 16 [3]. Проективную плоскость, в которой проективно выполняется Lio или Dio, называют муфанговой плоскостью.
Теорема 17 [В]. Всякая конечная плоскость Фано дезаргова и, следовательно, пап-пова.
Теорема 18 [5]. В плоскости характеристики p = 2 из конфигурационной теоремы Dg проективно следует Dio и потому они эквивалентны проективно.
(Доказательство было осуществлено в терминах классического Штаудтова исчисления, т. е. без применения тернарной операции)
Докажем теорему ІВ в терминах холлова исчисления.
Теорема 19 [Т]. В плоскости характеристики p = 2 из Dg следуют все аксиомы альтернативного тела.
< І) Поскольку из Dg проективно следует первая малая теорема Паппа Пі [2, ІІ], а локальными алгебраическими эквивалентами Пі являются:
a + b = b + a, a + (b + c) = (a + b) + c, (1.1)
то верно соотношение Dg ^ (1.1).
2) Dg ^ a ■ m о b = am + b (рис. І). Пусть в Dg 2 = (1), 1 = (0,p), 1/ = (то),
2/ = (aq,aq ■ q о p), 3/ = (a,aq ■ q о p), тогда получаем:
4 = [1,1/] П [2, 2/] = [ж = 0] П [y = ж +t] = (0, t) = (0, y4),
2'/[2,2'] ^ ад ■ д о р = ад + £, £ = ад ■ д о р — ад,
3 = [1,2'] п [2,3'] = [у = ж ■ д о р] П [у = ж ■ /У4]1 [2', 2] = ^ 3 = (д),
3'/[2,2'] ^ ад ■ д о р = а ■ д о (ад ■ д о р — ад) = ад + £, (2.1)
2 = [1,2] П [1',2'] = [у = ж + р] П [ж = ад] = (ад, ад + р),
2= [1',2] П [2', 3'] = П [у = ад ■ д о р] = (0),
2 = [1,2'] П [1', 2'] = [у = ж ■ д о р] П [ж = а] = (а, а ■ д о р),
(2,2, 7) ^ а ■ д о р = ад + р. (2.2)
{(2.1),р1 = ад ■ д о р — ад ^ ад + р1 = ад ■ д о р = ад о р1 ^ (2.2)}.
Итак, доказано соотношение ^ а ■ д о р = ад + р при любых а, д, р.
3) Из Ьд : {7 = (0, 0), 4 = (то), 2' = (аг, аг), 3 = (а, аг), 1 = (г — 1)} (рис. 9) получаем:
1' = (0), 3' = (а,а), 5 = (0,аг), 6 = (0,а),
3/[1,3] ^ аг = а ■ (г — 1) + а ^ а(г — 1) = аг — а;
2 = [4, 2'] П [1, 5] П [7, 3] = [ж = аг] П [у = ж(г — 1) + аг] П [у = жг]
= (аг, аг ■ г) = (аг, аг ■ (г — 1) + аг) ^ аг ■ (г — 1) = аг ■ г — аг.
4) £д{2 = (то), 4 = (0), 1' = (0,0), 2' = (ат, ат ■ т), 3 = (а,ат)} (рис. 9) ^
(а + ат)т = ат + ат ■ т.
5) Полагая в Ьд (рис. 9) 2 = (0, 0), 4 = (то), 2' = (1, с), 1 = (а-1с — с), получаем:
1' = [1,4] П [2,2'] = (0), 2' = (а, ас), 6 = (0,ас), 2 = (0,с),
2 = [1, 5] П [4, 2] П [3, 2] = [у = ж(а-1 — с) + с] П [ж = 1] П [у = жк]
= (1, к) = (1,1 ■ (а-1с — с) + с) = (1, а-1с), к = а-1с, 2 = (1, а-1с),
3 = [1, 6] П [2, 2] = [у = ж(а-1с — с) + ас] П [у = ж ■ а-1с] (5 1)
= (а, с) = (а, а(а-1 с — с) + ас) = (а, а ■ а-1 с) ^ с = а ■ а-1с,
с = а(а-1с — с) + ас ^ а(а-1с — с) = с — ас, (5.2)
а ■ а-1с = а(а-1с — с) + ас ^ а(а-1с — с) = а ■ а-1с — ас. (5.3)
{(5.2), (5.3)} ^ (5.1). Заметим, что из (5.2), при замене а на а-1, следует а-1(ас — с) = -1
с — а 1с.
Отсюда, после умножения слева на а, с учетом (5.2), получаем:
а ■ а-1 (ас — с) = а(—а-1 с + с) = —с + ас ^ д = а ■ а-1д.
6) Полагая в Ьд (рис. 9)
2 = (са, с), 2 = (0, 0), 2' = (1, с), 4 = (то),
Т = (а-1 — с), получаем, что Ьд ^ с = са ■ а-1 при любых а = 0, с.
7)
£д{2 = (0,0), 2 = (то), 1 = (д), 2' = (1, ак),
2 = (а, ак)} (рис. 9) ^ ак = ад + а ■ ак ^ а(к — ак) = ак — а ■ ак.
(7.2)
8)
Ьд{7 = (то), 4 = (0), 1 = (—а + 1, 0), 2 = (1, ат), 3' = (ат)} (рис. 9)
^ 5 = [4, 7] П [2,1] = П [у = ж/ + і] = (/), {2 ■ /[2,1]}^ ат = / + і, (8.1)
1/[2,1] ^ і = —(—а + 1)/ = ат — /, ат = / — (—а + 1)/,
2' = [7, 3'] П [4, 2] = (а, ат), 1' = [5, 2'] П [4,1] = [у = ж/ + І1 ] П [у = 0] = (жі; 0),
3'/[1', 6] = [у = жд] ^ т = ад, {(8.5)} ^ (1 — а)д = д — ад ^ (а + 1)к = ак + к Vа, к. Теперь докажем теорему 20.
Теорема 20. В холловом исчислении из выполнения Ьд или ^д в плоскости характеристики = 2 следует выполнение (а + 6)с = ас + 6с в тернаре этой плоскости.
< (рис. 9) Полагая в Ьд : 7 = (то), 4 = (0), 1 = (—6а + 6, 0), 2 = (6, 6а ■ т), 3 = (6а, 6т) и алгебраизируя все ее инциденции, получаем:
[1,2] = [у = ж/ — (—а + 1)/] = [у = ж/ + ат — /];
(8.2)
2'/[5,2'] ^ ат = а/ + і1 ^ ж/ + ат — а/ = 0, і1 = ат — а/,
3 = [5, 2'] П [4, 3'] П [7, 2] = [у = ж/ + ат — а/] П [у = т] П [ж = 1]
= (1, т) = (1, / + ат — а/) ^ т = / + ат — а/, / = т, 5 = (т), 1' = 0;
(8.3)
(8.1) ^ ат = т — (1 — а)т ^ (1 — а)т = т — ат;
(8.4)
6 = [1,3] П [4, 7] = [у = жд + І2] П [1^] = (д), {1/[1, 3] ^ 0 = (—а + 1)д + І2
^ і2 = —(1 — а)д, 3/[1,3] ^ т = д + і2} ^ і2 = т — д = —(1 — а)д
^ т — д = —(1 — а)д;
(8.5)
2' = [7, 3'] П [4,2] = [ж = 6а] П [у = 6а ■ т] = (6а, 6а ■ т),
5 = [4, 7] П [1, 2] = П [у = ж/ + і] = (/),
^ (—6а + 6)/ = 6/ — 6а ■ т;
1' = [5, 2'] П [4,1] = [у = ж/ + і'] П [у = 0] = (жі, 0); 2'/ ^ 6а ■ т = 6а ■ / + і' ^ і' = 6а ■ т — 6а ■ /; ж1/ + і' = 0, ж1/ + 6а ■ т — 6а ■ / = 0.
3 = [5, 2'] П [4, 3'] П [7, 2] = [у = ж/ + 6а ■ т — 6а ■ /] П [у = 6т] П [ж = 6]
= (6,6т) = (6,6/ + 6а ■ т — 6а ■ /)
^ 6т = 6/ + 6а ■ т — 6а ■ / ^ т = / ^ 0 = 0 ^ 5 = (т), 1' = (0,0), 3 = (6,6т); (—6а + 6)т = 6т — 6а ■ т;
6 = [4, 7] П [1', 3']= ^ П [у = ж ■ 5] = (5);
3'/ ^ 6т = 6а ■ 5 ^ 5 = (6а) 1 ■ 6т, / = ^>(а,6, т),
6/[1,3] = [у = ж5 + г], 1/ ^ 0 = (—6а + 6)5 + г ^ г = —(6 — 6а)5, 3'/ ^ 6т = 65 — (6 — 6а)5 ^ (6 — 6а)5 = 65 — 6т = 65 — 6а ■ 5.
Таким образом, верно соотношение Дд ^ (р — д)к = рк — дк при всех р, д, к и, следовательно, соотношение Дд ^ (р + д)к = рк + дк при всех р, д, к.
Для доказательства соотношения Дд ^ а(6 + с) = а6 + ас для любых а, 6, с воспользуемся теоремой 21. >
Теорема 21 [7]. В левой /РоУ^-системе характеристики р = 2, в которой а-1 ■ а6 = 6 для любых а = 0, 6, а(1 + 6) = а + а6 для любых а, 6, имеет место а(6 + с) = а6 + ас при всех а, 6, с и поэтому она есть альтернативное тело.
Из теорем 19-21 следует
Теорема 22. Проективно-алгебраическим эквивалентом теоремы Дд в тернаре плоскости Ор, р = 2, является альтернативное тело.
Тем самым подтверждена теорема Муфанг Дд ^ Дю в Ор, р = 2, в терминах холло-ва исчисления. Теорема 20 доказана и, следовательно, доказана теорема 18 в холловом исчислении.
В работах [7, 10] были найдены нижеследующие геометризации характеристики 2 и их взаимосвязи.
Конфигурационная теорема (рис. 10) 23. Если для точек (3, 6,1'), 2', 4 бес-
конечной плоскости Фано выполняются следующие инциденции:
1', 3іП[4,2'], 3' = [6,2'] п [3,4], 5 = [2', 3] п [1,3'], 1 = [1', 4] п [2', 5], 7 = [1', 2'] п [1,2],
то будут выполняться и инциденции (5, 6, 7) и (3, 3', 7).
Примечание 24. Очевидно, что = Д(8; 10,10) = в плоскости Фано содержит замыкающиеся конфигурации
71{1234}, 72{1'2'3'3}, 7|{1'2'34}, 7|{11'22'}, 73{1'357}
и, что
^8 = 7з{1'2'3'3} и {4,2,1} = {1', 2', 3', 3,5,6,7,4},
2 = [4,2'] п [6,3], 1 = [4,1'] п [2', 3] п [7,2].
Примечание 25. Поскольку Д8 содержит все инциденции Дд (рис. 9, 10) и инци-
денции (7, 3, 4), то она есть частный случай Дд в плоскости Фано.
Выясним связи между и 7з.
Теорема 26. В плоскости Фано О2 из 7з следует Д|.
Конфигурационная теорема (А) 27. Пусть в плоскости Фано для точек 7,
4, 2', 3, 1 (рис. 4) выполняются инциденции: 1' = [4,1] П [2', 3], 3' = [4, 3] П [2', 7], 5 = [1', 2'] П [7,7], 6 = [7, 7] П [7', 7'], 7 = [3,7] П [4, 7'], тогда будут выполняться инциденции (1, 3, 6) и (1, 2, 5, 3'), или же, другими словами, (А') : пусть для точек (5, 3,1'), 4, 2 имеют место инциденции [5,3] п [4,2] = 2', [7,2] п [4,1'] = 1, [5,4] п [2,3] = 7, [2', 7] п [3,4] = 3',
[1,3] П [1', 3'] = 6, тогда будут иметь место и инциденции (4, 5, 6) и (1, 2, 3').
Примечание 28. Теорема содержит все инциденции Ьд(123; 1'2'3') (рис. 9) и ин-циденцию (1, 2, 3'), поэтому она есть частный случай Ьд.
Связи между и 7з выясняет следующая
Теорема 29. В плоскости Фано из 7з следует Р|.
Теорема 30. Теорема проективно-эквивалентна теореме £|.
Конфигурационная теорема П£ (рис. 7) 31. Пусть в плоскости Фано заданы точки 1, 3, (2,4, 6) и выполняются инциденции: 7 = [1, 6] П [3,4], 8 = [1, 2] П [3, 6], 5 = [4, 8] П [1, 3],
9 = [5, 6] П [2, 3], 10 = [3,4] П [1, 2], 1 1 = [2, 3] П [4, 5], 12 = [10,11] П [1, 3], тогда выполняются и инциденции (1 0,1 1,1 2, 6), (8, 9, 7,1 2).
Теорема 32. В плоскости Фано из следует П7 проективно.
В [10] была доказана следующая
Теорема 33. Некоторыми квазитождествами теоремы 7з являются:
1) а + (а + к) = к, д + (с + р) = с + (р + д) V с, д,р;
2) а + 6 = 6 + а V а, 6;
2') а +(6 + с) = (а + 6) + с V а, 6, с;
3) а ■ т о ат = ат + ат = 0 V а, т;
4) а ■ т о 6 = ё ^ а ■ т о d = 6 V а, 6, ё, т;
5) д ■ п о д = дп + д V д, п;
6) а ■ т о (ат + ат ■ т) = ат ■ т V а, т;
7) а(г + 1) = аг + а V а, г;
8) аа-1 = а-1а = 1, V а = 0;
9) 1 ■ д о с = 1 ■ с о д V с, д;
10)
(1) 5 ■ р о (5 + ас) = 5 + 5 ■ р о ас V 5, р, с, а;
< (2) р ■ / о (с ■ / о ё) = с ■ / о (р ■ / о ё) Vр, /, ё, с;
Д3) ад ■ к о (ад ■ д о ас) = ад ■ д о (ад ■ к о ас) V а, д, к, с;
11) а ■ т о 6 = ат + 6 V а,т, 6;
12) а(к + ак) = ак + а ■ ак V а, к;
13) а ■ а-1 с = с V а = 0, с;
14) а(а-1 с + с) = с + ас;
15) са ■ а-1 = с V а = 0, с;
15') са ■ (а-1 + с) = с + са ■ с; а(а-1 + 6) = 1 + а6;
16) (а + 1)к = ак + к Vа, к;
17) (ё + = dі + dі ■ і V ё^;
18) а-1 (а6 + (6 + с)) + а-1 (ас + (6 + с)) = 6 + с;
19) а(с + ё + (а + 1)-1(с + аё)) = ас + аё + а ■ (а + 1)-1(с + аё),
а ■ (а + 1)-16 = а(а + 1)-16 = (1 + (а + 1)-1)6, а(а + 1)-1 = (а + 1)-1а,
6(а + 1)-1а = 6а ■ (а + 1)-1 = 6 ■ (а + 1)-1 а = 6 ■ (а + 1)-1а =
6(1 + ( а + 1) - 1 ) ;
20) а(ё + т) — аё + ат V а, ё, т — ^(а, ё);
21) (т + ё)а — та + ёа V а, ё, т — ^(а, ё);
22) (а + 6) с = ас + 6с V а, 6, с;
23) а(6 + с) = а6 + ас V а, 6, с;
24) а ■ 6с = а6 ■ с,
и потому бесконечная плоскость Фано дезаргова.
Тем самым было получено положительное решение проблемы Аргунова — Глисона: «Не дезаргова ли бесконечная плоскость Фано?»
Очевидно, что из 33 и теоремы Глисона: «Всякая конечная плоскость Фано дезаргова», следует
Теорема 34. Любая дезаргова плоскость характеристики 2 фанова.
Примечание 35.1. Известно, что всякая дезаргова плоскость 4-транзитивна, что в
О2 каждая четверка точек общего положения порождает 7з и что, в ней проективно выполняются Д11, Д10, Д8, Д8, 73, и П^.
Опираясь на теоремы 18-22, 33 и 34? можем ответить на вопросы Муфанг (см. 17)
Примечание 35.2. Так как в дезарговой плоскости Ор характеристики 2 проективно выполняются Др и 7з, причем «7з ^ ^|», и, что О2 транзитивна относительно
четырехвершинников, то порождающий четырехвершинник 7з можно отобразить в че-тырехвершинник {11/22/} из Д8 или в 7з{1345} из Р|, и убедиться в выполнении всех инциденций 7з, т. е. в справедливости специального соотношения Др ^ 7з или Рр ^ 7з. (В недезарговой плоскости характеристики 2 это утверждение неверно.)
Таким образом, в плоскости Фано в силу теорем 33, 34 и примечаний 35.1, 35.2 теорема ^8 проективно-эквивалентна 7з и поэтому справедлива следующая
Теорема 36. Проективным алгебраическим эквивалентом теоремы Д8 в тернаре О2 плоскости Фано является ассоциативное тело характеристики 2.
Из вышеизложенного следует:
1) ^8 есть частный случай теоремы Дд в плоскости Фано Ор (в плоскости Ор нет Дд(Рд) в своем исходном виде, но в ней проективно выполняется ее следствие ^8).
2) В тернаре плоскости Ор, р = 2, теорема Дд своим проективным алгебраическим эквивалентом имеет альтернативное тело [9, 10] (см. теорему 25).
Теорема 37. В бесконечной плоскости Фано теоремы Дд и эквивалентны проективно-алгебраически (а в плоскости Ор, р = 2, эквивалентны проективно).
Заметим, что в муфанговой плоскости характеристики 2, т. е. в нефановой плоскости характеристики 2 теоремы Дд, Дю и 7з имеют место лишь локальные выполнения и потому в ней проблемы Муфанг теряют свою реальность.
Тем самым получено решение проблем Муфанг.
О взаимосвязях ^8 и Дд в плоскости Фано гласит
Теорема 38. В плоскости Фано Ор теорема ^8 свертывается в 7з.
< Здесь в отличие от доказательства теоремы 2.30 (2) не будут использованы координаты точек. Рассмотрев Д8(Т23;Т2/3/) (рис. 6), в которой 4 = [1,1;] П [2, 2/] П [3, 3;],
[1.2] п [1,2/] =7, [1,3] п [Г, 3/] =5, [2,3] п [2/, 3/] =6, (1,3,2/), ( I , 2,3/), (2,3, V), [5,6,7],
и применив 7з к четырехвершинникам 121/2/, 1, 31/3/, 23 2/3/ и 1234 соответственно, получим: 7з{ I 21/2/} ^ 7 = [1,2] п [Г,2/], 4 = [1,1/] п [2,2/], 3 = [1,2/] п [V,I] ^ (4,7,3) ^ (4,7,3,3/) = 01 7{232/,3/} ^ (4,6,1) ^ (4,6,1,Г) = аз, 7з{Т234} ^ [1,3] п [2,4] = 2/,
[1.2] п [3,4] = 3/, [1,4] п [2,3] = V ^ ( 1 /,2/,3/) = 04, 7з{131/3/} ^ (4,5,2,2/) = а2,
5 = [1,3] п [ 1 /,3/] = [1,3,2/] п [Г,3/, 2/] = 2/, 6 = [2,3] п [2/,3/] = [2,3, Г]п [2/,3/,Г] = V,
7 = [V, 2] п [Т/, 2/] = [V, 2,3/] п [Т/, 2,3/] = 3/.
Итак, из 10 точек ^8 получили семь точек: V, 2, 3, Т/, 2/, 3/, 4, представляющих 7з. > Поскольку в плоскости Ор, р = 2: Д8 = Дд® (V, 2, 3/), в плоскости Ор : Д8 = Дд®(7, 3,4), а Д£©(Т, 2, 3/) = ^8 ® (7, 3,4) свертывается в 7з, то в Ор теоремы ^8 и Дд эквивалентны проективно-алгебраически.
Рис. 1 (Бд).
Рис. 2 (Пі).
4
6
2
2
2
4
Рис. 3 (7з).
12 1
Рис. 7 (Щ).
Рис. 4 (L8).
Рис. 6 (Ds). Y
5
Рис. 8 (L10).
Рис. 9 (Ьэ).
Литература
1. Гильберт Д. Основания геометрии.—М.-Л.: Гостехиздат, 1948.—491 с.
2. Аргунов Б. И. Конфигурационные постулаты и их алгебраические эквиваленты // Мат. сб.— Т. 25(68), № 3.—С. 425-456.
3. Скорняков Л. А. Проективные плоскости // УМН.—Т. 6, вып. 6.—1951.—С. 112-154.
4. Pickert G. Projektive Ebenen.—Berlin: Springer-Verlag, 1955.—viii+343 p.
5. Moufang R. Die Sehnittpunktsatze des projektiven speziallen Funfeckchetzen in ihrer Anhandigkeit voneinander // Math. Ann.—1935.—Vol. 106.—P. 755-795.
2
4
Y
X
6. Холл М. Теория групп.—М.: Мир, 1962.—468 с.
7. Хубежты И. А. О некоторых классах алгебр и плоскостей.—Владикавказ: Изд-во СОГУ, 2005.— 301 с.
8. Gleason A. M. Finite Fano planes // Amer. J. Math.—1956.—Vol. 78.—P. 797-807.
9. Хубежты И. А. О бесконечной плоскости Фано // Изв. вузов. Сев.-Кавк. рег. Естеств. науки. Приложение № 11.—2005.—С. 69-77.
10. Хубежты И. А. Решение проблемы Аргунова — Глиссона // Владикавк. мат. журн.—2007.—Т. 9, вып. 2.—С. 2-26.
Статья поступила 16 июля 2008 г.
Хубежты Исидор Антонович
Северо-Осетинский государственный университет
им. К. Л. Хетагурова, профессор кафедры алгебры и геометрии
РОССИЯ, 362040, г. Владикавказ, ул. Ватутина, 46
SOLUTION OF MOUFANG PROBLEMS Khubezty I. A.
Solutions of the following two Moufang problems are present: 1) Does D9 have a projective algebraic equivalent? 2) Are D9 and Dio projectively equivalent in a plane of characteristics 2?
Key words: configuration theorem, local (projective) algebraic equivalent of the configuration theorem, ternary.
