Knowledge (XXG)

Frobenius endomorphism

Source 📝

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:)

Index

Frobenius automorphism

verification
improve this article
adding citations to reliable sources
"Frobenius endomorphism"
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message
commutative algebra
field theory
Ferdinand Georg Frobenius
endomorphism
commutative
rings
prime
characteristic
finite fields
automorphism
integral domain
binomial theorem
numerator
denominator
binomial coefficients
ring homomorphism
natural transformation
functor

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.