A local ring in Magma can be constructed in two ways: as either a p-adic ring, or as an extension of another local ring. Magma supports the construction of towers of extensions of local rings; the only restriction is that each extension must be either unramified or totally ramified. As discussed in Section Background, Magma requires that the defining polynomial is either inertial or Eisenstein.
Additionally, the user must specify whether to construct a fixed precision or free precision structure, and, if necessary, assign a precision to the structure. For local rings the precision is interpreted as an absolute precision, specifying to what precision the element is known, but for local fields it is interpreted as a relative precision, specifying to what precision the unit part of the element is known.
Given a prime integer p and non-negative single-precision integer k, construct the bounded free precision ring (field) of p-adic integers with maximum precision k.
Precision: RngIntElt Default: 20
Given a prime integer p, construct the unbounded free precision ring (field) of p-adic numbers. The optional parameter Precision, which must be a non-negative single precision integer, controls the default precision to which elements are created, e.g., when coercing precise elements such as integers or rationals into the ring.
Given a prime integer p and non-negative single precision integer k, construct the fixed precision quotient ring Z_(p) / p^(k) Z_(p).
Given a local ring L, construct the quotient ring L / xL, where x is an element of L.
> R := pAdicRing(5); > R; 5-adic ring > R`DefaultPrecision; 20 > R!1; 1 + O(5^20) > R := pAdicRing(5 : Precision := 20); > R!1; 1 + O(5^20) > Q := quo<R | 5^20>; > Q; Quotient of the 5-adic ring modulo the ideal generated by 5^20 > Q!1; 1 > Q eq pAdicQuotientRing(5, 20); true
Cyclotomic: BoolElt Default: false
Given a local ring or field L and a positive single precision integer n, construct the default unramified extension of L of degree n. If K is the residue class field of L, then the defining polynomial of the default degree n extension of K is lifted to be an inertial polynomial of L; this polynomial is used as the defining polynomial of the extension. If Cyclotomic is true, then the lift of the defining polynomial will be such that p^n - 1-st root of unity will be adjoined to L (this representation makes computation of the Frobenius automorphism particularly efficient). The angle bracket notation can be used to assign a name to the generator of the extension, e.g. K<t> := UnramifiedExtension(L, n).
Given a finite field K and a non-negative single precision integer k, construct the fixed precision quotient ring which has residue class field K and precision k. The angle bracket notation can be used to assign a name to the generator of the extension, e.g. L<t> := UnramifiedExtension(K, f).
Given a local ring or field L and a polynomial f with coefficients coercible to L, construct the unramified extension of L defined by f. The polynomial f must be an inertial polynomial over L. The angle bracket notation can be used to assign a name to the generator of the extension, e.g. K<t> := UnramifiedExtension(L, f). Free precision rings can only be extended by a polynomial if they are of bounded precision, in which case f must be specified to the maximum precision of the ring.
Given a polynomial f with coefficients over a local ring or field L, return true if and only if f is an inertial polynomial. A polynomial is inertial over L if it is irreducible over the residue class field of L.
> R1 := pAdicRing(2, 20); > R2 := ext<R1 | 5>; > R2; Unramified extension defined by the polynomial x^5 + x^2 + 1 over 2-adic ring mod 2^20 > DefiningPolynomial(R2); x^5 + x^2 + 1 > R3 := ext<R1 | 5 : Cyclotomic>; > R3; Cyclotomic unramified extension of degree 5 over 2-adic ring mod 2^20 > DefiningPolynomial(R3); x^5 + 426248*x^4 - 14172*x^3 - 147105*x^2 + 293314*x - 1 > R3.1^(2^5-1); 1 > P1<x> := PolynomialRing(R1); > f1 := x^3 + 3*x + 1; > IsInertial(f1); true > R4 := ext<R1 | f1>; > R4; Unramified extension defined by the polynomial x^3 + 3*x + 1 over 2-adic ring mod 2^20 > P2<y> := PolynomialRing(R2); > f2 := y^3 + 3*y + 1; > IsInertial(f2); true > ext<R2 | f2>; Unramified extension defined by the polynomial x^3 + 3*x + 1 over Unramified extension defined by the polynomial x^5 + x^2 + 1 over 2-adic ring mod 2^20
Given a local ring or field L and a polynomial f with coefficients coercible to L, construct the totally ramified extension of L defined by f. The polynomial f must be an Eisenstein polynomial, that is, the leading coefficient is a unit, the constant coefficient has valuation 1 and all other coefficients have valuation greater than or equal to 1. The angle bracket notation can be used to assign a name to the generator of the extension, e.g. K<t> := TotallyRamifiedExtension(L, f). Free precision rings can only be extended by a polynomial if they are of bounded precision, in which case f must be specified to the maximum precision of the ring.
Given a polynomial f with coefficients over a local ring or field L, return true if and only if f is an Eisenstein polynomial over L. An Eisenstein polynomial satisfies the following properties: the leading coefficient is a unit, the constant coefficient has valuation 1 and all other coefficients have valuation greater than or equal to 1.
> L1<a> := ext<pAdicRing(5, 20) | 4>;
> L1;
Unramified extension defined by the polynomial x^4 + 4*x^2 + 4*x + 2
over 5-adic ring mod 5^20
> L2<b> := ext<L1 | x^4 + 125*x^2 + 5>;
> L2;
Totally ramified extension defined by the polynomial x^4 + 125*x^2 + 5
over Unramified extension defined by the polynomial x^4 + 4*x^2 + 4*x + 2
over 5-adic ring mod 5^20
> P<y> := PolynomialRing(L2);
> L3<c> := TotallyRamifiedExtension(L2, y^3 + b^4*a^5*y + b*a^2);
> L3;
Totally ramified extension defined by the polynomial x^3 + ((500*a^3 + 500*a^2 +
250*a)*b^2 + 20*a^3 + 20*a^2 + 10*a)*x + a^2*b
over Totally ramified extension defined by the polynomial x^4 + 125*x^2 + 5
over Unramified extension defined by the polynomial x^4 + 4*x^2 + 4*x + 2
over 5-adic ring mod 5^20
If the precision of the base ring is only 1, then it is not possible to
construct a ramified extension, as there is not enough precision to allow the
constant coefficient to be non-zero to that precision.
> R<x> := PolynomialRing(Integers()); > L<a> := UnramifiedExtension(pAdicRing(5, 1), 3);
> TotallyRamifiedExtension(L, x^4 + 5); >> TotallyRamifiedExtension(L, x^4 + 5); ^ Runtime error in 'TotallyRamifiedExtension': Polynomial must be Eisenstein > L<a> := UnramifiedExtension(pAdicRing(5, 2), x^5 + x^2 + 2); > TotallyRamifiedExtension(L, x^4 + 5); Totally ramified extension defined by the polynomial x^4 + 5 over Unramified extension defined by the polynomial x^5 + x^2 + 2 over 5-adic ring mod 5^2 > ext<L | x^4 + 125*x^2 + 5>; Totally ramified extension defined by the polynomial x^4 + 5 over Unramified extension defined by the polynomial x^5 + x^2 + 2 over 5-adic ring mod 5^2
Suppose we have an unbounded precision local ring or field L, and we wish to create a finite extension of it. If we need the default degree n unramified extension, then we can use the construction functions defined in Section Creation Functions for Unramified Extensions to construct this extension. However, suppose we wish to define the extension by some polynomial f. As there is no upper bound on the precision of elements of L, it is impossible for us to represent the polynomial f sufficiently precisely, and hence we cannot use the creation functions defined in previous sections for this task. To allow such extensions to be created, Magma allows extensions to be defined by a map phi: Z_( >= 0) to R[x], where R is a ring whose elements are coercible to the quotient rings L / pi^k L for all k in Z_( >= 0). The map phi, given an input precision k, returns the defining polynomial of the extension to precision k. Internally, whenever Magma needs to represent an element of the extension to some precision, it will use phi to compute the defining polynomial up to this precision. Magma may call phi on any precision between zero and the precision of the most precise element created by the user.
Given a free precision local ring or field L and a map m with domain Z and codomain R[x], where elements of R are coercible to the quotient rings L / pi^k L for all k in Z_( >= 0), construct an extension of L defined by m. Given a non-negative single precision integer k, the map m must return the defining polynomial of the extension to precision k, as a polynomial over R. The map m's behaviour for other input values is undefined. Internally, Magma will coerce the value returned by the map m to be a polynomial over L / pi^k L. Examples of suitable codomains R include the integers, rationals, or L itself.
> R := pAdicRing(2); > Z := Integers(); > P<x> := PolynomialRing(Z); > m := map<Z -> P | k :-> x^3 + x + 1>; > R2 := ext<R | m>; > R2; Unramified extension defined by a map over 2-adic ring > DefiningPolynomial(R2); (1 + O(2^20))*.1^3 + O(2^20) *.1^2 + (1 + O(2^20))*.1 + 1 + O(2^20) > R2`DefaultPrecision := 1000; > DefiningPolynomial(R2); (1 + O(2^1000)) *.1^3 + O(2^1000)*.1^2 + (1 + O(2^1000)) *.1 + 1 + O(2^1000)
Given a local field F, construct the ring of integers R of F. The ring R is the set of elements of F of non-negative valuation.
Given a local ring R, construct the field of fractions F of R. The relative precision of F is equal to the precision of R.
There is only one attribute for local rings and fields that is accessible to the user.
Used to retrieve or set the default precision of the local ring or field L. This attribute is only relevant if L is an unbounded free precision ring, in which case this will change the precision with which elements are created by default. For bounded precision structures, the default precision of the ring is equal to the upper bound on precision; attempting to set this attribute will result in an error in this case.[Next][Prev] [Right] [Left] [Up] [Index] [Root]