Search references for COMMUTATIVE RING. Phrases containing COMMUTATIVE RING
See searches and references containing COMMUTATIVE RING!COMMUTATIVE RING
Algebraic structure
mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra
Commutative_ring
Algebraic structure with addition and multiplication
addition and multiplication, except that multiplication in a ring does not need to be commutative. Ring elements may be numbers such as integers or complex numbers
Ring_(mathematics)
Branch of algebra that studies commutative rings
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both
Commutative_algebra
Algebraic structure
commutative algebra, and algebraic geometry. In ring theory, many classes of rings, such as unique factorization domains, regular rings, group rings,
Polynomial_ring
Concept in algebra
In algebra, a graded-commutative ring (also called a skew-commutative ring) is a graded ring that is commutative in the graded sense; that is, homogeneous
Graded-commutative_ring
Algebraic structure
mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different
Noncommutative_ring
Vector space equipped with a bilinear product
associative commutative algebra. Replacing the field of scalars by a commutative ring leads to the more general notion of an algebra over a ring. Algebras
Algebra_over_a_field
Branch of algebra
examples of commutative rings, have driven much of the development of commutative ring theory, which is now, under the name of commutative algebra, a major
Ring_theory
Mathematical ring with well-behaved ideals
right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered in mathematics
Noetherian_ring
Ring that is also a vector space or a module
mathematics, an associative algebra A over a commutative ring (often a field) K is a ring A together with a ring homomorphism from K into the center of A
Associative_algebra
algebraic topology, a commutative ring spectrum, roughly equivalent to a E ∞ {\displaystyle E_{\infty }} -ring spectrum, is a commutative monoid in a good
Commutative_ring_spectrum
Generalization of vector spaces from fields to rings
space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a module also generalizes the notion of an abelian
Module_(mathematics)
Construction of a ring of fractions
In commutative algebra and algebraic geometry, localization is a formal way to introduce the "denominators" to a given ring or module. That is, it introduces
Localization (commutative algebra)
Localization_(commutative_algebra)
Ideal in a ring which has properties similar to prime elements
and prime ideals are both primary and semiprime. An ideal P of a commutative ring R is prime if it has the following two properties: If a and b are two
Prime_ideal
Algebraic structure also called skew field
a b–1 ≠ b–1 a. A commutative division ring is a field. Wedderburn's little theorem asserts that all finite division rings are commutative and therefore finite
Division_ring
Submodule of a mathematical ring
beyond number rings to the setting of polynomial rings and other commutative rings by David Hilbert and especially Emmy Noether. Given a ring R {\displaystyle
Ideal_(ring_theory)
Commutative monoid in simplicial abelian groups
In algebra, a simplicial commutative ring is a commutative monoid in the category of simplicial abelian groups, or, equivalently, a simplicial object
Simplicial_commutative_ring
In mathematics, invariant of square matrices
entries in a non-commutative ring, there are various difficulties in defining determinants analogously to that for commutative rings. A meaning can be
Determinant
Set of a ring's prime ideals
more specifically in commutative algebra and algebraic geometry, the prime spectrum (or simply the spectrum) of a commutative ring R {\displaystyle R}
Spectrum_of_a_ring
Property of some mathematical operations
whose operation is commutative; a commutative ring is a ring whose multiplication is commutative. (Addition in a ring is always commutative.) However, in the
Commutative_property
(Mathematical) ring with a unique maximal ideal
is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises as the
Local_ring
Category whose objects are rings and whose morphisms are ring homomorphisms
Ring is a commutative ring. The action of a monoid (= commutative ring) R on an object (= ring) A of Ring is an R-algebra. The category of rings has a number
Category_of_rings
Type of ring in commutative algebra
In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal
Regular_local_ring
Structure-preserving function between two rings
over a commutative ring R is a ring homomorphism that is also R-linear. The function f : Z/6Z → Z/6Z defined by f([a]6) = [4a]6 is not a ring homomorphism
Ring_homomorphism
Branch of mathematics
studies the geometric properties of formal duals of non-commutative algebraic objects such as rings as well as geometric objects derived from them (e.g.
Noncommutative algebraic geometry
Noncommutative_algebraic_geometry
In mathematics, element with a multiplicative inverse
nonzero ring R in which every nonzero element is a unit (that is, R× = R ∖ {0}) is called a division ring (or a skew-field). A commutative division ring is
Unit_(ring_theory)
Ideal of the nilpotent elements
In algebra, the nilradical of a commutative ring is the ideal consisting of the nilpotent elements: N R = N i l ( R ) = { f ∈ R ∣ f m = 0 for some m
Nilradical_of_a_ring
Sheaf of rings in mathematics
mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that
Ringed_space
Type of algebraic structure
-graded ring. If I is an ideal in a commutative ring R, then ⨁ n = 0 ∞ I n / I n + 1 {\textstyle \bigoplus _{n=0}^{\infty }I^{n}/I^{n+1}} is a graded ring called
Graded_ring
Algebra over a field where binary multiplication is not necessarily associative
associative", just as "noncommutative" means "not necessarily commutative" for noncommutative rings. An algebra is unital or unitary if it has an identity element
Non-associative_algebra
Mathematical structure in abstract algebra
is a mathematical structure consisting of two involutive rings R and A, where R is commutative and A has the structure of an associative algebra over R
*-algebra
Set with operations obeying given axioms
algebraic structure that is a vector space over a field or a module over a commutative ring. The collection of all structures of a given type (same operations
Algebraic_structure
Mathematical operation on vector spaces
adjoint" to Hom. The tensor product of two modules A and B over a commutative ring R is defined in exactly the same way as the tensor product of vector
Tensor_product
Free object in the category of associative algebras
variables. Likewise, the polynomial ring may be regarded as a free commutative algebra. For R a commutative ring, the free (associative, unital) algebra
Free_algebra
Generalization of algebraic variety
variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme
Scheme_(mathematics)
Algebraic structure in ring theory
a right exact functor.) These definitions apply also if R is a non-commutative ring, and M is a left R-module; in this case, K, L and J must be right R-modules
Flat_module
In algebra, module with a finite generating set
polynomial ring R[X] over a Noetherian ring R is Noetherian. Both facts imply that a finitely generated commutative algebra over a Noetherian ring is again
Finitely_generated_module
Direct summand of a free module (mathematics)
left R-modules and Ab is the category of abelian groups. When the ring R is commutative, Ab is advantageously replaced by R-Mod in the preceding characterization
Projective_module
Concept in mathematics
and algebraic topology. A one-dimensional formal group law over a commutative ring R is a (formal) power series F(x,y) with coefficients in R, such that
Formal_group_law
mathematics, Lazard's universal ring is a ring introduced by Michel Lazard in Lazard (1955) over which the universal commutative one-dimensional formal group
Lazard's_universal_ring
Commutative group (mathematics)
In mathematics, an abelian group,[note 1] also called a commutative group, is a group in which the result of applying the group operation to two group
Abelian_group
German mathematician (1882–1935)
in Ringbereichen (Theory of Ideals in Ring Domains), Noether developed the theory of ideals in commutative rings into a tool with wide-ranging applications
Emmy_Noether
Topology on prime ideals and algebraic varieties
generalized for making the set of prime ideals of a commutative ring (called the spectrum of the ring) a topological space. The Zariski topology allows
Zariski_topology
Local ring in commutative algebra
In commutative algebra, a Gorenstein local ring is a commutative Noetherian local ring R with finite injective dimension as an R-module. There are many
Gorenstein_ring
Algebraic structure with addition, multiplication, and division
multiplication distributes over addition. Even more succinctly: a field is a commutative ring in which 0 ≠ 1 and all nonzero elements are invertible under multiplication
Field_(mathematics)
Unique ring consisting of one element
zero ring is commutative. The element 0 in the zero ring is a unit, serving as its own multiplicative inverse. The unit group of the zero ring is the
Zero_ring
In mathematics, dimension of a ring
In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime
Krull_dimension
Operation that pairs a left and a right R-module into an abelian group
of modules over a commutative ring resulting in a third module, and also for a pair of a right-module and a left-module over any ring, with result an abelian
Tensor_product_of_modules
Branch of mathematics
denoted as 1. Multiplication needs not to be commutative; if it is commutative, one has a commutative ring. The ring of integers ( Z {\displaystyle \mathbb
Algebra
subject. For the items in commutative algebra (the theory of commutative rings), see Glossary of commutative algebra. For ring-theoretic concepts in the
Glossary_of_ring_theory
Element in a ring whose some power is 0
{\displaystyle R} is called a reduced ring. Every nilpotent element x {\displaystyle x} in a commutative ring is contained in every prime ideal p {\displaystyle
Nilpotent
Algebraic ring that need not have additive negative elements
definition, any ring and any semifield is also a semiring. The non-negative elements of a commutative, discretely ordered ring form a commutative, discretely
Semiring
mathematics, specifically in ring theory, a nilpotent algebra over a commutative ring is an algebra over a commutative ring, in which for some positive
Nilpotent_algebra
Generalization of associativity properties
modules over a commutative ring, chain complexes, groupoids (or even the category of categories itself), coalgebras, etc. Given a commutative ring R we consider
Operad
Theorem in algebra mathematics
and commutative algebra, Nakayama's lemma — also known as the Krull–Azumaya theorem — governs the interaction between the Jacobson radical of a ring (typically
Nakayama's_lemma
Most general completion of a commutative square given two morphisms with same codomain
the category of commutative rings (with identity), the pullback is called the fibered product. Let A, B, and C be commutative rings (with identity) and
Pullback_(category_theory)
Largest integer that divides given integers
(see Polynomial greatest common divisor) and other commutative rings (see § In commutative rings below). The greatest common divisor (GCD) of integers
Greatest_common_divisor
Type of commutative ring in mathematics
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
Cohen–Macaulay_ring
Ring without non-zero nilpotent elements
A commutative algebra over a commutative ring is called a reduced algebra if its underlying ring is reduced. The nilpotent elements of a commutative ring
Reduced_ring
Overview of and topical guide to algebraic structures
nontrivial commutative ring in which the product of any two nonzero elements is nonzero. Field: a commutative division ring (i.e. a commutative ring which
Outline of algebraic structures
Outline_of_algebraic_structures
Type of integral domain
arithmetic holds. Specifically, a UFD is an integral domain (a nontrivial commutative ring in which the product of any two non-zero elements is non-zero) in which
Unique_factorization_domain
algebra, a Hilbert ring or a Jacobson ring is a ring such that every prime ideal is an intersection of primitive ideals. For commutative rings, primitive ideals
Jacobson_ring
Commutative ring with no zero divisors other than zero
In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. In an integral domain, every
Integral_domain
Construction within abstract algebra
quotient ring or total ring of fractions is a construction that generalizes the notion of the field of fractions of an integral domain to commutative rings R
Total_ring_of_fractions
coefficient equal to 1. Every commutative ring is a PI-ring, satisfying the polynomial identity XY − YX = 0. Therefore, PI-rings are usually taken as close
Polynomial_identity_ring
In algebra, completion w.r.t. powers of an ideal
together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's
Completion_of_a_ring
Algebra where division is always defined
meaningful. The real numbers can be extended to a wheel, as can any commutative ring. The term wheel is inspired by the topological picture ⊙ {\displaystyle
Wheel_theory
Graph of zero divisors of a commutative ring
combinatorial commutative algebra, a zero-divisor graph is an undirected graph representing the zero divisors of a commutative ring. It has elements of the ring as
Zero-divisor_graph
Smallest positive number divisible by two integers
multiple can be defined generally over commutative rings as follows: Let a and b be elements of a commutative ring R. A common multiple of a and b is an
Least_common_multiple
Subring consisting of the elements x
the center of a ring R is the subring consisting of the elements x such that xy = yx for all elements y in R. It is a commutative ring and is denoted as
Center_(ring_theory)
Reduction of a ring by one of its ideals
In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite
Quotient_ring
Construction in homological algebra
variable (from R {\displaystyle R} -modules to abelian groups). For a commutative ring R {\displaystyle R} and R {\displaystyle R} -modules A {\displaystyle
Tor_functor
Algebraic structure used in theoretical physics
\mathbb {Z} _{2}} -graded algebra. That is, it is an algebra over a commutative ring or field with a decomposition into "even" and "odd" pieces and a multiplication
Superalgebra
Mathematical concept named for Ernst Witt
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
Witt_vector
Square matrices satisfy their characteristic equation
and William Rowan Hamilton) states that every square matrix over a commutative ring (such as the real or complex numbers or the integers) satisfies its
Cayley–Hamilton_theorem
Ideal that maps to zero a subset of a module
{\displaystyle R} is a commutative ring and I {\displaystyle I} is an ideal of R {\displaystyle R} , we can consider the quotient ring R / I {\displaystyle
Annihilator_(ring_theory)
Concept in algebra
In ring theory, a branch of mathematics, the radical of an ideal I {\displaystyle I} of a commutative ring is another ideal defined by the property that
Radical_of_an_ideal
Generalization of additive and multiplicative inverses
non-unit, the ring is a field if the multiplication is commutative, or a division ring otherwise. In a noncommutative ring (that is, a ring whose multiplication
Inverse_element
classical commutative rings are replaced with derived versions such as differential graded algebras, commutative simplicial rings, or commutative ring spectra
Derived_scheme
Commutative ring with a well behaved theory of prime factorization
In commutative algebra, a Krull ring, or Krull domain, is a commutative ring with a well behaved theory of prime factorization. They were introduced by
Krull_ring
Class of mathematical expression
inverses to a commutative ring is called localization. However, the localization of every commutative ring at zero is the trivial ring, where 0 = 1
Division_by_zero
In abstract algebra, an ordered ring is a (usually commutative) ring R with a total order ≤ such that for all a, b, and c in R: if a ≤ b then a + c ≤ b
Ordered_ring
Analogue of a prime number in a commutative ring
mathematics, specifically in abstract algebra, a prime element of a commutative ring is an object satisfying certain properties similar to the prime numbers
Prime_element
algebraic geometry, glossary of ring theory and glossary of module theory. In this article, all rings are assumed to be commutative with identity 1. Contents:
Glossary of commutative algebra
Glossary_of_commutative_algebra
sequence of cohomology groups Hk(X;R) on X with coefficients in a commutative ring R (typically R is Zn, Z, Q, R, or C) one can define the cup product
Cohomology_ring
Product of a number by itself
elements. A commutative ring such that the square of a non zero element is never zero is called a reduced ring. More generally, in a commutative ring, a radical
Square_(algebra)
Algebraic structure
as shown by the following chain of class inclusions: rngs ⊃ rings ⊃ commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ GCD domains ⊃
Integrally_closed_domain
Rings admitting weak inverses
In mathematics, a von Neumann regular ring is a ring R (associative, with 1, not necessarily commutative) such that for every element a in R there exists
Von_Neumann_regular_ring
Commutative algebra studies commutative rings, their ideals, and modules over such rings
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both
List of commutative algebra topics
List_of_commutative_algebra_topics
Invariant of rings and modules
In commutative and homological algebra, depth is an important invariant of rings and modules. Although depth can be defined more generally, the most common
Depth_(ring_theory)
Concept in algebraic geometry
30.2 and Theorem 30.3 in: Matsumura, Commutative Ring Theory (1989). Theorem 30.3, Matsumura, Commutative Ring Theory (1989). Lemma 1 in section 28 and
Smooth_scheme
In commutative algebra, a complete intersection ring is a commutative ring similar to the coordinate rings of varieties that are complete intersections
Complete_intersection_ring
Subject area in mathematics
vector space dimension. For a commutative ring R, the group K0(R) is related to the Picard group of R, and when R is the ring of integers in a number field
Algebraic_K-theory
Mathematical ring whose elements are matrices
matrix ring is again a matrix ring. Over a rng, one can form matrix rngs. When R is a commutative ring, the matrix ring Mn(R) is an associative algebra
Matrix_ring
Mathematical concept in polynomial theory
The resultant of two univariate polynomials over a field or over a commutative ring is commonly defined as the determinant of their Sylvester matrix. More
Resultant
Well-behaved sequence in a commutative ring
In commutative algebra, a regular sequence is a sequence of elements of a commutative ring which are as independent as possible, in a precise sense. This
Regular_sequence
Number in {..., –2, –1, 0, 1, 2, ...}
{\displaystyle \mathbb {Z} } together with addition and multiplication is a commutative ring with unity. It is the prototype of all objects of such algebraic structure
Integer
Mathematics independent of applications
here could be drawn from ring theory. In that subject, one has the subareas of commutative ring theory and non-commutative ring theory. An uninformed observer
Pure_mathematics
Algebraic ring classification
literature refers to a commutative semi-local ring in general as a quasi-semi-local ring, using semi-local ring to refer to a Noetherian ring with finitely many
Semi-local_ring
Mathematical concept
R^{\text{op}}} is essentially the same as R {\displaystyle R} . All commutative rings are self-opposite. Let us define the antiisomorphism ι : ( R , ⋄
Opposite_ring
COMMUTATIVE RING
COMMUTATIVE RING
COMMUTATIVE RING
COMMUTATIVE RING
COMMUTATIVE RING
COMMUTATIVE RING
COMMUTATIVE RING
COMMUTATIVE RING
COMMUTATIVE RING