Nepedia
Back to Discover
Advanced Reader
🔢

Commutative ring

math Maturity 11-13 Next article →

A commutative ring is a mathematical set defined by two specific operations. These operations are addition and multiplication. For a set to be a ring, it must follow several strict rules. First, it must be an abelian group under addition. This means you can add any two elements and get a third element from the same set. Second, it must be a monoid under multiplication. This requires an identity element, often called one, that does not change other elements during multiplication. Third, multiplication must distribute over addition. In a commutative ring, the multiplication operation is also commutative. This means the order of multiplication does not change the result, such as $a \times b = b \times a$.

Spec Z
Spec Z

There are many different types of commutative rings. The most common example is the ring of integers. Mathematicians often refer to these using the German word Zahlen. Another important type is called a field. In a field, every element except zero has a multiplicative inverse. This means you can always divide by any non-zero element. The rational, real, and complex numbers are all examples of fields. You can also create polynomial rings. These are formed by taking a ring and adding variables to create expressions. Additionally, continuous functions on a topological space can form a commutative ring.

Within these rings, we study how elements relate through divisibility. An element is called a unit if it has a multiplicative inverse. We also look for zero divisors. These are non-zero elements that, when multiplied, result in zero. If a ring has no zero divisors, it is called an integral domain. Some elements are also nilpotent, meaning they reach zero when multiplied by themselves a certain number of times. The process of localization can also change a ring. Localization adds multiplicative inverses to a ring to turn it into a ring of fractions. For example, localizing the integers at all non-zero values creates the field of rational numbers.

Ideals are special subsets that help us understand the structure of a ring. An ideal is a non-empty subset where adding any two elements or multiplying an element by any ring member keeps you within the subset. In commutative rings, all ideals are two-sided, which simplifies many calculations. Some rings are very organized, such as principal ideal domains. In these rings, every ideal is generated by a single element. A major feature of these domains is unique factorization. This means every element can be broken down into irreducible elements in a unique way. This is similar to the fundamental theorem of arithmetic for natural numbers.

Twisted cubic curve
Twisted cubic curve

History has shaped how we categorize these structures. Emmy Noether was a mathematician who developed the concept of Noetherian rings. A ring is Noetherian if every ascending chain of ideals eventually becomes constant. This is a vital finiteness condition used frequently in geometry. Another mathematician, Emil Artin, is associated with Artinian rings. In an Artinian ring, every descending chain of ideals eventually becomes constant. While these two concepts seem symmetric, Noetherian rings are actually much more general than Artinian rings. The Hopkins-Levitzki theorem states that every Artinian ring is also a Noetherian ring.

Algebraists in the 19th century discovered that general rings do not always allow for unique factorization. This led to the development of prime ideals to solve complex problems. A prime ideal is a proper ideal where if a product of two elements is in the ideal, then at least one of those elements must be in the ideal. In certain structures called Dedekind rings, even if unique factorization of elements fails, unique factorization of ideals still works. This is a cornerstone of algebraic number theory.

Node (algebraic geometry)
Node (algebraic geometry)

Modern mathematics uses the spectrum of a ring to connect algebra to geometry. The spectrum, denoted as Spec R, is the set of all prime ideals in a ring. It is equipped with the Zariski topology, which describes how these ideals relate to one another. This connection allows mathematicians to view the solutions of polynomial equations as geometric shapes. For example, the maximal ideals in a ring can reflect the geometric properties of solution sets.

Pair of pants
Pair of pants

This deep link between algebraic rules and geometric forms is a fundamental part of advanced mathematical study.

Tensor product of algebras
Tensor product of algebras
702 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (5)
File:Spec Z.png
Spec Z.png
File:Tensor product of algebras.png
Tensor product of algebras.png
File:Node_(algebraic_geometry).png
Node_(algebraic_geometry).png
File:Twisted_cubic_curve.png
Twisted_cubic_curve.png
File:Pair_of_pants.png
Pair_of_pants.png
More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.