|
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 \pm ... [...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 order p is 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 instead of using the standard p-adic expansiona = a_0+a_1p+a_2p^2 + \cdotsto represent an element in \mathbb_p, we can instead consider an expansion using the Teichmüller character\omega: \mathbb_p^* \to \mathbb_p^*which sends each element in the solution set of x^-1 in \mathbb_p to an element in the solution set of x^-1 in \mathbb_p. That is, we expand out elements in \mathbb_p in terms of roots of unity instead of ... [...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= 3/ref> The smallest solutions of ''q''''p''(''a'') ≡ 0 (mod ''p'') with ''a'' = ''n'' are: :2, 1093, 11, 1093, 2, 66161, 5, 3, 2, 3, 71, 2693, 2, 29, 29131, 1093, 2, 5, 3, 281, 2, 13, 13, 5, 2, 3, 11, 3, 2, 7, 7, 5, 2, 46145917691, 3, 66161, 2, 17, 8039, 11, 2, 23, 5, 3, 2, 3, ... {{OEIS, id=A039951 A pair (''p'', ''r'') of prime numbers such that ''q''''p''(''r'') ≡ 0 (mod ''p'') and ''q''''r''(''p'') ≡ 0 (mod ''r'') is called a Wieferich pair. References External links * Gottfried HelmsFermat-/Euler-quotients (''a''''p''-1 – 1)/''p''''k'' with arbitrary ''k'' * Richard FischerFermat quotients B^(P-1) 1 (mod P^2) Number theory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fermat's Little Theorem
Fermat's little theorem states that if ''p'' is a prime number, then for any integer ''a'', the number a^p - a is an integer multiple of ''p''. In the notation of modular arithmetic, this is expressed as : a^p \equiv a \pmod p. For example, if = 2 and = 7, then 27 = 128, and 128 − 2 = 126 = 7 × 18 is an integer multiple of 7. If is not divisible by , that is if is coprime to , 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 = 2 and = 7, then 26 = 64, and 64 − 1 = 63 = 7 × 9 is thus a multiple of 7. 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 Oct ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivation (abstract Algebra)
In mathematics, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra ''A'' over a ring or a field ''K'', a ''K''-derivation is a ''K''-linear map that satisfies 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 functions on a differentiable manifold; more generally it is a derivation on the ... [...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, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic , an important class which 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 denominator, of the explicit formula of the binomial coefficients :\frac, i ... [...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 n=0,1,2,\ldots gives a triangular array called Pascal's triangle, satisfying the recurrence relation :\binom = \binom + \binom. The binomial coefficients occur in many areas of mathematics, a ... [...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. A torsion module is a module that equals its torsion submodule. A module is torsion-free if its torsion submodule comprises only 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 allowed by the fact that the abelian groups are the modules over the ring of integers (in fact, this is the origin of the terminology, that has been introduced for abelian groups before being generalized to modules). In the case of groups that are noncommutative, a ''torsion element'' is an element of finite order. Contrary to the c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Algebra
In mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with finitely many derivations, which are unary functions that are linear and satisfy the Leibniz product rule. 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. Differential algebra refers also to the area of mathematics consisting in the study of these algebraic objects and their use in the algebraic study of differential equations. Differential algebra was introduced by Joseph Ritt in 1950. Open problems The biggest open problems in the field include the Kolchin Catenary Conjecture, the Ritt Problem, and The Jacobi Bound Problem. All of these deal with the structure of differential ideals in differential rings. Differential ring A ''differential ring'' is a ring R equipped with one or more '' derivations' ... [...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. The map \theta is defined by assembling the maps called the local Artin symbol, the local reciprocity map or the norm residue ... [...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 added to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bijection
In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other set, and each element of the other set is paired with exactly one element of the first set. There are no unpaired elements. In mathematical terms, a bijective function is a one-to-one (injective) and onto (surjective) mapping of a set ''X'' to a set ''Y''. The term ''one-to-one correspondence'' must not be confused with ''one-to-one function'' (an injective function; see figures). A bijection from the set ''X'' to the set ''Y'' has an inverse function from ''Y'' to ''X''. If ''X'' and ''Y'' are finite sets, then the existence of a bijection means they have the same number of elements. For infinite sets, the picture is more complicated, leading to the concept of cardinal number—a way to distinguish the various sizes of infinite se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
