|
P-derivation
In mathematics, more specifically differential algebra, a ''p''-derivation (for ''p'' a prime number) on a ring ''R'', is a mapping from ''R'' to ''R'' that satisfies certain conditions outlined directly below. The notion of a ''p''-derivation is related to that of a derivation in differential algebra. Definition Let ''p'' be a prime number. A ''p''-derivation or Buium derivative on a ring R is a map \delta:R\to R that satisfies the following "product rule": : \delta_p(ab) = \delta_p (a)b^p + a^p\delta_p (b) + p\delta_p (a)\delta_p (b) and "sum rule": : \delta_p(a+b) = \delta_p (a) + \delta_p(b) + \frac, as well as : \delta_p(1) = 0. Note that in the "sum rule" we are not really dividing by ''p'', since all the relevant binomial coefficients in the numerator are divisible by ''p'', so this definition applies in the case when R has ''p''- torsion. Relation to Frobenius endomorphisms A map \sigma: R \to R is a lift of the Frobenius endomorphism provided \sigma(x) = x^p \p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Witt Vector
In mathematics, a Witt vector is an infinite sequence of elements of a commutative ring. Ernst Witt showed how to put a ring structure on the set of Witt vectors, in such a way that the ring of Witt vectors W(\mathbb_p) over the finite field of prime order ''p'' is isomorphic to \mathbb_p, the ring of ''p''-adic integers. They have a highly non-intuitive structure upon first glance because their additive and multiplicative structure depends on an infinite set of recursive formulas which do not behave like addition and multiplication formulas for standard ''p''-adic integers. The main idea behind Witt vectors is that instead of using the standard ''p''-adic expansiona = a_0+a_1p+a_2p^2 + \cdotsto represent an element in \mathbb_p, an expansion using the Teichmüller character can be considered instead;\omega: \mathbb_p^* \to \mathbb_p^*,which is a group morphism sending each element in the solution set of x^-1 in \mathbb_p to an element in the solution set of x^-1 in \mathbb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fermat Quotient
In number theory, the Fermat quotient of an integer ''a'' with respect to an odd prime ''p'' is defined as :q_p(a) = \frac, or :\delta_p(a) = \frac. This article is about the former; for the latter see ''p''-derivation. The quotient is named after Pierre de Fermat. If the base ''a'' is coprime to the exponent ''p'' then Fermat's little theorem says that ''q''''p''(''a'') will be an integer. If the base ''a'' is also a generator of the multiplicative group of integers modulo ''p'', then ''q''''p''(''a'') will be a cyclic number, and ''p'' will be a full reptend prime. Properties From the definition, it is obvious that :\begin q_p(1) &\equiv 0 && \pmod \\ q_p(-a)&\equiv q_p(a) && \pmod\quad (\text 2 \mid p-1) \end In 1850, Gotthold Eisenstein proved that if ''a'' and ''b'' are both coprime to ''p'', then: :\begin q_p(ab) &\equiv q_p(a)+q_p(b) &&\pmod \\ q_p(a^r) &\equiv rq_p(a) &&\pmod \\ q_p(p \mp a) &\equiv q_p(a) \pm \tfrac &&\pmod \\ q_p(p \mp 1) &\equiv \pm 1 && \pmo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fermat's Little Theorem
In number theory, Fermat's little theorem states that if is a prime number, then for any integer , the number is an integer multiple of . In the notation of modular arithmetic, this is expressed as a^p \equiv a \pmod p. For example, if and , then , and is an integer multiple of . If is not divisible by , that is, if is coprime to , then Fermat's little theorem is equivalent to the statement that is an integer multiple of , or in symbols: a^ \equiv 1 \pmod p. For example, if and , then , and is a multiple of . Fermat's little theorem is the basis for the Fermat primality test and is one of the fundamental results of elementary number theory. The theorem is named after Pierre de Fermat, who stated it in 1640. It is called the "little theorem" to distinguish it from Fermat's Last Theorem.. History Pierre de Fermat first stated the theorem in a letter dated October 18, 1640, to his friend and confidant Frénicle de Bessy. His formulation is equivalent to the following ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivation (abstract Algebra)
In mathematics, a derivation is a function on an algebra over a field, algebra that generalizes certain features of the derivative operator. Specifically, given an algebra ''A'' over a ring (mathematics), ring or a field (mathematics), field ''K'', a ''K''-derivation is a ''K''-linear map that satisfies Product rule, Leibniz's law: : D(ab) = a D(b) + D(a) b. More generally, if ''M'' is an ''A''-bimodule, a ''K''-linear map that satisfies the Leibniz law is also called a derivation. The collection of all ''K''-derivations of ''A'' to itself is denoted by Der''K''(''A''). The collection of ''K''-derivations of ''A'' into an ''A''-module ''M'' is denoted by . Derivations occur in many different contexts in diverse areas of mathematics. The partial derivative with respect to a variable is an R-derivation on the algebra of real-valued differentiable functions on R''n''. The Lie derivative with respect to a vector field is an R-derivation on the algebra of differentiable function ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arithmetic Derivative
In number theory, the Lagarias arithmetic derivative or number derivative is a function defined for integers, based on prime factorization, by analogy with the product rule for the derivative of a function that is used in mathematical analysis. There are many versions of "arithmetic derivatives", including the one discussed in this article (the Lagarias arithmetic derivative), such as Ihara's arithmetic derivative and Buium's arithmetic derivatives. Early history The arithmetic derivative was introduced by Spanish mathematician Josè Mingot Shelly in 1911. The arithmetic derivative also appeared in the 1950 Putnam Competition. Definition For natural numbers , the arithmetic derivative In this article we use Oliver Heaviside's notation for the arithmetic derivative of . There are various other notations possible, such as ; a full discussion is available here for general differential operators, of which the arithmetic derivative can be considered one. Heaviside's notation is used ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frobenius Endomorphism
In commutative algebra and field theory (mathematics), field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative Ring (mathematics), rings with prime number, prime characteristic (algebra), characteristic , an important class that includes finite fields. The endomorphism maps every element to its -th power. In certain contexts it is an automorphism, but this is not true in general. Definition Let be a commutative ring with prime characteristic (an integral domain of positive characteristic always has prime characteristic, for example). The Frobenius endomorphism ''F'' is defined by :F(r) = r^p for all ''r'' in ''R''. It respects the multiplication of ''R'': :F(rs) = (rs)^p = r^ps^p = F(r)F(s), and is 1 as well. Moreover, it also respects the addition of . The expression can be expanded using the binomial theorem. Because is prime, it divides but not any for ; it therefore will divide the numerator, but not the d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binomial Coefficients
In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers and is written \tbinom. It is the coefficient of the term in the polynomial expansion of the binomial power ; this coefficient can be computed by the multiplicative formula : \binom nk = \frac, which using factorial notation can be compactly expressed as : \binom = \frac. For example, the fourth power of is : \begin (1 + x)^4 &= \tbinom x^0 + \tbinom x^1 + \tbinom x^2 + \tbinom x^3 + \tbinom x^4 \\ &= 1 + 4x + 6 x^2 + 4x^3 + x^4, \end and the binomial coefficient \tbinom =\tfrac = \tfrac = 6 is the coefficient of the term. Arranging the numbers \tbinom, \tbinom, \ldots, \tbinom in successive rows for gives a triangular array called Pascal's triangle, satisfying the recurrence relation : \binom = \binom + \binom . The binomial coefficients occur in many areas of mathematics, and especia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torsion (algebra)
In mathematics, specifically in ring theory, a torsion element is an element of a module that yields zero when multiplied by some non-zero-divisor of the ring. The torsion submodule of a module is the submodule formed by the torsion elements (in cases when this is indeed a submodule, such as when the ring is commutative). A torsion module is a module consisting entirely of torsion elements. A module is torsion-free if its only torsion element is the zero element. This terminology is more commonly used for modules over a domain, that is, when the regular elements of the ring are all its nonzero elements. This terminology applies to abelian groups (with "module" and "submodule" replaced by "group" and "subgroup"). This is just a special case of the more general situation, because abelian groups are modules over the ring of integers. (In fact, this is the origin of the terminology, which was introduced for abelian groups before being generalized to modules.) In the case of gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Algebra
In mathematics, differential algebra is, broadly speaking, the area of mathematics consisting in the study of differential equations and differential operators as algebraic objects in view of deriving properties of differential equations and operators without computing the solutions, similarly as polynomial algebras are used for the study of algebraic varieties, which are solution sets of systems of polynomial equations. Weyl algebras and Lie algebras may be considered as belonging to differential algebra. More specifically, ''differential algebra'' refers to the theory introduced by Joseph Ritt in 1950, in which differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with finitely many derivations. A natural example of a differential field is the field of rational functions in one variable over the complex numbers, \mathbb(t), where the derivation is differentiation with respect to t. More generally, every differential e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artin Map
The Artin reciprocity law, which was established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem. Statement Let L/K be a Galois extension of global fields and C_L stand for the idèle class group of L. One of the statements of the Artin reciprocity law is that there is a canonical isomorphism called the global symbol mapNeukirch (1999) p.391 : \theta: C_K/ \to \operatorname(L/K)^, where \text denotes the abelianization of a group, and \operatorname(L/K) is the Galois group of L over K. The map \theta is defined by assembling the maps called the local Art ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Endomorphism
In mathematics, an endomorphism is a morphism from a mathematical object to itself. An endomorphism that is also an isomorphism is an automorphism. For example, an endomorphism of a vector space is a linear map , and an endomorphism of a group is a group homomorphism . In general, we can talk about endomorphisms in any category. In the category of sets, endomorphisms are functions from a set ''S'' to itself. In any category, the composition of any two endomorphisms of is again an endomorphism of . It follows that the set of all endomorphisms of forms a monoid, the full transformation monoid, and denoted (or to emphasize the category ). Automorphisms An invertible endomorphism of is called an automorphism. The set of all automorphisms is a subset of with a group structure, called the automorphism group of and denoted . In the following diagram, the arrows denote implication: Endomorphism rings Any two endomorphisms of an abelian group, , can be ad ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bijection
In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equivalently, a bijection is a relation between two sets such that each element of either set is paired with exactly one element of the other set. A function is bijective if it is invertible; that is, a function f:X\to Y is bijective if and only if there is a function g:Y\to X, the ''inverse'' of , such that each of the two ways for composing the two functions produces an identity function: g(f(x)) = x for each x in X and f(g(y)) = y for each y in Y. For example, the ''multiplication by two'' defines a bijection from the integers to the even numbers, which has the ''division by two'' as its inverse function. A function is bijective if and only if it is both injective (or ''one-to-one'')—meaning that each element in the codomain is mappe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
