Научная статья на тему 'Об одной реализации торической криптографии'

Об одной реализации торической криптографии Текст научной статьи по специальности «Математика»

CC BY
181
73
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
АЛГЕБРАИЧЕСКАЯ ГРУППА / АЛГЕБРАИЧЕСКИЙ ТОР / ТОРИЧЕСКАЯ КРИПТОГРАФИЯ / ALGEBRAIC GROUP / ALGEBRAIC TORUS / TORUS CRYPTOGRAPHY

Аннотация научной статьи по математике, автор научной работы — Казакова Ольга Николаевна, Пихтилькова Ольга Александровна, Пихтильков Сергей Алексеевич

Наиболее популярными криптосистемами с открытым ключом являются: RSA-коды, шиф-росистема Эль-Гамаля, шифросистема Мак-Элиса и криптосистемы на эллиптических кривых. В настоящее время эллиптическая криптография считается наиболее удачной системой, обеспечивающей хорошую криптостойкость при меньшей длине ключа. Недавно появились работы по торической криптографии, где предложена новая шифросистема CEILIDH, основанная на алгебраических торах. Групповой схемой называется группа в категории S-схем Гротендика. Алгебраическая группа G над полем k - это групповая k-схема, гладкая и конечного типа над полем k. Алгебраический тор - это алгебраическая группа над полем /·, который над некоторым расширением поля изоморфен ((,''„,)"'', где (/„, - мультипликативная группа поля /, и d является размерностью T. Если T изоморфно ((,''„,)"'' над полем / ; „, говорят, что T разложимо над полем F п. Тор T n(F q) имеет такую же криптостойкость, как мультипликативная группа F,. В работе рассмотрена шифросистема Эль-Гамаля для алгебраического тора T 2(F q). Предположим, что целое число d является квадратичным невычетом в поле F q. Тогда F 2 =F q(-Jd). Определим отображение \i/:A l(F q)^>T 2(F q) одномерного аффинного пространства в мультипликативную группу F 2. Положим у(а)= ------=. Обратное отображение определяется по формуле р(Д + p 2Jd) = ''. a-4d P 2 Отображения р и V осуществляют рациональную параметризацию тора T 2(F q). С помощью них осуществляется кодирование и декодирование сообщений.

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

ABOUT ONE IMPLEMENTATION OF TORUS CRYPTOGRAPHY

The most popular cryptosystems with public key are: RSA codes, shifrosistem ElGamalya, Mac-Ellis’s shifrosistema and elliptic cryptography. Now the elliptic cryptography is considered as the most successful system providing good cryptofirmness in case of smaller key length. Recently there were works on torichesky cryptography where the new shifrosistema of CEILIDH based on algebraic Torahs is offered. The group in category of S-diagrams of Grothendieck is called as the group diagram. The algebraic group G over a field k is a group kdiagram, smooth and finite type over a field k. The algebraic torus is an algebraic group over a field which over some extension of a field is isomorphic to, where is the multiplicative group of a field and d is dimension of T. If T is isomorphic to over a field then say that T is decomposable over a field. The torus has the same cryptofirmness as multiplicative group. In the article the cryptosystem of El-Gamalya for the algebraic torus is considered. We will assume that the integer number of d is not a square residue in the field. Then. We will define the map of onedimensional affine space into multiplicative group. We will define. Inverse mapping is determined by a formula. The maps and realize rational parametrization of the torus. By means of them message coding and decoding is carried out.

Текст научной работы на тему «Об одной реализации торической криптографии»

УДК 512.74; 512.76; 681.3

Казакова О.Н., Пихтилькова О.А., Пихтильков С.А.

Оренбургский государственный университет E-mail: [email protected], [email protected], [email protected]

ОБ ОДНОЙ РЕАЛИЗАЦИИ ТОРИЧЕСКОЙ КРИПТОГРАФИИ

Наиболее популярными криптосистемами с открытым ключом являются: ЯБА-коды, шиф-росистема Эль-Гамаля, шифросистема Мак-Элиса и криптосистемы на эллиптических кривых.

В настоящее время эллиптическая криптография считается наиболее удачной системой, обеспечивающей хорошую криптостойкость при меньшей длине ключа.

Недавно появились работы по торической криптографии, где предложена новая шифросистема СЕ!ЬЮН, основанная на алгебраических торах.

Групповой схемой называется группа в категории Б-схем Гротендика.

Алгебраическая группа G над полем к - это групповая к-схема, гладкая и конечного типа над полем к.

Алгебраический тор - это алгебраическая группа над полем Fq, который над некоторым расширением поля изоморфен (Gm ^ , где Gm - мультипликативная группа поля ¥*, и d является размерностью Т. Если Т изоморфно (Gm)"' над полем ¥ п, говорят, что Т разложимо над полем F п.

Тор Тп(¥С) имеет такую же криптостойкость, как мультипликативная группа ¥ П .

В работе рассмотрена шифросистема Эль-Гамаля для алгебраического тора СТ2 (¥С).

Предположим, что целое число d является квадратичным невычетом в поле ¥С. Тогда ^ = ¥с (Я). 1

Определим отображение у: А\¥С) ^ Т2 (¥С) одномерного аффинного пространства в мультипликативную группу ¥*2.

Положим у(а) = а + ^ . Обратное отображение определяется по формуле р(Р\ +в2^) = .

а-V d в2

Отображения р и у осуществляют рациональную параметризацию тора Т2 (¥С). С помощью них осуществляется кодирование и декодирование сообщений.

Ключевые слова: алгебраическая группа, алгебраический тор, торическая криптография.

1. Алгебраические группы

В этом разделе излагается теория групповых схем по Гротендику, которая обобщает хорошо известное определение группы в алгебре [5].

Для полноты изложения можно также ознакомиться с работами [8-15].

Пусть Е - категория с нулевыми мор-физмами. Ядром морфизма /: А ^ В называется морфизм £: К ^ А такой, что / о & -нулевой морфизм и для любого морфизма £': К ^ А , удовлетворяющего условию / о & - нулевой, существует единственный морфизм и: К' ^ К такой, что & о и = & .

Морфизм называется нормальным, если он является ядром некоторого морфиз-ма.

Категория называется абелевой, если:

- в ней существует нулевой объект;

- существуют все бинарные произведения и копроизведения;

- все мономорфизмы и эпиморфизмы являются нормальными.

Абелева категория, обладающая семейством образующих и удовлетворяющая условиям:

- в категории существуют копроизве-дения (суммы) любых семейств объектов;

- для каждого направленного по возрастанию семейства подобъектов (и ,! ),г е I произвольного объекта А и подобъекта (У,с) выполнено равенство

(иге1 (и, !)) П (У,С) = иге1 ((и, !) П (У,С)),

- называется категорией Гротендика.

Ковариантный функтор ¥: С ^ Б из категории С в категорию Б - это отображение, которое

- сопоставляет каждому объекту X е С объект ¥(X) е Б ,

- сопоставляет каждому морфизму /: X ^ У в категории С морфизм ¥ (/): ¥ (X) ^ ¥ (У).

Это сопоставление должно обладать следующими свойствами:

Р (^4) = ^р ( а) ;

Р (ё о I) = Р (Я) о Р (/).

Аналогичным образом определяется контравариантный функтор - это отображение объектов категорий, обращающее стрелки, то есть морфизму /: X ^ У ставится в соответствие морфизм Р (/): Р (У) ^ Р (X), сохраняющее тождественные морфизмы и удовлетворяющее равенству

Р (ё о I) = Р(I) о Р (ё).

Пусть Е - некоторая категория, X - ее объект. Определим контравариантный функтор (предпучок) Нх на категории Е со значениями в категории множеств, полагая К (У) = Нот(У, X) - гомоморфизм из У в X.

Множество Нх (У) также называется множеством точек объекта X и обозначается ^(У).

Функтор Нх удовлетворяет следующим свойствам.

1) Всякий морфизм I: X ^ X' определяет естественное преобразование функтора Нх в функтор Нх', то есть для каждого 2 на Е определено отображение Р (2): X (2) ^ X'(2) по правилу: пусть <ре НотЕ(2,X) , тогда Р(г)(<) = Iо< и для каждого морфизма ё: 2 ^ 2' выполнено

