HOME





Modular Elliptic Curve
A modular elliptic curve is an elliptic curve ''E'' that admits a parametrization ''X''0(''N'') → ''E'' by a modular curve. This is not the same as a modular curve that happens to be an elliptic curve, something that could be called an elliptic modular curve. The modularity theorem, also known as the Taniyama–Shimura conjecture, asserts that every elliptic curve defined over the rational numbers is modular. History and significance In the 1950s and 1960s a connection between elliptic curves and modular forms was conjectured by the Japanese mathematician Goro Shimura based on ideas posed by Yutaka Taniyama. In the West it became well known through a 1967 paper by André Weil. With Weil giving conceptual evidence for it, it is sometimes called the Modularity theorem, Taniyama–Shimura–Weil conjecture. It states that every rational number, rational elliptic curve is classical modular curve, modular. On a separate branch of development, in the late 1960s, Yves Hell ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Dirichlet Series
In mathematics, a Dirichlet series is any series of the form \sum_^\infty \frac, where ''s'' is complex, and a_n is a complex sequence. It is a special case of general Dirichlet series. Dirichlet series play a variety of important roles in analytic number theory. The most usually seen definition of the Riemann zeta function is a Dirichlet series, as are the Dirichlet L-functions. Specifically, the Riemann zeta function ''ζ(s)'' is the Dirichlet series of the constant unit function ''u(n)'', namely: \zeta(s) = \sum_^\infty \frac = \sum_^\infty \frac = D(u, s), where ''D(u, s)'' denotes the Dirichlet series of ''u(n)''. It is conjectured that the Selberg class of series obeys the generalized Riemann hypothesis. The series is named in honor of Peter Gustav Lejeune Dirichlet. Combinatorial importance Dirichlet series can be used as generating series for counting weighted sets of objects with respect to a weight which is combined multiplicatively when taking Cartesian product ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


