О МОДЕЛЯХ ПРОЕКТИВНОЙ ПЛОСКОСТИ ПОЛЯ ГАЛУА
Аннотация. Исследуются модели конечной проективной плоскости, индуцируемой полем Галуа. Рассмотрены возможные способы построения трехмерного векторного пространства с использованием линейного оператора и системы компьютерной алгебры Maxima, проективная эквивалентность полученных моделей малых порядков.
Ключевые слова: поле, примитивный элемент, конечная проективная плоскость, сложное отношение, проективное преобразование.
Приведём первоначально некоторые сведения, необходимые для определения задачи. Поле Галуа – это конечное множество с числом элементов с двумя бинарными операциями (сложение и умножение), что образует коммутативное ассоциативное кольцо с единицей, где р – простое число, называемое характеристикой поля, n- натуральное число, причем ненулевые элементы образуют мультипликативную группу. Эта группа циклическая, то есть в ней есть порождающий (примитивный) элемент А, все остальные получаются возведением в степень примитивного элемента, причем . Число примитивных элементов определяется функцией Эйлера. Полеестественным образом определяет структуру векторного пространства c базисом . Мы приводим решение задачи для случая и некоторых p.
Под конечным проективным пространством, порожденным векторным пространством (без нуль вектора), понимаем непустое множество , удовлетворяющее аксиомам проективного пространства, если задано сюрьективное отображение , при котором коллинеарным векторам соответствует единственный элемент (проективная точка). Конечная проективная плоскость порядка k (k> 2, k – некоторое натуральное число) это множество точек и множество прямых, некоторые элементы которых связаны отношением инцидентности: каждой прямой проективной плоскости инцидентны точно k + 1 точек.
Здесь приводим построение проективного пространства размерности m, то есть проективной плоскости, порожденной векторным пространством, индуцированным . В качестве модели проективной плоскости принимаем конечное множество, в котором проективный репер определяется четырьмя упорядоченными точками , где Е – единичная точка, и всякая точка относительного репера задается однородными координатами или неоднородными координатами ,которые принимают значения остатков от деления на простое число . Действия над ними производим согласно определенным операциям алгебры системы вычетов по модулю Считаем, что две модели проективно эквивалентны, если существует проективное отображение одной модели на другую, то есть эквивалентные модели определяют одну и ту же проективную структуру.
Наиболее вероятным является предположение о том, что каждая конечная проективная плоскость имеет порядок, равный степени простого числа [2]. Вопрос о единственности проективной плоскости данного порядка изучен также не полностью. Так, конечные проективные плоскости порядка меньше 9 единственны как алгебраические структуры, однако вопрос единственности проективной структуры плоскостей над соответствующими полями Галуа мало изучен. С другой стороны известно, что проективные плоскости порядка выше 8 не единственны как алгебраические структуры, например, существуют (по крайней мере) четыре неизоморфные плоскости девятого порядка [2]. Следует заметить, что с увеличением порядка возрастает порядок вычислений, поэтому применение математических пакетов становиться необходимостью. Здесь проявляется одно из главных достоинств математических пакетов – возможность исследования более сложных математических моделей, благодаря сокращению громоздких вычислений и рутинных операций.
1. Рассмотрим . Для построения трехмерного векторного пространства введем линейный оператор с матрицей , где , и решим уравнение равносильное системе
(1)
Реализация некоторых вычислений с помощью системы компьютерной алгебры Maxima имеет вид:
B: matrix( [0,0,gamma], [1,0,beta], [0,1,alpha]);
B5:ratsimp(B.B.B.B.B);
M:{}$ for alpha: 0 thru 1 do for beta: 0 thru 1 do for gamma: 0 thru 1 do if integer (alpha) and integer (beta) and integer (gamma) and
mod ((2*beta+3*alpha^2)*gamma+3*alpha*beta^2+4*alpha^3*beta+alpha^5,2)=0 and mod (gamma^2+(4*alpha*beta+alpha^3)*gamma+beta^3+3*alpha^2*beta^2+
+alpha^4*beta, 2)=0 and mod(2*alpha*gamma^2+(beta^2+3*alpha^2*beta+alpha^4)*gamma,2)=1
then M:{M,[alpha, beta, gamma]}$ flatten(M); cardinality(%);
{[0,1,1],[1,0,1]}.
A^1=[0,1,0]; A^2=[1,0,0]; A^3=[alpha:1,beta:0,gamma:1];
for i: 3 thru 6 do if i=3 then print(A^(i+1)=[u[i+1]: mod(alpha*alpha+beta,2), v[i+1]:mod(beta*alpha+gamma,2), w[i+1]:mod(gamma*alpha,2)]) else if i>3 then print(A^(i+1)=[u[i+1]:mod(alpha*u[i]+v[i],2), [i+1]:mod(beta*u[i]+w[i],2),w[i+1]:mod(gamma*u[i],2)]);
A=[0,1,0], A2=[1,0,0], A3=[1,0,1], A4=[1,1,1], A5=[0,1,1], A6=[1,1,0], A7=[0,0,1].
Таким образом, решение системы (1) приводит к двум линейным операторам с соответствующими матрицами ,. Построенное с использованием оператора двумерное векторное пространство порождает конечную проективную плоскость второго порядка из семи точек, которые определяются следующими однородными проективными координатами: A=[0,1,0], A2=[1,0,0],A3=[1,0,1], A4=[1,1,1], A5=[0,1,1], A6=[1,1,0], A7=[0,0,1].
Отличные от А мультипликативные образующие могут быть выбраны шестью способами, где определяется значением функции Эйлера. Значит, возможны следующие мультипликативные образующие: , их показатели взаимно просты с числом 7. Следовательно, замена мультипликативной образующей приводит к соответствующим преобразованиям построенной модели. Получено, что - проективные преобразования (с одной инвариантной точкой), в отличие от преобразований , причем образы изоморфизмов также проективно эквивалентны.
Таким образом, выбор оператора приводит двум алгебраически изоморфным, но проективно не эквивалентным структурам.
Аналогичные вычисления с использованием следующего возможного оператора также приводят к двум алгебраически изоморфным, но проективно не эквивалентным структурам.
2. Рассмотрим . Находим возможные операторы, решив систему , первое уравнение которой после упрощения имеет вид:
+(.
Всего возможных операторов восемь, из которых четыре приводят к структуре конечной проективной плоскости третьего порядка:
,,
, .
Построенное с использованием оператора двумерное векторное пространство порождает конечную проективную плоскость третьего порядка из тринадцати точек, которые определяются следующими однородными проективными координатами: A=[0,1,0], A2=[1,0,0], A3=[2,0,1], A4=[1,1,2], A5=[0,2,1], A6=[2,1,0], A7=[2,0,2], A8=[1,2,2], A9=[1,2,1], A10=[1,1,1], A11=[0,1,1], A12=[1,1,0], A3=[0,0,1].
Отличные от А мультипликативные образующие могут быть выбраны шестью способами. Значит, возможны следующие мультипликативные образующие: , их показатели взаимно просты с числом 26. Следовательно, замена мультипликативной образующей приводит к соответствующим преобразованиям построенной модели. Получено, что - проективные преобразования (с одной инвариантной точкой), в отличие от преобразований , причем образы последних изоморфизмов также разбиваются на подгруппы трех проективно эквивалентны структур.
Таким образом, выбор оператора приводит четырем алгебраически изоморфным, но проективно не эквивалентным структурам.
Литература
Арнольд В.И. Динамика, статистика и проективная геометрия полей Галуа.–М.: МЦНМО, 2005.– 72с.
Афанасьев В.В. Конечные геометрии // Современная математика. Фундоментальные направления. – 2007. - Т22. - С.127-138.
Матвеев С.Н., Сиразов Ф.С. Использование системы компьютерной алгебры Maxima в изучении конечных проективных прямых // Высшее образование сегодня. - 2015. - №2. - С. 72-75.
Матвеев С.Н., Сиразов Ф.С. Модели конечной проективной прямой, индуцируемые полем Галуа // Актуальные проблемы математического образования. Сб. статей международной научно-практической конференции. - Набережные Челны: ФГБОУ ВПО «НИСПТР», 2015. - С.37-40.
________________________________________________________________
Antropova Gyuzel Raviljevna, associate professor, candidate of pedagogical science, Naberezhnye Chelny Institute of Kazan (Volga region) Federal University
Matveev Semen Nikolaevish, associate professor, candidate of physical and mathematical sciences, Naberezhnye Chelny Institute of Kazan (Volga region) Federal University
ABOUT THE MODELS OF PROJECT PLANE OF THE FIELD OF GALOIS
Abstract. We study the model of a finite projective line induced Galois field. The possible ways to construct a two-dimensional vector space and projective equivalence of the obtained models of the finite projective plane of order.
Key words: field, a primitive element, projective line, a complex relationship, involution.
УДК 517.958
Харасова Л.С., старший преподаватель, Набережночелнинский институт ФГАОУ ВО «Казанский (Приволжский) федеральный университет».
|