hx ■( ё) о I (2) = I (2') о hx (ё).

2) Всякое естественное преобразование функтора hx ^ hy определяется однозначно некоторым морфизмом X ^ У.

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

Пример 1 ([5]). Объект X категории Е, обладающий свойством, что множество X(Y) состоит из одного элемента для любого У, является аналогом «одной точки» (одноэлементного множества) категории Е. Такой объект, если он существует, называется конечным или финальным объектом категории Е.

Пример 2 ([5]). Пусть Е - категория множеств и G - абстрактная группа. Множество G(Y) всех отображений Y в G снабдим струк-тур°й груть^ полагая (I о я)(у) = I(у)ё(у) для всех у е У, I, ё е С(У).

Легко проверить, что множество С(У) является группой по отношению к операции «о».

Роль нейтрального элемента играет отображение е, определенное по правилу е(у)=е для всех уе У, где е - нейтральный элемент группы С.

Обратный элемент определяется следующим образом I_1(у) = I(у)-1 для всех уеУ.

Пусть <р: 2 ^ У - произвольное отображение множеств. Тогда отображение у: С(У) ^ С(2), определенное по правилу У(I)(г) = (I о <)(г) , является групповым гомоморфизмом.

Функтор ^ обладает следующими двумя важными свойствами:

а) для любого множества Y объект ^ (У) есть группа;

