Search results
Results From The WOW.Com Content Network
The ramification is tame when the ramification indices are all relatively prime to the residue characteristic p of , otherwise wild. This condition is important in Galois module theory. A finite generically étale extension B / A {\displaystyle B/A} of Dedekind domains is tame if and only if the trace Tr : B → A {\displaystyle \operatorname ...
In mathematics, the ramification theory of valuations studies the set of extensions of a valuation v of a field K to an extension L of K. It is a generalization of the ramification theory of Dedekind domains. [1] [2] The structure of the set of extensions is known better when L/K is Galois.
The tame ramification part ε is defined in terms of the reduction type: ε=0 for good reduction, ε=1 for multiplicative reduction and ε=2 for additive reduction. The wild ramification term δ is zero unless p divides 2 or 3, and in the latter cases it is defined in terms of the wild ramification of the extensions of K by the division points ...
The following procedure (Neukirch, p. 47) solves this problem in many cases. The strategy is to select an integer θ in O L so that L is generated over K by θ (such a θ is guaranteed to exist by the primitive element theorem), and then to examine the minimal polynomial H(X) of θ over K; it is a monic polynomial with coefficients in O K.
Integer multiplication respects the congruence classes, that is, a ≡ a' and b ≡ b' (mod n) implies ab ≡ a'b' (mod n). This implies that the multiplication is associative, commutative, and that the class of 1 is the unique multiplicative identity. Finally, given a, the multiplicative inverse of a modulo n is an integer x satisfying ax ≡ ...
Cubic reciprocity is a collection of theorems in elementary and algebraic number theory that state conditions under which the congruence x 3 ≡ p (mod q) is solvable; the word "reciprocity" comes from the form of the main theorem, which states that if p and q are primary numbers in the ring of Eisenstein integers, both coprime to 3, the congruence x 3 ≡ p (mod q) is solvable if and only if ...
In mathematics, the Néron–Ogg–Shafarevich criterion states that if A is an elliptic curve or abelian variety over a local field K and ℓ is a prime not dividing the characteristic of the residue field of K then A has good reduction if and only if the ℓ-adic Tate module T ℓ of A is unramified.
If + and F is a finite extension of of ramification degree (/), there is an upper bound expressed in terms of the function (), which is defined as follows: Write n = ∑ k ≥ 0 c k p k {\displaystyle n=\sum _{k\geq 0}c_{k}p^{k}} with 0 ≤ c k < p {\displaystyle 0\leq c_{k}<p} and set L p ( n ) = ∑ k ≥ 0 k c k p k {\displaystyle L_{p}(n ...