_ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА_
2023 Математика и механика № 83
Tomsk State University Journal of Mathematics and Mechanics
МАТЕМАТИКА МATHEMATICS
Научная статья
УДК 512.623.23 MSC: 13J05; 12J15
doi: 10.17223/19988621/83/1
Сечения поля частных одного кольца формальных степенных рядов
Наталья Юрьевна Галанова
Томский государственный университет, Томск, Россия, [email protected]
Аннотация. При исследованиях, связанных с классификацией вещественно замкнутых полей, существенно используются поля формальных степенных рядов с мультипликативной делимой группой архимедовых классов. Рассмотрим линейно упорядоченную абелеву делимую группу G = G(L,Q), которая состоит из слов с образующими из линейно упорядоченного множества L, подобного ординалу <В1, и рациональными показателями. В статье рассматриваются свойства сечений под-полей поля ограниченных формальных степенных рядов R[[G,^]] . Для всех е L
положим t Рассмотрим бесконечную строго убывающую последователь-
ность {t } г , где Гс< \{1} есть произвольное бесконечное множество. Ряды вида х = ^ r ' ty е R[[G]], где ry ф 0 для всех у е Г, т.е. supp(х) = {ty | у е Г} , назовемря-
уеГ
дами вида (*). Доказывается, что ряды вида (*) при r > 0 для всех у е Г порождают в поле <2/R[[G,X0 ]] = K симметричные нефундаментальные сечения конфинальности
(Х0,Х0), в вещественном замыкании ^/Щ^Х,,]] = К ряды (*) порождают симметричные сечения. Пусть Н - наименьшее по включению вещественно замкнутое подполе поля Щ^Х ]], содержащее К и все усечения ряда х 1 ■ * . Тогда
уеш,
К ф Н и элементы вещественного замыкания простого трансцендентного расширения Н(х ), не принадлежащие Н, порождают в поле Н симметричные сечения типа (Х ).
Ключевые слова: делимая линейно упорядоченная абелева группа, вещественно замкнутое поле, поле ограниченных формальных степенных рядов, симметричное сечение, конфинальность сечения, фундаментальное сечение, поле частных
Для цитирования: Галанова Н.Ю. Сечения поля частных одного кольца формальных степенных рядов // Вестник Томского государственного университета. Математика и механика. 2023. № 83. С. 5-16. ао1: 10.17223/19988621/83/1
© Н.Ю. Галанова, 2023
Original article
On cuts of the quotient field of a ring of formal power series
Nataliya Yu. Galanova
Tomsk State University, Tomsk, Russian Federation, [email protected]
Abstract. Formal (generalized) power series with a divisible group of Archimedean classes are significantly used in studies related to the classification of real closed fields. In this paper, we investigate subfields of a real closed field of bounded formal power series by means of the cut theory. The theory of cuts for ordered fields allows us to describe their properties and find out whether ordered fields are isomorphic. We use the terminology of G. Pestov, S. Shelah, and others. A cut (A, B) of an ordered field is called symmetric (or a non-ball cut) if for each a s A there exists such a s A that
a + (a - a) s B and for each b s B there exists \ s B such that \ - (b - \) s A . A cut (A, B) of an ordered field F is called a fundamental cut (or a Scott cut) if Vs s F + 3a s A 3b s B b - a < s . Let L = It ) be a well-ordered set similar to the
v y J ysra¡
ordinal №1. We extend this set to a divisible totally ordered Abelian group G = (g = f t? -tt I t, > t¡2 > ■■■ > t,; tij s L \ {t,}, % s Q, j = it n s N} u (t,}, with a unit 1 = t. Denote by R[[G,X¡]] the field of bounded formal power series x =£rgg, rg s R with |supp(x)|<X, . Let K = q/R[[G,K0]] c R[[G,XJ] be the
gsG
smallest real closed field which has G as its group of Archimedean classes. We show that some formal power series in the record of which there is an infinite number of generators of L realize symmetric non-fundamental cuts with cofinality (X0,X0)
in the field K, and this series realize symmetric cuts in the field K . Let H be the smallest by inclusion real closed subfield of the field R[[G,X]] containing K and all truncations of the series x = ^ 1 ■ t-1 . We prove that K ^ H and the elements of the real
y s№,
closure of a simple transcendental extension H(x ) not belonging to H generate symmetric (Xj ) cuts in the field H. Question: let (G,■, <) be a totally ordered divisible Abelian group such that | G |= cf (G) = a > K0; are the fields R[[G,X¡]] and q/R[[G,X0]] ordered isomorphic?
Keywords: divisible totally ordered Abelian group, real closed field, field of bounded formal (generalized) power series, symmetric cut (non-ball cut), cofinality of a cut, fundamental cut (Scott cut), quotient field
For citation: Galanova, N.Yu. (2023) On cuts of the quotient field of a ring of formal power series. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika -Tomsk State University Journal of Mathematics and Mechanics. 83. pp. 5-16. doi: 10.17223/19988621/83/1
1. Вещественно замкнутые поля. Поля формальных степенных рядов.
Здесь N - множество натуральных чисел, О - поле рациональных чисел, Я -поле вещественных чисел. Далее все поля в данной статье линейно упорядоченные и неархимедовы. Поле Е называется неархимедовым, если 3 а е Е+ такое, что V п е N а > п. Элементы а, Ь е Е \ {0} упорядоченного поля Е называются архимедовски эквивалентными, если существует такое натуральное число п, что п | а | > | Ь | и п | Ь | > | а |. Фактор-группа О мультипликативной группы Е \ {0} упорядоченного поля Е по отношению архимедовской эквивалентности называется группой архимедовых классов поля Е [1]. Будем обозначать архимедов класс поля Е с представителем х е Е через х .
Линейно упорядоченное поле Е называется вещественно замкнутым, если каждое упорядоченное алгебраическое расширение поля Е совпадает с Е. Вещественная замкнутость поля Е равносильна тому, что каждый положительный элемент в Е является квадратом и каждый многочлен над Е нечетной степени имеет корень в Е. Для каждого упорядоченного поля Е существует его максимальное упорядоченное алгебраическое расширение Е, называемое вещественным замыканием данного поля [2].
Вещественно замкнутые поля являются обобщением поля вещественных чисел Я. Вещественно замкнутым полем, например, является нестандартная вещественная прямая которую можно реализовать как поле ограниченных формальных степенных рядов [3, 4].
В [3] приводится обзор исследований, связанных с подходами к классификации упорядоченных полей. При этом существенно используются поля формальных степенных рядов с мультипликативной делимой группой архимедовых классов, поскольку, как доказал И. Капланский, каждое вещественно замкнутое поле Е вкладывается с сохранением порядка в поле формальных степенных рядов, построенных по группе архимедовых классов О данного поля.
Пусть {О, ■, <) - линейно упорядоченная абелева группа, р - кардинал, Х0<р<| О |. Через Щ[О]] обозначается поле формальных степенных рядов х = ^ г^, где г е Я и носитель ряда зирр(х) = ^ е О | г Ф 0} - вполне анти-
gеG
упорядоченное (каждое непустое подмножество имеет наибольший элемент) подмножество группы О. Полагаем х > 0 » г > 0, g0 = тах^ирр(х)) [1].
Замечание 1.1. Пусть {О, ■, <) есть произвольная линейно упорядоченная абелева группа. Если х,у е ЩО]], то supp(х■ у) с ^ ■ И | g е Бирр(х),И е 8ирр(у)} и Бирр(х + у) С Бирр(х) и Бирр(у) .
А.И. Кокорин и В.М. Копытов в [5] доказывают следующее утверждение (в книге рассматриваются ряды с вполне упорядоченными носителями, мы же рассматриваем ряды с вполне антиупорядоченными носителями, формулировку факта приведем с изменениями знака неравенства, соответствующего данной статье):
Лемма 1.1. [5. С. 86] Пусть y е R[[G]] - такой ряд, что y = 1 + х, где
то
х = ^ г g и г = 0 при g > 1. Тогда ряд z = 1 + ^ (-1)" х" принадлежит R[[G]] и
gеG п=1
является обратным для ряда y.
Через R[[G,Р]] обозначается поле таких формальных степенных рядов x, что | supp(х) | < Р . Это поле называется полем ограниченных формальных степенных рядов [3].
Группы архимедовых классов упорядоченных полей R[[G]] и R[[G,Р]] изоморфны G. Будем отождествлять группы архимедовых классов полей R[[G]] и R[[G, Р]] с группой G.
В дальнейшем, говоря об F как о подполе поля R[[G^ ]], мы имеем в виду вложение ф: F ^ R[[^ ]] такое, что каждый архимедов класс поля R[[G ]] содержит элемент из ф(F) [3. С. 49]. При изоморфном вложении вещественно замкнутого поля F в поле R[[G ]] будем отождествлять группу архимедовых классов поля R[[G ]] с группой GP .
Мультипликативная группа G называется делимой, если для любого g е G и любого натурального n существует решение уравнения h" = g. Известно (S. MacLane [3]), что если группа G делимая, то поля R[[G]], R[[G, Р]] вещественно замкнуты.
2. О сечениях вещественно замкнутых полей.
В обзорной статье [6] приводятся различные классификации сечений упорядоченных структур. Из упомянутых в [6] работ будем использовать терминологию и теоремы из [7-11].
Пара непустых подмножеств A и B упорядоченного поля F называется сечением поля F, если A < B (т.е. Va е A Vb е B а < b) и A иB = F . В этом случае
сечение будем обозначать (A, B).
Сечение (A, B) упорядоченного поля F называется симметричным [7], если для каждого а е A существует такое а е A , что а + (а — а) е B , и для каждого b е B существует такое b е B , что b — (b — b) е A . В этом случае множества A и B называют длинными берегами сечения.
Пусть A - упорядоченное множество, X с A . Говорят, что X конфинально (коинициально) A, если для каждого х е A существует y е X такое, что х < y (х > y). Наименьшая мощность среди мощностей всех множеств, конфинальных (коинициальных) A, называется конфинальностью (коинициальностью) A и обозначается cf (A) и coi (A) соответственно [3].
Сечение (A, B) упорядоченного поля F будем называть сечением типа (а, Р), если cf (A) = а, coi(B) = Р ; также используются термины «конфинальность сече-
ния», «тип конфинальности сечения» [6, 8, 11]. Если сечение симметрично, то с/(А) = со1(Б) [4].
Пусть Е - упорядоченное расширение поля K. Будем говорить, что элемент х е Е \ К порождает сечение (А, Б) в упорядоченном поле К, если А < х < Б [7, 11].
Сечение (А, Б) упорядоченного поля Е называется фундаментальным (или сечением Скотта), если Vs е Е + 3а е А 3Ь е Б Ь - а <е [8, 11]. Если сечение (А, Б) неархимедова поля Е фундаментально и не производится элементом самого поля, то (А, Б) будет сечением типа (с/ (ОЕ), с/ (ОР)) [8, 11].
Теорема 2.1. [12. Утв. 2.2]. Пусть вещественно замкнутое поле Е имеет группу архимедовых классов О • Сечение (А, Б) поля Е симметрично тогда и только тогда, когда существует элемент х е Я[[О]]\ Е такой, что А < х < Б .
Сечение упорядоченного множества (группы, поля), которое не производится никаким элементом данного множества (группы, поля), называется собственным (в [11] собственные сечения упорядоченного поля называются дедекиндовыми сечениями).
Замечание 2.1. Если (С, О) - сечение группы архимедовых классов О вещественно замкнутого неархимедова поля Е и А = Р~ и{0}и{хе77+ |хеС}, В = Т7 \ А = {х е | х е 1)\, то (А, В) будет несимметричным сечением поля /•'. При этом, если (С, В) - собственное сечение группы О, то с/(С) = с/(А), со1(В) = со1(Б). Если множество С (множество В) имеет наибольший (соответственно наименьший) элемент, то сечение (С, В) имеет тип (1, со1(В)) (соответственно (с/ (С ),1) ) и, поскольку архимедов класс имеет конфинальность и кои-нициальность Х0, соответствующее сечение (А, Б) будет иметь тип (Х„, со1(В)) (соответственно (с/ (С),К0)).
3. Сечения полей формальных степенных рядов с группой архимедовых классов О = О(Ь, р)
Далее группа О будет фиксирована.
Рассмотрим линейно упорядоченную абелеву делимую группу О = О(Ь, р), описанную автором в [9], которая состоит из слов с образующими из линейно упорядоченного множества Ь, подобного ординалу юь и рациональными показателями. Рассмотрим поле ограниченных формальных степенных рядов ЩО,^]], свойства которого изучены автором в [9], и продолжим исследование свойств сечений некоторых подполей этого поля.
Пусть Ь = 1^} - вполне упорядоченное множество, подобное ординалу
V ^уею,
Ю = {1,2,3,...,ю0,...}. Здесь <|у , если у <у2, у,у2 ею■ Продолжим это множество до делимой линейно упорядоченной абелевой группы О с единицей 1 = ^,
которая состоит из конечных слов с буквами из Ь и показателями из поля рациональных чисел О , следующим образом:
О = (Я = 4? |44 >1, >... >4,; 4,- 6 Ь% 6 О, ] = Щ, п 6 N1 и (^,
при этом 1 = 42 = 40, Уд 6 О, 6 Ь. Буквы в нулевой степени в слове не пишем; если все показатели букв в слове равны нулю, то слово полагаем равным единице.
Пусть я = 4*'1 ^ е С. Обозначим £(я) = {4- ,4- ,...,4- т.е. это мно-
жество букв, из которых состоит слово g (если я = с,. то считаем носитель £(я)
Л Т7 £ Г , п
пустым). Если с. е I, то положим с/(я- с,,) = -
Далее, для произвольных ^, Я 6 О зададим умножение я1 • я2 = 42 422 так, что = ^„4,- ) + )• Например, ^ ;
=424222 при 1 <4,<44.
Зададим множество положительных элементов группы. Полагаем Я = 42' 422 ...42п > 1, если ^ > 0 . Множество Р = (я 6 О | я > 1} образует коммутативную полугруппу с единицей, причем Р и Р~1 = О, Р п Р~1 = {1}. Таким образом, P образует положительный конус и задаёт линейный порядок на группе G. Замечание 3.1. Очевидно, что для любых к, я 6 О, п 6 N выполняется
1{И) = 1{1гп) с Ь и 1{я ■ К) с 1{я) иОДс!.
В [10] доказаны следующие свойства поля ]] (для вычисления мощ-
ности принимается континуум-гипотеза). Замечание 3.2. [10].
1. | Я [[О, «1 ]] |= о/Я [[О, «1 ]] = о/ (О) = «1.
2. Поле ЩО,«]] имеет 2«1 симметричных сечений.
3. Каждое симметричное сечение поля Я[О,«]] имеет тип конфинальности («1,«1).
4. Каждое симметричное сечение поля Я[О,«]] фундаментально. Обозначения. Пусть К = 2/К[[О,«0 ]] - поле частных кольца Щ[О,К0]].
Обозначим через К наименьшее по включению вещественно замкнутое подполе поля ЩО,«]], содержащее K. Заметим, что поле К будет также и наименьшим по включению вещественно замкнутым подполем поля Я[О,«]] с группой архимедовых классов G.
Определение. Будем говорить, что ряд х = ^ ^я содержит в своей записи
geG
бесконечное (конечное) число образующих из Ь, если £(я) есть бесконеч-
ное (конечное) подмножество L.
Лемма 3.1. Если ряд принадлежит полю K, то он содержит в своей записи лишь конечное число образующих из L.
a.g, +... + a g
Доказательство. Поле K состоит из элементов вида ——1-iL-iL, где
bh +... + bmhm
g, h e G, at, bj e R, i = 1, n, j = 1, m, m, n e N .
a) Рассмотрим сначала элемент x e R[[G,K0]], x = a1 g1 +... + angn. Множество
n
элементов из L, которые ряд x содержит в своей записи, равно ; очевидно,
/=i
п
U'(Si) <œ.
i=1
b) Пусть теперь z = — e К, x,ye R[[G, K0 ]], y Ф 0, y = bj\ +... + bmhm, b e R,
У
hj g G, j = \,m ,m e N .
Пусть h = max \h/ j = \.m \. обозначим через b коэффициент при h . Вьшесем из у слагаемое bh за скобку, получим выражение вида у =bh-(l+b2h2+... + bmhm), где h < 1, j = 2, m .
да
Тогда по лемме 1.1 (1 + b2h2 +... + bmhm)-1 = 1 + £("1)*(bA +... + bmhm)k .
k=1
Положим x, = , тогда bh
да
2 = х = , ,, х-ТГ = х1 • (1+ Е (-1)* (Ь2 К +... + ЬтИт )к) е ЩО,^]] с К[[О]].
у 1 + Ь2Ь2+... + ЪтЬт Ы1
Множество и элементов, которые входят в запись х\, конечно по а).
Вспоминая замечание 3.1, получаем, что множество элементов
из Ь, которые ряд г содержит в своей записи, входит в множество
т
£(/?,.) и : последнее объединение - это конечное подмножество /.. □
1 = 2 ХЕвиррОг!)
Следствие 3.1. Если ряд из Я[О]] содержит в своей записи бесконечно много элементов из Ь, то он не принадлежит полю К и, значит, порождает в К некоторое сечение.
Определение. Для всех ^ е Ь положим ^ = £,-1. Рассмотрим бесконечную строго убывающую последовательность {/ } г, где Гс^ \{1} есть произвольное бесконечное множество. Последовательность {/ } г является вполне анти-упорядоченным подмножеством О. Ряды вида х = ^ гу • ^ е ЩО]], где гу Ф 0
уеГ
для всех у е Г , т.е. зирр(х) = {/ | у е Г}, назовем рядами вида (*).
Замечание 3.3. Ряды вида (*) содержат в своей записи бесконечно много образующих из L.
Определение. Усечением (начальным отрезком) ряда x = ^ г g называется
gsG
ряд вида ^ rgg для некоторого g е supp(x), g < max supp(x).
Теорема 3.1. Пусть x = ^ г ' ty 6 R[[G]] есть ряд вида (*), причем гу > 0 для
убГ
всех у 6 Г . Тогда ряд x порождает в поле K симметричное нефундаментальное сечение конфинальности (К0, К0).
Доказательство. Возьмем ряд x = ^ гу 'ty = Г 't + г 't + • •• вида (*), где
уеГсо!
Г > 0 для всех у 6 Г . По следствию 3.1 и замечанию 3.3 ряд x не принадлежит
полю K. Значит, x порождает в K некоторое сечение. Обозначим сечение поля K, порожденное элементом x, через (A, B). Таким образом, A < x < B .
Пусть X< - это множество усечений ряда x, имеющих конечный носитель. Множество X< представляет собой счетную возрастающую последовательность усечений: X< = {xn }™=2, вида
х = V г • / = У г • / = г • / +... + г • / , г > 0, ,= 1,п -1, п 6 N\{1}.
п ¿—1 у У ¿—1 У, у, у1 т1 уп-1 уп-1' у, ' ' ' 1
у6г,<7х7п 1=1
Каждый ряд х - это конечная сумма, и поэтому хи 6 К. Зададим множества 4 ={ае£|Эие]\\{1} а<хп}сК, В1={ЬеК\Зте N41}, хт = хга + <Ь}^К.
Заметим, что V и, /и е N \ {1} хи< хи+1 < х < хт+1 < хт. Поэтому Д <х<Вх. Кроме того, между А1, В] нет элементов из К. Действительно, если V п е N \ {1} хп < г < хп + гу / , то вирр г з вирр хп, а значит, ряд г содержит в своей
иер<\{1}
записи бесконечное число образующих из L и не принадлежит полю К. Отсюда следует, что (Д, В1) - сечение K, совпадающее с (А, В). Из определения А1, В1, о/(А1) = оо/(В) = «о. Таким образом, сечение (А, В) имеет тип конфинальности («0 ,Х0). Конфинальность собственного фундаментального сечения всегда равна для неархимедова поля конфинальности самого поля [8]. Так как о/(О) >Х0, то группа архимедовых классов G, которая вкладывается в поле K, будет полю K конфинальна, поэтому о/ (О) = о/ (К) = «1 и в поле K собственное фундаментальное сечение будет иметь тип (о/(О), о/(О)) = («) [8, 11]. Поэтому сечение (А, В) нефундаментальное.
Докажем, что сечение (А, В) - симметричное. Для этого докажем, что оба берега - длинные.
n-1
По определению, нужно доказать, что для каждого а е А существует такое а е А , что а + (а - а) е В , и для каждого Ь е В существует такое \ е В , что
Ь - (Ь - Ь) е А .
Пусть а е А , тогда 3 п е N \ {1} а < хи. Найдется а = такое, что хи < хт . Тогда
а1 + (а1 - а) > хт + Х„ - хп = т-1 т-1 п т-1
= Е гу, • гу, + Е гу, • = Е гу, • К + гуп • гуп + Е 2гу, • к >
/ = 1 , = п ,= 1 , = п+1
> ХП+1 + гуп • ^ е В-
Значит, ах + (ах - а) е В .
Пусть Ь<=В, тогда 3/яе]Ч\{1}, хт = хт +гу ^ 1 < Ъ . Положим Ъх=хт+х. При этом хт < х < хт+1 < хт < Ъ . Имеем Ьх-(Ъ-Ъ;) < хт+1 - (хт -хт+1). Докажем неравенство хт+1 - (хт - хт+1 )<хт.
т т-1 т
= 1>у, Л + Гу„ ■<;. "1Л Л " V, Л.-, + 1Л Л, +гу„ Л. = 1=1 1=1 1=1
= К' - + ГУ 2' 1У 2) + 0 • 1У ,+ 4ГУ • 1У < (Г.- к+ - + Г • ty 2) + Г • ty = Хт .
'1 '1 1 т-1 1 т-1 Iт-1 1т 1т '1 '1 1 т-1 1 т-1 I т-1 I т-1
Итак, Ь1-ф-Ь1)<хт+1-(хт-хт+1)<хт е Л . Значит, ^-ф-Ь^еА . □ Теорема 3.2. Пусть ряд х = Егу • ^ е Щ[б]] есть ряд вида (*). Тогда ряд х не
уег
принадлежит полю К и производит в поле К симметричное сечение.
Доказательство. Пусть ряд х = Ег • ^ е Щ[б]] есть ряд вида (*). По условию
УеГ
множество Г бесконечное, поэтому, по следствию 3.1, х й К . Докажем, что х й К .
Множество К \ К состоит из алгебраических над К элементов, т.е. из корней многочленов с коэффициентами из К = ]]. Умножая такой многочлен
на общий знаменатель его коэффициентов, получим многочлен с коэффициентами из Щ[С,К0 ]].
Таким образом, достаточно доказать, что х не является корнем многочлена с коэффициентами из Щ[О,Х0]], т.е. а0+ах +... + ая1хи-1 Фаяхп для любых а0,а1,...,ап-1,ап из Щ[О,Х0]], аи Ф 0 и любого фиксированногоп е N. По замечанию 1.1,
supp(а0 + а х +... + ап_х хп-1) с supp(а0) ^ supp(a1 х) ^... ^ supp(aя^ 1 хп-1) . Покажем, что supp(aяхп) Ф supp(a0+a1х + ... + ая_[хп-1). Для этого докажем, что supp(aхп) не содержится в supp(a0) ^supp(a1х)^...^supp(aя ¡х^1). Имеем
к
( \ Е г • / = Е г •...• г • t ...t
¿—i у у ¿—i у1 Ук у1 ук
\уег
У,,У2,...,Ук еГ
Бирр(хк) = ... ^е О | ур у2,...,Ук еГ}, к е N. 1 < к < и . Здесь под ^... ^ будем понимать слово группы G, равное произведению слов ^ ,...,^ (для записи этого слова могут потребоваться приведение подобных множителей и, возможно, перестановка множителей).
Рассмотрим элемент апхп. Имеем {^}уеГ с Бирр(хп), ряд ап принадлежит
Я[[О, К0 ]] и имеет вид ап = а1к1+... + а5к, где аг е Я \ {0}, ^ е О, I = 1,5 , для некоторого ^ е N . Имеем
апх" = (аЛ +... + а!Ь!)• £ Гу! •...• Гуи • tуl...^ =
УЛ^-Уп^
5 _
ЕУ а. • г •...• г • (к1 ... t ).
.¿-^ ' У1 Уп у • у! !„'
'=! Уl,У2.■■■.УnеГ
Зададим множество = 'у е Г с, £ [^(Л,)} • Заметим, что Г\ - бесконечное
1=1
множество.
5 _
Тогда ап хп можно переписать в виде Б + УУ а, • г" • (^^П), где двойная сум-
'=1 УеГ1
ма содержит бесконечно много слагаемых и эти слагаемые не являются подобными ни между собой, ни с какими-то слагаемыми из 5".
Имеем {к/" 1г = 1,5, у е Г} с Бирр(аихп). Докажем, что {к/" 1г = 1,5, у е Г} не содержится в зирр(а0) и зирр(а х) и ■■■ и зирр(аи 1 х"-1). Допустим противное, т.е.
{ к/" | г = 1,5, у е Г } с Бирр(а0) и Бирр(ах) и... и Бирр^^х"-1). Так как носитель а0 конечный, а множество Г - бесконечное, то найдутся Бирр(ахк) с 1 < к < п и бесконечное множество Г2сГ такие, что бесконечное множество к" | у е Г2} войдет в Бирр(а хк). Тогда
{k1tуn I У е Г2} с Бирр(акХк) с (я • к | я е Бирр^),к е Бирр(хк)}. Так как Бирр(а) конечный, а множество Г2 - бесконечное, найдутся бесконечное подмножество Г СГ и я е Бирр(а) такие, что {к/; | у е Г3} с (я-к | к е 5ирр(хк)}. Тогда (У^1 | г £ Г3} с 5ирр(хк).
Поскольку конечно, а множество Г3 - бесконечное, найдется элемент у0 е Г3 такой, что е., г !( »). Но тогда для всякого слова ... I,, е 5ирр(х/) имеем ^ ... ^ ф -1, поэтому элемент - не может принадлежать Бирр(хк).
Поскольку ряд х не принадлежит К, то по теореме 2.1 он производит в К симметричное сечение. □
Замечание 3.4. В [10] доказано, что е/(О) = ^ и каждый отрезок [а, Ь] группы G счетный, где а, Ь е О .
Поэтому все несимметричные сечения поля К , о которых говорится в замечании 2.1, определяемые через сечения группы G, имеют конфинальность (К0 ,К0) и нефундаментальны. Действительно, сечения группы G могут иметь только один из следующих типов: (К0 ,К0), (1,К0) или (К0,1). При этом архимедов класс элемента поля имеет конфинальность и коинициальность №0. Значит,
все указанные типы сечений группы G переходят в поле К в несимметричные сечения конфинальности (К0, К0).
Обозначение. Пусть Н - наименьшее по включению вещественно замкнутое подполе поля Я[[О, ^ ]], содержащее К и все усечения ряда х = У1 • ^ .
Уею1
Теорема 3.3.
(1) К ф Н.
(2) Элементы вещественного замыкания простого трансцендентного расширения Н(х ) , не принадлежащие Н, порождают в поле Н симметричные сечения типа (К[ ,К[).
Доказательство.
(1) Имеем хт = У1 • ^ е Н \ К, поэтому К ф Н.
(2) По теореме 3.5. из [13]. □
Вопросы. Будут ли поля K = qfR[[G, К0 ]] и K = qfR[[G, К0 ]] равны? Будут ли
поля K и H упорядоченно изоморфны? Будут ли поля H и R[[G, ^ ]] упорядо-ченно изоморфны? Пусть G - линейно упорядоченная делимая абелева группа такая, что | G |= cf (G) = а > К0; будут ли поля R[[G, ^ ]] и qfR[[G, К0 ]] упорядо-ченно изоморфны?
Список источников
1. Фукс Л. Частично упорядоченные алгебраические системы. М. : Мир, 1965.
2. Бурбаки Н. Алгебра. Многочлены и поля. Упорядоченные группы : пер. с фр. М. : Мир,
1965.
3. Dales H.J., Woodin H. Super-real fields. Oxford : Clarendon Press, 1996.
4. Галанова Н.Ю. Симметрия сечений в полях формальных степенных рядов и нестан-
дартной вещественной прямой // Алгебра и логика. 2003. Т. 42, № 1. С. 26-36.
5. Кокорин А.И., КопытовВ.М. Линейно упорядоченные группы. М. : Наука, 1972.
6. Kuhlmann F.-V. Selected methods for the classification of cuts and their applications // Pro-
ceedings of the 5th Joint Conferences on Algebra, Logic and Number Theory, June 24-29. 2018. Bedlewo. Banach Center Publications, 2020. V. 121. P. 85-106. doi: 10.4064/bc121-9
7. Пестов Г.Г. К теории сечений в упорядоченных полях // Сибирский математический
журнал. 2001. Т. 42, № 6. С. 1213-1456.
8. Галанова Н.Ю., Пестов Г.Г. Симметрия сечений в полях формальных степенных рядов //
Алгебра и логика. 2008. Т. 47, № 2. С. 174-185.
9. Galanova N.Yu. Symmetric and asymmetric gaps in some fields of formal power series //
Serdica Math. 2004. V. 30. P. 495-504.
10. Galanova N.Yu. An investigation of the fields of bounded formal power series by means of theory of cuts // Acta Appl. Math. 2005. V. 85. P. 121-126.
11. Shelah S. Quite complete real closed fields // Israel Journal of Mathematics. 2004. V. 142. P. 261-272.
12. Галанова Н.Ю. Линейно упорядоченные поля с симметричными сечениями // Вестник Томского государственного университета. Математика и механика. 2017. № 46. С. 1420. doi: 10.17223/19988621/46/2
13. Галанова Н.Ю. О симметричных сечениях одного вещественно замкнутого поля // Вестник Томского государственного университета. Математика и механика. 2018. № 53. С. 5-15. doi: 10.17223/19988621/53/1
References
1. Fuchs L. (1963) Partially Ordered Algebraic Systems. Pergamon Press.
2. Bourbaki N. (2003) Algebra II. Chapters 4-7. Springer.
3. Dales H.J., Woodin W.H. (1996) Super-Real Fields. Oxford: Clarendon Press.
4. Galanova N.Yu. (2003) Symmetry of sections in fields of formal power series and a non-
standard real line. Algebra and Logic. 42. pp. 14-19. DOI: 10.1023/A:1022672606591.
5. Kokorin A.I., Kopytov V. M. (1972) Linearly Ordered Groups. New York: Halstead Press.
6. Kuhlmann F.-V. (2020) Selected methods for the classification of cuts and their applications.
Proceedings of the 5th Joint Conferences on Algebra, Logic and Number Theory, June 2429. 2018. Bedlewo. Banach Center Publications. 121. pp. 85-106. DOI: 10.4064/bc121-9.
7. Pestov G.G. (2001) On the Theory of Cuts in Ordered Fields. Siberian Mathematical Journal.
42. pp. 1123-1131.
8. Galanova N.Yu., Pestov G.G. (2008) Symmetry of cuts in fields of formal power series. Algebra and Logic. 47(2). pp. 100-106. DOI: 10.1007/s10469-008-9001-5.
9. Galanova N.Yu. (2004) Symmetric and asymmetric gaps in some fields of formal power
series. Serdica Mathematical Journal. 30. pp. 495-504.
10. Galanova N.Yu. (2005) An investigation of the fields of bounded formal power series by means of theory of cuts. ActaApplicandaeMathematicae. 85. pp. 121-126.
11. Shelah S. (2004) Quite complete real closed fields. Israel Journal of Mathematics. 142. pp. 261-272. https://arxiv.org/pdf/math/0112212v1.pdf.
12. Galanova N.Yu. (2017) Lineyno uporyadochennyye polya s simmetrichnymi secheniyami [Totally ordered fields with symmetric cuts]. Vestnik Tomskogo gosudarstvennogo universi-teta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 46. pp. 14-20. DOI:10.17223/19988621/46/2.
13. Galanova N.Yu. (2018) O simmetrichnykh secheniyakh odnogo veshchestvenno zamknutogo polya [On symmetric cuts of a real-closed field]. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 53. pp. 5-15. DOI: 10.17223/19988621/53/1.
Сведения об авторе:
Галанова Наталья Юрьевна - кандидат физико-математических наук, доцент кафедры общей математики Томского государственного университета, Томск, Россия. E-mail: [email protected]
Information about the author:
Galanova Nataliya Yu. (Candidate of Physics and Mathematics, Tomsk State University, Tomsk, Russian Federation) E-mail: [email protected]
Статья поступила в редакцию 30.08.2021; принята к публикации 01.06.2023
The article was submitted 30.08.2021; accepted for publication 01.06.2023