б) для любого отображения 2 ^ У отображение (2) ^ hc (2) является гомоморфизмом групп.

Функтор }\с определяет также исходную групповую структуру. Если У - одноточечное множество, то группа С(У) изоморфна группе С.

Пусть X - произвольное топологическое пространство, и пусть любому его открытому множеству и сопоставлено некоторое его множество Р(и), и для любых открытых множеств и с V задано отображение ри : Р(V) ^ Р(и). Эта система множеств и отображений называется предпучком, если выполнены следующие условия:

1) Ри - тождественное отображение;

2) для любых открытых множеств

и с V с Ж выполняется равенство Ж V Ж .

Ри =Ри р ;

3) Р(0) состоит из одного символа.

Пусть Е - категория и Р - контравари-

антный функтор на Е со значениями в категории множеств.

Будем называть Р предпучком групп на Е, если для всех у е Е множества Р(У) снабжены групповой структурой так, что для всякого морфизма I: X ^ У индуцированное отображение Р (I): Р (У ) ^ Р (X) является групповым гомоморфизмом.

Если Р и Н - два предпучка групп на Е, то назовем гомоморфизмом предпучка Р в

H всякий морфизм u: F ^ H такой, что для каждого yе E отображение множеств u(y):F(y)^H(y)является гомоморфизмом групп.

Гомоморфизм предпучков F в H будем обозначать HOMe-gr (F, H ).

Объект G категории E называется группой в E или групповым объектом, если функтор Hg есть предпучок групп в E.

Предпучок F на топологическом пространстве X называется пучком, если для любого открытого подмножества U в X и любого его открытого покрытия U = UU a удовлетворяются следующие условия:

1) если рЦ,а sx =pUa s2 для sb S2 е F(U) и для всех Ua , то s1 = s2.

^2) есл^ sa е F(Ua) таковы, что

в sa=puef]Up se , то существует элемент s е F(U), для которого sa =PUa s для всех U .

Окольцованным пространством называется пара (X ,Ox ), состоящая из топологического пространства X и пучка колец OX . Пучок OX называется структурным пучком окольцованного пространства.

Пусть (X,OX) и (Y,Oy) - окольцованные пространства. Морфизмом p:(X ,Ox ) ^ (Y ,Oy ) окольцованных пространств называется совокупность, состоящая из непрерывного отображения