L-series Of An Elliptic Curve
L series may refer to: Mathematics * ''L''-function, a meromorphic function * Dirichlet ''L''-function, in number theory * Artin ''L''-function, a type of Dirichlet series Technology * Canon L lens, in photography * Sony Vaio L series, desktop computers * ThinkPad L series, laptop computers * L-Series, of fire alarm notification appliances by System Sensor Transportation * Cummins L-series engine * Ford L series, trucks * Honda L engine * International L series, trucks * L-series trains, in China * Lincoln L series, 1920 luxury cars * Mercedes-Benz L-series truck * Nissan L engine * Rolls-Royce–Bentley L-series V8 engine * Rover L-series engine * Saturn L series, sedans and station wagons * Subaru Leone, a compact car Other uses * ''QI'' (L series), a series of television show ''QI'' See also * 1 series (other) 1 series or 1-series may refer to: * BMW 1 Series, a car series * IBM Series/1, a minicomputer series * Nikon 1 series, a camera series See als ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Elliptic Curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions for: :y^2 = x^3 + ax + b for some coefficients and in . The curve is required to be non-singular, which means that the curve has no cusps or self-intersections. (This is equivalent to the condition , that is, being square-free in .) It is always understood that the curve is really sitting in the projective plane, with the point being the unique point at infinity. Many sources define an elliptic curve to be simply a curve given by an equation of this form. (When the coefficient field has characteristic 2 or 3, the above equation is not quite general enough to include all non-singular cubic cu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Conductor Of An Elliptic Curve
In mathematics, the conductor of an elliptic curve over the field of rational numbers (or more generally a local or global field) is an integral ideal, which is analogous to the Artin conductor of a Galois representation. It is given as a product of prime ideals, together with associated exponents, which encode the ramification in the field extensions generated by the points of finite order in the group law of the elliptic curve. The primes involved in the conductor are precisely the primes of bad reduction of the curve: this is the Néron–Ogg–Shafarevich criterion. Ogg's formula expresses the conductor in terms of the discriminant and the number of components of the special fiber over a local field, which can be computed using Tate's algorithm. History The conductor of an elliptic curve over a local field was implicitly studied (but not named) by in the form of an integer invariant ε+δ which later turned out to be the exponent of the conductor. The conductor of an el ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Coefficient
In mathematics, a coefficient is a Factor (arithmetic), multiplicative factor involved in some Summand, term of a polynomial, a series (mathematics), series, or any other type of expression (mathematics), expression. It may be a Dimensionless quantity, number without units, in which case it is known as a numerical factor. It may also be a constant (mathematics), constant with units of measurement, in which it is known as a constant multiplier. In general, coefficients may be any mathematical expression, expression (including Variable (mathematics), variables such as , and ). When the combination of variables and constants is not necessarily involved in a product (mathematics), product, it may be called a ''parameter''. For example, the polynomial 2x^2-x+3 has coefficients 2, −1, and 3, and the powers of the variable x in the polynomial ax^2+bx+c have coefficient parameters a, b, and c. A , also known as constant term or simply constant, is a quantity either implicitly attach ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative integers. The set (mathematics), set of all integers is often denoted by the boldface or blackboard bold The set of natural numbers \mathbb is a subset of \mathbb, which in turn is a subset of the set of all rational numbers \mathbb, itself a subset of the real numbers \mathbb. Like the set of natural numbers, the set of integers \mathbb is Countable set, countably infinite. An integer may be regarded as a real number that can be written without a fraction, fractional component. For example, 21, 4, 0, and −2048 are integers, while 9.75, , 5/4, and Square root of 2, are not. The integers form the smallest Group (mathematics), group and the smallest ring (mathematics), ring containing the natural numbers. In algebraic number theory, the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Rational Map
In mathematics, in particular the subfield of algebraic geometry, a rational map or rational mapping is a kind of partial function between algebraic varieties. This article uses the convention that varieties are irreducible. Definition Formal definition Formally, a rational map f \colon V \to W between two varieties is an equivalence class of pairs (f_U, U) in which f_U is a morphism of varieties from a non-empty open set U\subset V to W, and two such pairs (f_U, U) and (_, U') are considered equivalent if f_U and _ coincide on the intersection U \cap U' (this is, in particular, vacuously true if the intersection is empty, but since V is assumed irreducible, this is impossible). The proof that this defines an equivalence relation relies on the following lemma: * If two morphisms of varieties are equal on some non-empty open set, then they are equal. f is said to be dominant if one (equivalently, every) representative f_U in the equivalence class is a dominant morphism, i.e. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Theorem
In mathematics and formal logic, a theorem is a statement (logic), statement that has been Mathematical proof, proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In mainstream mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice (ZFC), or of a less powerful theory, such as Peano arithmetic. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ''corollary'' for less important theorems. In mathematical logic, the concepts of theorems and proofs have been formal system ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Iwasawa Theory
In number theory, Iwasawa theory is the study of objects of arithmetic interest over infinite Tower of fields, towers of number fields. It began as a Galois module theory of ideal class groups, initiated by (), as part of the theory of cyclotomic fields. In the early 1970s, Barry Mazur considered generalizations of Iwasawa theory to abelian variety, abelian varieties. More recently (early 1990s), Ralph Greenberg has proposed an Iwasawa theory for motive (algebraic geometry), motives. Formulation Iwasawa worked with so-called \Z_p-extensions: infinite extensions of a number field F with Galois group \Gamma isomorphic to the additive group of p-adic integers for some prime ''p''. (These were called \Gamma-extensions in early papers.) Every closed subgroup of \Gamma is of the form \Gamma^, so by Galois theory, a \Z_p-extension F_\infty/F is the same thing as a tower of fields :F=F_0 \subset F_1 \subset F_2 \subset \cdots \subset F_\infty such that \operatorname(F_n/F)\cong \Z/p^n\ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]