|
Imaginary Hyperelliptic Curve
A hyperelliptic curve is a particular kind of algebraic curve. There exist hyperelliptic curves of every genus g \geq 1. If the genus of a hyperelliptic curve equals 1, we simply call the curve an elliptic curve. Hence we can see hyperelliptic curves as generalizations of elliptic curves. There is a well-known group structure on the set of points lying on an elliptic curve over some field K, which we can describe geometrically with chords and tangents. Generalizing this group structure to the hyperelliptic case is not straightforward. We cannot define the same group law on the set of points lying on a hyperelliptic curve, instead a group structure can be defined on the so-called Jacobian of a hyperelliptic curve. The computations differ depending on the number of points at infinity. Imaginary hyperelliptic curves are hyperelliptic curves with exactly 1 point at infinity: real hyperelliptic curves have two points at infinity. Formal definition Hyperelliptic curves can be define ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperelliptic Curve
In algebraic geometry, a hyperelliptic curve is an algebraic curve of genus ''g'' > 1, given by an equation of the form y^2 + h(x)y = f(x) where ''f''(''x'') is a polynomial of degree ''n'' = 2''g'' + 1 > 4 or ''n'' = 2''g'' + 2 > 4 with ''n'' distinct roots, and ''h''(''x'') is a polynomial of degree 3. Therefore, in giving such an equation to specify a non-singular curve, it is almost always assumed that a non-singular model (also called a smooth completion), equivalent in the sense of birational geometry, is meant. To be more precise, the equation defines a quadratic extension of C(''x''), and it is that function field that is meant. The singular point at infinity can be removed (since this is a curve) by the normalization ( integral closure) process. It turns out that after doing this, there is an open cover of the curve by two affine charts: the one already given by y^2 = f(x) and another one given by w^2 = v^f(1/v) . The glueing maps between the two charts are given by (x, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Example Of A Hyperelliptic Curve
Example may refer to: * '' exempli gratia'' (e.g.), usually read out in English as "for example" * .example, reserved as a domain name that may not be installed as a top-level domain of the Internet ** example.com, example.net, example.org, example.edu, second-level domain names reserved for use in documentation as examples * HMS ''Example'' (P165), an Archer-class patrol and training vessel of the Royal Navy Arts * ''The Example'', a 1634 play by James Shirley * ''The Example'' (comics), a 2009 graphic novel by Tom Taylor and Colin Wilson * Example (musician), the British dance musician Elliot John Gleave (born 1982) * ''Example'' (album), a 1995 album by American rock band For Squirrels See also * * Exemplar (other), a prototype or model which others can use to understand a topic better * Exemplum, medieval collections of short stories to be told in sermons * Eixample The Eixample (; ) is a district of Barcelona between the old city (Ciutat Vella) and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgroup of ''G'' if the restriction of ∗ to is a group operation on ''H''. This is often denoted , read as "''H'' is a subgroup of ''G''". The trivial subgroup of any group is the subgroup consisting of just the identity element. A proper subgroup of a group ''G'' is a subgroup ''H'' which is a proper subset of ''G'' (that is, ). This is often represented notationally by , read as "''H'' is a proper subgroup of ''G''". Some authors also exclude the trivial group from being proper (that is, ). If ''H'' is a subgroup of ''G'', then ''G'' is sometimes called an overgroup of ''H''. The same definitions apply more generally when ''G'' is an arbitrary semigroup, but this article will only deal with subgroups of groups. Subgroup tests Suppose th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation \cdot that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The symbo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Sum , a sum of infinitely many monomials with distinct positive integer exponents, again considered as an abstract object regardless ...
In mathematics, a formal sum, formal series, or formal linear combination may be: *In group theory, an element of a free abelian group, a sum of finitely many elements from a given basis set multiplied by integer coefficients. *In linear algebra, an element of a vector space, a sum of finitely many elements from a given basis set multiplied by real, complex, or other numerical coefficients. *In the study of series (mathematics), a sum of an infinite sequence of numbers or other quantities, considered as an abstract mathematical object regardless of whether the sum converges. *In the study of power series In mathematics, a power series (in one variable) is an infinite series of the form \sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots where ''an'' represents the coefficient of the ''n''th term and ''c'' is a const ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leading Coefficient
In mathematics, a coefficient is a multiplicative factor in some term of a polynomial, a series, or an expression; it is usually a number, but may be any expression (including variables such as , and ). When the coefficients are themselves variables, they may also be called parameters. 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. The constant coefficient is the coefficient not attached to variables in an expression. For example, the constant coefficients of the expressions above are the number 3 and the parameter ''c'', respectively. The coefficient attached to the highest degree of the variable in a polynomial is referred to as the leading coefficient. For example, in the expressions above, the leading coefficients are 2 and ''a'', respectively. Terminology and definition In mathematics, a coefficient is a multiplicative factor in some term of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field Of Fractions
In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field of rational numbers. Intuitively, it consists of ratios between integral domain elements. The field of fractions of R is sometimes denoted by \operatorname(R) or \operatorname(R), and the construction is sometimes also called the fraction field, field of quotients, or quotient field of R. All four are in common usage, but are not to be confused with the quotient of a ring by an ideal, which is a quite different concept. For a commutative ring which is not an integral domain, the analogous construction is called the localization or ring of quotients. Definition Given an integral domain and letting R^* = R \setminus \, we define an equivalence relation on R \times R^* by letting (n,d) \sim (m,b) whenever nb = md. We denote the equivale ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Field Of An Algebraic Variety
In algebraic geometry, the function field of an algebraic variety ''V'' consists of objects which are interpreted as rational functions on ''V''. In classical algebraic geometry they are ratios of polynomials; in complex algebraic geometry these are meromorphic functions and their higher-dimensional analogues; in modern algebraic geometry they are elements of some quotient ring's field of fractions. Definition for complex manifolds In complex algebraic geometry the objects of study are complex analytic varieties, on which we have a local notion of complex analysis, through which we may define meromorphic functions. The function field of a variety is then the set of all meromorphic functions on the variety. (Like all meromorphic functions, these take their values in \mathbb\cup\infty.) Together with the operations of addition and multiplication of functions, this is a field in the sense of algebra. For the Riemann sphere, which is the variety \mathbb^1 over the complex numbers, th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Variable (mathematics)
In mathematics, a variable (from Latin '' variabilis'', "changeable") is a symbol that represents a mathematical object. A variable may represent a number, a vector, a matrix, a function, the argument of a function, a set, or an element of a set. Algebraic computations with variables as if they were explicit numbers solve a range of problems in a single computation. For example, the quadratic formula solves any quadratic equation by substituting the numeric values of the coefficients of that equation for the variables that represent them in the quadratic formula. In mathematical logic, a ''variable'' is either a symbol representing an unspecified term of the theory (a meta-variable), or a basic object of the theory that is manipulated without referring to its possible intuitive interpretation. History In ancient works such as Euclid's ''Elements'', single letters refer to geometric points and shapes. In the 7th century, Brahmagupta used different colours to represent the u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uniqueness Quantification
In mathematics and logic, the term "uniqueness" refers to the property of being the one and only object satisfying a certain condition. This sort of quantification is known as uniqueness quantification or unique existential quantification, and is often denoted with the symbols " ∃!" or "∃=1". For example, the formal statement : \exists! n \in \mathbb\,(n - 2 = 4) may be read as "there is exactly one natural number n such that n - 2 =4". Proving uniqueness The most common technique to prove the unique existence of a certain object is to first prove the existence of the entity with the desired condition, and then to prove that any two such entities (say, ''a'' and ''b'') must be equal to each other (i.e. a = b). For example, to show that the equation x + 2 = 5 has exactly one solution, one would first start by establishing that at least one solution exists, namely 3; the proof of this part is simply the verification that the equation below holds: : 3 + 2 = 5. To ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomial Function
In mathematics, a polynomial is an expression (mathematics), expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An example of a polynomial of a single indeterminate is . An example with three indeterminates is . Polynomials appear in many areas of mathematics and science. For example, they are used to form polynomial equations, which encode a wide range of problems, from elementary word problem (mathematics education), word problems to complicated scientific problems; they are used to define polynomial functions, which appear in settings ranging from basic chemistry and physics to economics and social science; they are used in calculus and numerical analysis to approximate other functions. In advanced mathematics, polynomials are used to construct polynomial rings and algebraic variety ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Domain
In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element ''a'' has the cancellation property, that is, if , an equality implies . "Integral domain" is defined almost universally as above, but there is some variation. This article follows the convention that rings have a multiplicative identity, generally denoted 1, but some authors do not follow this, by not requiring integral domains to have a multiplicative identity. Noncommutative integral domains are sometimes admitted. This article, however, follows the much more usual convention of reserving the term "integral domain" for the commutative case and using "domain" for the general case including noncommutative rings. Some sources, notably Lang, use the term entir ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