p: X ^ Y и гомоморфизмов колец * * 1 yU : Oy(U) ^ OX(U), где U =p~l(U),U e Y .

Схемой называется окольцованное пространство (X,Ox), любая точка которого имеет такую окрестность U, что окольцованное пространство (U ,0U), изоморфно Spec A, где Spec A - спектр некоторого коммутативного кольца.

Пусть S - фиксированная схема. Схемой над S или S-схемой Гротендика называется схема X, снабженная морфизмом q : X ^ S.

Групповой схемой называется группа в категории S-схем Гротендика (см. [5], [6]).

Пусть R - коммутативное кольцо с 1, S=Spec R. Групповая S-схема G называется аффинной S-группой или R-группой, если G=Spec A, где A есть R-алгебра. Аффинную R-группу G можно также опреде-

лить как групповой объект в категории Л-схем.

Пример (мультипликативная группа

Gm ). Для всякого коммутативного кольца В положим Gm (В) = G*, где В - мультипликативная группа обратимых элементов в В. Функтор Gm представим аффинной схемой 5рвс1[Т,Т_1], так как

Иотпгщ (7[Т ,Т-1], В) = В*.

Алгебраическая группа G над полем к -это групповая к-схема, гладкая и конечного типа над полем к.

Примеры.

Все классические группы матриц являются алгебраическими:

1. GLn(Л), GLn(С) - невырожденные матрицы порядка пх п ;

2. SLn (К) , SLn (С) - матрицы с определителем, равным единице;

3. SOn (К) - ортогональные матрицы, то есть матрицы, удовлетворяющие условию

ииТ = Е.

2. Алгебраические торы

Определение 1 ([5]). Групповая £-схе-ма Т называется алгебраическим тором, если Т <&£ = Б& (7п ).

Пусть Т - £-тор, разложимый над расширением Галуа L/k, П = Gal(L/k), (Ь:к)< ^. Тогда для всякой £-алгебры А выполнено

*

Т(А) = Нот(Т,(А <к1) ) =

= [Нот(Т,7) % (А <^)*]п •

Следующее определение алгебраического тора эквивалентно определению 1.

Определение 2 ([4]). Алгебраический тор - это алгебраическая группа над полем ¥С , которая над некоторым расширением поля изоморфен (Gm^, где Gm - мультипликативная группа поля ¥п , и d является размерностью Т. Если Т изоморфно (Gm^ над полем ¥Сп , говорят, что Т разложимо над

Т* С

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

полем ¥С п .

ПриСмеры.

1. Если d=1, то тор Т изоморфен муль-

о *

типликативной группе Gm = К У для некоторого поля К. Следовательно, мультипли-

кативная группа К является тором размерности 1. В частности, торами размерно* *

сти 1 являются группы R и C .

2. Группы целочисленных автоморфизмов квадратичных форм над 2 являются алгебраическими торами размерности 4 [7]:

2 2 2 2 C4 : x^ + x2 + хз + X4 ;

2222 S4 : х1 + X2 + X^2 + X4 — XlX2 — X2 хз — хз х4 .

Пусть к= и Ь= . Обозначим через Ие зр /к ограничения Вейля скаляров из Ь на к. Тогда Иезр/является тором.

Имеет место следующий изоморфизм

*

(Ие 3Ь/кСт)(к) = Ст(Ь) = Ь ,

где Ь - мультипликативная группа поля Ь.

Если к с Р с Ь - расширения полей, получаем следующее нормальное отображение Ие зр/кОт ^ Ие зр/кОт, которое обозначается N1 / р.

Определим алгебраический тор Тп как пересечение ядер нормальных отображений N1 / р для всех подполей к с Р ^ Ь .

Размерность Тп равна <р(п), где <р(п) -функция Эйлера.

Группа Тп(Р„) - это подгруппа мульти-

*

пликативной группы Р п . Следующая лемма отождествляет группу Тп (Р„) с цикли*

ческими подгруппами Сд,п с Рп порядка Ф п (д ), где Ф п (д) - многочлен деления круга, и показывает, что секретность криптографических систем, построенных на группе Тп основана на мультипликативной

группе

Р*

а не на группе меньшего поля.

Лемма 1.2.1 ([4]).

О Тп(рд ) ,п . 11) Тп (Рд )| = Ф п (4 ).

ш) Если к е Тп(Рд) - элемент простого порядка, не делящего п, то тогда к не лежит в собственном подполе расширения Р п / Р

