Related Research Articles
In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence of left ideals has a largest element; that is, there exists an n such that:
In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of noncommutative rings where multiplication is not required to be commutative.
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers ; and p-adic integers.
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.
In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings, as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological properties and polynomial identities.
In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.
In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two and so of dimension four as a smooth manifold.
In ring theory and homological algebra, the global dimension of a ring A denoted gl dim A, is a non-negative integer or infinity which is a homological invariant of the ring. It is defined to be the supremum of the set of projective dimensions of all A-modules. Global dimension is an important technical notion in the dimension theory of Noetherian rings. By a theorem of Jean-Pierre Serre, global dimension can be used to characterize within the class of commutative Noetherian local rings those rings which are regular. Their global dimension coincides with the Krull dimension, whose definition is module-theoretic.
In algebraic geometry, a noetherian scheme is a scheme that admits a finite covering by open affine subsets , noetherian rings. More generally, a scheme is locally noetherian if it is covered by spectra of noetherian rings. Thus, a scheme is noetherian if and only if it is locally noetherian and quasi-compact. As with noetherian rings, the concept is named after Emmy Noether.
This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.
A height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties to the real numbers.
In mathematics, real algebraic geometry is the sub-branch of algebraic geometry studying real algebraic sets, i.e. real-number solutions to algebraic equations with real-number coefficients, and mappings between them.
In commutative algebra, an element b of a commutative ring B is said to be integral overA, a subring of B, if there are n ≥ 1 and aj in A such that
In mathematics, the Artin–Rees lemma is a basic result about modules over a Noetherian ring, along with results such as the Hilbert basis theorem. It was proved in the 1950s in independent works by the mathematicians Emil Artin and David Rees; a special case was known to Oscar Zariski prior to their work.
In algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety V has a resolution, a non-singular variety W with a proper birational map W→V. For varieties over fields of characteristic 0 this was proved in Hironaka (1964), while for varieties over fields of characteristic p it is an open problem in dimensions at least 4.
In mathematics, Arakelov theory is an approach to Diophantine geometry, named for Suren Arakelov. It is used to study Diophantine equations in higher dimensions.
This is a glossary of algebraic geometry.
In abstract algebra, Jacobson's conjecture is an open problem in ring theory concerning the intersection of powers of the Jacobson radical of a Noetherian ring.
In algebraic geometry, Chevalley's structure theorem states that a smooth connected algebraic group over a perfect field has a unique normal smooth connected affine algebraic subgroup such that the quotient is an abelian variety. It was proved by Chevalley (1960), Barsotti, and Rosenlicht (1956).
In algebra, a commutative Noetherian ring A is said to have the approximation property with respect to an ideal I if each finite system of polynomial equations with coefficients in A has a solution in A if and only if it has a solution in the I-adic completion of A. The notion of the approximation property is due to Michael Artin.
References
- ↑ Popescu, Dorin (1985). "General Néron desingularization". Nagoya Mathematical Journal. 100: 97–126. doi: 10.1017/S0027763000000246 . MR 0818160.
- ↑ Popescu, Dorin (1986). "General Néron desingularization and approximation". Nagoya Mathematical Journal. 104: 85–115. doi: 10.1017/S0027763000022698 . MR 0868439.
- ↑ Conrad, Brian; de Jong, Aise Johan (2002). "Approximation of versal deformations" (PDF). Journal of Algebra . 255 (2): 489–515. doi:10.1016/S0021-8693(02)00144-8. MR 1935511., Theorem 1.3.
- ↑ Ogoma, Tetsushi (1994). "General Néron desingularization based on the idea of Popescu". Journal of Algebra . 167 (1): 57–84. doi: 10.1006/jabr.1994.1175 . MR 1282816.
- ↑ Swan, Richard G. (1998). "Néron–Popescu desingularization". Algebra and geometry (Taipei, 1995). Lect. Algebra Geom. Vol. 2. Cambridge, MA: International Press. pp. 135–192. MR 1697953.
- ↑ Spivakovsky, Mark (1999). "A new proof of D. Popescu's theorem on smoothing of ring homomorphisms". Journal of the American Mathematical Society . 12 (2): 381–444. doi: 10.1090/s0894-0347-99-00294-5 . MR 1647069.
- ↑ Cisinski, Denis-Charles; Déglise, Frédéric (2019). Triangulated Categories of Mixed Motives. Springer Monographs in Mathematics. arXiv: 0912.2110 . doi:10.1007/978-3-030-33242-6. ISBN 978-3-030-33241-9.
