algebraic geometry

(redirected from Algebraic equations)

algebraic geometry,

branch of geometrygeometry
[Gr.,=earth measuring], branch of mathematics concerned with the properties of and relationships between points, lines, planes, and figures and with generalizations of these concepts.
..... Click the link for more information.
, based on analytic geometryanalytic geometry,
branch of geometry in which points are represented with respect to a coordinate system, such as Cartesian coordinates, and in which the approach to geometric problems is primarily algebraic.
..... Click the link for more information.
, that is concerned with geometric objects (loci) defined by algebraic relations among their coordinates (see Cartesian coordinatesCartesian coordinates
[for René Descartes], system for representing the relative positions of points in a plane or in space. In a plane, the point P is specified by the pair of numbers (x,y
..... Click the link for more information.
). In plane geometry an algebraic curve is the locus of all points satisfying the polynomialpolynomial,
mathematical expression which is a finite sum, each term being a constant times a product of one or more variables raised to powers. With only one variable the general form of a polynomial is a0xn+a1x
..... Click the link for more information.
 equation f(x,y)=0; in three dimensions the polynomial equation f(x,y,z)=0 defines an algebraic surface. In general, points in n-space are defined by ordered sequences of numbers (x1,x2,x3, … xn), where each n-tuple specifies a unique point and x1, x2, x3, … xn are members of a given fieldfield,
in algebra, set of elements (usually numbers) that may be combined under the operations of addition and multiplication so that it constitutes an additive group, the nonzero elements form a multiplicative group, and multiplication distributes over addition.
..... Click the link for more information.
 (e.g., the complex numbers). An algebraic hypersurface is the locus of all such points satisfying the polynomial equation f(x1,x2,x3, … xn)=0, whose coefficients are also chosen from the given field. The intersection of two or more algebraic hypersurfaces defines an algebraic set, or variety, a concept of particular importance in algebraic geometry.
The Columbia Electronic Encyclopedia™ Copyright © 2013, Columbia University Press. Licensed from Columbia University Press. All rights reserved.
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

Algebraic Geometry


a branch of mathematics that studies algebraic manifolds. Algebraic manifolds are sets of points in n-dimensional space, the coordinates of which (xux x2,,... , JC, ) are solutions of a system of equations

F1 (x1 x2,. . . , xn) = 0


Fm (x1,x2,. . ., xn) = 0

where F1,. . . , Fm are polynomials in the unknowns x1, x2, . . . , xn. Every algebraic manifold has a definite dimension, which is the number of independent parameters defining a point on the manifold. Algebraic manifolds of dimension 1 are called algebraic curves, and those of dimension 2 are called algebraic surfaces. Examples of algebraic curves are provided by conic sections.

Two algebraic manifolds are said to be birationally equivalent if the coordinates of every point of one manifold can be expressed by rational functions in terms of the coordinates of a point of the other manifold, and conversely. In algebraic geometry, algebraic manifolds are usually studied to within birational equivalence, and therefore one of the basic problems of algebraic geometry is the construction of birational invariants for algebraic manifolds. The most important birational invariants are constructed with the tools of mathematical analysis (the so-called transcendental methods), in particular by means of multiple integrals over an algebraic manifold. Besides transcendental methods, the geometrical methods of projective geometry and topological methods are frequently used. Topology is invoked because certain important birational invariants—for example, the genus of a curve (see below)—of algebraic manifolds are of a topological nature. The relationship between algebraic geometry and topology becomes particularly important in view of the theorem of the Japanese mathematician Hironaka, according to which every algebraic manifold is birationally equivalent to a manifold without singular points.

The most extensively developed area of algebraic geometry is the theory of algebraic curves. The fundamental birational invariant of an algebraic curve is its genus. If an algebraic curve is plane—that is, if it is defined in Cartesian coordinates by the equation F(x, y) = 0—the genus of the curve is g = (m − 1) (m − 2)/2 − d, where m is the order of the curve and d is the number of double points. The genus of a curve is always a nonnegative integer. Curves of genus 0 are birationally equivalent to straight lines—that is, they can be represented parametrically by rational expressions. Curves of genus 1 can be parametrized by elliptic functions and are therefore called elliptic curves. Curves of genus greater than 1 can be parametrized by automorphic functions. Each curve of genus g greater than 1 is uniquely defined (to within birational equivalence) by 3g − 3 complex parameters, which themselves run through some algebraic manifold.

In the multidimensional case, the most widely studied class of algebraic manifolds is that of Abelian manifolds. These are closed submanifolds of a projective space which at the same time are groups such that multiplication is specified by rational expressions. Multiplication on such a manifold is automatically commutative. An algebraic curve is an Abelian manifold if and only if it is of genus 1—that is, if it is an elliptic curve.

The theory of algebraic curves and the theory of Abelian manifolds are closely related. Every algebraic curve of genus greater than 0 is canonically embedded in some Abelian manifold called the Jacobian manifold of the given curve. The Jacobian manifold is an important invariant of the curve and almost completely defines the curve itself.

Historically, algebraic geometry arose from the study of curves and surfaces of lower order. Third-order curves were classified by I. Newton in 1704. In the 19th century algebraic geometry gradually advanced from the study of special classes of curves and surfaces to the formulation of general problems pertaining to all manifolds. A general algebraic geometry was formulated around the turn of the 20th century by the German mathematician M. Noether, by the Italians F. Enriques and F. Severi, and others. Algebraic geometry flourished in the 20th century with the work of the French mathematician A. Weil, the American S. Lefschetz, and others. Major contributions have been made by the Soviet mathematicians N. G. Chebotarev, I. G. Petrovskii, and I. R. Shafarevich.

Algebraic geometry is one of the most rapidly developing areas of mathematics. Its methods are exerting an enormous influence on such related fields as the theory of functions of many complex variables, number theory, and also on more remote fields such as partial differential equations, algebraic topology, and group theory.


van der Waerden, B. L. Sovremennaia algebra, parts 1–2, 2nd ed. Moscow-Leningrad, 1947. (Translated from German.)
Chebotarev, N. G. Teoriia algebraicheskikh funktsii. Moscow-Leningrad, 1948.
Hodge, W., and D. Pedoe. Metody algebraicheskoi geometrii, vols. 1–3. Moscow, 1954–55. (Translated from English.)
Algebraicheskie poverkhnosti. Moscow, 1965.
Weil, A. Foundations of Algebraic Geometry. New York, 1946.


The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.

algebraic geometry

[¦al·jə¦brā·ik jē′äm·ə·trē]
The study of geometric properties of figures using methods of abstract algebra.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.
References in classic literature ?
All love is mathematically just, as much as the two sides of an algebraic equation. The good man has absolute good, which like fire turns every thing to its own nature, so that you cannot do him any harm; but as the royal armies sent against Napoleon, when he approached cast down their colors and from enemies became friends, so disasters of all kinds, as sickness, offence, poverty, prove benefactors:--
In fact, Khayyam gives an interesting historical account in which he claims the contributions by earlier writers such as Al-Mahani and Al-Khazin were to translate geometric problems of the Greeks into algebraic equations, something which was essentially impossible before the work of Al-Khwarizmi.
The physical descriptions of the problem are then converted to mathematical arguments in form of equations (such as differential or algebraic equations) called the model equations.
We identified six categorical characteristics shared among the CDS tools analyzed: (1) algebraic equations, (2) multipoint scoring systems, (3) multiple score cutoffs, (4) categorical variable inputs, (5) high number of inputs, and (6) outcomes expressed as risk percentages.
It covers approximations and errors in computation, the solution of algebraic and transcendental equations, the solution of simultaneous algebraic equations, the matrix inversion and eigenvalue problem, empirical laws and curve-fitting, finite differences, interpolations, numerical differentiation and integration, difference equations, the numerical solution of ordinary differential equations, the numerical solution of partial differential equations, linear programming, and a brief review of computers.
Over the past three and a half decades Widlund worked almost exclusively on domain decomposition algorithms for large linear systems of algebraic equations arising in the discretization of partial differential equations.
The basic idea of AFA is to convert both the cipher and the injected faults into algebraic equations and recover the secret key with automated solvers such as SAT instead of the manual analysis on fault propagations in DFA, hence making it easier to extend AFA to deep rounds and different ciphers and fault models.
Substituting (6) into (5) and using (7), collecting all terms with the same order of (G'/G) together, and then equating each coefficient of the resulting polynomial to zero yield a set of algebraic equations for [[alpha].sub.m], [[alpha].sub.m-1], ..., [[alpha].sub.0], c, [lambda] and [mu].
This is noteworthy, since one of the common pitfalls in algebra is to see the equal sign as a signal to perform an operation, while understanding of the equal sign as a relational symbol of equivalence is important for understanding and solving of algebraic equations (Knuth, Stephens, McNeil, & Alibali, 2006).
Finite difference method replaces the main differential equation with the system of algebraic equations that links shifts of observed points relative to neighbouring points.
Therefore, the VO-NGIADE with its conditions is reduced to system of nonlinear algebraic equations which is far easier to be solved.
We next collect all terms in (18) with the same power in [csch.sup.k] ([mu][xi]) and set their coefficients to zero to get a system of algebraic equations among the unknowns A, [mu], and [tau] and solve the subsequent system

Full browser ?