.

3. Рациональная параметризация алгебраических торов Определение. Пусть Т - алгебраический тор над Рд размерности d. Тор Т называется рациональным, если существует би-рациональное отображение р: Т ^ Ас1. Другими словами, тор Т - рационален, если су-

ществуют открытые множества Ж с Т и и с А^ и рациональные функции

р1у.ра е Рд(xl,...,х) и У1,..У е Рд(Уl,...,Уd)

такие, что отображения

р = (р1,...,рd): Ж ^ и и у = (^l,...,^t): и ^ Ж

являются обратными гомеоморфизмами. Гипотеза Воскресенского ([5]). Тор

Тп является рациональным.

Гипотеза справедлива, если п является степенью простого числа или произведением двух степеней простых чисел [5].

Пример ([3]). Рассмотрим рациональную параметризацию тора Т6 (Рд )

Зафиксируем х е Р 2 / Рд. Тогда Р 2 = Рд (х). Выберем базис

поля Р3.

д

Тогда множество

{а1а, аз, ха1, ха2, хаз}

является базисом рд6 .

Пусть аеСа1(Р 6 /Рд) является элементом порядка 2.

Определим взаимно однозначное отображение у0 : А3(Рд ) ^ Р 6 по формуле

У0 (и1, и2, из) = -

7 + х

7 + с(х) '

где 7 = иа + %а2 + щаз.

Тогда Nр 6 /р з(у0(и)) =1 для всех и = (иь и2, из ). д 4

Из теоремы Гильберта следует, что отображение У0 является гомеоморфизмом.

Рассмотрим рационализацию для конкретного .

Пример ([5]). Пусть д = 2(mod 9). Выберем х = Сз и У = 1. Тогда

