ÓÄÊ 512.7 Ñ. Â. Òèõîíîâ, Â. È. ßí÷åâñêèé Èíäåêñû öåíòðàëüíûõ ïðîñòûõ àëãåáð íàä ïîëÿìè ôóíêöèé ïðîåêòèâíûõ ïðîñòðàíñòâ íàä Pn,r -ïîëÿìè 1 Ââåäåíèå Ïóñòü K ïðîèçâîëüíîå ïîëå õàðàêòåðèñòèêè íóëü, Br K åãî ãðóïïà Áðàóýðà. Ñ êàæäûì ýëåìåíòîì a ∈ Br K ñâÿçàíû äâà ÷èñëåííûõ èíâàðèàíòà: åãî ýêñïîíåíòà e(a) è èíäåêñ i(a). Õîðîøî èçâåñòíî, ÷òî e(a) ÿâëÿåòñÿ äåëèòåëåì i(a), à êëàññè÷åñêèé ðåçóëüòàò Áðàóýðà óòâåðæäàåò, ÷òî i(a) è e(a) èìåþò îäèíàêîâûå íàáîðû ïðîñòûõ äåëèòåëåé ([1],[2]). Âàæíûì íàïðàâëåíèåì â òåîðèè ãðóïï Áðàóýðà ÿâëÿåòñÿ èçó÷åíèå çàâèñèìîñòè èíäåêñà îò ýêñïîíåíòû. Ê ñîæàëåíèþ, íèêàêèå îáùèå ñîîòíîøåíèÿ (êðîìå óïîìÿíóòûõ) çäåñü ìåñòà íå èìåþò, ïîñêîëüêó çàâèñèìîñòü ìåæäó ýêñïîíåíòîé è èíäåêñîì ïðè÷óäëèâî ìåíÿåòñÿ ñ èçìåíåíèåì F .  ýòîé ñèòóàöèè åñòåñòâåííûì ÿâëÿåòñÿ êîíêðåòèçàöèÿ óïîìèíàâøåéñÿ âûøå ïðîáëåìû: Ïóñòü çàäàí íåêîòîðûé êëàññ ïîëåé, íàéòè çàâèñèìîñòü ìåæäó ýêñïîíåíòàìè è èíäåêñàìè ýëåìåíòîâ ãðóïï Áðàóýðà ïîëåé ýòîãî êëàññà. Íà ýòîì ïóòè ïîëó÷åí ðÿä âàæíûõ ðåçóëüòàòîâ. Íàïðèìåð, èçâåñòíî, ÷òî â ñëó÷àå êëàññà ïîëåé êîíå÷íûõ (èëè áîëåå îáùî C1 -ïîëåé) e(a) = i(a) (ýòî êëàññè÷åñêèå òåîðåìû Âåääåðáàðíà è Òçåíà). Ëîêàëüíàÿ è ãëîáàëüíàÿ òåîðèè ïîëåé êëàññîâ ïîêàçûâàþò, ÷òî ïðåäûäóùåå ðàâåíñòâî èìååò ìåñòî è â ñëó÷àå êëàññîâ ëîêàëüíûõ èëè ãëîáàëüíûõ ïîëåé. Ñîâïàäåíèå ýêñïîíåíòû è èíäåêñà óñòàíîâëåíî íåäàâíî òàêæå è â ñëó÷àå ïîëåé êàê ïîâòîðíûõ, òàê è äâîéíûõ ôîðìàëüíûõ ñòåïåííûõ ðÿäîâ ñ êîýôôèöèåíòàìè â àëãåáðàè÷åñêè çàìêíóòîì ïîëå (ñì. [3], [4]), êàê ÷àñòü îáùåé ãèïåòåçû î ñîâïàäåíèè ýêñïîíåíòû è èíäåêñà ýëåìåíòîâ ãðóïï Áðàóýðà íàä C2 -ïîëÿìè. Îäíàêî, åùå â ïåðâîé ïîëîâèíå ïðîøëîãî âåêà (Ð.Áðàóýð, [5]) áûëî ïîêàçàíî, ÷òî ýêñïîíåíòà íå âñåãäà ñîâïàäàåò ñ èíäåêñîì è ïîòîìó îòâåò íà âîïðîñ îá èõ çàâèñèìîñòè íå ìîæåò áûòü âûðàæåí â òåðìèíàõ òåîðåìû î ñîâïàäåíèè. Ñ äðóãîé ñòîðîíû, ðàññìîòðåíèå ïîëåé ðàöèîíàëüíûõ ôóíêöèé îò áåñêîíå÷íîãî ÷èñëà ïåðåìåííûõ ïîêàçûâàåò, ÷òî â êëàññå òàêèõ ïîëåé ïðè ôèêñèðîâàííîé ýêñïîíåíòå ìîãóò ñóùåñòâîâàòü ýëåìåíòû ïðîèçâîëüíî áîëüøîãî èíäåêñà. Íàêîíåö, åñëè ðàññìàòðèâàòü ïîëÿ ôóíêöèé K íà àëãåáðàè÷åñêèõ ìíîãîîáðàçèÿõ, îïðåäåëåííûõ íàä ïðîèçâîëüíûì ïîëåì k , òî òîò æå ýôôåêò íåîãðàíè÷åííîñòè èíäåêñîâ ïðè ôèêñèðîâàííîé ýêñïîíåíòå ìîæåò âîçíèêíóòü èç-çà ýëåìåíòîâ ãðóïïû Br k . Òàêèì îáðàçîì, åñëè èíòåðåñîâàòüñÿ ïðîáëåìîé îãðàíè÷åííîñòè èíäåêñîâ ïðè ôèêñèðîâàííîé ýêñïîíåíòå äëÿ êëàññà ïîëåé ôóíêöèé íà àëãåáðàè÷åñêèõ ìíîãîîáðàçèÿõ, ÿâëÿþùåãîñÿ âî ìíîãèõ îòíîøåíèÿõ îäíèì èç 1 íàèáîëåå âàæíûõ êëàññîâ ïîëåé, òî åñòåñòâåííî â êà÷åñòâå ïîëåé îïðåäåëåíèÿ òàêèõ ìíîãîîáðàçèé ðàññìàòðèâàòü ïîëÿ k , â êîòîðûõ ñîîòâåòñòâóþùàÿ ïðîáëåìà îãðàíè÷åííîñòè èíäåêñîâ èìååò ïîëîæèòåëüíîå ðåøåíèå. ßðêèì ïðèìåðîì ïëîäîòâîðíîñòè òàêîãî ïîäõîäà ÿâëÿåòñÿ íåäàâíèé ðåçóëüòàò Ä. Ñîëòìýíà ([6], [7]), ïîêàçàâøåãî, ÷òî åñëè K ïîëå ôóíêöèé íà ãëàäêîé ïðîåêòèâíîé êðèâîé ñ ïîëåì p-àäè÷åñêèõ ÷èñåë â êà÷åñòâå ïîëÿ îïðåäåëåíèÿ, òî äëÿ ëþáîãî íàòóðàëüíîãî n âçàèìíî ïðîñòîãî ñ p ïðè e(a) = n, i(a) ÿâëÿåòñÿ äåëèòåëåì n2 , ïðè÷åì, ýòà îöåíêà íå ìîæåò áûòü óñèëåíà â òîì ñìûñëå, ÷òî ñóùåñòâóþò àëãåáðû ýêñïîíåíòû n è èíäåêñà n2 . Âñå æå, åñëè ïîëå k äîñòàòî÷íî ïðîèçâîëüíî, òðóäíî îæèäàòü ïîëó÷åíèÿ îöåíîê òàêîãî òî÷íîãî òèïà. Äî íåäàâíåãî âðåìåíè îäíèì èç îñíîâíûõ ìåòîäîâ ïîëó÷åíèÿ îöåíîê èíäåêñîâ â îáùåé ñèòóàöèè ÿâëÿëñÿ ìåòîä "êîíòðîëèðóåìîãî"ðàñøèðåíèÿ ñêàëÿðîâ, óáèâàþùåãî âåòâëåíèå ñ ïîñëåäóþùåé îöåíêîé èíäåêñîâ íåðàçâåòâëåííûõ ýëåìåíòîâ. Íà ýòîì ïîñëåäíåì ýòàïå âàæíîå çíà÷åíèå èìååò ðåçóëüòàò Ì. âàí äåí Áåðãà ([12]), äàþùèé îöåíêó èíäåêñîâ äëÿ íåðàçâåòâëåííûõ ýëåìåíòîâ.  äàííîé ñòàòüå ìû ðàññìàòðèâàåì êëàññ ÷èñòî òðàíñöåíäåíòíûõ ðàñøèðåíèé K êîíå÷íîé ðàçìåðíîñòè íàä òàê íàçûâàåìûìè Pn,r -ïîëÿìè è ïîêàçûâàåì, ÷òî èíäåêñû ýëåìåíòîâ ñîîòâåòñòâóþùèõ ãðóïï Áðàóýðà çàâèñÿò òîëüêî îò ïîëÿ îïðåäåëåíèÿ, ýêñïîíåòû è âåòâëåíèÿ çàäàííîãî ýëåìåíòà. Áîëåå òî÷íî, ìû ïîêàçûâàåì, ÷òî íà ñàìîì äåëå èíäåêñ ýëåìåíòà çàâèñèò íå îò âåòâëåíèÿ â äàííîé òî÷êå, à ëèøü îò ñàìîé òî÷êè, â êîòîðîé ýòîò ýëåìåíò âåòâèòñÿ. Ýòîò ðåçóëüòàò ïîçâîëÿåò íàì ïîëó÷èòü îöåíêè äëÿ èíäåêñîâ ëó÷øèå, ÷åì îöåíêè, âîçíèêàþùèå èç ðåçóëüòàòà âàí äåí Áåðãà. Ñðåäè áîëåå ðàííèõ ðåçóëüòàòîâ ïî ãðóïïàì Áðàóýðà ïîëåé ôóíêöèé ïðîåêòèâíûõ ïðîñòðàíñòâ, èç êîòîðûõ ëåãêî èçâëåêàþòñÿ îöåíêè äëÿ èíäåêñîâ èõ ýëåìåíòîâ (âïðî÷åì, íå î÷åíü òî÷íûå) ñëåäóåò óïîìÿíóòü ðàáîòó [16] î ãðóïïå Áðàóýðà êîìïëåêñíîãî ïðîåêòèâíîãî ïðîñòðàíñòâà. Îòìåòèì òàêæå ðàáîòû [15], [13], â êîòîðûõ ïîëó÷åíî îïèñàíèå íåðàçâåòâëåííûõ ýëåìåíòîâ ýêñïîíåíòû 2 ãðóïï Áðàóýðà ïîëåé ôóíêöèé ñïåöèàëüíûõ êðèâûõ, è [17], [18], îïèñûâàþùèå ãðóïïû Áðàóýðà ñïåöèàëüíûõ ïîâåðõíîñòåé.  ñòàòüå ìû ïîñëåäîâàòåëüíî ðàññìàòðèâàåì ñëó÷àè ïðîåêòèâíîé ïðÿìîé, ïðîåêòèâíîãî ïðîñòðàíñòâà è, íàêîíåö, ñëó÷àé ãëàäêîé ïðîåêòèâíîé êðèâîé. 2 Ïðåäâàðèòåëüíûå ðåçóëüòàòû Ïðèâåäåì âíà÷àëå íåîáõîäèìûå íàì âïîñëåäñòâèè îáîçíà÷åíèÿ è ñîãëàøåíèÿ. Ïóñòü k ïðîèçâîëüíîå ïîëå õàðàêòåðèñòèêè íóëü, ñîäåðæàùåå ïðèìèòèâíûé êîðåíü ñòåïåíè n èç åäèíèöû, X ãëàäêîå ïðîåêòèâíîå ìíîãîîáðàçèå íàä k , K = k(X) åãî ïîëå ôóíêöèé. Äëÿ êîëüöà äèñêðåòíîãî íîðìèðîâàíèÿ R ñ ïîëåì âû÷åòîâ k(R), òàêîãî, ÷òî ïîëå ÷àñòíûõ R ñîâïàäàåò ñ K , ñóùåñòâóåò ãîìîìîðôèçì âåòâëåíèÿ â R: ∂R : Br K −→ Homcont (GR , Q/Z) = H 1 (GR , Q/Z), ãäå GR = Gal(k/k(R)), k àëãåáðàè÷åñêîå çàìûêàíèå ïîëÿ k (ñì. [8]). Öåíòðàëüíàÿ ïðîñòàÿ àëãåáðà (ö.ï.à.) A íàä K íàçûâàåòñÿ ðàçâåòâëåííîé â R, åñ2 ëè ∂R ([A]) 6= 0, â ýòîì ñëó÷àå R íàçûâàåòñÿ òî÷êîé âåòâëåíèÿ. Èçâåñòíî, ÷òî ÷èñëî òî÷åê âåòâëåíèÿ ó ö.ï.à. êîíå÷íî. Ïîäãðóïïà ∩R ker ∂R , ãäå R ïðîáåãàåò ìíîæåñòâî êîëåö ñ âûøåóêàçàííûìè ñâîéñòâàìè, íàçûâàåòñÿ íåðàçâåòâëåííîé ãðóïïîé Áðàóýðà ïîëÿ K è îáîçíà÷àåòñÿ Brnr K . Ãîìîìîðôèçì ∂R óñòðîåí ñëåäóþùèì îáðàçîì (ñì. [8]). Ïóñòü R0 è K 0 ñîîòâåòñòâåííî ïîïîëíåíèå êîëüöà R è ïîëÿ K . Òîãäà R0 è K 0 ìîãóò áûòü îòîæ0 äåñòâëåíû ñîîòâåòñòâåííî ñ êîëüöîì k(R)[[π]] è ïîëåì k(R)((π)). Ïóñòüè Knr 0 ìàêñèìàëüíîå íåðàçâåòâëåííîå ðàñøèðåíèå ïîëÿ K 0 . Òîãäà Knr ñîâïàäàåò ñ 0 0 0 ïîëåì k((π))), Gal(Knr /K ) = GR è K åñòü îáúåäèíåíèå âñåõ ïîëåé âèäà k((π)). Ãðóïïà Ãàëóà Gal(K 0 /Knr ) òîãäà èçîìîðôíà ãðóïïå lim Z/n. Êîãîìîëîãè÷åñêàÿ ←− ∗ 0 ðàçìåðíîñòü ýòîé ãðóïïû ðàâíà 1, ñëåäîâàòåëüíî, H 2 (Gal(K 0 /Knr ), K 0 ) = 0. ∗ Òàê êàê H 1 (Gal(K 0 /Knr ), K 0 ) = 0 ïî òåîðåìå Ãèëüáåðòà 90, òî ïîñëåäîâàòåëüíîñòü îãðàíè÷åíèÿ è èíôëÿöèè äàåò èçîìîðôèçì ∗ 0 0 ∗ ∼ H 2 (Gal(Knr /K 0 ), Knr ) = H 2 (Gal(K 0 /K 0 ), K 0 ). (1) Íîðìèðîâàíèå v : K 0 −→ Z åñòåñòâåííî ïðîäîëæàåòñÿ äî íîðìèðîâàíèÿ v : 0 0 Knr −→ Z, êîòîðîå ÿâëÿåòñÿ ãîìîìîðôèçìîì Gal(Knr /K 0 )-ìîäóëåé (Z ðàññìàòðèâàåòñÿ êàê äèñêðåòíûé ìîäóëü). Òîãäà ïîëó÷àåì ãîìîìîðôèçì 0 ∗ 0 0 ) −→ H 2 (Gal(K nr /K 0 ), Z) = H 2 (GR , Z). H 2 (Gal(Knr /K 0 ), Knr (2) Òî÷íàÿ ïîñëåäîâàòåëüíîñòü GR -ìîäóëåé 0 −→ Z −→ Q −→ Q/Z −→ 0 äàåò èçîìîðôèçì H 2 (GR , Z) ∼ = H 1 (GR , Q/Z) = Homcont (GR , Q/Z). Êîìáèíèðóÿ èçîìîðôèçì (1) è ãîìîìîðôèçì (2) ïîëó÷àåì ãîìîìîðôèçì ∂R0 : Br K 0 −→ Homcont (GR , Q/Z). Òîãäà ãîìîìîðôèçì ∂R îïðåäåëÿåòñÿ êàê êîìïîçèöèÿ res ∂ 0 R Br K −→ Br K 0 −→ Homcont (GR , Q/Z). Åñëè K ïîëå, ñîäåðæàùåå ïðèìèòèâíûé êîðåíü ρ ñòåïåíè n èç åäèíèöû, a, b ∈ F ∗ , òî ñèìâîë-àëãåáðîé (a, b)n íàçûâåòñÿ öèêëè÷åñêàÿ àëãåáðà, ïîðîæäåííàÿ íàä K òàêèìè ýëåìåíòàìè α, β , ÷òî αn = a, β n = b, αβ = ρβα, ýëåìåíò ãðóïïû Áðàóýðà, ñîäåðæàùèé àëãåáðó (a, b)n áóäåò îáîçíà÷àòüñÿ [(a, b)n ]. Èñïîëüçóÿ îïèñàíèå ãîìîìîðôèçìà ∂R íåòðóäíî äîêàçàòü ñëåäóþùåå óòâåðæäåíèå. Ëåììà 1 Ïóñòü π , a è b ñîîòâåòñòâåííî ïðîñòîé ýëåìåíò è åäèíèöû íîð- ìèðîâàíèÿ, ñâÿçàííîãî ñ êîëüöîì R. Òîãäà (i) ∂R ([(a, π)n ]) = 0 òîãäà è òîëüêî òîãäà, êîãäà a ∈ (K ∗ )n ; (ii)∂R ([(a, b)n ]) = 0. Çàìåòèì, ÷òî â ñëó÷àå ïðîåêòèâíîãî ïðîñòðàíñòâà Pm k ñóùåñòâóåò âçàèìíî îäíîçíà÷íîå ñîîòâåòñòâèå ìåæäó íåïðèâîäèìûìè óíèòàðíûìè â ñìûñëå ëåêñèêîãðàôè÷åñêîãî ïîðÿäêà ìíîãî÷ëåíàìè è ëîêàëüíûìè êîëüöàìè R êîíå÷íûõ òî÷åê êîðàçìåðíîñòè 1. 3 3 Ñëó÷àé ïðîåêòèâíîé ïðÿìîé è Pn,r -ïîëÿ Ðàññìîòðèì ñíà÷àëà ñëó÷àé, êîãäà X ïðîåêòèâíàÿ ïðÿìàÿ P1k .  ýòîì ñëó÷àå Br k = Brnr k(P1k ). Ïóñòü k(P1k ) = k(x). Åñëè A ö.ï. k(P1k )-àëãåáðà è f (x) ∈ K[x] íåïðèâîäèìûé óíèòàðíûé ìíîãî÷ëåí, îïðåäåëÿþùèé íîðìèðîâàíèå ïîëÿ k(P1k ), òî ïóñòü Af (x) = A ⊗ k(θ)((f )), ãäå θ êîðåíü ìíîãî÷ëåíà f (x) è k(θ)((f (x))) ïîëå ôîðìàëüíûõ ñòåïåííûõ ðÿäîâ (ïîïîëíåíèå ïîëÿ k(P1k ) ïî íîðìèðîâàíèþ, îïðåäåëÿåìîìó ìíîãî÷ëåíîì f (x)). Êðîìå òîãî, âåòâëåíèå àëãåáð óäîâëåòâîðÿåò ñëåäóþùåìó çàêîíó âçàèìíîñòè Ä.Ê. Ôàääååâà. Ïðåäëîæåíèå 2 ([9], [11, III, Prop. 2.1], [10, 1.2]) Ñóùåñòâóåò ñëåäóþùàÿ òî÷íàÿ ïîñëåäîâàòåëüíîñòü ⊕∂ R 0 → Br k → Br k(P1k ) −→ M cor H 1 (GR , Q/Z) −→ H 1 (Gal(k/k), Q/Z) → 0 R (çäåñü R ïðîáåãàåò ìíîæåñòâî òàêèõ êîëåö äèñêðåòíîãî íîðìèðîâàíèÿ, ÷òî èõ ïîëÿ ÷àñòíûõ ñîâïàäàþò ñ k(P1k ), à cor ñóììèðóåò ëîêàëüíûå ãîìîìîðôèçìû êîîãðàíè÷åíèÿ). Çàìåòèì, ÷òî èç çàêîíà âçàèìíîñòè Ôàääåâà ñëåäóåò, ÷òî åñëè äâå ö.ï.à. íàä (P1k ) èìåþò îäèíàêîâîå âåòâëåíèå â êîëüöàõ, ñîîòâåòñòâóþùèõ êîíå÷íûì òî÷êàì ïðîåêòèâíîé ïðÿìîé, òî îíè èìåþò îäèíàêîâîå âåòâëåíèå è â êîëüöå, ñîîòâåòñòâóþùåì áåñêîíå÷íîé òî÷êå. Êðîìå òîãî, åñëè A íå ðàçâåòâëåíà, òî A ïîäîáíà íåêîòîðîé êîíñòàíòíîé ö.ï.à., ò.å. àëãåáðå âèäà B ⊗k k(P1k ), ãäå B ö.ï.à. íàä k . Íàì òàê æå ïîòðåáóåòñÿ ñëåäóþùåå Îïðåäåëåíèå 3 Äâå ö.ï. k(P1k ))-àëãåáðû A è B íàçûâàþòñÿ ôàääååâñêè ýêâèâàëåíòíûìè, åñëè íàéäåòñÿ ö.ï. k -àëãåáðà C , òàêàÿ, ÷òî A ∼ B ⊗k(P1k ) (C ⊗k k(P1k )). ßñíî, ÷òî ýòî îòíîøåíèå ýêâèâàëåíòíîñòè. Àëãåáðû A è B ôàääååâñêè ýêâèâàëåíòíû òîãäà è òîëüêî òîãäà, êîãäà îíè èìåþò îäèíàêîâîå âåòâëåíèå. Íàø îñíîâíîé ðåçóëüòàò â ñëó÷àå ïðîåêòèâíîé ïðÿìîé îñíîâàí íà ñëåäóþùåé êîíñòðóêöèè. Êàê óæå îòìå÷àëîñü, âñå êîíå÷íûå òî÷êè âåòâëåíèÿ àëãåáðû A ñîîòâåòñòâóþò íåïðèâîäèìûì óíèòàðíûì ìíîãî÷ëåíàì fi (x) íàä k . Ïóñòü F (x) åñòü ïðîèçâåäåíèå âñåõ òàêèõ ìíîãî÷ëåíîâ fi (x). Íàø ïåðâûé ðåçóëüòàò ñëåäóþùàÿ Òåîðåìà 4 Ïóñòü k ïîëå, ñîäåðæàùåå ïðèìèòèâíûé êîðåíü n-îé ñòåïåíè èç åäèíèöû, A ö.ï.à. íàä k(P1k )) ýêñïîíåíòû n. Òîãäà A ôàääååâñêè ýêâèâàëåíòíà ö.ï.à. èíäåêñà íå ïðåâîñõîäÿùåãî n[(deg F (x)+1)/2] , ãäå [(deg F (x) + 1)/2] öåëàÿ ÷àñòü ÷èñëà (deg F (x) + 1)/2. Ä î ê à ç à ò å ë ü ñ ò â î. Ïóñòü m = [(deg F (x) + 1)/2]. Äîêàæåì óòâåðæäåíèå òåîðåìû èíäóêöèåé ïî m. Åñëè m = 0, òî deg F (x) = 0 è A íå èìååò 4 âåòâëåíèÿ â êîíå÷íûõ òî÷êàõ. Òîãäà ïî çàêîíó âçàèìíîñòè Ôàääååâà àëãåáðà A íå ðàçâåòâëåíà. Òàêèì îáðàçîì, A ôàääååâñêè ýêâèâàëåíòíà òðèâèàëüíîé àëãåáðå. Ïðåäïîëîæèì, ÷òî óòâåðæäåíèå òåîðåìû âåðíî ïðè m < s. Ðàññìîòðèì ñëó÷àé m = s. Çàìåòèì, ÷òî ïðè deg F (x) = 1 àëãåáðà A ôàääååâñêè ýêâèâàëåíòíà àëãåáðå âèäà (u, x−a)n , ãäå F (x) = x−a è u ∈ k ∗ . Òàêèì îáðàçîì, áóäåì ñ÷èòàòü, ÷òî deg F (x) > 1. Ñíà÷àëà ïðåäïîëîæèì, ÷òî F (x) åñòü ïðîèçâåäåíèå ëèíåéíûõ ìíîãî÷ëåíîâ. Ïóñòü (x − a1 )(x − a2 ) äåëèò F (x). Òîãäà Ax−ai ∼ Bi ⊗ (ui , x − ai )n ⊗k(P1k ) k((x − ai )), i = 1, 2, ãäå ui íåíóëåâîé ýëåìåíò ïîëÿ k , à Bi íåêîòîðàÿ ö.ï.à. íàä k . Òîãäà àëãåáðà C = A ⊗k(P1k ) ((x − a1 )u−1 2 /(a2 − a1 ), (x − a2 )u1 /(a1 − a2 ))n íå ðàçâåòâëåíà â ìíîãî÷ëåíàõ x − a1 è x − a2 . Äåéñòâèòåëüíî, Cx−a1 = B1 ⊗ (u1 , x − a1 ) ⊗ ((x − a1 )u−1 2 /(a2 − a1 ), u1 )n ∼ B1 ⊗ (u1 , x − a1 ) ⊗ ((x − a1 ), u1 )n ⊗ (u−1 2 /(a2 − a1 ), u1 )n ∼ −1 B1 ⊗ (u1 , x − a1 ) ⊗ (u−1 1 , x − a1 ))n ⊗ (u2 /(a2 − a1 ), u1 )n ∼ −1 B1 ⊗ (u1 , x − a1 ) ⊗ ((x − a1 ), u1 )n ⊗ (u−1 2 /(a2 − a1 ), u1 )n ∼ B1 ⊗ (u2 /(a2 − a1 ), u1 )n . Àíàëîãè÷íî ïîêàçûâàåòñÿ, ÷òî Cx−a2 ∼ B2 ⊗ (u−1 2 , u1 /(a1 − a2 ))n . Òàêèì îáðàçîì, âñå êîíå÷íûå òî÷êè âåòâëåíèÿ àëãåáðû C ñîîòâåòñòâóþò íåïðèâîäèìûì óíèòàðíûì äåëèòåëÿì ìíîãî÷ëåíà F (x)/(x − a)(x − b). Òàê êàê [(deg F (x)/(x − a)(x − b) + 1)/2] = [(deg F (x) − 2 + 1)/2] = s − 1, òî ïî èíäóêòèâíîìó ïðåäïîëîæåíèþ àëãåáðà C ôàääååâñêè ýêâèâàëåíòíà àëãåáðå èíäåêñà íå áîëüøåãî, ÷åì ns−1 , à òîãäà A ôàääååâñêè ýêâèâàëåíòíà àëãåáðå èíäåêñà íå áîëüøåãî, ÷åì ns . Òåïåðü ïðåäïîëîæèì, ÷òî F (x) èìååò íåïðèâîäèìûé óíèòàðíûé äåëèòåëü f (x) ñòåïåíè áîëüøåé, ÷åì 1. Èìååì Af (x) = A ⊗k(P1k ) k(P1k )f (x) ∼ B ⊗k(P1k )f (x) ⊗(α, f (x))n , ãäå α íåêîòîðûé íåíóëåâîé ýëåìåíò ïîëÿ k(θ), θ êîðåíü ìíîãî÷ëåíà f (x) è B ö.ï.à. íàä k . Íàéäåòñÿ ìíîãî÷ëåí g(x) ∈ k[x], òàêîé, ÷òî α = g(θ) è deg g(x) < deg f (x). Òîãäà A ⊗k(P1k ) (g(x)−1 , f (x))n íå ðàçâåòâëåíà â f (x). Åñëè deg g(x) = 0 òî êîíå÷íûå òî÷êè âåòâëåíèÿ ïîñëåäíåé àëãåáðû ñîîòâåòñòâóþò íåïðèâîäèìûì óíèòàðíûì äåëèòåëÿì ìíîãî÷ëåíà F (x)/f (x). Òàê êàê [(deg F (x)/f (x) + 1)/2] < s, òî ïîñëåäíÿÿ àëãåáðà ôàääååâñêè ýêâèâàëåíòíà àëãåáðå èíäåêñà íå ïðåâîñõîäÿùåãî ns−1 , à òîãäà A ôàääååâñêè ýêâèâàëåíòíà àëãåáðå èíäåêñà íå áîëüøåãî, ÷åì ns . 5  ñëó÷àå deg g(x) > 0 ïóñòü g0 (x) íåïðèâîäèìûé óíèòàðíûé äåëèòåëü ìíîãî÷ëåíà g(x) ïîëîæèòåëüíîé ñòåïåíè è g(x) = g0 (x)m g1 (x), ãäå g0 (x) è g1 (x) âçàèìíî ïðîñòû. Åñëè àëãåáðà A èìååò âåòâëåíèå â ìíîãî÷ëåíå g0 (x), òî êîíå÷íûå òî÷êè âåòâëåíèÿ àëãåáðû C ñîîòâåòñòâóþò íåêîòîðûì íåïðèâîäèìûì óíèòàðíûì äåëèòåëÿì ìíîãî÷ëåíà F (x)g1 (x)/f (x). Òàê êàê deg g1 (x) < deg g(x) < deg f (x), òî [(deg F (x)g1 (x)/f (x) + 1)/2] < s. Ñëåäîâàòåëüíî, A ôàääååâñêè ýêâèâàëåíòíà àëãåáðå èíäåêñà íå áîëüøåãî, ÷åì ns . Åñëè æå àëãåáðà A íå èìååò âåòâëåíèÿ â ìíîãî÷ëåíå g0 (x), òî ïóñòü h(x) îñòàòîê îò äåëåíèÿ f (x) íà g0 (x). Òîãäà A ⊗ (g(x)−1 , f (x))n ⊗ (g(x)−1 , h(x)−1 )n ∼ A ⊗k(P1k ) (g(x)−1 , f (x)h(x)−1 )n è êîíå÷íûå òî÷êè âåòâëåíèÿ ïîñëåäíåé àëãåáðû ñîîòâåòñòâóþò íåêîòîðûì íåïðèâîäèìûì óíèòàðíûì äåëèòåëÿì ìíîãî÷ëåíà F (x)g1 (x)h(x)/f (x). Òàê êàê deg g1 (x)+ deg h(x) < deg g1 (x)+deg g0 (x) ≤ deg g(x) ≤ deg f (x)−1, òî [(deg F (x)g1 (x)/f (x)+ 1)/2] < s. Ñëåäîâàòåëüíî, A ôàääååâñêè ýêâèâàëåíòíà àëãåáðå èíäåêñà íå áîëüøåãî, ÷åì ns . Òåîðåìà äîêàçàíà. Çàìå÷àíèå. Çàìåòèì, ÷òî â ñëó÷àå n = 2 èìååì [(deg F (x) + 1)/2] = g + 1, ãäå g ðîä ãèïåðýëëèïòè÷åñêîé êðèâîé, ñîîòâåòñòâóþùåé óðàâíåíèþ y 2 = F (x). Òàêèì îáðàçîì, â ñëó÷àå n = 2 ïðåäûäóùàÿ òåîðåìà ìîæåò áûòü ïåðåôîðìóëèðîâàíà ñëåäóþùèì îáðàçîì. Òåîðåìà 5 Ïóñòü A ö.ï.à. íàä k(P1k )) ýêñïîíåíòû 2. Òîãäà A ôàääååâñêè ýêâèâàëåíòíà ö.ï.à. èíäåêñà íå ïðåâîñõîäÿùåãî ng+1 , ãäå g ðîä ãèïåðýëëèïòè÷åñêîé êðèâîé, ñîîòâåòñòâóþùåé óðàâíåíèþ y 2 = F (x). Çàìå÷àíèå. Äîêàçàòåëüñòâî òåîðåìû 4 ìîæåò áûòü èñïîëüçîâàíî äëÿ ïîëó÷åíèÿ ñëåäóþùåãî ðåçóëüòàòà, ïîëó÷åííîãî Ñ. Áëîõîì (ñì. [14]). Òåîðåìà 6 Ïóñòü k ïîëå, ñîäåðæàùåå ãðóïïó êîðíåé èç 1 µn , L = k(x1 , ..., xs ) ïîëå ôóíêöèé ïðîñòðàíñòâà Psk . Òîãäà åñòåñòâåííûå ãîìîìîðôèçìû, èíäóöèðîâàííûå ãîìîìîðôèçìîì íîðìåííîãî âû÷åòà Rn,k : K2 (k)/nK2 (k) −→ n Br k, Rn,L : K2 (L)/nK2 (L) −→ n Br L èìåþò èçîìîðôíûå êîÿäðà. Ä î ê à ç à ò å ë ü ñ ò â î. Íåòðóäíî âèäåòü, ÷òî äîñòàòî÷íî äîêàçàòü óòâåðæäåíèå òåîðåìû â ñëó÷àå L = k(x). Ïîñòðîèì ãîìîìîðôèçì φ : n Br k/im(Rn,k ) −→ n Br k(x)/im(Rn,k(x) ), ïîëîæèâ φ(a + im(Rn,k )) = resk(x)/k (a) + im(Rn,k(x) ). Ïðîâåðèì êîððåêòíîñòü. Ïóñòü a ∈ im(Rn,k ), òîãäà a ïðåäñòàâëÿåòñÿ ïðîèçâåäåíèåì ñèìâîë-àëãåáð, ñëåäîâàòåëüíî, resk(x)/k (a) ïðåäñòàâëÿåòñÿ ïðîèçâåäåíèåì ñèìâîë-àëãåáð è resF/k (a) ∈ im(Rn,F ). Êîððåêòíîñòü äîêàçàíà. 6 Óñòàíîâèì èíúåêòèâíîñòü ãîìîìîðôèçìà φ. Ïóñòü resk(x)/k (a) ∈ im(Rn,k(x) ). Ñëåäîâàòåëüíî, resk(x)/k (a) ïðåäñòàâëÿåòñÿ ïðîèçâåäåíèåì ñèìâîë-àëãåáð. Òîãäà resk(x)∞ /k (a) ïðåäñòàâëÿåòñÿ ïðîèçâåäåíèåì ñèìâîë-àëãåáð, ãäå k(x)∞ ïîïîëíåíèå ïîëÿ k(x) ïî íîðìèðîâàíèþ â áåñêîíå÷íîé òî÷êå. Îòêóäà a ∈ im(Rn,k ). Òàêèì îáðàçîì, èíúåêòèâíîñòü äîêàçàíà. Äîêàæåì ñþðúåêòèâíîñòü. Ëþáîé ýëåìåíò b èç n Br F ïðåäñòàâëÿåòñÿ àëãåáðîé âèäà (A⊗k k(x))⊗(fi , gi ), ãäå A íåêîòîðàÿ àëãåáðà íàä k , à fi , gi ∈ k(x). Òîãäà b + im(Rn,k(x) ) åñòü îáðàç A + im(Rn,k ). Ñòàëî áûòü, êîÿäðà èçîìîðôíû. Òåîðåìà äîêàçàíà.  êà÷åñòâå ïðîñòîãî ñëåäñòâèÿ èç ïðåäûäóùåé òåîðåìû ïîëó÷àåì, ÷òî ö.ï.à. ýêñïîíåíòû n íàä k(x1 , ..., xs ) ïîäîáíà òåíçîðíîìó ïðîèçâåäåíèþ öèêëè÷åñêèõ àëãåáð òîãäà è òîëüêî òîãäà, êîãäà ýòî ñïðàâåäëèâî äëÿ ëþáîé ö.ï. k -àëãåáðû ýêñïîíåíòû, äåëÿùåé n. Ýòî äàåò â ñëó÷àå ñïåöèàëüíûõ ïîëåé k ýëåìåíòàðíîå äîêàçàòåëüñòâî òåîðåìû Ìåðêóðüåâà-Ñóñëèíà äëÿ ïîëåé k(x1 , ..., xs ). Òåîðåìà 4 äàåò âåðõíèå îöåíêè äëÿ èíäåêñîâ ö.ï. àëãåáð ýêñïîíåíòû n íàä k(P1k ) ïî ìîäóëþ èíäåêñîâ ö.ï. k -àëãåáð ýêñïîíåíò, äåëÿùèõ n.  ñëó÷àå ñïåöèàëüíûõ êëàññîâ ïîëåé êîíñòàíò k òåîðåìà 4 äàåò îöåíêè äëÿ èíäåêñîâ ö.ï. àëãåáð ýêñïîíåíòû n íàä k(P1k ). Âàæíûì â ýòîì îòíîøåíèè ÿâëÿåòñÿ êëàññ Pn,r ïîëåé. Îïðåäåëåíèå 7 Ïóñòü n, r öåëûå íåîòðèöàòåëüíûå ÷èñëà, n > 0. Ïîëå k íàçûâàåòñÿ Pn,r -ïîëåì, åñëè äëÿ ëþáîé k -àëãåáðû A ýêñïîíåíòû, äåëÿùåé n, i(A) ≤ nr . Çàìåòèì, ÷òî åñëè k -Pn,r -ïîëå, òî k Pn,s -ïîëå äëÿ ëþáîãî s > r. Äëÿ óäîáñòâà äàëüíåéùåãî èçëîæåíèÿ ïðèâåäåì íåñêîëüêî ýëåìåíòàðíûõ ñâîéñòâ Pn.r -ïîëåé. Ëåììà 8 Ïóñòü n = pα1 1 , . . . , pαs s , ãäå pi ðàçëè÷íûå ïðîñòûå ÷èñëà è αi ≥ 1. Åñëè k Pn,r -ïîëå, k Ppαi i ,r -ïîëå. Ä î ê à ç à ò å ë ü ñ ò â î. Ïóñòü A ëþáàÿ àëãåáðà ýêñïîíåíòû, äåëÿùåé pαi i . Òîãäà i(A) äåëèò nr . Ñëåäîâàòåëüíî, i(A) äåëèò pαi i r . Ëåììà 9 Ïóñòü n = pα1 1 , . . . , pαl l , ãäå pi ðàçëè÷íûå ïðîñòûå è αi ≥ 1. Åñëè k Ppαi i ,si ïîëå, òî k Ppαi i ,r -ïîëå, ãäå r = ÍÎÊ(s1 , . . . , sl ). Ä î ê à ç à ò å ë ü ñ ò â î. Ïóñòü e(A) äåëèò n è A = A1 ⊗, . . . , ⊗As ðàçëîæåíèå àëãåáðû àëãåáð ýêñïîíåíò, äåëÿùèõ pαi i . Òîãäà Q A â òåíçîðíîå ïðîèçâåäåíèå Q i(A) = i i(AQi ) è i(Ai ) äåëèò pαi i si . Ñëåäîâàòåëüíî, i(A)) äåëèò i pαi i si . Òîãäà i(A)i) äåëèò i pαi i r . Ïðåäûäóùèå ëåììû ïîçâîëÿþò ïðè èçó÷åíèè ñâîéñòâà Pn,r îãðàíè÷èòüñÿ ïðèìàðíûì n. Íèæå n = P m , ãäå p ïðîñòîå. Ëåììà 10 Ïóñòü k/F êîíå÷íîå ðàñøèðåíèå ïîëåé è k Pn,r -ïîëå è. Òîãäà F Pn,s -ïîëå, ãäå s = [logn [k : F ]p ] + 1 + r, [k : F ]p p-÷àñòü ÷èñëà [k : F ]. 7 Ä î ê à ç à ò å ë ü ñ ò â î. Ïóñòü e(A) äåëèò n. Òîãäà e(A ⊗F k) äåëèò n. Òîãäà i(A ⊗F k) äåëèò nr è i(A) äåëèò [k : F ]p nr . Ñëåäîâàòåëüíî, F Pn,s -ïîëå, ãäå s = [logn [k : F ]p ] + 1 + r. Çàìå÷àíèå Ïîñëåäíÿÿ ëåììà äàåò ïîëåçíûé ñïîñîá ïîñòðîåíèÿ íîâûõ Pn,r ïîëåé èç èìåþùèõñÿ.  çàêëþ÷åíèå ïðèâåäåì ñïèñîê (äàëåêî íå ïîëíûé) íåêîòîðûõ ïîëåé óêàçàííîãî òèïà. (i) Àëãåáðàè÷åñêè çàìêíóòûå ïîëÿ è êîíå÷íûå ïîëÿ ÿâëÿþòñÿ Pn,0 -ïîëÿìè. (ii) Âåùåñòâåííî çàìêíóòûå ïîëÿ P2,1 -ïîëÿ è Pn,0 -ïîëÿ, åñëè p íå÷åòíî. (iii) Ïîëå ôóíêöèé êðèâîé íàä àëãåáðàè÷åñêè çàìêíóòûì ïîëåì Pn,0 -ïîëå. (iv) Ïîëå ôóíêöèé êðèâîé íàä âåùåñòâåííî çàìêíóòûì ïîëåì P2,1 -ïîëå è Pn,0 -ïîëå, åñëè p íå÷åòíî. (vi) Ïîëå ôóíêöèé ëîêàëüíîé êðèâîé Pn,2 -ïîëå â ñëó÷àå, êîãäà n âçàèìíî ïðîñòî ñ õàðàêòåðèñòèêîé ïîëÿ âû÷åòîâ (ñì. [6], [7]). (viii) Ïóñòü R ãåíçåëåâî äèñêðåòíî íîðìèðîâàííîå êîëüöî ñ ïîëåì ÷àñòíûõ K è ïîëåì âû÷åòîâ k . Ïðåäïîëîæèì, ÷òî n âçàèìíî ïðîñòî ñ õàðàêòåðèñòèêîé ïîëÿ k è ãðóïïà Áðàóýðà ëþáîé ïðîåêòèâíîé êðèâîé íàä âñÿêèì êîíå÷íûì ðàñøèðåíèåì ïîëÿ k òðèâèàëüíà. Òîãäà äëÿ ëþáîé êðèâîé C íàä K ïîëå K(C) ÿâëÿåòñÿ Pn,2 -ïîëåì (ñì. [6], [7]). (ix) Ïóñòü k ïîëå ñ ãåíçåëåâûì íîðìèðîâàíèåì ðàíãà m è ïîëåì âû÷åòîâ íóëåâîé õàðàêòåðèñòèêè, ÿâëÿþùèìñÿ Pn,r -ïîëåì. Òîãäà k Pn,m+r -ïîëå. (x) Ïóñòü R ïðåâîñõîäíîå ãåíçåëåâî ëîêàëüíîå êîëüöî ðàçìåðíîñòè äâà, K - åãî ïîëå ÷àñòíûõ è k ïîëå âû÷åòîâ. Ïðåäïîëîæèì, ÷òî k ñåïàðàáåëüíî çàìêíóòî è n âçàèìíî ïðîñòî ñ õàðàêòåðèñòèêîé ïîëÿ k . Òîãäà K Pn,1 -ïîëå (ñì. [4]). (xi) C2 -ïîëå ÿâëÿåòcÿ Pn,1 -ïîëåì, ïðè p ∈ {2, 3}. (xii) Ïóñòü k ñîäåðæèò ïðèìèòèâíûé êîðåíü èç 1 ñòåïåíè n âçàèìíî ïðîñòîé ñ õàðàêòåðèñòèêîé k è ãðóïïà k ∗ /(k ∗ )n êîíå÷íà. Òîãäà k ÿâëÿåòñÿ Pn,r -ïîëåì ïðè íåêîòîðîì r. Äëÿ Pn,r -ïîëåé òåîðåìà 4 ìîæåò áûòü ïåðåôîðìóëèðîâàíà ñëåäóþùèì îáðàçîì. Òåîðåìà 11 Ïóñòü k Pn,r -ïîëå, ñîäåðæàùåå ïðèìèòèâíûé êîðåíü n-îé ñòå- ïåíè èç 1, A ö.ï.à. íàä k(P1k ) ýêñïîíåíòû n è F (x) êàê è âûøå. Òîãäà i(A) ≤ nr+[(deg F +1)/2] . Âîîáùå ãîâîðÿ, ïðåäûäóùàÿ îöåíêà íå ÿâëÿåòñÿ îïòèìàëüíîé, ÷òî ñëåäóåò, íàïðèìåð, èç ðåçóëüòàòà Ä. Ñîëòìýíà (ñì. [6], [7] ), ãäå k êîíå÷íîå ðàñøèðåíèå ïîëÿ Qp . Îäíàêî, ñèòóàöèÿ íå òàê ïðîñòà, åñëè ðàññìàòðèâàòü âåñü êëàññ Pn,r -ïîëåé. Áîëåå òîãî, íàì êàæåòñÿ, ÷òî ñëåäóþùèé âîïðîñ èìååò ñìûñë. Âîïðîñ. Ïóñòü n, r íàòóðàëüíûå ÷èñëà. Ñóùåñòâóåò ëè òàêîå Pn,r -ïîëå, ñîäåðæàùåå ïðèìèòèâíûé êîðåíü n-îé ñòåïåíè èç 1, ÷òî îöåíêà, ïîëó÷åííàÿ â òåîðåìå 11 äîñòèãàåòñÿ. 8 4 Ñëó÷àé ïðîåêòèâíîãî ïðîñòðàíñòâà Òåîðåìà 4 ìîæåò áûòü îáîáùåíà íà ñëó÷àé ïðîåêòèâíîãî ïðîñòðàíñòâà. Òåîðåìà 12 Ïóñòü k Pn,r -ïîëå, ñîäåðæàùåå ïðèìèòèâíûé êîðåíü n-îé ñòå- ïåíè èç 1, L = k(Psk ) = k(x1 , ..., xs ), A ö.ï.a íàä L ýêñïîíåíòû n ñ âåòâëåíèåì â ìíîãî÷ëåíàõ F1 (x1 , ..., xs ),..., Ft (x1 , ..., xs ). Ïóñòü G(x1 , ..., xs ) = F1 (x1 , ..., xs )...Ft (x1 , ..., xs ) è dj ñòåïåíü ìíîãî÷ëåíà G(x1 , ..., xs ) ïî ïåðåìåííîé xj . Òîãäà P i(A) ≤ nr+M1 +...+Ms +mini { 1≤j≤s,j6=i Mj } , ãäå Mi = [(di + 1)/2]. Äîêàçàòåëüñòâî òåîðåìû ïðåäâàðèì äâóìÿ ëåììàìè. Ëåììà 13 Ïóñòü A ö.ï.à. íàä L = k(Psk ) = k(x1 , ..., xs ) ñ êîíå÷íûì âåòâëå- íèåì â íåïðèâîäèìûõ ìíîãî÷ëåíàõ F1 (x1 , ..., xs ),..., Ft (x1 , ..., xs ). Òîãäà êîíå÷íîå âåòâëåíèå àëãåáðû A, ðàññìàòðèâàåìîé êàê àëãåáðû íàä k(x1 , ..., xs−1 )(P1k ) = k(x1 , ..., xs−1 )(xs ) (ò.å. íàä ïîëåì ðàöèîíàëüíûõ ôóíêöèé ñ ïîëåì êîíñòàíò k(x1 , ..., xs−1 )), ñîñðåäîòî÷åíî â íåêîòîðûõ èç óíèòàðíûõ ìíîãî÷ëåíîâ, ÿâëÿþùèõñÿ äåëèòåëÿìè ìíîãî÷ëåíà F1 (x1 , ..., xs )...Ft (x1 , ..., xs ), ðàññìàòðèâàåìîãî êàê ìíîãî÷ëåí èç k(x1 , ..., xs−1 )[xs ]. Ä î ê à ç à ò å ë ü ñ ò â î. Ðàññìîòðèì A êàê àëãåáðó íàä k(x1 , ..., xs−1 )(xs ). Ïóñòü H(xm ) ∈ k(x1 , ..., xs−1 )[xs ] óíèòàðíûé íåïðèâîäèìûé ìíîãî÷ëåí, â êîòîðîì A èìååò âåòâëåíèå. Òîãäà H(xs ) = xns + (un−1 /vn−1 )xsn−1 + ... + u0 /v0 , ãäå ui , vi ∈ k[x1 , ..., xs−1 ] è ui /vj íåñîêðàòèìûå äðîáè. Àëãåáà A ïîäîáíà ïðîèçâåäåíèþ íåêîòîðûõ öèêëè÷åñèõ àëãåáð, ò.å. A ∼ (H(xs ), G)l ⊗ B , ãäå G íåêîòîðûé ýëåìåíò êîëüöà k(x1 , ..., xs−1 )[xs ], à B åñòü ïðîèçâåäåíèå ñèìâîë-àëãåáð, íå ñîäåðæàùèõ ýëåìåíò H(xm ).  H(xs ) àëãåáðà A èìååò âåòâëåíèå òîãäà è òîëüêî òîãäà, êîãäà G(θ) 6∈ (k(x1 , ..., xs−1 )(θ)∗ )l , (3) ãäå θ êîðåíü ìíîãî÷ëåíà H(xs ) â àëãåáðàè÷åñêîì ðàñøèðåíèè ïîëÿ k(x1 , ..., xs−1 ) (ñì. ëåììà 1). Ïîêàæåì, ÷òî 1) ìíîãî÷ëåí T = H(xs ) ÍÎÊ(v0 , ..., vn−1 ) íåïðèâîäèì íàä k ; 2) ìíîãî÷ëåí ñîäåðæèò âåòâëåíèå àëãåáðû A êàê àëãåáðû íàä k(x1 , ..., xs ) c ïîëåì êîíñòàíò k . 1) Ïðåäïîëîæèì, ÷òî T ïðèâîäèì, òîãäà T = T1 T2 , ãäå Ti ∈ k[x1 , ..., xs ]. Åñëè T1 è T2 ñîäåðæàò ïåðåìåííóþ xs , òî ìíîãî÷ëåí H(xs ) ïðèâîäèì êàê ìíîãî÷ëåí îò xs . Òàêèì îáðàçîì, ìîæíî ñ÷èòàòü, ÷òî T1 íå ñîäåðæèò xs . Íî òîãäà ìíîæåñòâî êîýôôèöèåíòîâ ìíîãî÷ëåíà T ∈ k[x1 , ..., xs−1 ][xs ] îáëàäàåò íåïðèâîäèìûì îáùèì äåëèòåëåì èç k[x1 , ..., xs−1 . Çàìåòèì, ÷òî êîýôôèöèåíò ìíîãî÷ëåíà T ïðè xns åñòü ÍÎÊ(v0 , ..., vn−1 ), à ïðè xis ðàâåí ÍÎÊ(v0 , ..., vn−1 )ui /vi , i = 0, ..., n − 1, 9 Ïóñòü S ∈ k[x1 , ..., xs−1 ] íåïðèâîäèìûé äåëèòåëü âñåõ êîýôôèöèåíòîâ ìíîãî÷ëåíà T . Òîãäà S äåëèòåëü ÍÎÊ(v0 , ..., vn−1 ). Ñëåäîâàòåëüíî, S äåëèò ïî êðàéíåé ìåðå îäèí vi . Âûáåðåì ìíîãî÷ëåí vj , äåëÿùèéñÿ íà S â ìàêñèìàëüíî áîëüøîé ñòåïåíè. Òîãäà S äåëèò ÍÎÊ(v0 , ..., vn−1 )uj /vj . Íî ïî âûáîðó vj S íå äåëèò ÍÎÊ(v0 , ..., vn−1 )/vj . Òîãäà S äåëèòåëü uj , à, ñëåäîâàòåëüíî, uj è vj èìååþò îáùèé äåëèòåëü â ïðîòèâîðå÷èè ñ íåñîêðàòèìîñòüþ uj /vj ñîêðàòèìàÿ. Çíà÷èò, T íåïðèâîäèì. 2) Ïîêàæåì, ÷òî A âåòâèòñÿ T . Èìååì, A ∼ (H(xm ), G)N ⊗ B . Òîãäà A ∼ (H(xs ) ÍÎÊ(v0 , ..., vn−1 ) ÍÎÊ(v0 , ..., vn−1 )l−1 , G)l ⊗ B = ( ÍÎÊ(v0 , ..., vn−1 )l−1 T, G)l ⊗ B. Çàìåòèì, ÷òî òàê êàê àëãåáðà B ïðîèçâåäåíèå ñèìâîë-àëãåáð, íå ñîäåðæàùèõ H(xs ), òî B íå âåòâèòñÿ â T . Êðîìå òîãî, ( ÍÎÊ(v0 , ..., vn−1 ))l−1 íà T íå äåëèòñÿ, òàê êàê íå ñîäåðæèò ïåðåìåííîé xs . Èòàê, âåòâëåíèå â T îïðåäåëÿåòñÿ ýëåìåíòîì G. Ïðè÷åì, àëãåáðà A âåòâèòñÿ â T òîãäà è òîëüêî òîãäà, êîãäà G 6∈ (k(CT )∗ )l , ãäå CT ãèïåðïîâåðõíîñòü, çàäàâàåìàÿ óðàâíåíèåì T = 0. Ïóñòü G ∈ (k(CT )∗ )l . Ñëåäîâàòåëüíî, íàéäóòñÿ òàêèå ìíîãî÷ëåíû G1 , G2 ∈ k[x1 , ..., xs ], ÷òî G = Gl1 + G2 T . Ïîäñòàâëÿÿ â ïîñëåäíåå ðàâåíñòâî âìåñòî xs ýëåìåíò θ ïîëó÷àåì G(θ) = G1 (θ)l + G2 T (θ) = G1 (θ)l . Íî ýòî ïðîòèâîðå÷èò (3). Òàêèì îáðàçîì, àëãåáðà A âåòâèòñÿ â T . Ëåììà äîêàçàíà. Ëåììà 14 Ïóñòü k ïîëå íóëåâîé õàðàêòåðèñòèêè, H1 , . . . , Hs íåïðèâîäè- ìûå ïîïàðíî âçàèìíî ïðîñòûå ìíîãî÷ëåíû èç k[x1 , . . . , xs ]. Òîãäà íàéäåòñÿ áåñêîíå÷íî ìíîãî ýëåìåíòîâ a ïîëÿ k , ÷òî ìíîãî÷ëåíû H i = Hi (x1 , . . . , xs−1 , a) ∈ k[x1 , . . . , xs−1 ] ïîïàðíî âçàèìíî ïðîñòû. Ä î ê à ç à ò å ë ü ñ ò â î. Ïóñòü Yij ⊂ Am ìíîæåñòâà, çàäàíûå ñèñòåìàìè k óðàâíåíèé Hi = 0 è Hj = 0, i 6= j . Òoãäà dim Yij ≤ s − 2 è dim ∪i,j Yij ≤ s − 2. Ðàññìîòðèì ∪i,j Yij ∩ Xa , ãäå Xa ãèïåðïëîñêîñòü, çàäàííàÿ óðàâíåíèåì xs = a. Ïðåäïîëîæèì, ÷òî íàéäóòñÿ ìíîãî÷ëåíû Hi è Hj , òàêèå, ÷òî H i è H j èìåþò îáùèé äåëèòåëü h ∈ k[x1 , . . . , xs−1 ]. Ïóñòü ìíîæåñòâî Z ⊂ Ask îïðåäåëÿåòñÿ óðàâíåíèåì h = 0 (ãäå h ðàññìàòðèâàåòñÿ êàê ìíîãî÷ëåí èç k[x1 , . . . , xs ]. Òîãäà Z ∩ Xa ⊂ Yij ∩ Xa ⊂ ∪i,j Yij ∩ Xa . Äåéñòâèòåëüíî, åñëè H i = hi h è H j = hj h, òî Yij ∩ Xa çàäàåòñÿ óðàâíåíèÿìè xs = a, hi h = 0, hj h = 0. Òàê êàê Z ∩ Xa çàäàíî óðàâíåíèÿìè xs = a è h = 0, òî Z ∩ Xa ⊂ Yij ∩ Xa . Òîãäà s − 2 ≤ dim Z ∩ Xa = dim Yij ∩ Xa = dim ∪i,j Yij ∩ Xa , 10 ïîñêîëüêó dim Yij ∩ Xa ≤ s − 2. Ñëåäîâàòåëüíî, dim ∪i,j Yij ∩ Xa = dim ∪i,j Yij = s − 2. Òàê êàê dim ∪i,j Yij ∩ Xa = s − 2, òî Xa ñîäåðæèò íåïðèâîäèìóþ êîìïîíåíòó ìíîãîîáðàçèÿ ∪i,j Yij ðàçìåðíîñòè s − 2. Çàìåòèì, ÷òî ÷èñëî òàêèõ êîìïîíåíò êîíå÷íî. Ïðåäïîëîæèì, ÷òî äëÿ áåñêîíå÷íîãî ìíîæåñòâà a ∈ k êàêèå-òî èç ìíîãî÷ëåíîâ H i è H j èìåþò îáùèé äåëèòåëü â k[x1 , . . . , xs−1 ]. Òîãäà äëÿ òàêèõ a ãèïåðïëîñêîñòü Xa ñîäåðæèò íåïðèâîäèìóþ êîìïîíåíòó ìíîãîîáðàçèÿ ∪i,j Yij ðàçìåðíîñòè s − 2. Òàê êàê ÷èñëî êîìïîíåíò êîíå÷íî, òî íàéäóòñÿ òàêèå ðàçëè÷íûå a1 è a2 èç k , ÷òî Xa1 è Xa2 ñîäåðæàò îäíó è òó æå êîìïîíåíòó ðàçìåðíîñòè s − 2. Íî Xa1 ∩ Xa2 = ∅. Ïîëó÷åííîå ïðîòèâîðå÷èå äîêàçûâàåò ëåììó. Ä î ê à ç à ò å ë ü ñ ò â î òåîðåìû 12. Ïðèìåíèì èíäóêöèþ ïî s.  ñëó÷àå s = 1 óòâåðæäåíèå ñëåäóåò èç òåîðåìû 11. Ïðåäïîëîæèì, ÷òî îíî ñïðàâåäëèâî ïðè s ≤ m − 1 è ðàññìîòðèì ñëó÷àé s = m. Àëãåáðà A ÿâëÿåòñÿ àëãåáðîé íàä ïîëåì ôóíêöèé ïðîåêòèâíîé ïðÿìîé P1k(x1 ,...,xm−1 ) . Ââèäó ëåììû 13 âñå êîíå÷íûå òî÷êè âåòâëåíèÿ àëãåáðû A ñîîòâåòñòâóþò íåêîòîðûì äåëèòåëÿì ìíîãî÷ëåíà G. Òîãäà ïî òåîðåìå 11 àëãåáðà A ôàääååâñêè ýêâèâàëåíòíà íàä k(x1 , . . . , xm−1 ) àëãåáðå B èíäåêñà íå áîëüøåãî, ÷åì n[(dm +1)/2 = nMm . Ïóñòü A ∼ ⊗i (Ui , Vi )n , ãäå ìíîãî÷ëåíû Ui , Vi ∈ k[x1 , . . . , xm ] íåïðèâîäèìû è ÍÎÄ(Ui , Vi ) = 1. Ïóñòü Hi , . . . , Hq âñå íåïðèâîäèìûå ïîïàðíî âçàèìíî ïðîñòûå ìíîãî÷ëåíû, ïðèñóòñòâóþùèå â ñèìâîë-àëãåáðàõ èç ðàçëîæåíèÿ A. Ïî ëåììå 14 íàéäåòñÿ òàêîå a ∈ k , ÷òî ìíîãî÷ëåíû H i âçàèìíî ïðîñòûìè. Òîãäà Axm −a ∼ ⊗i (U i , V i )n è ÍÎÄ(U i , V i ) = 1. Ïîêàæåì, ÷òî îòñóòñòâèå âåòâëåíèÿ A â H ∈ {H1 , . . . , Hl } âëå÷åò îòñóòñòâèå âåòâëåíèÿ Axm −a â H . Ïåðåïèøåì A â âèäå A ∼ (H, U )n ⊗ (⊗i (Si , Ti )n ), ãäå ÍÎÄ(H, U ) = ÍÎÄ(H, Si ) = ÍÎÄ(H, Ti ) = 1. Òîãäà Axm −a ∼ (H, U )n ⊗ (⊗i (S i , T i )n ), è ñîãëàñíî âûáîðó a ÍÎÄ(H, U ) = ÍÎÄ(H, S i ) = ÍÎÄ(H, T i ) = 1. Òàê êàê A íå âåòâèòñÿ â H , òî U ∈ (k(XH )∗ )n , ãäå ìíîæåñòâî XH ⊂ Am k îïðåäåëåíî óðàâíåíèåì H = 0. Òîãäà íàéäóòñÿ òàêèå G1 , G2 ∈ k[x1 , . . . , xm ], ÷òî U = Gn1 + G2 H , n ÷òî âëå÷åò U = G1 + G2 H . Ðàññìîòðèì âåòâëåíèå àëãåáðû Axm −a â êàêîìíèáóäü íåïðèâîäèìîì äåëèòåëå h0 ìíîãî÷ëåíà H . Âåòâëåíèå â h0 îïðåäåëÿåòñÿ ýëåìåíòîì U ∈ k(Yh0 ), ãäå Yh0 ⊂ Am k çàäàíî óðàâíåíèåì h0 = 0. Íî òàê êàê n U = G1 + G2 H è h0 äåëèò H , òî U ∈ k(Yh∗0 )n , ò.å. âåòâëåíèÿ â h0 íåò. Òàêèì îáðàçîì, åñëè âåòâëåíèå ó A â H îòñóòñòâóåò, òî ó Axm −a åãî íåò â äåëèòåëÿõ H . Ñëåäîâàòåëüíî, âñå êîíå÷íîå âåòâëåíèå àëãåáðû Axm −a ñîñðåäîòî÷åíî â íåêîòîðûõ äåëèòåëÿõ ìíîãî÷ëåíîâ F i . Èìååì, Bxm −a = B ⊗ k(x1 , . . . , xm−1 )(xm )xm −a ∼ C ⊗k(x1 ,...,xm−1 ) k(x1 , . . . , xm−1 )(xm )xm −a , 11 ãäå C íåêîòîðàÿ ö.ï.à. íàä k(x1 , . . . , xm−1 ). Òîãäà i(C ⊗k(x1 ,...,xm−1 ) k(x1 , . . . , xm−1 )(xm )xm −a ) ≤ i(B) ≤ nMn è (B ⊗ (C −1 ⊗ k(x1 , . . . , xm )))xm −a ∼ 1. Ðàññìîòðèì àëãåáðó Axm −a . Èìååì, Axm −a ∼ D ⊗ k(x1 , . . . , xm−1 )(xm )xm −a , ãäå D ö.ï.à. íàä k(x1 , . . . , xm−1 ). Èç ëåììû 14 âûòåêàåò, ÷òî àëãåáðà D ìîæåò âåòâèòüñÿ òîëüêî â íåêîòîðûõ íåïðèâîäèìûõ äåëèòåëÿõ ìíîãî÷ëåíà G. Çàìåòèì, ÷òî ñòåïåíü ìíîãî÷ëåíà G(a) ïî ïåðåìåííûì xj íå ïðåâîñõîäèò dj . Ñëåäîâàòåëüíî, ïî èíäóêòèâíîìó ïðåäïîëîæåíèþ Pm−1 i(D) ≤ nr+M1 +···+Ms−1 +min1≤i≤m−1 { 1=j6=i Mj } . Äàëåå, A ⊗ (D−1 ⊗ k(x1 , . . . , xm ))xm −a ∼ 1. Ñëåäîâàòåëüíî, àëãåáðû A ⊗ (D ⊗ k(x1 , . . . , xm )) è B ⊗ (C −1 ⊗ k(x1 , . . . , xm )) èìåþò òðèâèàëüíîå ïîïîëíåíèå â k(x1 , . . . , xm−1 ))-ðàöèîíàëüíîé òî÷êå. Òàêèì îáðàçîì, −1 A ∼ B ⊗ (D−1 ⊗ C −1 ⊗ L). Òîãäà Pm−1 i(A) ≤ nr+M1 +···+Mm +min1≤i≤m { 1=j6=i Mj } . Çàìåòèì, ÷òî A ìîæíî ðàññìîòðèâàòü êàê ö.ï.à. íàä ïîëåì ôóíêöèé ïðîåêòèâíîé ïðÿìîé P1k(x1 ,...,xl−1 ,xl+1 ,...,xm ) .  ýòîì ñëó÷àå îöåíêà äëÿ èíäåêñà áóäåò òàêîâà Pm−1 i(A) ≤ nr+M1 +···+Mm +min1≤i≤m,i6=l { 1=j6=i Mj } . Îòêóäà ïîëó÷àåì ñëåäóþùóþ îöåíêó Pm−1 i(A) ≤ nr+M1 +···+Mm +minl {min1≤i≤m,i6=l { nr+M1 +···+Mm +min1≤i≤m Pm−1 1=j6=i 1=j6=i Mj }} Mj }} = . Òåîðåìà äîêàçàíà. 5 Ñëó÷àé ïðîåêòèâíîé êðèâîé  ýòîì ïàðàãðàôå ìû ðàññìàòðèâàåì ñëó÷àé ïðîèçâîëüíîé ãëàäêîé ïðîåêòèâíîé êðèâîé C íàä k ñ ïîëåì ôóíêöèé k(C). Ïîëó÷åííûå ðåçóëüòàòû îñíîâàíû íà ñëåäóþùåé òåîðåìå âàí äåí Áåðãà. Òåîðåìà 15 ([12]) Ïóñòü C ãëàäêàÿ ïðîåêòèâíàÿ êðèâàÿ íàä k ñ k -ðàöèîíàëüíîé òî÷êîé P è D íåðàçâåòâëåííàÿ àëãåáðà íàä k(C), òàêàÿ, ÷òî D⊗k(C)P ïîëíàÿ ìàòðè÷íàÿ àëãåáðà íàä k(C)P , ãäå k(C)P ïîïîëíåíèå ïîëÿ k(C) ïî íîðìèðîâàíèþ, ñîîòâåòñòâóþùåìó òî÷êå P . Òîãäà i(D)|e(D)2g(C) , ãäå g(C) ðîä êðèâîé C. 12 Ïåðâûé îñíîâíîé ðåçóëüòàò ñîäåðæèòñÿ â ñëåäóþùåì óòâåðæäåíèè. Òåîðåìà 16 Ïóñòü k è âñå êîíå÷íûå ðàñøèðåíèÿ ïîëÿ k ÿâëÿþòñÿ Pn,r -ïîëÿìè, k ñîäåðæèò ïðèìèòèâíûé êîðåíü ñòåïåíè n èç 1, C ãëàäêàÿ ïðîåêòèâíàÿ êðèâàÿ íàä k , A öåíòðàëüíàÿ ïðîñòàÿ àëãåáðà íàä k(C) ýêñïîíåíòû n = n pn1 1 ...pq q ñ âåòâëåíèåì â çàìêíóòûõ òî÷êàõ P1 , ..., Ps êðèâîé C , L = k(P1 , ..., Ps ) mq 1 ïîëå îïðåäåëåíèÿ ýòèõ òî÷åê è t = pm 1 ...pq u ñòåïåíü ðàñøèðåíèÿ L íàä k , ãäå ÍÎÄ(n, u) = 1. Òîãäà mq 1 i(A) ≤ nr+N +2g(C) pm 1 ...pq , (4) ãäå N ÷èñëî òî÷åê ïîëÿ k(C) íàä òî÷êàìè Pi . Ä î ê à ç à ò å ë ü ñ ò â î. Àëãåáðà A ⊗k(C) L(C) èìååò âåòâëåíèå òîëüêî â N L-ðàöèîíàëüíûõ òî÷êàõ. Âåòâëåíèå â ýòèõ òî÷êàõ îïðåäåëÿåòñÿ ýëåìåíòàìè √ √ a1 , . . . , aN ïîëÿ L∗ . Òîãäà àëãåáðà B = A ⊗ L( n a1 , . . . , n aN ) íå ðàçâåòâëåíà. Ñëåäîâàòåëüíî, ïî òåîðåìå âàí äåí Áåðãà 16 i(B ⊗ BPn−1 ) ≤ n2g(C) , ãäå √ √ BP = B ⊗ L( n a1 , . . . , n aN )(C)P , √ √ √ √ à P íåêîòîðàÿ L( n a1 , . . . , n aN )-ðàöèîíàëüíàÿ òî÷êà. Òàê êàê L( n a1 , . . . , n aN ) Pn,r -ïîëå, òî i(B) ≤ nr+2g(C) . Ðàñøèðèâ àëãåáðó A íà ðàñøèðåíèå ñòåïåíè mq N 1 ìåíüøåé ëèáî ðàâíîé tnN = pm ïîëó÷èì àëãåáðó èíäåêñà, íå ïðå1 , . . . , pq un m r+2g(C) r+N +2g(C) m1 âîñõîäÿùåãî n . Îòêóäà, i(A) ≤ n p1 ...pq q . Âòîðîé ðåçóëüòàò îñíîâàí íà ñëåäóþùåé êîíñòðóêöèè. Ïóñòü k Pn,r -ïîëå, C ïëîñêàÿ ïðîåêòèâíàÿ êðèâàÿ íàä k , îïðåäåëåííàÿ óðàâíåíèåì F (x, y) = 0, èìåþùàÿ k -ðàöèîíàëüíóþ òî÷êó P è ïóñòü A ö.ï.à. íàä K(C) ýêñïîíåíòû n mq 1 n = pn1 1 ...pq q . Ïðåäïîëîæèì, ÷òî t = pm 1 ...pq u, ãäå ÍÎÄ(n, u) = 1, ìèíèìàëüíàÿ èç ñòåïåíåé ìíîãî÷ëåíà F (x, y) ïî ïåðåìåííûì x è y , A ðàçâåòâëåíà â çàìêíóòûõ òî÷êàõ P1 , ..., Ps êðèâîé C . Ïóñòü Q1 , ..., Qm ðàçëè÷íûå çàìêíóòûå òî÷êè ïðîåêòèâíîé ïðÿìîé P1k , ëåæàùèå ïîä òî÷êàìè Pi è g ïðîèçâåäåíèå âñåõ íåïðèâîäèìûõ óíèòàðíûõ ìíîãî÷ëåíîâ, ñîîòâåòñòâóþùèõ êîíå÷íûì òî÷êàì, ëåæàùèì ïîä òî÷êàìè Pi . Åñëè âñå òî÷êè Qi êîíå÷íûå, ïîëîæèì u = g(P )tn−1 , â ñëó÷àå g(P ) 6= 0, è u = 1, ïðè g(P ) = 0. Ïóñòü H = gu. Åñëè îäíà èç òî÷åê Qi ÿâëÿåòñÿ áåñêîíå÷íîé è ÍÎÄ(deg g, n) = 1, òî ïîëîæèì H = gu, ãäå u îïðåäåëåíî êàê è âûøå. Åñëè ÍÎÄ(deg g, n) 6= 1, òî ïóñòü v ëèíåéíûé ìíîãî÷ëåí, òàêîé, ÷òî ÍÎÄ(v, g) = 1, è m òàêîå íàèìåíüøåå öåëîå ïîëîæèòåëüíîå ÷èñëî ñî ñâîéñòâîì ÍÎÄ(deg g +m, n) = 1. Ïîëîæèì H = gv m u, ãäå (g(P )v m (P ))tn−1 , åñëè g(P )v m (P ) 6= 0; u= 1, åñëè g(P )v m (P ) = 0. √ Ïóñòü C1 êðèâàÿ ñ ïîëåì ôóíêöèé k(C1 ) = k(C)( nt H).  âûøåïðèâåäåííûõ îáîçíà÷åíèÿõ ñïðàâåäëèâà ñëåäóþùàÿ Òåîðåìà 17 i(A) = n2g(C1 )+r+1 . 13 (5) Ä î ê à ç à ò å ë ü ñ ò â î. Àëãåáðà A ⊗ k(C1 ) íå ðàçâåòâëåíà. Êðîìå òîãî, ïî ïîñòðîåíèþ ìíîãî÷ëåíà H êðèâàÿ C1 îáëàäàåò k -ðàöèîíàëüíîé òî÷êîé. Òîãäà ââèäó òåîðåìû âàí äåí Áåðãà i(A ⊗ k(C1 )) ≤ nr+2g(C1 ) , ÷òî äàåò i(A) ≤ mq 1 nr+1+2g(C1 ) pm 1 , . . . , pq . Òåîðåìà äîêàçàíà. Çàìå÷àíèå Çàìåòèì, ÷òî â ñëó÷àå ñïåöèàëüíûõ êðèâûõ è ýêñïîíåíò îöåíêà (5) ÿâëÿåòñÿ áîëåå òî÷íîé, ÷åì (4). Ñïèñîê ëèòåðàòóðû [1] Albert A.A. Structure of algebras, American Mathematical Society. Colloquium Publ. 24, New York: American Mathematical Society. XII. 1939. [2] Deuring M. Algebren. Ergebnisse der Mathematik und ihrer Grenzgebiete. 41. Berlin-Heidelberg-New York: Springer-Verlag. VIII. 1968. [3] Zheglov A. Wild division algebras over Laurent series elds // Preprint, Humbold-Universitat, 2001-6. [4] Colliot-Thelenem J.-L., Ojanguren M., Parimala R. Quadratic forms over fraction elds of two-dimensional Henselian rings and Brauer groups of related schemes // Prepublication d'Orsay, 2000-40. [5] Brauer R. Untersuchungen uber die arithmetischen Eigenschften von Gruppen linearer Substitutionen // Math. Zeitschrift. 1929. Bd. 31 P. 733-747. [6] Saltman D. J. Division algebras over p-adic curves // J. Ramanujan Math. Soc. 1997. V.12. .21. P. 25-47. [7] Saltman D. J. Correction to: Division algebras over p-adic curves // J. Ramanujan Math. Soc. 1998. V.13, .2. P. 125-129. [8] Colliot-Thelene J.-L., Sansuc J.-J. The rationality problem for elds of invariants under algebraic groups (with special regards to the Brauer group) // Lecture Notes from the 9th ELAM, Santiago de Chile. 1988. [9] Ôàääååâ Ä. Ê. Ïðîñòûå àëãåáðû íàä ïîëåì àëãåáðàè÷åñêèõ ôóíêöèé îò îäíîé ïåðåìåííîé, Òðóäû ÌÈÀÍ. 1951. Ò.38. Ñ. 321344. [10] Colliot-Thelene J.-L., Swinnerton-Dyer P. Hasse principle and weak approximation for pencils of SeveriBrauer and similar varieties // J. Reine Angew. Math. 1994. Bd. 453. P. 49112. [11] Grothendieck A. Le groupe de Brauer // Dix Exposes sur la Cohomologie des Schemas. Amsterdam: North-Holland. 1968, P. 46188. [12] van den Bergh M. Algebraic subelds and splitting elds of division algebras over function elds // Ph.D. thesis. Universiteit Antwerpen, Wilrijk. 1985. 14 [13] Margolin G.L., Rehmann U., Yanchevskii V.I. Quaternion generation of the 2torsion part of the Brauer group of a local quintic // Algebraic K-theory and its Applications. H. Bass, A.O.Kuku, and C. Pedrini. (Eds).Proc. of the Workshop and Symposium, (1997), ICTP, Trieste, Italy. World Scientic, Singapore, New Jersey, London, Hongkong. 1999. P. 503535. [14] Bloch S. Torsion algebraic cycles, K2 , and Brauer goups of function elds // Bull. Amer. Math. Soc. 1974. Vol. 80. P. 941945. [15] Rehmann U., Tikhonov S.V., Yanchevskii V.I. Two-torsion of the Brauer goups of hyperelliptic curves and unramied algebras over their function elds // Communications in Algebra. 2001. Vol. 29. 9. P. 39713987. [16] Steiner P. A. J. Groupe de Brauer des corps de fractions rationnelles à coecients complexes // L'Enseignement Mathematique. 1984. T. 30. P. 115140. [17] Òàíêååâ Ñ. Ã. Î ãðóïïå Áðàóýðà // Èçâ. ÐÀÍ. Ñåð. ìàò. 2000. Ò. 64, 4. Ñ. 787-806. [18] Òàíêååâ Ñ. Ã. Î ãðóïïå Áðàóýðà àðèôìåòè÷åñêîé ñõåìû // Èçâ. ÐÀÍ. Ñåð. ìàò. 2001. Ò. 65, 2. Ñ. 155-186. 15