2278:
36:
2274:. The most fundamental is the absolute Frobenius morphism. However, the absolute Frobenius morphism behaves poorly in the relative situation because it pays no attention to the base scheme. There are several different ways of adapting the Frobenius morphism to the relative situation, each of which is useful in certain situations.
4026:
7500:
3822:
5948:
5060:
3393:
7929:
3867:
8565:; moreover, the coefficients are algebraic and the result can be expressed algebraically. However, they are of degree 120, the order of the Galois group, illustrating the fact that explicit computations are much more easily accomplished if
2162:
7644:
4486:
2246:
4168:
7350:
6183:
3677:
5806:
8538:
3219:
7672:
is the spectrum of a finite field, then its automorphism group is the Galois group of the field over the prime field, and the
Frobenius morphism and its inverse are both generators of the automorphism group. In addition,
7826:
5199:
8701:
6922:
6746:
7091:
6103:
4328:
5795:
3660:
7201:
4929:
5454:
6818:
4240:
839:
4950:
656:
1631:
8282:
8151:
7284:
2725:
373:
6440:
752:
5529:
8759:
3275:
6550:
5657:
4784:
3503:
3127:
1772:
4663:
503:
2532:
4585:
2851:
2808:
2768:
2647:
2607:
1539:
1499:
1459:
1409:
1329:
1289:
2262:, it is a generator of every finite quotient of the absolute Galois group. Consequently, it is a topological generator in the usual Krull topology on the absolute Galois group.
7559:
6318:
7837:
4021:{\displaystyle c\cdot \sum _{i}\left(\sum _{\alpha }a_{i\alpha }X^{\alpha }\right)\otimes b_{i}=\sum _{i}\left(\sum _{\alpha }a_{i\alpha }X^{\alpha }\right)\otimes b_{i}c.}
1077:
if either it is of characteristic zero or it is of positive characteristic and its
Frobenius endomorphism is an automorphism. For example, all finite fields are perfect.
4354:. Furthermore, being a base change means that extension of scalars preserves properties such as being of finite type, finite presentation, separated, affine, and so on.
1851:
1369:
7322:
6588:
6357:
6267:
6230:
248:
2095:
7934:
by the definition of the arithmetic
Frobenius. Consequently, arithmetic Frobenius explicitly exhibits the action of the Galois group on points as an endomorphism of
1878:
7752:
is the application of the
Frobenius morphism to the residue field. This Galois action agrees with the action of arithmetic Frobenius: The composite morphism
1656:
of an extension of finite fields is generated by an iterate of the
Frobenius automorphism. First, consider the case where the ground field is the prime field
7495:{\displaystyle \sum _{i}\left(\sum _{\alpha }a_{i\alpha }X^{\alpha }\right)\otimes b_{i}\mapsto \sum _{i}\sum _{\alpha }a_{i\alpha }b_{i}^{1/p}X^{\alpha }.}
7567:
3817:{\displaystyle \sum _{i}\left(\sum _{\alpha }a_{i\alpha }X^{\alpha }\right)\otimes b_{i}=\sum _{i}\sum _{\alpha }X^{\alpha }\otimes a_{i\alpha }^{p}b_{i},}
2176:
5943:{\displaystyle \sum _{i}\left(\sum _{\alpha }a_{i\alpha }X^{\alpha }\right)\otimes b_{i}\mapsto \sum _{i}\sum _{\alpha }a_{i\alpha }b_{i}^{p}X^{\alpha }.}
4043:
6114:
8444:
3146:
7758:
53:
8613:
6829:
6596:
6933:
5965:
4373:
8216:
is the Galois group of the extension of residue fields. The
Frobenius element then can be defined for elements of the ring of integers of
4251:
5663:
5352:
3597:
2350:
100:
8905:
119:
7114:
1210:
is an integral domain, then by the same reasoning, the fixed points of
Frobenius are the elements of the prime field. However, if
72:
4795:
2251:
which are not cyclic. However, because the
Frobenius automorphism is a generator of the Galois group of every finite extension of
8978:
5375:
5104:
6757:
5055:{\displaystyle \sum _{i}\sum _{\alpha }X^{\alpha }\otimes a_{i\alpha }\mapsto \sum _{i}\sum _{\alpha }a_{i\alpha }X^{p\alpha }.}
4179:
789:
79:
542:
57:
8808:
give the result of the
Frobenius map for the primes 2, 3 and 5, and so on for larger primes not equal to 11 or of the form
8956:
8938:
1554:
8226:
8095:
7212:
2655:
271:
86:
6365:
2462:
with itself. The absolute
Frobenius morphism is a natural transformation from the identity functor on the category of
8951:
8933:
696:
4344:
Because extension of scalars is base change, it preserves limits and coproducts. This implies in particular that if
5465:
3388:{\displaystyle c\cdot \sum a_{\alpha }X^{\alpha }=\sum F(c)a_{\alpha }X^{\alpha }=\sum c^{p}a_{\alpha }X^{\alpha }.}
8897:
4591:
1097:
137:
68:
46:
8718:
145:
6451:
5558:
4685:
3446:
3028:
1743:
8578:
is an abelian extension of global fields, we get a much stronger congruence since it depends only on the prime
4605:
163:
450:
8946:
8928:
8852:
8162:
2495:
8983:
8973:
4530:
4348:
has an algebraic structure defined in terms of finite limits (such as being a group scheme), then so does
2820:
2777:
2737:
2616:
2576:
1508:
1468:
1428:
1378:
1298:
1258:
949:
853:
845:
8769:
2087:
7924:{\displaystyle {\mathcal {O}}_{X}{\xrightarrow {{\overset {}{F}}_{X/S}^{a}}}{\mathcal {O}}_{X}\to k(x)}
7512:
6276:
1637:
5065:
Relative Frobenius is compatible with base change in the sense that, under the natural isomorphism of
201:
of positive characteristic always has prime characteristic, for example). The Frobenius endomorphism
8885:
4668:
Because the absolute Frobenius morphism is natural, the relative Frobenius morphism is a morphism of
2271:
442:
93:
8872:
8209:
2277:
133:
2157:{\displaystyle \operatorname {Gal} \left({\overline {\mathbf {F} _{q}}}/\mathbf {F} _{q}\right),}
1816:
1334:
156:
8405:
7292:
6558:
6327:
6235:
6200:
211:
8901:
2168:
957:
666:
8911:
8889:
8184:
7980:
7950:
402:
1856:
8915:
8354:
and so is unramified at the prime 3; it is also irreducible mod 3. Hence adjoining a root
1159:
198:
8816:(which split). It is immediately apparent how the Frobenius map gives a result equal mod
3398:
Because restriction of scalars by Frobenius is simply composition, many properties of
2860:. Its differential is zero. It preserves products, meaning that for any two schemes
2649:
would commute with applying the Frobenius endomorphism. But this is not true because:
17:
8967:
8837:
8312:
7967:
7639:{\displaystyle \sum a_{\alpha }X^{\alpha }\mapsto \sum a_{\alpha }^{1/p}X^{\alpha }.}
2241:{\displaystyle {\widehat {\mathbf {Z} }}=\varprojlim _{n}\mathbf {Z} /n\mathbf {Z} ,}
1641:
1073:
170:
4163:{\displaystyle \operatorname {Spec} A/\left(f_{1}^{(p)},\ldots ,f_{m}^{(p)}\right),}
8847:
8341:
8180:
6178:{\displaystyle \sum a_{\alpha }X^{\alpha }\mapsto \sum a_{\alpha }^{p}X^{\alpha }.}
4357:
Extension of scalars is well-behaved with respect to base change: Given a morphism
1775:
1653:
1029:-th power (the difference between the degrees of its numerator and denominator) is
178:
160:
149:
8533:{\displaystyle \rho ^{3}+3(460+183\rho -354\rho ^{2}-979\rho ^{3}-575\rho ^{4})}
8188:
7959:
3214:{\displaystyle c\cdot \sum a_{\alpha }X^{\alpha }=\sum ca_{\alpha }X^{\alpha },}
438:
153:
35:
27:
In a ring with prime characteristic p, the map raising elements to the pth power
8842:
7947:
7689:. The arithmetic and geometric Frobenius morphisms are then endomorphisms of
7658:
is an isomorphism. Then it generates a subgroup of the automorphism group of
917:
7821:{\displaystyle {\mathcal {O}}_{X}\to k(x){\xrightarrow {\overset {}{F}}}k(x)}
905:
is any nilpotent, then one of its powers will be nilpotent of order at most
872:
868:
434:
2856:
The absolute Frobenius morphism is a purely inseparable morphism of degree
2492:-schemes. In general, however, it is not. For example, consider the ring
7966:
that induces the Frobenius endomorphism in the corresponding extension of
8696:{\displaystyle \beta ^{5}+\beta ^{4}-4\beta ^{3}-3\beta ^{2}+3\beta +1=0}
3411:
under appropriate hypotheses on the Frobenius morphism. For example, if
2437:. Consequently, the Frobenius morphism glues to give an endomorphism of
2292:
be a morphism of schemes, and denote the absolute Frobenius morphisms of
6917:{\displaystyle f_{j}^{(1/p)}=\sum _{\beta }f_{j\beta }^{1/p}X^{\beta },}
6741:{\displaystyle R^{(1/p)}=A/(f_{1},\ldots ,f_{m})\otimes _{A}A_{F^{-1}}.}
2270:
There are several different ways to define the Frobenius morphism for a
8550:
and is the correct global Frobenius image in terms of the embedding of
8063:. We may define the Frobenius map for elements of the ring of integers
7086:{\displaystyle R^{(1/p)}\cong A/(f_{1}^{(1/p)},\ldots ,f_{m}^{(1/p)}).}
6098:{\displaystyle R^{(p)}=A/\left(f_{1}^{(p)},\ldots ,f_{m}^{(p)}\right),}
2488:
is the identity, then the absolute Frobenius morphism is a morphism of
849:
4481:{\displaystyle X^{(p/S)}\times _{S}S'\cong (X\times _{S}S')^{(p/S')}.}
3538:. Like restriction of scalars, extension of scalars is a functor: An
7860:
7796:
4323:{\displaystyle f_{j}^{(p)}=\sum _{\beta }f_{j\beta }^{p}X^{\beta }.}
2276:
5790:{\displaystyle R^{(p)}=A/(f_{1},\ldots ,f_{m})\otimes _{A}A_{F},}
2425:, then by the naturality of Frobenius, the Frobenius morphism on
3655:{\displaystyle X^{(p)}=\operatorname {Spec} R\otimes _{A}A_{F}.}
2970:. The restriction of scalars is actually a functor, because an
2810:
induced by Frobenius. Consequently, the Frobenius morphism on
1177:(such as the algebraic closure or another finite field), then
29:
7196:{\displaystyle F_{X/S}^{g}:X^{(1/p)}\to X\times _{S}S\cong X}
1150:
roots of this equation, and because this equation has degree
8848:
Finite field § Frobenius automorphism and Galois theory
7895:
7844:
7765:
4924:{\displaystyle R^{(p)}=A/(f_{1}^{(p)},\ldots ,f_{m}^{(p)}).}
1544:
Iterating the Frobenius map gives a sequence of elements in
8896:. Cambridge studies in advanced mathematics. Vol. 27.
5449:{\displaystyle F_{X/S}^{a}:X^{(p)}\to X\times _{S}S\cong X}
5194:{\displaystyle F_{X/S}\times 1_{S'}=F_{X\times _{S}S'/S'}.}
1880:
many roots, since we are in a field. Every automorphism of
1295:
th iterate of the Frobenius automorphism: Every element of
6813:{\displaystyle f_{j}=\sum _{\beta }f_{j\beta }X^{\beta },}
4235:{\displaystyle f_{j}=\sum _{\beta }f_{j\beta }X^{\beta },}
1505:
th iterate of Frobenius are the elements of the image of
913:
is a field then the Frobenius endomorphism is injective.
901:. In fact, this is necessary and sufficient, because if
385:
is 1 as well. Moreover, it also respects the addition of
8398:
under the Frobenius map by locating the root nearest to
7719:. This set comes with a Galois action: Each such point
834:{\displaystyle \varphi \circ F_{R}=F_{S}\circ \varphi .}
8027:
is unramified means by definition that the integers of
7693:, and so they lead to an action of the Galois group of
2609:-algebras. If it were, then multiplying by an element
1052:. In particular, it can't be 1, which is the degree of
651:{\displaystyle F(r+s)=(r+s)^{p}=r^{p}+s^{p}=F(r)+F(s).}
520:. Therefore, the coefficients of all the terms except
8732:
979:. If it did, then there would be a rational function
8721:
8712:. This extension is cyclic of order five, with roots
8616:
8447:
8229:
8098:
7840:
7761:
7570:
7515:
7353:
7295:
7215:
7117:
6936:
6832:
6760:
6599:
6561:
6454:
6368:
6330:
6279:
6238:
6203:
6117:
5968:
5809:
5666:
5561:
5468:
5378:
5204:
Relative Frobenius is a universal homeomorphism. If
5107:
4953:
4798:
4688:
4608:
4533:
4376:
4254:
4182:
4046:
3870:
3680:
3600:
3449:
3278:
3149:
3031:
2823:
2780:
2740:
2658:
2619:
2579:
2498:
2417:-algebra, so it admits a Frobenius endomorphism. If
2349:. Then the above diagram commutes and the square is
2179:
2098:
2086:
The Frobenius automorphism is not a generator of the
1859:
1819:
1746:
1557:
1511:
1471:
1431:
1381:
1337:
1301:
1261:
792:
699:
545:
453:
274:
214:
8417:
in this way; this is a polynomial of degree four in
7650:
Arithmetic and geometric Frobenius as Galois actions
4934:
The relative Frobenius morphism is the homomorphism
1626:{\displaystyle x,x^{p},x^{p^{2}},x^{p^{3}},\ldots .}
1188:
is the fixed field of the Frobenius automorphism of
8277:{\displaystyle s_{\Phi }(x)\equiv x^{q}\mod \Phi ,}
8146:{\displaystyle s_{\Phi }(x)\equiv x^{q}\mod \Phi .}
7279:{\displaystyle F_{X/S}^{g}=1_{X}\times F_{S}^{-1}.}
5800:then the arithmetic Frobenius is the homomorphism:
5224:is a closed immersion determined by an ideal sheaf
5214:is an open immersion, then it is the identity. If
2720:{\displaystyle b\cdot a=ba\neq F(b)\cdot a=b^{p}a.}
368:{\displaystyle F(rs)=(rs)^{p}=r^{p}s^{p}=F(r)F(s),}
60:. Unsourced material may be challenged and removed.
8753:
8695:
8532:
8311:Lifts of the Frobenius are in correspondence with
8276:
8145:
7923:
7820:
7638:
7553:
7494:
7316:
7278:
7195:
7085:
6916:
6812:
6740:
6582:
6544:
6434:
6351:
6312:
6261:
6224:
6177:
6097:
5942:
5789:
5651:
5523:
5448:
5193:
5054:
4923:
4778:
4657:
4579:
4480:
4322:
4234:
4162:
4020:
3816:
3654:
3497:
3387:
3213:
3121:
2845:
2802:
2762:
2719:
2641:
2601:
2526:
2240:
2156:
1872:
1845:
1766:
1636:This sequence of iterates is used in defining the
1625:
1533:
1493:
1453:
1403:
1363:
1323:
1283:
1255:A similar property is enjoyed on the finite field
833:
746:
650:
497:
367:
242:
7979:is an unramified extension of local fields, with
6435:{\displaystyle X^{(1/p)}=X\times _{S}S_{F^{-1}}.}
2901:Restriction and extension of scalars by Frobenius
1125:. Equivalently, it is a root of the polynomial
844:This means that the Frobenius endomorphism is a
747:{\displaystyle \varphi (x^{p})=\varphi (x)^{p}.}
193:be a commutative ring with prime characteristic
8408:. We obtain an element of the ring of integers
6193:Assume that the absolute Frobenius morphism of
5249:and relative Frobenius is the augmentation map
2559:being the identity. The Frobenius morphism on
2167:because this Galois group is isomorphic to the
5524:{\displaystyle F_{X/S}^{a}=1_{X}\times F_{S}.}
1785:, we know that the Galois group is cyclic and
7993:such that the residue field, the integers of
7344:above, geometric Frobenius is defined to be:
2774:begins with, and the latter is the action of
871:elements, then the Frobenius endomorphism is
686:is a homomorphism of rings of characteristic
173:. The endomorphism maps every element to its
8:
7548:
7516:
6320:. Then there is an extension of scalars of
8754:{\displaystyle 2\cos {\tfrac {2\pi n}{11}}}
2458:. By definition, it is a homeomorphism of
8586:. For an example, consider the extension
6545:{\displaystyle R=A/(f_{1},\ldots ,f_{m}),}
5652:{\displaystyle R=A/(f_{1},\ldots ,f_{m}),}
4779:{\displaystyle R=A/(f_{1},\ldots ,f_{m}).}
4333:A similar description holds for arbitrary
3498:{\displaystyle X^{(p)}=X\times _{S}S_{F}.}
3122:{\displaystyle R=A/(f_{1},\ldots ,f_{m}).}
1767:{\displaystyle \mathbf {F} _{q}^{\times }}
1718:, so it is an element of the Galois group
1081:Fixed points of the Frobenius endomorphism
916:The Frobenius morphism is not necessarily
8731:
8720:
8666:
8650:
8634:
8621:
8615:
8521:
8505:
8489:
8452:
8446:
8267:
8266:
8256:
8234:
8228:
8136:
8135:
8125:
8103:
8097:
7900:
7894:
7893:
7883:
7874:
7870:
7862:
7855:
7849:
7843:
7842:
7839:
7791:
7770:
7764:
7763:
7760:
7627:
7613:
7609:
7604:
7588:
7578:
7569:
7535:
7528:
7523:
7514:
7483:
7469:
7465:
7460:
7447:
7437:
7427:
7414:
7396:
7383:
7373:
7358:
7352:
7305:
7300:
7294:
7264:
7259:
7246:
7233:
7224:
7220:
7214:
7178:
7155:
7148:
7135:
7126:
7122:
7116:
7064:
7057:
7052:
7026:
7019:
7014:
7002:
6993:
6974:
6948:
6941:
6935:
6905:
6891:
6887:
6879:
6869:
6849:
6842:
6837:
6831:
6801:
6788:
6778:
6765:
6759:
6724:
6719:
6709:
6696:
6677:
6665:
6656:
6637:
6611:
6604:
6598:
6571:
6566:
6560:
6530:
6511:
6499:
6490:
6471:
6453:
6418:
6413:
6403:
6380:
6373:
6367:
6340:
6335:
6329:
6289:
6284:
6278:
6248:
6243:
6237:
6213:
6208:
6202:
6166:
6156:
6151:
6135:
6125:
6116:
6075:
6070:
6045:
6040:
6026:
6017:
5998:
5973:
5967:
5931:
5921:
5916:
5903:
5893:
5883:
5870:
5852:
5839:
5829:
5814:
5808:
5778:
5768:
5755:
5736:
5724:
5715:
5696:
5671:
5665:
5637:
5618:
5606:
5597:
5578:
5560:
5512:
5499:
5486:
5477:
5473:
5467:
5431:
5409:
5396:
5387:
5383:
5377:
5173:
5159:
5151:
5133:
5116:
5112:
5106:
5040:
5027:
5017:
5007:
4991:
4978:
4968:
4958:
4952:
4903:
4898:
4873:
4868:
4856:
4847:
4828:
4803:
4797:
4764:
4745:
4733:
4724:
4705:
4687:
4658:{\displaystyle F_{X/S}=(F_{X},\varphi ).}
4637:
4617:
4613:
4607:
4590:defined by the universal property of the
4565:
4542:
4538:
4532:
4457:
4450:
4432:
4405:
4388:
4381:
4375:
4311:
4301:
4293:
4283:
4264:
4259:
4253:
4223:
4210:
4200:
4187:
4181:
4140:
4135:
4110:
4105:
4091:
4082:
4063:
4045:
4006:
3988:
3975:
3965:
3950:
3937:
3919:
3906:
3896:
3881:
3869:
3805:
3795:
3787:
3774:
3764:
3754:
3741:
3723:
3710:
3700:
3685:
3679:
3643:
3633:
3605:
3599:
3486:
3476:
3454:
3448:
3376:
3366:
3356:
3340:
3330:
3302:
3292:
3277:
3202:
3192:
3173:
3163:
3148:
3107:
3088:
3076:
3067:
3048:
3030:
2835:
2830:
2825:
2822:
2792:
2787:
2782:
2779:
2752:
2747:
2742:
2739:
2705:
2657:
2631:
2626:
2621:
2618:
2591:
2586:
2581:
2578:
2516:
2511:
2506:
2497:
2230:
2222:
2217:
2208:
2198:
2183:
2181:
2180:
2178:
2140:
2135:
2129:
2118:
2113:
2110:
2097:
1864:
1858:
1829:
1824:
1818:
1758:
1753:
1748:
1745:
1606:
1601:
1586:
1581:
1568:
1556:
1523:
1518:
1513:
1510:
1483:
1478:
1473:
1470:
1443:
1438:
1433:
1430:
1393:
1388:
1383:
1380:
1347:
1342:
1336:
1313:
1308:
1303:
1300:
1273:
1268:
1263:
1260:
816:
803:
791:
735:
710:
698:
609:
596:
583:
544:
454:
452:
329:
319:
306:
273:
234:
213:
120:Learn how and when to remove this message
8208:. Since the extension is unramified the
177:-th power. In certain contexts it is an
8864:
7831:is the same as the composite morphism:
7654:Suppose that the Frobenius morphism of
1501:-algebra, then the fixed points of the
498:{\displaystyle {\frac {p!}{k!(p-k)!}},}
3018:and a finitely presented algebra over
2527:{\displaystyle A=\mathbf {F} _{p^{2}}}
2484:-scheme and the Frobenius morphism of
261:. It respects the multiplication of
7:
4580:{\displaystyle F_{X/S}:X\to X^{(p)}}
3526:is not clear from the context, then
3224:where α is a multi-index. Let
2846:{\displaystyle \mathbf {F} _{p^{2}}}
2803:{\displaystyle \mathbf {F} _{p^{2}}}
2763:{\displaystyle \mathbf {F} _{p^{2}}}
2642:{\displaystyle \mathbf {F} _{p^{2}}}
2602:{\displaystyle \mathbf {F} _{p^{2}}}
1895:, and the generators are the powers
1534:{\displaystyle \mathbf {F} _{p^{n}}}
1494:{\displaystyle \mathbf {F} _{p^{n}}}
1454:{\displaystyle \mathbf {F} _{p^{n}}}
1404:{\displaystyle \mathbf {F} _{p^{n}}}
1324:{\displaystyle \mathbf {F} _{p^{n}}}
1284:{\displaystyle \mathbf {F} _{p^{n}}}
1228:roots; for example, this happens if
58:adding citations to reliable sources
2968:restriction of scalars by Frobenius
2441:. This endomorphism is called the
775:are the Frobenius endomorphisms of
181:, but this is not true in general.
169:, an important class that includes
8291:is the order of the residue field
8268:
8235:
8137:
8104:
8039:, will be a finite field of order
7997:modulo their unique maximal ideal
6927:and then there is an isomorphism:
5534:That is, it is the base change of
5353:Arithmetic and geometric Frobenius
4367:, there is a natural isomorphism:
1951:, then the Frobenius automorphism
25:
7748:, and the action of Frobenius on
7554:{\displaystyle \{f_{j}^{(1/p)}\}}
6313:{\displaystyle F_{S}^{-1}:S\to S}
5296:is unramified and if and only if
5243:is determined by the ideal sheaf
3573:and a finitely presented algebra
3438:extension of scalars by Frobenius
3424:are both finite type, then so is
2919:is the structure morphism for an
1415:is the Frobenius automorphism of
893:, which by definition means that
783:, then this can be rewritten as:
441:, of the explicit formula of the
4508:-scheme with structure morphism
2826:
2783:
2743:
2622:
2582:
2507:
2388:. Choose an open affine subset
2231:
2218:
2184:
2136:
2114:
1749:
1514:
1474:
1434:
1384:
1304:
1264:
948:elements together with a single
34:
8262:
8131:
8045:extending the residue field of
2433:, is the Frobenius morphism on
2373:The absolute Frobenius morphism
1648:As a generator of Galois groups
1056:. This is a contradiction; so
433:; it therefore will divide the
45:needs additional citations for
8527:
8464:
8371:gives an unramified extension
8246:
8240:
8115:
8109:
7918:
7912:
7906:
7815:
7809:
7788:
7782:
7776:
7723:corresponds to a homomorphism
7594:
7543:
7529:
7420:
7168:
7163:
7149:
7077:
7072:
7058:
7034:
7020:
7007:
6999:
6967:
6956:
6942:
6857:
6843:
6702:
6670:
6662:
6630:
6619:
6605:
6536:
6504:
6496:
6464:
6388:
6374:
6304:
6141:
6082:
6076:
6052:
6046:
6023:
5991:
5980:
5974:
5876:
5761:
5729:
5721:
5689:
5678:
5672:
5643:
5611:
5603:
5571:
5421:
5416:
5410:
5000:
4915:
4910:
4904:
4880:
4874:
4861:
4853:
4821:
4810:
4804:
4770:
4738:
4730:
4698:
4649:
4630:
4572:
4566:
4558:
4470:
4451:
4447:
4422:
4396:
4382:
4271:
4265:
4147:
4141:
4117:
4111:
4088:
4056:
3612:
3606:
3461:
3455:
3323:
3317:
3113:
3081:
3073:
3041:
2689:
2683:
2381:is a scheme of characteristic
1966:does not fix the ground field
1912:Now consider the finite field
924:is a field. For example, let
897:is nilpotent of order at most
732:
725:
716:
703:
642:
636:
627:
621:
580:
567:
561:
549:
536:, and hence they vanish. Thus
483:
471:
359:
353:
347:
341:
303:
293:
287:
278:
224:
218:
1:
8603:obtained by adjoining a root
8001:, is a finite field of order
5359:arithmetic Frobenius morphism
3250:, but its structure morphism
3007:For example, consider a ring
1789:is a generator. The order of
1692:. The Frobenius automorphism
1375:is an algebraic extension of
1166:is an algebraic extension of
8569:-adic results will suffice.
7736:from the structure sheaf to
7098:geometric Frobenius morphism
5330:is étale and if and only if
3853:. The action of an element
2730:The former is the action of
2421:is an open affine subset of
2124:
1199:be a ring of characteristic
8952:Encyclopedia of Mathematics
8934:Encyclopedia of Mathematics
8394:. We may find the image of
8169:are defined for extensions
8157:Frobenius for global fields
8009:is a power of a prime. If
6197:is invertible with inverse
6108:then this homomorphism is:
4675:Consider, for example, the
4516:relative Frobenius morphism
3831:is a multi-index and every
3569:As before, consider a ring
2573:. It is not a morphism of
2443:absolute Frobenius morphism
1846:{\displaystyle x^{p^{j}}=x}
1364:{\displaystyle X^{p^{n}}-X}
9000:
8898:Cambridge University Press
7942:Frobenius for local fields
7561:, geometric Frobenius is:
7336:Continuing our example of
7317:{\displaystyle F_{S}^{-1}}
6583:{\displaystyle F_{S}^{-1}}
6555:then extending scalars by
6352:{\displaystyle F_{S}^{-1}}
6262:{\displaystyle S_{F^{-1}}}
6225:{\displaystyle F_{S}^{-1}}
5350:
3261:, and hence the action of
1419:, then the fixed field of
1085:Consider the finite field
1025:. But the degree of this
401:can be expanded using the
243:{\displaystyle F(r)=r^{p}}
8421:with coefficients in the
8220:as in the local case, by
7289:It is the base change of
4599:(see the diagram above):
2931:has a Frobenius morphism
2332:to be the base change of
1048:, which is a multiple of
146:Ferdinand Georg Frobenius
8947:"Frobenius endomorphism"
8929:"Frobenius automorphism"
8768:. It has roots that are
7962:, there is a concept of
3508:The projection onto the
2770:-algebra structure that
2019:. It is the subgroup of
69:"Frobenius endomorphism"
8979:Algebraic number theory
8894:Algebraic number theory
8853:Universal homeomorphism
8544:This is algebraic over
8198:that are unramified in
8163:algebraic number theory
8035:, the residue field of
7744:, the residue field at
7685:may be identified with
2549:with the structure map
2326:, respectively. Define
1987:does. The Galois group
1678:be the finite field of
1465:is a domain that is an
1098:Fermat's little theorem
1060:is not in the image of
944:be the finite field of
8824:-th power of the root
8755:
8697:
8534:
8358:of it to the field of
8278:
8147:
7964:Frobenius endomorphism
7925:
7822:
7640:
7555:
7496:
7318:
7280:
7197:
7087:
6918:
6814:
6742:
6584:
6546:
6436:
6353:
6314:
6263:
6226:
6179:
6099:
5944:
5791:
5653:
5525:
5450:
5195:
5056:
4925:
4780:
4659:
4581:
4482:
4324:
4236:
4164:
4022:
3818:
3656:
3499:
3389:
3215:
3123:
2847:
2804:
2764:
2721:
2643:
2603:
2528:
2369:
2368:is relative Frobenius.
2242:
2158:
1874:
1847:
1768:
1707:fixes the prime field
1627:
1535:
1495:
1455:
1405:
1365:
1325:
1285:
1214:is not a domain, then
950:transcendental element
846:natural transformation
835:
748:
652:
499:
369:
244:
142:Frobenius endomorphism
18:Frobenius automorphism
8871:This is known as the
8770:Chebyshev polynomials
8756:
8698:
8535:
8404:, which we may do by
8279:
8148:
7926:
7823:
7641:
7556:
7497:
7319:
7281:
7198:
7088:
6919:
6815:
6743:
6585:
6547:
6437:
6354:
6315:
6264:
6227:
6180:
6100:
5945:
5792:
5654:
5526:
5451:
5196:
5057:
4926:
4781:
4660:
4582:
4483:
4325:
4237:
4165:
4023:
3819:
3657:
3500:
3390:
3243:is the affine scheme
3216:
3124:
2848:
2817:is not a morphism of
2805:
2765:
2722:
2644:
2604:
2529:
2429:, when restricted to
2280:
2266:Frobenius for schemes
2243:
2159:
2088:absolute Galois group
1875:
1873:{\displaystyle p^{j}}
1848:
1769:
1628:
1536:
1496:
1456:
1406:
1366:
1326:
1286:
1162:. In particular, if
971:. Then the image of
960:with coefficients in
836:
749:
653:
500:
443:binomial coefficients
409:is prime, it divides
370:
245:
8719:
8614:
8445:
8227:
8096:
7838:
7759:
7740:, which factors via
7704:Consider the set of
7568:
7513:
7351:
7293:
7213:
7115:
6934:
6830:
6758:
6597:
6559:
6452:
6366:
6328:
6277:
6236:
6201:
6115:
5966:
5807:
5664:
5559:
5466:
5376:
5347:Arithmetic Frobenius
5105:
4951:
4796:
4686:
4606:
4531:
4374:
4252:
4180:
4044:
3868:
3861:on this section is:
3678:
3665:A global section of
3598:
3447:
3276:
3147:
3029:
2821:
2778:
2738:
2656:
2617:
2577:
2496:
2473:-schemes to itself.
2177:
2096:
2047:. The generators of
2013:and is generated by
1857:
1817:
1744:
1555:
1509:
1469:
1429:
1379:
1335:
1299:
1259:
1154:it has no more than
1146:therefore determine
909:. In particular, if
790:
697:
543:
451:
272:
212:
54:improve this article
8438:this polynomial is
8210:decomposition group
8076:as an automorphism
7889:
7888:
7803:
7622:
7547:
7478:
7313:
7272:
7238:
7140:
7076:
7038:
6900:
6861:
6579:
6348:
6297:
6221:
6189:Geometric Frobenius
6161:
6086:
6056:
5926:
5491:
5401:
5343:is an isomorphism.
5309:is a monomorphism.
5279:is unramified over
4914:
4884:
4306:
4275:
4151:
4121:
3800:
2927:. The base scheme
2009:is cyclic of order
1923:as an extension of
1803:acts on an element
1763:
1224:may have more than
1135:. The elements of
134:commutative algebra
8751:
8749:
8693:
8582:in the base field
8530:
8274:
8167:Frobenius elements
8143:
7921:
7861:
7818:
7636:
7600:
7551:
7519:
7492:
7456:
7442:
7432:
7378:
7363:
7314:
7296:
7276:
7255:
7216:
7193:
7118:
7083:
7048:
7010:
6914:
6875:
6874:
6833:
6810:
6783:
6738:
6580:
6562:
6542:
6432:
6349:
6331:
6310:
6280:
6259:
6222:
6204:
6175:
6147:
6095:
6066:
6036:
5940:
5912:
5898:
5888:
5834:
5819:
5787:
5649:
5521:
5469:
5446:
5379:
5191:
5052:
5022:
5012:
4973:
4963:
4921:
4894:
4864:
4776:
4655:
4577:
4492:Relative Frobenius
4478:
4320:
4289:
4288:
4255:
4232:
4205:
4160:
4131:
4101:
4037:is isomorphic to:
4018:
3970:
3955:
3901:
3886:
3814:
3783:
3769:
3759:
3705:
3690:
3652:
3495:
3440:is defined to be:
3385:
3211:
3119:
3011:of characteristic
2843:
2800:
2760:
2717:
2639:
2599:
2524:
2370:
2238:
2213:
2206:
2169:profinite integers
2154:
1870:
1843:
1764:
1747:
1623:
1531:
1491:
1451:
1401:
1361:
1321:
1281:
958:rational functions
867:is a ring with no
856:of characteristic
848:from the identity
831:
744:
648:
495:
365:
240:
8748:
8185:Galois extensions
8053:is the degree of
7890:
7868:
7867:
7804:
7802:
7801:
7433:
7423:
7369:
7354:
6865:
6774:
5889:
5879:
5825:
5810:
5013:
5003:
4964:
4954:
4524:is the morphism:
4279:
4196:
3961:
3946:
3892:
3877:
3849:is an element of
3760:
3750:
3696:
3681:
3402:are inherited by
2199:
2197:
2191:
2127:
1807:by sending it to
1740:. In fact, since
1638:Frobenius closure
975:does not contain
860:rings to itself.
667:ring homomorphism
532:are divisible by
490:
389:. The expression
130:
129:
122:
104:
16:(Redirected from
8991:
8960:
8942:
8920:
8919:
8882:
8876:
8873:freshman's dream
8869:
8827:
8823:
8819:
8815:
8804:
8775:
8767:
8760:
8758:
8757:
8752:
8750:
8744:
8733:
8711:
8702:
8700:
8699:
8694:
8671:
8670:
8655:
8654:
8639:
8638:
8626:
8625:
8606:
8602:
8596:
8585:
8581:
8577:
8568:
8564:
8555:
8549:
8539:
8537:
8536:
8531:
8526:
8525:
8510:
8509:
8494:
8493:
8457:
8456:
8437:
8433:
8424:
8420:
8416:
8403:
8397:
8393:
8384:
8370:
8361:
8357:
8349:
8336:
8307:
8290:
8283:
8281:
8280:
8275:
8261:
8260:
8239:
8238:
8219:
8215:
8207:
8197:
8193:
8183:that are finite
8178:
8152:
8150:
8149:
8144:
8130:
8129:
8108:
8107:
8088:
8084:
8075:
8071:
8062:
8052:
8048:
8044:
8038:
8034:
8030:
8026:
8020:
8016:
8012:
8008:
8004:
8000:
7996:
7992:
7981:ring of integers
7978:
7957:
7951:finite extension
7930:
7928:
7927:
7922:
7905:
7904:
7899:
7898:
7891:
7887:
7882:
7878:
7869:
7863:
7856:
7854:
7853:
7848:
7847:
7827:
7825:
7824:
7819:
7805:
7797:
7792:
7775:
7774:
7769:
7768:
7735:
7718:
7692:
7688:
7684:
7678:
7671:
7661:
7657:
7645:
7643:
7642:
7637:
7632:
7631:
7621:
7617:
7608:
7593:
7592:
7583:
7582:
7560:
7558:
7557:
7552:
7546:
7539:
7527:
7505:After rewriting
7501:
7499:
7498:
7493:
7488:
7487:
7477:
7473:
7464:
7455:
7454:
7441:
7431:
7419:
7418:
7406:
7402:
7401:
7400:
7391:
7390:
7377:
7362:
7332:
7323:
7321:
7320:
7315:
7312:
7304:
7285:
7283:
7282:
7277:
7271:
7263:
7251:
7250:
7237:
7232:
7228:
7202:
7200:
7199:
7194:
7183:
7182:
7167:
7166:
7159:
7139:
7134:
7130:
7107:
7103:
7092:
7090:
7089:
7084:
7075:
7068:
7056:
7037:
7030:
7018:
7006:
6998:
6997:
6979:
6978:
6960:
6959:
6952:
6923:
6921:
6920:
6915:
6910:
6909:
6899:
6895:
6886:
6873:
6860:
6853:
6841:
6819:
6817:
6816:
6811:
6806:
6805:
6796:
6795:
6782:
6770:
6769:
6747:
6745:
6744:
6739:
6734:
6733:
6732:
6731:
6714:
6713:
6701:
6700:
6682:
6681:
6669:
6661:
6660:
6642:
6641:
6623:
6622:
6615:
6589:
6587:
6586:
6581:
6578:
6570:
6551:
6549:
6548:
6543:
6535:
6534:
6516:
6515:
6503:
6495:
6494:
6476:
6475:
6441:
6439:
6438:
6433:
6428:
6427:
6426:
6425:
6408:
6407:
6392:
6391:
6384:
6358:
6356:
6355:
6350:
6347:
6339:
6323:
6319:
6317:
6316:
6311:
6296:
6288:
6272:
6268:
6266:
6265:
6260:
6258:
6257:
6256:
6255:
6231:
6229:
6228:
6223:
6220:
6212:
6196:
6184:
6182:
6181:
6176:
6171:
6170:
6160:
6155:
6140:
6139:
6130:
6129:
6104:
6102:
6101:
6096:
6091:
6087:
6085:
6074:
6055:
6044:
6030:
6022:
6021:
6003:
6002:
5984:
5983:
5958:
5949:
5947:
5946:
5941:
5936:
5935:
5925:
5920:
5911:
5910:
5897:
5887:
5875:
5874:
5862:
5858:
5857:
5856:
5847:
5846:
5833:
5818:
5796:
5794:
5793:
5788:
5783:
5782:
5773:
5772:
5760:
5759:
5741:
5740:
5728:
5720:
5719:
5701:
5700:
5682:
5681:
5658:
5656:
5655:
5650:
5642:
5641:
5623:
5622:
5610:
5602:
5601:
5583:
5582:
5530:
5528:
5527:
5522:
5517:
5516:
5504:
5503:
5490:
5485:
5481:
5455:
5453:
5452:
5447:
5436:
5435:
5420:
5419:
5400:
5395:
5391:
5368:
5364:
5316:
5282:
5272:
5248:
5242:
5236:
5223:
5213:
5200:
5198:
5197:
5192:
5187:
5186:
5185:
5177:
5172:
5164:
5163:
5143:
5142:
5141:
5125:
5124:
5120:
5097:
5080:
5061:
5059:
5058:
5053:
5048:
5047:
5035:
5034:
5021:
5011:
4999:
4998:
4983:
4982:
4972:
4962:
4943:
4930:
4928:
4927:
4922:
4913:
4902:
4883:
4872:
4860:
4852:
4851:
4833:
4832:
4814:
4813:
4785:
4783:
4782:
4777:
4769:
4768:
4750:
4749:
4737:
4729:
4728:
4710:
4709:
4671:
4664:
4662:
4661:
4656:
4642:
4641:
4626:
4625:
4621:
4598:
4586:
4584:
4583:
4578:
4576:
4575:
4551:
4550:
4546:
4523:
4513:
4507:
4501:
4487:
4485:
4484:
4479:
4474:
4473:
4469:
4461:
4445:
4437:
4436:
4418:
4410:
4409:
4400:
4399:
4392:
4366:
4353:
4347:
4329:
4327:
4326:
4321:
4316:
4315:
4305:
4300:
4287:
4274:
4263:
4241:
4239:
4238:
4233:
4228:
4227:
4218:
4217:
4204:
4192:
4191:
4169:
4167:
4166:
4161:
4156:
4152:
4150:
4139:
4120:
4109:
4095:
4087:
4086:
4068:
4067:
4036:
4027:
4025:
4024:
4019:
4011:
4010:
3998:
3994:
3993:
3992:
3983:
3982:
3969:
3954:
3942:
3941:
3929:
3925:
3924:
3923:
3914:
3913:
3900:
3885:
3823:
3821:
3820:
3815:
3810:
3809:
3799:
3794:
3779:
3778:
3768:
3758:
3746:
3745:
3733:
3729:
3728:
3727:
3718:
3717:
3704:
3689:
3671:is of the form:
3670:
3661:
3659:
3658:
3653:
3648:
3647:
3638:
3637:
3616:
3615:
3590:
3581:, and again let
3565:
3555:
3551:
3541:
3537:
3531:
3525:
3521:
3517:
3511:
3504:
3502:
3501:
3496:
3491:
3490:
3481:
3480:
3465:
3464:
3414:
3401:
3394:
3392:
3391:
3386:
3381:
3380:
3371:
3370:
3361:
3360:
3345:
3344:
3335:
3334:
3307:
3306:
3297:
3296:
3269:, is different:
3260:
3249:
3242:
3233:
3220:
3218:
3217:
3212:
3207:
3206:
3197:
3196:
3178:
3177:
3168:
3167:
3128:
3126:
3125:
3120:
3112:
3111:
3093:
3092:
3080:
3072:
3071:
3053:
3052:
3017:
3003:
2987:
2983:
2973:
2956:
2943:
2930:
2926:
2922:
2918:
2896:
2867:
2863:
2859:
2852:
2850:
2849:
2844:
2842:
2841:
2840:
2839:
2829:
2816:
2809:
2807:
2806:
2801:
2799:
2798:
2797:
2796:
2786:
2773:
2769:
2767:
2766:
2761:
2759:
2758:
2757:
2756:
2746:
2733:
2726:
2724:
2723:
2718:
2710:
2709:
2648:
2646:
2645:
2640:
2638:
2637:
2636:
2635:
2625:
2612:
2608:
2606:
2605:
2600:
2598:
2597:
2596:
2595:
2585:
2572:
2566:
2562:
2558:
2548:
2541:
2537:
2533:
2531:
2530:
2525:
2523:
2522:
2521:
2520:
2510:
2491:
2487:
2483:
2479:
2472:
2461:
2457:
2448:
2440:
2436:
2432:
2428:
2424:
2420:
2416:
2405:
2401:
2397:
2387:
2380:
2367:
2348:
2337:
2331:
2325:
2314:
2303:
2297:
2291:
2261:
2247:
2245:
2244:
2239:
2234:
2226:
2221:
2212:
2207:
2193:
2192:
2187:
2182:
2163:
2161:
2160:
2155:
2150:
2146:
2145:
2144:
2139:
2133:
2128:
2123:
2122:
2117:
2111:
2082:
2078:
2074:
2068:
2046:
2040:
2018:
2012:
2008:
1986:
1980:
1976:
1965:
1954:
1950:
1943:
1933:
1922:
1908:
1904:
1900:
1894:
1890:
1879:
1877:
1876:
1871:
1869:
1868:
1852:
1850:
1849:
1844:
1836:
1835:
1834:
1833:
1812:
1806:
1802:
1796:
1792:
1788:
1782:
1773:
1771:
1770:
1765:
1762:
1757:
1752:
1739:
1717:
1706:
1695:
1691:
1682:elements, where
1681:
1677:
1666:
1632:
1630:
1629:
1624:
1613:
1612:
1611:
1610:
1593:
1592:
1591:
1590:
1573:
1572:
1547:
1540:
1538:
1537:
1532:
1530:
1529:
1528:
1527:
1517:
1500:
1498:
1497:
1492:
1490:
1489:
1488:
1487:
1477:
1460:
1458:
1457:
1452:
1450:
1449:
1448:
1447:
1437:
1424:
1418:
1414:
1410:
1408:
1407:
1402:
1400:
1399:
1398:
1397:
1387:
1374:
1370:
1368:
1367:
1362:
1354:
1353:
1352:
1351:
1330:
1328:
1327:
1322:
1320:
1319:
1318:
1317:
1307:
1290:
1288:
1287:
1282:
1280:
1279:
1278:
1277:
1267:
1251:
1227:
1223:
1213:
1209:
1205:
1198:
1191:
1187:
1176:
1165:
1157:
1153:
1149:
1145:
1134:
1124:
1114:
1103:
1100:, every element
1095:
1070:
1063:
1059:
1055:
1051:
1047:
1028:
1024:
1020:
1001:
997:
978:
974:
970:
956:is the field of
955:
952:; equivalently,
947:
943:
923:
912:
908:
904:
900:
896:
892:
885:
866:
859:
840:
838:
837:
832:
821:
820:
808:
807:
782:
778:
774:
765:
753:
751:
750:
745:
740:
739:
715:
714:
689:
685:
661:This shows that
657:
655:
654:
649:
614:
613:
601:
600:
588:
587:
535:
531:
525:
519:
504:
502:
501:
496:
491:
489:
463:
455:
432:
422:
415:
408:
403:binomial theorem
400:
388:
384:
374:
372:
371:
366:
334:
333:
324:
323:
311:
310:
249:
247:
246:
241:
239:
238:
196:
192:
176:
168:
125:
118:
114:
111:
105:
103:
62:
38:
30:
21:
8999:
8998:
8994:
8993:
8992:
8990:
8989:
8988:
8964:
8963:
8945:
8927:
8924:
8923:
8908:
8900:. p. 144.
8884:
8883:
8879:
8870:
8866:
8861:
8834:
8825:
8821:
8817:
8809:
8780:
8773:
8765:
8734:
8717:
8716:
8707:
8662:
8646:
8630:
8617:
8612:
8611:
8604:
8598:
8587:
8583:
8579:
8573:
8566:
8563:
8557:
8551:
8545:
8517:
8501:
8485:
8448:
8443:
8442:
8435:
8432:
8426:
8425:-adic integers
8422:
8418:
8415:
8409:
8406:Newton's method
8399:
8395:
8392:
8386:
8378:
8372:
8369:
8363:
8359:
8355:
8347:
8327:
8323:The polynomial
8321:
8304:
8297:
8292:
8288:
8252:
8230:
8225:
8224:
8217:
8213:
8199:
8195:
8191:
8170:
8159:
8121:
8099:
8094:
8093:
8086:
8083:
8077:
8073:
8069:
8064:
8054:
8050:
8046:
8040:
8036:
8032:
8028:
8022:
8018:
8014:
8010:
8006:
8002:
7998:
7994:
7990:
7987:
7974:
7953:
7944:
7892:
7841:
7836:
7835:
7762:
7757:
7756:
7729:
7724:
7709:
7690:
7686:
7680:
7674:
7663:
7659:
7655:
7652:
7623:
7584:
7574:
7566:
7565:
7511:
7510:
7479:
7443:
7410:
7392:
7379:
7368:
7364:
7349:
7348:
7331:
7325:
7291:
7290:
7242:
7211:
7210:
7174:
7144:
7113:
7112:
7108:is a morphism:
7105:
7101:
6989:
6970:
6937:
6932:
6931:
6901:
6828:
6827:
6823:then we write:
6797:
6784:
6761:
6756:
6755:
6720:
6715:
6705:
6692:
6673:
6652:
6633:
6600:
6595:
6594:
6557:
6556:
6526:
6507:
6486:
6467:
6450:
6449:
6414:
6409:
6399:
6369:
6364:
6363:
6326:
6325:
6321:
6275:
6274:
6270:
6244:
6239:
6234:
6233:
6199:
6198:
6194:
6191:
6162:
6131:
6121:
6113:
6112:
6035:
6031:
6013:
5994:
5969:
5964:
5963:
5954:
5927:
5899:
5866:
5848:
5835:
5824:
5820:
5805:
5804:
5774:
5764:
5751:
5732:
5711:
5692:
5667:
5662:
5661:
5633:
5614:
5593:
5574:
5557:
5556:
5548:
5542:
5508:
5495:
5464:
5463:
5427:
5405:
5374:
5373:
5369:is a morphism:
5366:
5362:
5355:
5349:
5342:
5329:
5317:if and only if
5314:
5308:
5295:
5283:if and only if
5280:
5266:
5255:
5250:
5244:
5238:
5234:
5229:
5215:
5205:
5178:
5165:
5155:
5147:
5134:
5129:
5108:
5103:
5102:
5092:
5082:
5075:
5066:
5036:
5023:
4987:
4974:
4949:
4948:
4935:
4843:
4824:
4799:
4794:
4793:
4760:
4741:
4720:
4701:
4684:
4683:
4669:
4633:
4609:
4604:
4603:
4594:
4561:
4534:
4529:
4528:
4519:
4509:
4503:
4497:
4494:
4462:
4446:
4438:
4428:
4411:
4401:
4377:
4372:
4371:
4358:
4349:
4345:
4307:
4250:
4249:
4219:
4206:
4183:
4178:
4177:
4100:
4096:
4078:
4059:
4042:
4041:
4032:
4002:
3984:
3971:
3960:
3956:
3933:
3915:
3902:
3891:
3887:
3866:
3865:
3848:
3839:
3801:
3770:
3737:
3719:
3706:
3695:
3691:
3676:
3675:
3666:
3639:
3629:
3601:
3596:
3595:
3582:
3557:
3553:
3543:
3539:
3533:
3527:
3523:
3519:
3513:
3509:
3482:
3472:
3450:
3445:
3444:
3432:
3423:
3412:
3410:
3399:
3372:
3362:
3352:
3336:
3326:
3298:
3288:
3274:
3273:
3251:
3244:
3240:
3235:
3225:
3198:
3188:
3169:
3159:
3145:
3144:
3103:
3084:
3063:
3044:
3027:
3026:
3012:
3001:
2994:
2989:
2985:
2975:
2971:
2965:
2954:
2952:
2941:
2939:
2928:
2924:
2920:
2906:
2903:
2894:
2887:
2881:
2869:
2865:
2861:
2857:
2831:
2824:
2819:
2818:
2811:
2788:
2781:
2776:
2775:
2771:
2748:
2741:
2736:
2735:
2731:
2701:
2654:
2653:
2627:
2620:
2615:
2614:
2610:
2587:
2580:
2575:
2574:
2568:
2564:
2560:
2550:
2543:
2539:
2535:
2512:
2505:
2494:
2493:
2489:
2485:
2481:
2477:
2471:
2463:
2459:
2455:
2450:
2446:
2438:
2434:
2430:
2426:
2422:
2418:
2415:
2407:
2403:
2399:
2389:
2382:
2378:
2375:
2366:
2354:
2353:. The morphism
2347:
2339:
2333:
2327:
2324:
2316:
2313:
2305:
2299:
2293:
2282:
2268:
2260:
2252:
2175:
2174:
2134:
2112:
2109:
2105:
2094:
2093:
2080:
2076:
2070:
2069:are the powers
2066:
2057:
2048:
2042:
2038:
2029:
2020:
2014:
2010:
2006:
1997:
1988:
1982:
1978:
1975:
1967:
1964:
1956:
1952:
1945:
1935:
1932:
1924:
1921:
1913:
1906:
1902:
1896:
1892:
1889:
1881:
1860:
1855:
1854:
1825:
1820:
1815:
1814:
1808:
1804:
1798:
1794:
1790:
1786:
1777:
1742:
1741:
1737:
1728:
1719:
1716:
1708:
1705:
1697:
1693:
1683:
1679:
1676:
1668:
1665:
1657:
1650:
1602:
1597:
1582:
1577:
1564:
1553:
1552:
1545:
1519:
1512:
1507:
1506:
1479:
1472:
1467:
1466:
1439:
1432:
1427:
1426:
1420:
1416:
1412:
1389:
1382:
1377:
1376:
1372:
1343:
1338:
1333:
1332:
1309:
1302:
1297:
1296:
1269:
1262:
1257:
1256:
1250:
1241:
1229:
1225:
1215:
1211:
1207:
1200:
1196:
1189:
1186:
1178:
1175:
1167:
1163:
1158:roots over any
1155:
1151:
1147:
1144:
1136:
1126:
1116:
1113:
1105:
1101:
1094:
1086:
1083:
1068:
1061:
1057:
1053:
1049:
1030:
1026:
1022:
1003:
999:
980:
976:
972:
969:
961:
953:
945:
937:
925:
921:
910:
906:
902:
898:
894:
887:
876:
864:
857:
812:
799:
788:
787:
780:
776:
772:
767:
763:
758:
731:
706:
695:
694:
687:
673:
605:
592:
579:
541:
540:
533:
527:
521:
509:
464:
456:
449:
448:
424:
417:
410:
406:
390:
386:
379:
325:
315:
302:
270:
269:
230:
210:
209:
199:integral domain
194:
190:
187:
174:
166:
148:) is a special
126:
115:
109:
106:
63:
61:
51:
39:
28:
23:
22:
15:
12:
11:
5:
8997:
8995:
8987:
8986:
8981:
8976:
8966:
8965:
8962:
8961:
8943:
8922:
8921:
8906:
8877:
8863:
8862:
8860:
8857:
8856:
8855:
8850:
8845:
8840:
8833:
8830:
8806:
8805:
8762:
8761:
8747:
8743:
8740:
8737:
8730:
8727:
8724:
8704:
8703:
8692:
8689:
8686:
8683:
8680:
8677:
8674:
8669:
8665:
8661:
8658:
8653:
8649:
8645:
8642:
8637:
8633:
8629:
8624:
8620:
8561:
8542:
8541:
8529:
8524:
8520:
8516:
8513:
8508:
8504:
8500:
8497:
8492:
8488:
8484:
8481:
8478:
8475:
8472:
8469:
8466:
8463:
8460:
8455:
8451:
8430:
8413:
8390:
8376:
8367:
8362:-adic numbers
8352:
8351:
8338:
8337:
8320:
8317:
8302:
8295:
8285:
8284:
8273:
8270:
8265:
8259:
8255:
8251:
8248:
8245:
8242:
8237:
8233:
8158:
8155:
8154:
8153:
8142:
8139:
8134:
8128:
8124:
8120:
8117:
8114:
8111:
8106:
8102:
8081:
8067:
8013:is a prime of
7985:
7968:residue fields
7943:
7940:
7932:
7931:
7920:
7917:
7914:
7911:
7908:
7903:
7897:
7886:
7881:
7877:
7873:
7866:
7859:
7852:
7846:
7829:
7828:
7817:
7814:
7811:
7808:
7800:
7795:
7790:
7787:
7784:
7781:
7778:
7773:
7767:
7727:
7651:
7648:
7647:
7646:
7635:
7630:
7626:
7620:
7616:
7612:
7607:
7603:
7599:
7596:
7591:
7587:
7581:
7577:
7573:
7550:
7545:
7542:
7538:
7534:
7531:
7526:
7522:
7518:
7503:
7502:
7491:
7486:
7482:
7476:
7472:
7468:
7463:
7459:
7453:
7450:
7446:
7440:
7436:
7430:
7426:
7422:
7417:
7413:
7409:
7405:
7399:
7395:
7389:
7386:
7382:
7376:
7372:
7367:
7361:
7357:
7327:
7311:
7308:
7303:
7299:
7287:
7286:
7275:
7270:
7267:
7262:
7258:
7254:
7249:
7245:
7241:
7236:
7231:
7227:
7223:
7219:
7204:
7203:
7192:
7189:
7186:
7181:
7177:
7173:
7170:
7165:
7162:
7158:
7154:
7151:
7147:
7143:
7138:
7133:
7129:
7125:
7121:
7094:
7093:
7082:
7079:
7074:
7071:
7067:
7063:
7060:
7055:
7051:
7047:
7044:
7041:
7036:
7033:
7029:
7025:
7022:
7017:
7013:
7009:
7005:
7001:
6996:
6992:
6988:
6985:
6982:
6977:
6973:
6969:
6966:
6963:
6958:
6955:
6951:
6947:
6944:
6940:
6925:
6924:
6913:
6908:
6904:
6898:
6894:
6890:
6885:
6882:
6878:
6872:
6868:
6864:
6859:
6856:
6852:
6848:
6845:
6840:
6836:
6821:
6820:
6809:
6804:
6800:
6794:
6791:
6787:
6781:
6777:
6773:
6768:
6764:
6749:
6748:
6737:
6730:
6727:
6723:
6718:
6712:
6708:
6704:
6699:
6695:
6691:
6688:
6685:
6680:
6676:
6672:
6668:
6664:
6659:
6655:
6651:
6648:
6645:
6640:
6636:
6632:
6629:
6626:
6621:
6618:
6614:
6610:
6607:
6603:
6577:
6574:
6569:
6565:
6553:
6552:
6541:
6538:
6533:
6529:
6525:
6522:
6519:
6514:
6510:
6506:
6502:
6498:
6493:
6489:
6485:
6482:
6479:
6474:
6470:
6466:
6463:
6460:
6457:
6443:
6442:
6431:
6424:
6421:
6417:
6412:
6406:
6402:
6398:
6395:
6390:
6387:
6383:
6379:
6376:
6372:
6346:
6343:
6338:
6334:
6309:
6306:
6303:
6300:
6295:
6292:
6287:
6283:
6254:
6251:
6247:
6242:
6219:
6216:
6211:
6207:
6190:
6187:
6186:
6185:
6174:
6169:
6165:
6159:
6154:
6150:
6146:
6143:
6138:
6134:
6128:
6124:
6120:
6106:
6105:
6094:
6090:
6084:
6081:
6078:
6073:
6069:
6065:
6062:
6059:
6054:
6051:
6048:
6043:
6039:
6034:
6029:
6025:
6020:
6016:
6012:
6009:
6006:
6001:
5997:
5993:
5990:
5987:
5982:
5979:
5976:
5972:
5953:If we rewrite
5951:
5950:
5939:
5934:
5930:
5924:
5919:
5915:
5909:
5906:
5902:
5896:
5892:
5886:
5882:
5878:
5873:
5869:
5865:
5861:
5855:
5851:
5845:
5842:
5838:
5832:
5828:
5823:
5817:
5813:
5798:
5797:
5786:
5781:
5777:
5771:
5767:
5763:
5758:
5754:
5750:
5747:
5744:
5739:
5735:
5731:
5727:
5723:
5718:
5714:
5710:
5707:
5704:
5699:
5695:
5691:
5688:
5685:
5680:
5677:
5674:
5670:
5659:
5648:
5645:
5640:
5636:
5632:
5629:
5626:
5621:
5617:
5613:
5609:
5605:
5600:
5596:
5592:
5589:
5586:
5581:
5577:
5573:
5570:
5567:
5564:
5544:
5538:
5532:
5531:
5520:
5515:
5511:
5507:
5502:
5498:
5494:
5489:
5484:
5480:
5476:
5472:
5457:
5456:
5445:
5442:
5439:
5434:
5430:
5426:
5423:
5418:
5415:
5412:
5408:
5404:
5399:
5394:
5390:
5386:
5382:
5348:
5345:
5334:
5321:
5313:is étale over
5300:
5287:
5264:
5253:
5232:
5202:
5201:
5190:
5184:
5181:
5176:
5171:
5168:
5162:
5158:
5154:
5150:
5146:
5140:
5137:
5132:
5128:
5123:
5119:
5115:
5111:
5088:
5071:
5063:
5062:
5051:
5046:
5043:
5039:
5033:
5030:
5026:
5020:
5016:
5010:
5006:
5002:
4997:
4994:
4990:
4986:
4981:
4977:
4971:
4967:
4961:
4957:
4932:
4931:
4920:
4917:
4912:
4909:
4906:
4901:
4897:
4893:
4890:
4887:
4882:
4879:
4876:
4871:
4867:
4863:
4859:
4855:
4850:
4846:
4842:
4839:
4836:
4831:
4827:
4823:
4820:
4817:
4812:
4809:
4806:
4802:
4787:
4786:
4775:
4772:
4767:
4763:
4759:
4756:
4753:
4748:
4744:
4740:
4736:
4732:
4727:
4723:
4719:
4716:
4713:
4708:
4704:
4700:
4697:
4694:
4691:
4666:
4665:
4654:
4651:
4648:
4645:
4640:
4636:
4632:
4629:
4624:
4620:
4616:
4612:
4588:
4587:
4574:
4571:
4568:
4564:
4560:
4557:
4554:
4549:
4545:
4541:
4537:
4493:
4490:
4489:
4488:
4477:
4472:
4468:
4465:
4460:
4456:
4453:
4449:
4444:
4441:
4435:
4431:
4427:
4424:
4421:
4417:
4414:
4408:
4404:
4398:
4395:
4391:
4387:
4384:
4380:
4331:
4330:
4319:
4314:
4310:
4304:
4299:
4296:
4292:
4286:
4282:
4278:
4273:
4270:
4267:
4262:
4258:
4243:
4242:
4231:
4226:
4222:
4216:
4213:
4209:
4203:
4199:
4195:
4190:
4186:
4171:
4170:
4159:
4155:
4149:
4146:
4143:
4138:
4134:
4130:
4127:
4124:
4119:
4116:
4113:
4108:
4104:
4099:
4094:
4090:
4085:
4081:
4077:
4074:
4071:
4066:
4062:
4058:
4055:
4052:
4049:
4031:Consequently,
4029:
4028:
4017:
4014:
4009:
4005:
4001:
3997:
3991:
3987:
3981:
3978:
3974:
3968:
3964:
3959:
3953:
3949:
3945:
3940:
3936:
3932:
3928:
3922:
3918:
3912:
3909:
3905:
3899:
3895:
3890:
3884:
3880:
3876:
3873:
3844:
3835:
3825:
3824:
3813:
3808:
3804:
3798:
3793:
3790:
3786:
3782:
3777:
3773:
3767:
3763:
3757:
3753:
3749:
3744:
3740:
3736:
3732:
3726:
3722:
3716:
3713:
3709:
3703:
3699:
3694:
3688:
3684:
3663:
3662:
3651:
3646:
3642:
3636:
3632:
3628:
3625:
3622:
3619:
3614:
3611:
3608:
3604:
3552:determines an
3532:is denoted by
3506:
3505:
3494:
3489:
3485:
3479:
3475:
3471:
3468:
3463:
3460:
3457:
3453:
3428:
3419:
3406:
3396:
3395:
3384:
3379:
3375:
3369:
3365:
3359:
3355:
3351:
3348:
3343:
3339:
3333:
3329:
3325:
3322:
3319:
3316:
3313:
3310:
3305:
3301:
3295:
3291:
3287:
3284:
3281:
3238:
3222:
3221:
3210:
3205:
3201:
3195:
3191:
3187:
3184:
3181:
3176:
3172:
3166:
3162:
3158:
3155:
3152:
3132:The action of
3130:
3129:
3118:
3115:
3110:
3106:
3102:
3099:
3096:
3091:
3087:
3083:
3079:
3075:
3070:
3066:
3062:
3059:
3056:
3051:
3047:
3043:
3040:
3037:
3034:
2999:
2992:
2961:
2953:results in an
2948:
2935:
2902:
2899:
2892:
2885:
2873:
2838:
2834:
2828:
2795:
2791:
2785:
2755:
2751:
2745:
2728:
2727:
2716:
2713:
2708:
2704:
2700:
2697:
2694:
2691:
2688:
2685:
2682:
2679:
2676:
2673:
2670:
2667:
2664:
2661:
2634:
2630:
2624:
2594:
2590:
2584:
2519:
2515:
2509:
2504:
2501:
2467:
2453:
2411:
2374:
2371:
2358:
2343:
2320:
2309:
2267:
2264:
2256:
2249:
2248:
2237:
2233:
2229:
2225:
2220:
2216:
2211:
2205:
2202:
2196:
2190:
2186:
2165:
2164:
2153:
2149:
2143:
2138:
2132:
2126:
2121:
2116:
2108:
2104:
2101:
2079:is coprime to
2062:
2053:
2034:
2025:
2002:
1993:
1971:
1960:
1928:
1917:
1891:is a power of
1885:
1867:
1863:
1853:can only have
1842:
1839:
1832:
1828:
1823:
1761:
1756:
1751:
1733:
1724:
1712:
1701:
1672:
1661:
1649:
1646:
1634:
1633:
1622:
1619:
1616:
1609:
1605:
1600:
1596:
1589:
1585:
1580:
1576:
1571:
1567:
1563:
1560:
1526:
1522:
1516:
1486:
1482:
1476:
1446:
1442:
1436:
1396:
1392:
1386:
1360:
1357:
1350:
1346:
1341:
1316:
1312:
1306:
1276:
1272:
1266:
1246:
1237:
1182:
1171:
1140:
1109:
1090:
1082:
1079:
965:
933:
842:
841:
830:
827:
824:
819:
815:
811:
806:
802:
798:
795:
770:
761:
755:
754:
743:
738:
734:
730:
727:
724:
721:
718:
713:
709:
705:
702:
659:
658:
647:
644:
641:
638:
635:
632:
629:
626:
623:
620:
617:
612:
608:
604:
599:
595:
591:
586:
582:
578:
575:
572:
569:
566:
563:
560:
557:
554:
551:
548:
506:
505:
494:
488:
485:
482:
479:
476:
473:
470:
467:
462:
459:
437:, but not the
376:
375:
364:
361:
358:
355:
352:
349:
346:
343:
340:
337:
332:
328:
322:
318:
314:
309:
305:
301:
298:
295:
292:
289:
286:
283:
280:
277:
251:
250:
237:
233:
229:
226:
223:
220:
217:
205:is defined by
186:
183:
164:characteristic
128:
127:
42:
40:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
8996:
8985:
8984:Galois theory
8982:
8980:
8977:
8975:
8974:Finite fields
8972:
8971:
8969:
8958:
8954:
8953:
8948:
8944:
8940:
8936:
8935:
8930:
8926:
8925:
8917:
8913:
8909:
8907:0-521-36664-X
8903:
8899:
8895:
8891:
8887:
8881:
8878:
8874:
8868:
8865:
8858:
8854:
8851:
8849:
8846:
8844:
8841:
8839:
8838:Perfect field
8836:
8835:
8831:
8829:
8813:
8803:
8799:
8795:
8791:
8787:
8783:
8779:
8778:
8777:
8771:
8745:
8741:
8738:
8735:
8728:
8725:
8722:
8715:
8714:
8713:
8710:
8690:
8687:
8684:
8681:
8678:
8675:
8672:
8667:
8663:
8659:
8656:
8651:
8647:
8643:
8640:
8635:
8631:
8627:
8622:
8618:
8610:
8609:
8608:
8601:
8594:
8590:
8576:
8570:
8560:
8554:
8548:
8522:
8518:
8514:
8511:
8506:
8502:
8498:
8495:
8490:
8486:
8482:
8479:
8476:
8473:
8470:
8467:
8461:
8458:
8453:
8449:
8441:
8440:
8439:
8429:
8412:
8407:
8402:
8389:
8382:
8375:
8366:
8348:19 × 151
8346:
8345:
8344:
8343:
8334:
8330:
8326:
8325:
8324:
8318:
8316:
8314:
8313:p-derivations
8309:
8305:
8298:
8271:
8263:
8257:
8253:
8249:
8243:
8231:
8223:
8222:
8221:
8211:
8206:
8202:
8190:
8186:
8182:
8181:global fields
8177:
8173:
8168:
8164:
8156:
8140:
8132:
8126:
8122:
8118:
8112:
8100:
8092:
8091:
8090:
8080:
8070:
8061:
8057:
8043:
8025:
7988:
7982:
7977:
7971:
7969:
7965:
7961:
7956:
7952:
7949:
7941:
7939:
7937:
7915:
7909:
7901:
7884:
7879:
7875:
7871:
7864:
7857:
7850:
7834:
7833:
7832:
7812:
7806:
7798:
7793:
7785:
7779:
7771:
7755:
7754:
7753:
7751:
7747:
7743:
7739:
7734:
7730:
7722:
7716:
7712:
7707:
7702:
7700:
7696:
7683:
7677:
7670:
7666:
7649:
7633:
7628:
7624:
7618:
7614:
7610:
7605:
7601:
7597:
7589:
7585:
7579:
7575:
7571:
7564:
7563:
7562:
7540:
7536:
7532:
7524:
7520:
7508:
7489:
7484:
7480:
7474:
7470:
7466:
7461:
7457:
7451:
7448:
7444:
7438:
7434:
7428:
7424:
7415:
7411:
7407:
7403:
7397:
7393:
7387:
7384:
7380:
7374:
7370:
7365:
7359:
7355:
7347:
7346:
7345:
7343:
7339:
7334:
7330:
7309:
7306:
7301:
7297:
7273:
7268:
7265:
7260:
7256:
7252:
7247:
7243:
7239:
7234:
7229:
7225:
7221:
7217:
7209:
7208:
7207:
7190:
7187:
7184:
7179:
7175:
7171:
7160:
7156:
7152:
7145:
7141:
7136:
7131:
7127:
7123:
7119:
7111:
7110:
7109:
7099:
7080:
7069:
7065:
7061:
7053:
7049:
7045:
7042:
7039:
7031:
7027:
7023:
7015:
7011:
7003:
6994:
6990:
6986:
6983:
6980:
6975:
6971:
6964:
6961:
6953:
6949:
6945:
6938:
6930:
6929:
6928:
6911:
6906:
6902:
6896:
6892:
6888:
6883:
6880:
6876:
6870:
6866:
6862:
6854:
6850:
6846:
6838:
6834:
6826:
6825:
6824:
6807:
6802:
6798:
6792:
6789:
6785:
6779:
6775:
6771:
6766:
6762:
6754:
6753:
6752:
6735:
6728:
6725:
6721:
6716:
6710:
6706:
6697:
6693:
6689:
6686:
6683:
6678:
6674:
6666:
6657:
6653:
6649:
6646:
6643:
6638:
6634:
6627:
6624:
6616:
6612:
6608:
6601:
6593:
6592:
6591:
6575:
6572:
6567:
6563:
6539:
6531:
6527:
6523:
6520:
6517:
6512:
6508:
6500:
6491:
6487:
6483:
6480:
6477:
6472:
6468:
6461:
6458:
6455:
6448:
6447:
6446:
6429:
6422:
6419:
6415:
6410:
6404:
6400:
6396:
6393:
6385:
6381:
6377:
6370:
6362:
6361:
6360:
6344:
6341:
6336:
6332:
6307:
6301:
6298:
6293:
6290:
6285:
6281:
6252:
6249:
6245:
6240:
6217:
6214:
6209:
6205:
6188:
6172:
6167:
6163:
6157:
6152:
6148:
6144:
6136:
6132:
6126:
6122:
6118:
6111:
6110:
6109:
6092:
6088:
6079:
6071:
6067:
6063:
6060:
6057:
6049:
6041:
6037:
6032:
6027:
6018:
6014:
6010:
6007:
6004:
5999:
5995:
5988:
5985:
5977:
5970:
5962:
5961:
5960:
5957:
5937:
5932:
5928:
5922:
5917:
5913:
5907:
5904:
5900:
5894:
5890:
5884:
5880:
5871:
5867:
5863:
5859:
5853:
5849:
5843:
5840:
5836:
5830:
5826:
5821:
5815:
5811:
5803:
5802:
5801:
5784:
5779:
5775:
5769:
5765:
5756:
5752:
5748:
5745:
5742:
5737:
5733:
5725:
5716:
5712:
5708:
5705:
5702:
5697:
5693:
5686:
5683:
5675:
5668:
5660:
5646:
5638:
5634:
5630:
5627:
5624:
5619:
5615:
5607:
5598:
5594:
5590:
5587:
5584:
5579:
5575:
5568:
5565:
5562:
5555:
5554:
5553:
5550:
5547:
5541:
5537:
5518:
5513:
5509:
5505:
5500:
5496:
5492:
5487:
5482:
5478:
5474:
5470:
5462:
5461:
5460:
5443:
5440:
5437:
5432:
5428:
5424:
5413:
5406:
5402:
5397:
5392:
5388:
5384:
5380:
5372:
5371:
5370:
5360:
5354:
5346:
5344:
5341:
5337:
5333:
5328:
5324:
5320:
5312:
5307:
5303:
5299:
5294:
5290:
5286:
5278:
5274:
5271:
5267:
5260:
5256:
5247:
5241:
5235:
5227:
5222:
5218:
5212:
5208:
5188:
5182:
5179:
5174:
5169:
5166:
5160:
5156:
5152:
5148:
5144:
5138:
5135:
5130:
5126:
5121:
5117:
5113:
5109:
5101:
5100:
5099:
5095:
5091:
5086:
5078:
5074:
5069:
5049:
5044:
5041:
5037:
5031:
5028:
5024:
5018:
5014:
5008:
5004:
4995:
4992:
4988:
4984:
4979:
4975:
4969:
4965:
4959:
4955:
4947:
4946:
4945:
4942:
4938:
4918:
4907:
4899:
4895:
4891:
4888:
4885:
4877:
4869:
4865:
4857:
4848:
4844:
4840:
4837:
4834:
4829:
4825:
4818:
4815:
4807:
4800:
4792:
4791:
4790:
4773:
4765:
4761:
4757:
4754:
4751:
4746:
4742:
4734:
4725:
4721:
4717:
4714:
4711:
4706:
4702:
4695:
4692:
4689:
4682:
4681:
4680:
4678:
4673:
4652:
4646:
4643:
4638:
4634:
4627:
4622:
4618:
4614:
4610:
4602:
4601:
4600:
4597:
4593:
4569:
4562:
4555:
4552:
4547:
4543:
4539:
4535:
4527:
4526:
4525:
4522:
4517:
4512:
4506:
4500:
4491:
4475:
4466:
4463:
4458:
4454:
4442:
4439:
4433:
4429:
4425:
4419:
4415:
4412:
4406:
4402:
4393:
4389:
4385:
4378:
4370:
4369:
4368:
4365:
4361:
4355:
4352:
4342:
4340:
4336:
4317:
4312:
4308:
4302:
4297:
4294:
4290:
4284:
4280:
4276:
4268:
4260:
4256:
4248:
4247:
4246:
4229:
4224:
4220:
4214:
4211:
4207:
4201:
4197:
4193:
4188:
4184:
4176:
4175:
4174:
4157:
4153:
4144:
4136:
4132:
4128:
4125:
4122:
4114:
4106:
4102:
4097:
4092:
4083:
4079:
4075:
4072:
4069:
4064:
4060:
4053:
4050:
4047:
4040:
4039:
4038:
4035:
4015:
4012:
4007:
4003:
3999:
3995:
3989:
3985:
3979:
3976:
3972:
3966:
3962:
3957:
3951:
3947:
3943:
3938:
3934:
3930:
3926:
3920:
3916:
3910:
3907:
3903:
3897:
3893:
3888:
3882:
3878:
3874:
3871:
3864:
3863:
3862:
3860:
3856:
3852:
3847:
3843:
3838:
3834:
3830:
3811:
3806:
3802:
3796:
3791:
3788:
3784:
3780:
3775:
3771:
3765:
3761:
3755:
3751:
3747:
3742:
3738:
3734:
3730:
3724:
3720:
3714:
3711:
3707:
3701:
3697:
3692:
3686:
3682:
3674:
3673:
3672:
3669:
3649:
3644:
3640:
3634:
3630:
3626:
3623:
3620:
3617:
3609:
3602:
3594:
3593:
3592:
3589:
3585:
3580:
3576:
3572:
3567:
3564:
3560:
3550:
3546:
3536:
3530:
3522:-scheme. If
3516:
3512:factor makes
3492:
3487:
3483:
3477:
3473:
3469:
3466:
3458:
3451:
3443:
3442:
3441:
3439:
3434:
3431:
3427:
3422:
3418:
3409:
3405:
3382:
3377:
3373:
3367:
3363:
3357:
3353:
3349:
3346:
3341:
3337:
3331:
3327:
3320:
3314:
3311:
3308:
3303:
3299:
3293:
3289:
3285:
3282:
3279:
3272:
3271:
3270:
3268:
3264:
3259:
3255:
3248:
3241:
3232:
3228:
3208:
3203:
3199:
3193:
3189:
3185:
3182:
3179:
3174:
3170:
3164:
3160:
3156:
3153:
3150:
3143:
3142:
3141:
3140:is given by:
3139:
3135:
3116:
3108:
3104:
3100:
3097:
3094:
3089:
3085:
3077:
3068:
3064:
3060:
3057:
3054:
3049:
3045:
3038:
3035:
3032:
3025:
3024:
3023:
3021:
3015:
3010:
3005:
3002:
2995:
2982:
2978:
2969:
2964:
2960:
2951:
2947:
2940:. Composing
2938:
2934:
2917:
2913:
2909:
2905:Suppose that
2900:
2898:
2895:
2888:
2880:
2876:
2872:
2854:
2836:
2832:
2815:
2793:
2789:
2753:
2749:
2714:
2711:
2706:
2702:
2698:
2695:
2692:
2686:
2680:
2677:
2674:
2671:
2668:
2665:
2662:
2659:
2652:
2651:
2650:
2632:
2628:
2592:
2588:
2571:
2557:
2553:
2547:
2517:
2513:
2502:
2499:
2474:
2470:
2466:
2456:
2444:
2414:
2410:
2396:
2392:
2385:
2377:Suppose that
2372:
2365:
2361:
2357:
2352:
2346:
2342:
2336:
2330:
2323:
2319:
2312:
2308:
2302:
2296:
2290:
2286:
2279:
2275:
2273:
2265:
2263:
2259:
2255:
2235:
2227:
2223:
2214:
2209:
2203:
2200:
2194:
2188:
2173:
2172:
2171:
2170:
2151:
2147:
2141:
2130:
2119:
2106:
2102:
2099:
2092:
2091:
2090:
2089:
2084:
2073:
2065:
2061:
2056:
2052:
2045:
2041:generated by
2037:
2033:
2028:
2024:
2017:
2005:
2001:
1996:
1992:
1985:
1974:
1970:
1963:
1959:
1948:
1944:as above. If
1942:
1938:
1931:
1927:
1920:
1916:
1910:
1899:
1888:
1884:
1865:
1861:
1840:
1837:
1830:
1826:
1821:
1811:
1801:
1784:
1780:
1759:
1754:
1736:
1732:
1727:
1723:
1715:
1711:
1704:
1700:
1690:
1686:
1675:
1671:
1664:
1660:
1655:
1647:
1645:
1644:of an ideal.
1643:
1642:tight closure
1639:
1620:
1617:
1614:
1607:
1603:
1598:
1594:
1587:
1583:
1578:
1574:
1569:
1565:
1561:
1558:
1551:
1550:
1549:
1542:
1524:
1520:
1504:
1484:
1480:
1464:
1444:
1440:
1423:
1394:
1390:
1358:
1355:
1348:
1344:
1339:
1331:is a root of
1314:
1310:
1294:
1274:
1270:
1253:
1249:
1245:
1240:
1236:
1232:
1222:
1218:
1203:
1193:
1185:
1181:
1174:
1170:
1161:
1143:
1139:
1133:
1129:
1123:
1119:
1112:
1108:
1099:
1093:
1089:
1080:
1078:
1076:
1075:
1065:
1045:
1041:
1037:
1033:
1018:
1014:
1010:
1006:
995:
991:
987:
983:
968:
964:
959:
951:
941:
936:
932:
928:
919:
914:
890:
883:
879:
874:
870:
861:
855:
851:
847:
828:
825:
822:
817:
813:
809:
804:
800:
796:
793:
786:
785:
784:
773:
764:
741:
736:
728:
722:
719:
711:
707:
700:
693:
692:
691:
684:
680:
676:
670:
668:
664:
645:
639:
633:
630:
624:
618:
615:
610:
606:
602:
597:
593:
589:
584:
576:
573:
570:
564:
558:
555:
552:
546:
539:
538:
537:
530:
524:
517:
513:
492:
486:
480:
477:
474:
468:
465:
460:
457:
447:
446:
445:
444:
440:
436:
431:
427:
420:
413:
404:
398:
394:
382:
362:
356:
350:
344:
338:
335:
330:
326:
320:
316:
312:
307:
299:
296:
290:
284:
281:
275:
268:
267:
266:
264:
260:
256:
235:
231:
227:
221:
215:
208:
207:
206:
204:
200:
184:
182:
180:
172:
171:finite fields
165:
162:
158:
155:
151:
147:
143:
139:
135:
124:
121:
113:
110:November 2013
102:
99:
95:
92:
88:
85:
81:
78:
74:
71: –
70:
66:
65:Find sources:
59:
55:
49:
48:
43:This article
41:
37:
32:
31:
19:
8950:
8932:
8893:
8890:Taylor, M.J.
8886:Fröhlich, A.
8880:
8867:
8811:
8807:
8801:
8797:
8793:
8789:
8785:
8781:
8764:for integer
8763:
8708:
8705:
8599:
8592:
8588:
8574:
8571:
8558:
8552:
8546:
8543:
8427:
8410:
8400:
8387:
8380:
8373:
8364:
8353:
8342:discriminant
8339:
8332:
8328:
8322:
8310:
8300:
8293:
8286:
8204:
8200:
8189:prime ideals
8175:
8171:
8166:
8160:
8078:
8065:
8059:
8055:
8041:
8023:
7983:
7975:
7972:
7963:
7960:local fields
7954:
7945:
7935:
7933:
7830:
7749:
7745:
7741:
7737:
7732:
7725:
7720:
7714:
7710:
7705:
7703:
7698:
7694:
7681:
7675:
7668:
7664:
7653:
7509:in terms of
7506:
7504:
7341:
7337:
7335:
7328:
7288:
7206:defined by:
7205:
7097:
7095:
6926:
6822:
6750:
6554:
6444:
6192:
6107:
5955:
5952:
5799:
5551:
5545:
5539:
5535:
5533:
5459:defined by:
5458:
5358:
5356:
5339:
5335:
5331:
5326:
5322:
5318:
5310:
5305:
5301:
5297:
5292:
5288:
5284:
5276:
5275:
5269:
5262:
5258:
5251:
5245:
5239:
5230:
5225:
5220:
5216:
5210:
5206:
5203:
5093:
5089:
5084:
5076:
5072:
5067:
5064:
4944:defined by:
4940:
4936:
4933:
4788:
4676:
4674:
4667:
4595:
4589:
4520:
4515:
4510:
4504:
4498:
4495:
4363:
4359:
4356:
4350:
4343:
4338:
4334:
4332:
4244:
4172:
4033:
4030:
3858:
3854:
3850:
3845:
3841:
3836:
3832:
3828:
3826:
3667:
3664:
3587:
3583:
3578:
3574:
3570:
3568:
3562:
3558:
3548:
3544:
3534:
3528:
3514:
3507:
3437:
3435:
3429:
3425:
3420:
3416:
3407:
3403:
3397:
3266:
3262:
3257:
3253:
3246:
3236:
3230:
3226:
3223:
3137:
3133:
3131:
3019:
3013:
3008:
3006:
2997:
2990:
2980:
2976:
2967:
2962:
2958:
2949:
2945:
2936:
2932:
2915:
2911:
2907:
2904:
2890:
2883:
2878:
2874:
2870:
2855:
2813:
2729:
2569:
2555:
2551:
2545:
2475:
2468:
2464:
2451:
2442:
2412:
2408:
2402:. The ring
2394:
2390:
2383:
2376:
2363:
2359:
2355:
2344:
2340:
2334:
2328:
2321:
2317:
2310:
2306:
2300:
2294:
2288:
2284:
2269:
2257:
2253:
2250:
2166:
2085:
2071:
2063:
2059:
2054:
2050:
2043:
2035:
2031:
2026:
2022:
2015:
2003:
1999:
1994:
1990:
1983:
1972:
1968:
1961:
1957:
1946:
1940:
1936:
1929:
1925:
1918:
1914:
1911:
1897:
1886:
1882:
1809:
1799:
1778:
1776:cyclic with
1734:
1730:
1725:
1721:
1713:
1709:
1702:
1698:
1688:
1684:
1673:
1669:
1662:
1658:
1654:Galois group
1651:
1635:
1543:
1502:
1462:
1421:
1292:
1254:
1247:
1243:
1238:
1234:
1230:
1220:
1216:
1201:
1194:
1183:
1179:
1172:
1168:
1141:
1137:
1131:
1127:
1121:
1117:
1110:
1106:
1091:
1087:
1084:
1072:
1066:
1043:
1039:
1035:
1031:
1021:would equal
1016:
1012:
1008:
1004:
993:
989:
985:
981:
966:
962:
939:
934:
930:
926:
920:, even when
915:
888:
881:
877:
863:If the ring
862:
843:
768:
759:
756:
682:
678:
674:
671:
662:
660:
528:
522:
515:
511:
507:
429:
425:
418:
416:but not any
411:
396:
392:
380:
377:
262:
258:
254:
252:
202:
188:
179:automorphism
150:endomorphism
141:
138:field theory
131:
116:
107:
97:
90:
83:
76:
64:
52:Please help
47:verification
44:
8607:satisfying
8017:lying over
6269:denote the
5552:Again, if:
5098:, we have:
4173:where, if:
2984:induces an
2966:called the
2542:both equal
1981:th iterate
1905:coprime to
439:denominator
154:commutative
8968:Categories
8916:0744.11001
8859:References
8843:Frobenioid
8089:such that
7948:unramified
5351:See also:
4679:-algebra:
4672:-schemes.
4337:-algebras
3556:-morphism
3542:-morphism
2988:-morphism
2974:-morphism
2853:-schemes.
2449:, denoted
1977:, but its
1115:satisfies
1071:is called
1002:-th power
918:surjective
510:1 ≤
405:. Because
185:Definition
80:newspapers
8957:EMS Press
8939:EMS Press
8739:π
8729:
8679:β
8664:β
8657:−
8648:β
8641:−
8632:β
8619:β
8519:ρ
8512:−
8503:ρ
8496:−
8487:ρ
8480:−
8477:ρ
8450:ρ
8434:. Modulo
8269:Φ
8250:≡
8236:Φ
8138:Φ
8119:≡
8105:Φ
7946:Given an
7907:→
7777:→
7629:α
7606:α
7598:∑
7595:↦
7590:α
7580:α
7572:∑
7485:α
7452:α
7439:α
7435:∑
7425:∑
7421:↦
7408:⊗
7398:α
7388:α
7375:α
7371:∑
7356:∑
7307:−
7266:−
7253:×
7188:≅
7176:×
7169:→
7043:…
6984:…
6962:≅
6907:β
6884:β
6871:β
6867:∑
6803:β
6793:β
6780:β
6776:∑
6726:−
6707:⊗
6687:…
6647:…
6573:−
6521:…
6481:…
6420:−
6401:×
6342:−
6305:→
6291:−
6250:−
6215:−
6168:α
6153:α
6145:∑
6142:↦
6137:α
6127:α
6119:∑
6061:…
6008:…
5933:α
5908:α
5895:α
5891:∑
5881:∑
5877:↦
5864:⊗
5854:α
5844:α
5831:α
5827:∑
5812:∑
5766:⊗
5746:…
5706:…
5628:…
5588:…
5506:×
5441:≅
5429:×
5422:→
5157:×
5127:×
5045:α
5032:α
5019:α
5015:∑
5005:∑
5001:↦
4996:α
4985:⊗
4980:α
4970:α
4966:∑
4956:∑
4889:…
4838:…
4789:We have:
4755:…
4715:…
4647:φ
4559:→
4430:×
4420:≅
4403:×
4313:β
4298:β
4285:β
4281:∑
4225:β
4215:β
4202:β
4198:∑
4126:…
4073:…
4051:
4000:⊗
3990:α
3980:α
3967:α
3963:∑
3948:∑
3931:⊗
3921:α
3911:α
3898:α
3894:∑
3879:∑
3875:⋅
3792:α
3781:⊗
3776:α
3766:α
3762:∑
3752:∑
3735:⊗
3725:α
3715:α
3702:α
3698:∑
3683:∑
3631:⊗
3624:
3591:. Then:
3474:×
3378:α
3368:α
3350:∑
3342:α
3332:α
3312:∑
3304:α
3294:α
3286:∑
3283:⋅
3204:α
3194:α
3183:∑
3175:α
3165:α
3157:∑
3154:⋅
3098:…
3058:…
2693:⋅
2678:≠
2663:⋅
2351:Cartesian
2283:φ :
2215:
2204:←
2189:^
2125:¯
2103:
1760:×
1618:…
1356:−
1160:extension
873:injective
869:nilpotent
826:φ
823:∘
797:∘
794:φ
723:φ
701:φ
518:− 1
478:−
435:numerator
8892:(1991).
8832:See also
8319:Examples
8005:, where
7973:Suppose
7858:→
7794:→
7708:-points
7104:-scheme
6273:-scheme
5365:-scheme
5183:′
5170:′
5139:′
4592:pullback
4467:′
4443:′
4416:′
3234:. Then
2957:-scheme
2923:-scheme
2910: :
2058: /
2030: /
1998: /
1934:, where
1797:because
1783:elements
1640:and the
1371:, so if
1067:A field
854:category
690:, then
677: :
514:≤
253:for all
8959:, 2001
8941:, 2001
8820:to the
8031:modulo
8021:, that
7667:= Spec
6590:gives:
6232:. Let
5237:, then
3586:= Spec
3256:→ Spec
3229:= Spec
2734:in the
2534:. Let
2393:= Spec
1291:by the
1074:perfect
852:on the
850:functor
144:(after
94:scholar
8914:
8904:
8299:/(Φ ∩
8287:where
8049:where
7662:. If
7100:of an
5361:of an
4514:. The
4502:be an
4245:then:
3827:where
3016:> 0
2563:sends
2480:is an
2406:is an
2386:> 0
2272:scheme
2075:where
1949:> 1
1813:, and
1667:. Let
1461:. If
1204:> 0
1096:. By
998:whose
886:means
140:, the
96:
89:
82:
75:
67:
8784:− 2,
8556:into
3577:over
3252:Spec
3245:Spec
2944:with
2812:Spec
2544:Spec
1901:with
1206:. If
884:) = 0
665:is a
428:<
161:prime
159:with
157:rings
101:JSTOR
87:books
8902:ISBN
8340:has
8187:for
7742:k(x)
7679:and
7340:and
7096:The
6751:If:
6445:If:
5959:as:
5543:by 1
5357:The
5081:and
4496:Let
4362:′ →
4048:Spec
3840:and
3621:Spec
3436:The
3415:and
2864:and
2538:and
2315:and
2298:and
2281:Let
2049:Gal(
2021:Gal(
1989:Gal(
1720:Gal(
1652:The
1411:and
1195:Let
1042:deg(
1038:) −
1034:deg(
779:and
766:and
526:and
423:for
378:and
197:(an
189:Let
136:and
73:news
8912:Zbl
8814:+ 1
8800:+ 5
8796:− 5
8788:− 3
8772:of
8726:cos
8706:to
8597:of
8575:L/K
8572:If
8515:575
8499:979
8483:354
8474:183
8468:460
8385:of
8335:− 1
8264:mod
8212:of
8194:of
8179:of
8161:In
8133:mod
8085:of
8072:of
8024:L/K
7989:of
7976:L/K
7958:of
7955:L/K
7697:on
7324:by
6324:by
5228:of
4518:of
3857:of
3518:an
3265:on
3136:on
2613:in
2567:to
2476:If
2445:of
2398:of
2338:by
2304:by
2201:lim
2100:Gal
1955:of
1793:is
1781:− 1
1774:is
1696:of
1425:is
1104:of
891:= 0
757:If
672:If
508:if
383:(1)
257:in
152:of
132:In
56:by
8970::
8955:,
8949:,
8937:,
8931:,
8910:.
8888:;
8828:.
8810:22
8792:,
8776::
8746:11
8331:−
8315:.
8308:.
8165:,
7970:.
7938:.
7731:→
7701:.
7333:.
6359::
5549:.
5273:.
5261:→
5219:→
5209:→
5096:′)
4939:→
4341:.
3837:iα
3566:.
3561:→
3547:→
3433:.
3022::
3004:.
2996:→
2979:→
2914:→
2897:.
2889:×
2882:=
2868:,
2554:→
2287:→
2083:.
1939:=
1909:.
1687:=
1548::
1541:.
1252:.
1242:×
1233:=
1219:−
1192:.
1130:−
1120:=
1064:.
1011:)/
988:)/
929:=
875::
681:→
669:.
395:+
265::
8918:.
8875:.
8826:β
8822:p
8818:p
8812:n
8802:β
8798:β
8794:β
8790:β
8786:β
8782:β
8774:β
8766:n
8742:n
8736:2
8723:2
8709:Q
8691:0
8688:=
8685:1
8682:+
8676:3
8673:+
8668:2
8660:3
8652:3
8644:4
8636:4
8628:+
8623:5
8605:β
8600:Q
8595:)
8593:β
8591:(
8589:Q
8584:K
8580:φ
8567:p
8562:3
8559:Q
8553:Q
8547:Q
8540:.
8528:)
8523:4
8507:3
8491:2
8471:+
8465:(
8462:3
8459:+
8454:3
8436:3
8431:3
8428:Z
8423:3
8419:ρ
8414:3
8411:Z
8401:ρ
8396:ρ
8391:3
8388:Q
8383:)
8381:ρ
8379:(
8377:3
8374:Q
8368:3
8365:Q
8360:3
8356:ρ
8350:,
8333:x
8329:x
8306:)
8303:K
8301:O
8296:K
8294:O
8289:q
8272:,
8258:q
8254:x
8247:)
8244:x
8241:(
8232:s
8218:L
8214:Φ
8205:K
8203:/
8201:L
8196:L
8192:Φ
8176:K
8174:/
8172:L
8141:.
8127:q
8123:x
8116:)
8113:x
8110:(
8101:s
8087:L
8082:Φ
8079:s
8074:L
8068:L
8066:O
8060:K
8058:/
8056:L
8051:f
8047:K
8042:q
8037:L
8033:Φ
8029:L
8019:φ
8015:L
8011:Φ
8007:q
8003:q
7999:φ
7995:K
7991:K
7986:K
7984:O
7936:X
7919:)
7916:x
7913:(
7910:k
7902:X
7896:O
7885:a
7880:S
7876:/
7872:X
7865:F
7851:X
7845:O
7816:)
7813:x
7810:(
7807:k
7799:F
7789:)
7786:x
7783:(
7780:k
7772:X
7766:O
7750:x
7746:x
7738:K
7733:K
7728:X
7726:O
7721:x
7717:)
7715:K
7713:(
7711:X
7706:K
7699:X
7695:k
7691:X
7687:X
7682:X
7676:X
7669:k
7665:S
7660:S
7656:S
7634:.
7625:X
7619:p
7615:/
7611:1
7602:a
7586:X
7576:a
7549:}
7544:)
7541:p
7537:/
7533:1
7530:(
7525:j
7521:f
7517:{
7507:R
7490:.
7481:X
7475:p
7471:/
7467:1
7462:i
7458:b
7449:i
7445:a
7429:i
7416:i
7412:b
7404:)
7394:X
7385:i
7381:a
7366:(
7360:i
7342:R
7338:A
7329:X
7326:1
7310:1
7302:S
7298:F
7274:.
7269:1
7261:S
7257:F
7248:X
7244:1
7240:=
7235:g
7230:S
7226:/
7222:X
7218:F
7191:X
7185:S
7180:S
7172:X
7164:)
7161:p
7157:/
7153:1
7150:(
7146:X
7142::
7137:g
7132:S
7128:/
7124:X
7120:F
7106:X
7102:S
7081:.
7078:)
7073:)
7070:p
7066:/
7062:1
7059:(
7054:m
7050:f
7046:,
7040:,
7035:)
7032:p
7028:/
7024:1
7021:(
7016:1
7012:f
7008:(
7004:/
7000:]
6995:n
6991:X
6987:,
6981:,
6976:1
6972:X
6968:[
6965:A
6957:)
6954:p
6950:/
6946:1
6943:(
6939:R
6912:,
6903:X
6897:p
6893:/
6889:1
6881:j
6877:f
6863:=
6858:)
6855:p
6851:/
6847:1
6844:(
6839:j
6835:f
6808:,
6799:X
6790:j
6786:f
6772:=
6767:j
6763:f
6736:.
6729:1
6722:F
6717:A
6711:A
6703:)
6698:m
6694:f
6690:,
6684:,
6679:1
6675:f
6671:(
6667:/
6663:]
6658:n
6654:X
6650:,
6644:,
6639:1
6635:X
6631:[
6628:A
6625:=
6620:)
6617:p
6613:/
6609:1
6606:(
6602:R
6576:1
6568:S
6564:F
6540:,
6537:)
6532:m
6528:f
6524:,
6518:,
6513:1
6509:f
6505:(
6501:/
6497:]
6492:n
6488:X
6484:,
6478:,
6473:1
6469:X
6465:[
6462:A
6459:=
6456:R
6430:.
6423:1
6416:F
6411:S
6405:S
6397:X
6394:=
6389:)
6386:p
6382:/
6378:1
6375:(
6371:X
6345:1
6337:S
6333:F
6322:X
6308:S
6302:S
6299::
6294:1
6286:S
6282:F
6271:S
6253:1
6246:F
6241:S
6218:1
6210:S
6206:F
6195:S
6173:.
6164:X
6158:p
6149:a
6133:X
6123:a
6093:,
6089:)
6083:)
6080:p
6077:(
6072:m
6068:f
6064:,
6058:,
6053:)
6050:p
6047:(
6042:1
6038:f
6033:(
6028:/
6024:]
6019:n
6015:X
6011:,
6005:,
6000:1
5996:X
5992:[
5989:A
5986:=
5981:)
5978:p
5975:(
5971:R
5956:R
5938:.
5929:X
5923:p
5918:i
5914:b
5905:i
5901:a
5885:i
5872:i
5868:b
5860:)
5850:X
5841:i
5837:a
5822:(
5816:i
5785:,
5780:F
5776:A
5770:A
5762:)
5757:m
5753:f
5749:,
5743:,
5738:1
5734:f
5730:(
5726:/
5722:]
5717:n
5713:X
5709:,
5703:,
5698:1
5694:X
5690:[
5687:A
5684:=
5679:)
5676:p
5673:(
5669:R
5647:,
5644:)
5639:m
5635:f
5631:,
5625:,
5620:1
5616:f
5612:(
5608:/
5604:]
5599:n
5595:X
5591:,
5585:,
5580:1
5576:X
5572:[
5569:A
5566:=
5563:R
5546:X
5540:S
5536:F
5519:.
5514:S
5510:F
5501:X
5497:1
5493:=
5488:a
5483:S
5479:/
5475:X
5471:F
5444:X
5438:S
5433:S
5425:X
5417:)
5414:p
5411:(
5407:X
5403::
5398:a
5393:S
5389:/
5385:X
5381:F
5367:X
5363:S
5340:S
5338:/
5336:X
5332:F
5327:S
5325:/
5323:X
5319:F
5315:S
5311:X
5306:S
5304:/
5302:X
5298:F
5293:S
5291:/
5289:X
5285:F
5281:S
5277:X
5270:I
5268:/
5265:S
5263:O
5259:I
5257:/
5254:S
5252:O
5246:I
5240:X
5233:S
5231:O
5226:I
5221:S
5217:X
5211:S
5207:X
5189:.
5180:S
5175:/
5167:S
5161:S
5153:X
5149:F
5145:=
5136:S
5131:1
5122:S
5118:/
5114:X
5110:F
5094:S
5090:S
5087:×
5085:X
5083:(
5079:′
5077:S
5073:S
5070:×
5068:X
5050:.
5042:p
5038:X
5029:i
5025:a
5009:i
4993:i
4989:a
4976:X
4960:i
4941:R
4937:R
4919:.
4916:)
4911:)
4908:p
4905:(
4900:m
4896:f
4892:,
4886:,
4881:)
4878:p
4875:(
4870:1
4866:f
4862:(
4858:/
4854:]
4849:n
4845:X
4841:,
4835:,
4830:1
4826:X
4822:[
4819:A
4816:=
4811:)
4808:p
4805:(
4801:R
4774:.
4771:)
4766:m
4762:f
4758:,
4752:,
4747:1
4743:f
4739:(
4735:/
4731:]
4726:n
4722:X
4718:,
4712:,
4707:1
4703:X
4699:[
4696:A
4693:=
4690:R
4677:A
4670:S
4653:.
4650:)
4644:,
4639:X
4635:F
4631:(
4628:=
4623:S
4619:/
4615:X
4611:F
4596:X
4573:)
4570:p
4567:(
4563:X
4556:X
4553::
4548:S
4544:/
4540:X
4536:F
4521:X
4511:φ
4505:S
4499:X
4476:.
4471:)
4464:S
4459:/
4455:p
4452:(
4448:)
4440:S
4434:S
4426:X
4423:(
4413:S
4407:S
4397:)
4394:S
4390:/
4386:p
4383:(
4379:X
4364:S
4360:S
4351:X
4346:X
4339:R
4335:A
4318:.
4309:X
4303:p
4295:j
4291:f
4277:=
4272:)
4269:p
4266:(
4261:j
4257:f
4230:,
4221:X
4212:j
4208:f
4194:=
4189:j
4185:f
4158:,
4154:)
4148:)
4145:p
4142:(
4137:m
4133:f
4129:,
4123:,
4118:)
4115:p
4112:(
4107:1
4103:f
4098:(
4093:/
4089:]
4084:n
4080:X
4076:,
4070:,
4065:1
4061:X
4057:[
4054:A
4034:X
4016:.
4013:c
4008:i
4004:b
3996:)
3986:X
3977:i
3973:a
3958:(
3952:i
3944:=
3939:i
3935:b
3927:)
3917:X
3908:i
3904:a
3889:(
3883:i
3872:c
3859:A
3855:c
3851:A
3846:i
3842:b
3833:a
3829:α
3812:,
3807:i
3803:b
3797:p
3789:i
3785:a
3772:X
3756:i
3748:=
3743:i
3739:b
3731:)
3721:X
3712:i
3708:a
3693:(
3687:i
3668:X
3650:.
3645:F
3641:A
3635:A
3627:R
3618:=
3613:)
3610:p
3607:(
3603:X
3588:R
3584:X
3579:A
3575:R
3571:A
3563:Y
3559:X
3554:S
3549:Y
3545:X
3540:S
3535:X
3529:X
3524:S
3520:S
3515:X
3510:S
3493:.
3488:F
3484:S
3478:S
3470:X
3467:=
3462:)
3459:p
3456:(
3452:X
3430:F
3426:X
3421:F
3417:S
3413:X
3408:F
3404:X
3400:X
3383:.
3374:X
3364:a
3358:p
3354:c
3347:=
3338:X
3328:a
3324:)
3321:c
3318:(
3315:F
3309:=
3300:X
3290:a
3280:c
3267:R
3263:A
3258:A
3254:R
3247:R
3239:F
3237:X
3231:R
3227:X
3209:,
3200:X
3190:a
3186:c
3180:=
3171:X
3161:a
3151:c
3138:R
3134:A
3117:.
3114:)
3109:m
3105:f
3101:,
3095:,
3090:1
3086:f
3082:(
3078:/
3074:]
3069:n
3065:X
3061:,
3055:,
3050:1
3046:X
3042:[
3039:A
3036:=
3033:R
3020:A
3014:p
3009:A
3000:F
2998:Y
2993:F
2991:X
2986:S
2981:Y
2977:X
2972:S
2963:F
2959:X
2955:S
2950:S
2946:F
2942:φ
2937:S
2933:F
2929:S
2925:X
2921:S
2916:S
2912:X
2908:φ
2893:Y
2891:F
2886:X
2884:F
2879:Y
2877:×
2875:X
2871:F
2866:Y
2862:X
2858:p
2837:2
2833:p
2827:F
2814:A
2794:2
2790:p
2784:F
2772:A
2754:2
2750:p
2744:F
2732:b
2715:.
2712:a
2707:p
2703:b
2699:=
2696:a
2690:)
2687:b
2684:(
2681:F
2675:a
2672:b
2669:=
2666:a
2660:b
2633:2
2629:p
2623:F
2611:b
2593:2
2589:p
2583:F
2570:a
2565:a
2561:A
2556:S
2552:X
2546:A
2540:S
2536:X
2518:2
2514:p
2508:F
2503:=
2500:A
2490:S
2486:S
2482:S
2478:X
2469:p
2465:F
2460:X
2454:X
2452:F
2447:X
2439:X
2435:V
2431:V
2427:U
2423:U
2419:V
2413:p
2409:F
2404:A
2400:X
2395:A
2391:U
2384:p
2379:X
2364:S
2362:/
2360:X
2356:F
2345:S
2341:F
2335:X
2329:X
2322:X
2318:F
2311:S
2307:F
2301:X
2295:S
2289:S
2285:X
2258:q
2254:F
2236:,
2232:Z
2228:n
2224:/
2219:Z
2210:n
2195:=
2185:Z
2152:,
2148:)
2142:q
2137:F
2131:/
2120:q
2115:F
2107:(
2081:f
2077:i
2072:F
2067:)
2064:q
2060:F
2055:q
2051:F
2044:F
2039:)
2036:p
2032:F
2027:q
2023:F
2016:F
2011:f
2007:)
2004:q
2000:F
1995:q
1991:F
1984:F
1979:n
1973:q
1969:F
1962:q
1958:F
1953:F
1947:n
1941:p
1937:q
1930:q
1926:F
1919:q
1915:F
1907:n
1903:i
1898:F
1893:F
1887:q
1883:F
1866:j
1862:p
1841:x
1838:=
1831:j
1827:p
1822:x
1810:x
1805:x
1800:F
1795:n
1791:F
1787:F
1779:q
1755:q
1750:F
1738:)
1735:p
1731:F
1729:/
1726:q
1722:F
1714:p
1710:F
1703:q
1699:F
1694:F
1689:p
1685:q
1680:q
1674:q
1670:F
1663:p
1659:F
1621:.
1615:,
1608:3
1604:p
1599:x
1595:,
1588:2
1584:p
1579:x
1575:,
1570:p
1566:x
1562:,
1559:x
1546:R
1525:n
1521:p
1515:F
1503:n
1485:n
1481:p
1475:F
1463:R
1445:n
1441:p
1435:F
1422:F
1417:K
1413:F
1395:n
1391:p
1385:F
1373:K
1359:X
1349:n
1345:p
1340:X
1315:n
1311:p
1305:F
1293:n
1275:n
1271:p
1265:F
1248:p
1244:F
1239:p
1235:F
1231:R
1226:p
1221:X
1217:X
1212:R
1208:R
1202:p
1197:R
1190:K
1184:p
1180:F
1173:p
1169:F
1164:K
1156:p
1152:p
1148:p
1142:p
1138:F
1132:X
1128:X
1122:x
1118:x
1111:p
1107:F
1102:x
1092:p
1088:F
1069:K
1062:F
1058:t
1054:t
1050:p
1046:)
1044:r
1040:p
1036:q
1032:p
1027:p
1023:t
1019:)
1017:t
1015:(
1013:r
1009:t
1007:(
1005:q
1000:p
996:)
994:t
992:(
990:r
986:t
984:(
982:q
977:t
973:F
967:p
963:F
954:K
946:p
942:)
940:t
938:(
935:p
931:F
927:K
922:R
911:R
907:p
903:r
899:p
895:r
889:r
882:r
880:(
878:F
865:R
858:p
829:.
818:S
814:F
810:=
805:R
801:F
781:S
777:R
771:S
769:F
762:R
760:F
742:.
737:p
733:)
729:x
726:(
720:=
717:)
712:p
708:x
704:(
688:p
683:S
679:R
675:φ
663:F
646:.
643:)
640:s
637:(
634:F
631:+
628:)
625:r
622:(
619:F
616:=
611:p
607:s
603:+
598:p
594:r
590:=
585:p
581:)
577:s
574:+
571:r
568:(
565:=
562:)
559:s
556:+
553:r
550:(
547:F
534:p
529:s
523:r
516:p
512:k
493:,
487:!
484:)
481:k
475:p
472:(
469:!
466:k
461:!
458:p
430:p
426:q
421:!
419:q
414:!
412:p
407:p
399:)
397:s
393:r
391:(
387:R
381:F
363:,
360:)
357:s
354:(
351:F
348:)
345:r
342:(
339:F
336:=
331:p
327:s
321:p
317:r
313:=
308:p
304:)
300:s
297:r
294:(
291:=
288:)
285:s
282:r
279:(
276:F
263:R
259:R
255:r
236:p
232:r
228:=
225:)
222:r
219:(
216:F
203:F
195:p
191:R
175:p
167:p
123:)
117:(
112:)
108:(
98:·
91:·
84:·
77:·
50:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.