р 6 = рд),рд2 = рд(хXрдз = рд(у).

У ч ч

Возьмем базис {1, у,у2 — 2} для Р з. Пусть а = (0,0,0). Значит, У0 (а) = Сз2. Рассмотрим отображение

/(»1, »2 ) = 1 — V2 — »2 + »» . Следовательно, У(01, о2 ) = 1 + »1У + »2 (У 2 — 2) + / (Уу »2 )х ' 1 + »1У + V2 (у 2 — 2) + /(»1, ^2 )х 2 .

п

Для ß = ß + ß2 х еГ6 (Fq )/{1,Сз2 } получим / \ u2 u3

p(ß)=

u1 u1

1+ A /2 -

где —^ = щ + M2у + щ (у - 2).

И2

Отображения p и у являются обратными бирациональными отображениями между T6 и A2 .

4. Криптография, основанная на алгебраических торах

Криптосистема основанная на алгебраических торах T6 , называется CEILIDH [4].

Согласно лемме 1.2.1, тор Tn (Fq) имеет такую же криптостойкость, как мультипликативная группа Fn .

Обозначим через F r конечное поле из qr, где q - простое. В работе рассмотрена шифросистема Эль-Гамаля для алгебраического тора T2 (Fq ).

Эта шифросистема реализована на компьютере на алгоритмическом языке C#. Простое число q выбирается так, чтобы 2 ln q ~ 1024 и ( q +1) имело простой делитель порядка 160 бит.

Предположим, что целое число d является квадратичным невычетом в поле Fq . Тогда Fq 2 = Fq (4d ).

Определим отображение

У : A1(Fq ) ^ T2 (Fq )

одномерного аффинного пространства в мультипликативную группу F*2 .

Положим у (a) = a + ^ . Обратное ото-a- V d

бражение определяется по формуле

p(ßi + ß2Jä ) =

1 + ßi ß2 •

Отображения р и у являются взаимообратными отображениями множеств А1 \ {0} и 72 \{±1}.

Для д=2081 порядок группы Т2 равен Ф2(2081) = 2082 = 2 • 3 • 347, где Фя(п) - многочлен деления круга на п частей.

Пусть а - элемент порядка I = 347 в Т2. Для его нахождения обычно достаточно

q 2-I

возвести элемент T2 в степень —-2 l

• В на-

шем примере это элемент у(1)

12480

Абонент А выбирает число а: 1 < a < l -1 и вычисляет ß = aa.

Абонент Б выбирает случайное число 1 < k < l-1.

Пусть M - сообщение, M -целое число и 1<M<q -1 • Абонент Б вычисляет Y = p(ak) , S = p(y(M)) и посылает шифро-текст (y,S).

Нетрудно понять, что посылаемый шифротекст в 2 раза длиннее исходного сообщения. В этом состоит особенность шиф-росистемы Эль-Гамаля, которая компенсируется тем, что торическая криптосистема предлагает меньшую длину ключа по сравнению с другими системами с открытым ключом, за исключением эллиптической криптографии.

Открытым ключом является набор (q,a, ß) , секретным ключом является a.

Абонент А декодирует сообщение по формуле p(y(S)y(y)~a.

В работе указано, в отличие от [4], явное преобразование сообщения M в элемент группы T2.

В программе описан следующий класс, реализующий элементы поля F 2 = Fq (4d).

public class Fq {

private int a, b, q = 2081;

public Fq(int a, int b) {

this.a = a; this.b = b; }

public string ToString (string format) {

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

return Convert.ToString(a) + «+sqr(3)»

+ Convert.ToString(b); }

С помощью перегрузки операторов реализованы операции сложения, умножения и деления классов.

public static Fq operator + (Fq x, Fq y) {

int c=(x.a+y.a)%x.q; int d=(x.b+y.b)%x.q;

return new Fq(c,d); }

public static Fq operator *(Fq x, Fq y) {

x.q;

int c = (x.a * y.a + 3 * x.b * y.b + x.q * x.q) % int d = (x.a * y.b + x.b * y.a + x.q * x.q) %

x.q;

return new Fq(c, d); }

public static Fq operator /(Fq x, Fq y) {

Fq ys = new Fq(y.a, -y.b); int Dn = (y.a * y.a - 3 * y.b * y.b + x.q * x.q) % x.q;

Fq Nm = x * ys;

int c = (Nm.a * MultObr(Dn, x.q)+x.q * x.q) % x.q;

int d = (Nm.b * MultObr(Dn, x.q)+x.q * x.q) % x.q;

return new Fq(c, d); }

Использован стандартный алгоритм нахождения линейного представления наибольшего общего делителя, с помощью которого находится мультипликативный обратный.

Следующие программы реализуют операторы

e2 a -V d

public static int Rho(Fq x) {

int y = ((1 + x.a) * MultObr(x.b, x.q)+ x.q * x.q) % x.q;

return y; }

public static Fq Psi(int a) {

Fq x = new Fq(a,1);

Fq y = new Fq(a, -1); Fq z = x / y;

return z; }

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

Следующие операторы осуществляют кодирование-декодирование сообщения. Fq s = Psi(1);

Fq alpha = Form1.Pow(s, 12480); Fq st = Form1.Pow(alpha, 347); int a = 5;

int Pa = Fq.Rho(Form1.Pow(alpha, a));

Random rnd = new Random();

int k = rnd.Next(0,2080);

int gamma = Fq.Rho(Form1.Pow(alpha,

k));

byte[] bytes = System.Text.Encoding. ASCII.GetBytes(textBox1.Text); n = bytes.Length; int M = 0;

for (i = 0; i < n; i++) {

if (bytes[i] == Convert.ToByte(48)) M = 2 * M;

if (bytes[i] == Convert.ToByte(49))

M = 2 * M+1; };

Fq MFq = Psi(M);

int delta = Fq.Rho(MFq*Form1.Pow (Psi(Pa), k));

Fq DMFq = Psi(delta) * Form1.Pow(Psi (gamma), 347 - a);

int DM = Fq.Rho(DMFq).

18.01.2015

Список литературы:

1. Алферов А.П., Зубов А.Ю., Кузьмин А.С., Черемушкин А.В. Основы криптографии. Учебное пособие. 2-е изд. исправленное и дополненное.- М.: Гелиос АРВ.- 2002. 480 с.

2. Болотов А.А., Гашков С.Б., Фролов А.Б., ЧасовскихАА. Элементарное введение в эллиптическую криптографию: Алгебраические и алгоритмические основы.- М.: КомКнига.- 2006. 328 с.

3. Болотов А.А., Гашков С.Б., Фролов А.Б. Элементарное введение в эллиптическую криптографию: Протоколы криптографии на эллиптических кривых.- М.: КомКнига.- 2006. 280 с.

4. Rubin K., Silverberg A. Torus-based cryptography // Advances of Cryptology.- 2003.- P. 349-365.

5. Воскресенский В.Е. Алгебраические торы.- М.: Наука.- 1977. 223 с.

6. Воскресенский В.Е. Бирациональная геометрия линейных алгебраических групп. - М. : МЦНМО.- 2009. 404 с.

7. Крутиков Ю.Ю., Попов СЮ. Когомологические бирациональные инварианты четырехмерных алгебраических торов// Вестник СамГУ - естественнонаучная серия.- 2011.- № 2.- С. 26-37.

8. Грехов М.В. Модель Нерона двумерных анизотропных алгебраических торов над локальными полями // Вестник СамГУ - естественнонаучная серия.- 2012.- № 9.- С. 31-40.

9. Исковских В.А., Куликов В.С., Прохоров Ю.Г., Чельцов И.А. Алгебраические поверхности: геометрия и арифметика. -М. : МЦНМО.- 2012. 356 с.

10. Итоги науки и техники / Рос. акад. наук, Всесоюз. ин-т науч. и техн. информ. - М. : ВИНИТИ, 2001. - (Современная математика и ее приложение / под ред. Р. В. Гамкрелидзе). Т. 70 : Алгебраическая геометрия. - 2001. - 264 с.

11. Итоги науки и техники / Рос. акад. наук, ВИНИТИ . - М. : ВИНИТИ, 2002- (Современная математика и ее приложения / ред. Р. В. Гамкрелидзе). Т. 100 : Алгебраическая геометрия.- 2006. - 248 с.

12. Кокс Д., Литтл Дж., О' Ши Д. Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры. - М. : Мир.- 2000. 687 с.

13. Харрис Д. Алгебраическая геометрия.- М.: МЦНМО.- 2005. - 400 с.

14. Хартсхорн Р. Алгебраическая геометрия.- Новокузнецк: Изд-во НФМИ.- 2000. - Т. 1 . 368 с.

15. Шафаревич И. Р. Основы алгебраической геометрии.- М.: МЦНМО.- 2007. 589 с.

Сведения об авторах

Казакова Ольга Николаевна, доцент кафедры геометрии и компьютерных наук Оренбургского государственного университета, кандидат педагогических наук 460018, г. Оренбург, пр. Победы, 13, ауд. 1503; тел.: (3532)37-25-39; e-mail: [email protected]

Пихтилькова Ольга Александровна, доцент кафедры алгебры и математической кибернетики, Оренбургского государственного университета, кандидат физико-математических наук, доцент. 460018, г. Оренбург, пр. Победы, 13, ауд. 1410; тел.: (3532)37-25-35; e-mail: [email protected].

Пихтильков Сергей Алексеевич, профессор кафедры алгебры и математической кибернетики Оренбургского государственного университета, доктор физико-математических наук, профессор. 460018, г. Оренбург, пр. Победы, 13, ауд. 1410; тел.: (3532)37-25-35; e-mail: [email protected].

i Надоели баннеры? Вы всегда можете отключить рекламу.