1 Basic definition and examples
A noncommutative ring is a ring in which multiplication need not satisfy the commutative law. Such rings still have associative multiplication and an additive abelian group structure, but the order of factors can matter. This distinction is central in many areas of algebra, where the behavior of products often encodes additional structure.
1.1 Ring axioms
A ring combines two operations: addition and multiplication. Under addition, elements form an abelian group with a zero element and additive inverses. Multiplication is associative and distributes over addition on both sides. Some rings also have a multiplicative identity, usually denoted by 1.
1.2 Noncommutativity of multiplication
In a noncommutative ring, one may have ab ≠ ba for certain elements a and b. This failure of commutativity is not a defect; it is a defining feature that broadens the scope of ring theory. Many algebraic constructions become richer and more subtle when multiplication depends on order.
1.3 Typical examples
Noncommutative rings appear naturally in algebra and beyond. Common examples include rings of matrices, rings of endomorphisms of vector spaces or modules, and group rings built from nonabelian groups. These examples often serve as standard models for studying how noncommutativity affects algebraic behavior.
1.3.1 Matrix rings
For n × n matrices with n > 1, multiplication is generally noncommutative. Even simple matrices can fail to commute, making matrix rings one of the most familiar examples of noncommutative algebra. They play a fundamental role in linear algebra and representation theory.
1.3.2 Endomorphism rings
The set of all module endomorphisms of a given module forms a ring under addition and composition. Composition is usually noncommutative, so endomorphism rings provide another broad source of examples. They are especially important because they reflect the internal symmetries of the underlying module.
1.3.3 Group rings
A group ring combines a ring with a group by forming formal sums of group elements with coefficients in the ring. When the group is nonabelian, the resulting group ring is typically noncommutative. These rings connect ring theory with group theory and representation theory.
1.4 Simple counterexamples to commutativity
A quick way to see noncommutativity is to multiply two matrices in opposite orders. The results may differ even when both matrices are small and entries are simple. Such examples demonstrate that commutativity should not be assumed outside special classes of rings.
2 Fundamental properties
Noncommutative rings retain many features familiar from commutative algebra, but the lack of commutativity changes how these features interact. Concepts such as units, zero divisors, and central elements become more significant because left and right behavior may differ.
2.1 Additive structure
The additive part of a ring is always commutative, regardless of whether multiplication is. This means elements can still be added, subtracted, and compared using familiar group-theoretic ideas. The additive structure often provides a stable framework within which the more complicated multiplicative structure operates.
2.2 Multiplicative structure
Multiplication in a noncommutative ring remains associative, so products can be grouped without ambiguity. However, the order of factors matters, and many identities must be interpreted carefully. This affects factorization, cancellation, and the classification of substructures.
2.3 Units and zero divisors
A unit is an element with a multiplicative inverse. In noncommutative rings, left inverses and right inverses may behave differently, although in many common settings they coincide. Zero divisors are nonzero elements that can annihilate other nonzero elements on one side or both sides, and they often signal a ring with complicated multiplicative behavior.
2.4 Center of a ring
The center isolates the part of a ring where multiplication behaves commutatively with every element. It serves as a bridge between noncommutative and commutative techniques, since the center is always a commutative subring. Many structural questions in noncommutative algebra are organized around the center.
2.4.1 Definition of the center
The center of a ring consists of all elements that commute with every element of the ring. It is a subring and is usually denoted by Z(R). Elements of the center act as the most symmetric members of the ring.
2.4.2 Elements that commute with all others
Central elements often control scalar-like behavior in modules and representations. They can simplify computations and help classify representations by acting uniformly across the ring. In many cases, understanding the center is the first step toward understanding the whole ring.
3 Ideals and substructures
In noncommutative rings, ideals must be distinguished by which side they absorb multiplication. This leads to a richer hierarchy of substructures than in the commutative case. The distinction among left, right, and two-sided ideals is fundamental to the theory.
3.1 Left ideals
A left ideal is an additive subgroup closed under multiplication from the left by arbitrary ring elements. Left ideals are natural when studying left modules and one-sided actions. They play a role analogous to ideals in commutative rings, but only from one direction.
3.2 Right ideals
A right ideal is closed under multiplication from the right by arbitrary ring elements. Right ideals are the mirror image of left ideals and are equally important in noncommutative settings. Many rings possess left ideals that are not right ideals, and vice versa.
3.3 Two-sided ideals
A two-sided ideal is both a left ideal and a right ideal. Such ideals are the correct objects for forming quotient rings. They also encode the ring’s internal decomposition and are central to notions of simplicity and primeness.
3.4 Principal ideals
A principal ideal is generated by one element, though in noncommutative rings one must specify whether it is a left, right, or two-sided principal ideal. The generating element may produce different one-sided ideals depending on where multiplication is allowed. This makes principal ideals more varied than in the commutative case.
3.5 Quotient rings
A quotient ring is formed by collapsing a two-sided ideal to zero. The result inherits a ring structure precisely because the ideal is stable under multiplication from both sides. Quotient rings are a standard tool for simplifying a ring while preserving key algebraic information.
3.6 Prime and semiprime ideals
Prime ideals generalize the idea of irreducibility in a way suited to ring theory. Semiprime ideals rule out nilpotent behavior in a weaker sense and are useful for structural classification. In noncommutative rings, these notions require careful formulation because one-sided and two-sided phenomena may differ.
4 Modules over noncommutative rings
Modules provide the natural setting for studying rings through their actions on additive groups. In the noncommutative case, left and right modules are distinct notions, and the difference is often essential. Module theory supplies many of the deepest tools for understanding noncommutative algebra.
4.1 Left modules
A left module is an abelian group on which ring elements act from the left. This is the most common module convention in many areas of algebra. Left modules over noncommutative rings generalize vector spaces, but scalar multiplication is no longer symmetric.
4.2 Right modules
A right module is defined similarly, except that scalars act from the right. Right modules are not merely a notational variant; they may encode genuinely different information from left modules. Many constructions have dual right-handed versions that must be treated separately.
4.3 Bimodules
A bimodule carries both a left action and a right action, usually from possibly different rings, with compatibility conditions. Bimodules are useful for comparing rings, building tensor products, and formulating Morita-type ideas. They often serve as intermediaries between distinct algebraic structures.
4.4 Simple modules
A simple module has no proper nonzero submodules. Such modules are the building blocks of module theory, much as prime factors are in arithmetic. Over noncommutative rings, simple modules help reveal the ring’s irreducible action on algebraic objects.
4.5 Projective and injective modules
Projective modules are characterized by lifting properties, while injective modules are characterized by extension properties. They are central in homological algebra and are especially useful when dealing with rings that are not commutative. Their behavior can differ significantly between left and right module categories.
5 Important classes of noncommutative rings
Certain families of rings occur repeatedly in applications and theory. These classes often have additional structure that makes them more tractable than arbitrary noncommutative rings. They also serve as testing grounds for general theorems.
5.1 Division rings
A division ring is a ring in which every nonzero element is invertible. Unlike fields, division rings need not be commutative. They are among the most important noncommutative analogues of fields and appear frequently in linear and abstract algebra.
5.2 Matrix rings over commutative rings
Even if the coefficient ring is commutative, matrix rings of size greater than one are noncommutative. These rings are foundational examples because they combine familiar scalar arithmetic with noncommuting multiplication. They are central to linear representations of algebraic structures.
5.3 Group algebras
A group algebra is built from a group and a coefficient ring by allowing formal linear combinations of group elements. When the underlying group is nonabelian, the algebra is usually noncommutative. Group algebras connect ring theory to symmetry and representation.
5.4 Skew polynomial rings
Skew polynomial rings modify ordinary polynomial rings by twisting the multiplication rule, often through an automorphism or derivation. This construction produces controlled noncommutativity while preserving a polynomial-like form. Skew polynomial rings are widely used in algebra and noncommutative geometry.
5.5 Crossed product rings
Crossed product rings combine a ring with group-like data and additional twisting information. They generalize both group rings and certain extension constructions. These rings appear in advanced algebraic settings where symmetry interacts with noncommutative multiplication.
6 Homomorphisms and isomorphisms
Maps between rings allow algebraists to compare structures and transfer information. In the noncommutative setting, these maps must respect both addition and multiplication, but they may interact differently with left and right features. Isomorphisms identify rings that are algebraically the same.
6.1 Ring homomorphisms
A ring homomorphism preserves addition, multiplication, and often the multiplicative identity when one is present. Such maps reveal how one ring can be embedded into or projected onto another. They are indispensable for organizing ring theory into a broader categorical framework.
6.2 Kernel and image
The kernel of a ring homomorphism consists of elements sent to zero, and it is always a two-sided ideal. The image is the set of values the homomorphism attains, forming a subring of the target. Together, kernel and image describe the essential behavior of the map.
6.3 Isomorphism theorems
The isomorphism theorems relate quotient structures, kernels, and images in a systematic way. They show how one ring can be reconstructed from another by factoring out an ideal. These results remain valid in the noncommutative setting, though ideal types must be handled carefully.
6.4 Automorphisms and endomorphisms
An automorphism is an isomorphism from a ring to itself, while an endomorphism is a homomorphism from the ring to itself. Automorphisms capture internal symmetries, and endomorphisms describe self-maps that may fail to be invertible. Both are important in classification and deformation problems.
7 Advanced topics
Deeper study of noncommutative rings involves radical theory, finiteness conditions, and structural decomposition. These areas help determine how far a ring is from being simple, semisimple, or well behaved under ideal-theoretic operations. They are often connected to module theory and representation theory.
7.1 Jacobson radical
The Jacobson radical is an ideal that measures the extent to which a ring has elements acting “almost nilpotently” on simple modules. It is a key invariant in structural analysis. In many cases, factoring out the radical simplifies the ring substantially.
7.2 Noetherian and Artinian rings
A Noetherian ring satisfies an ascending chain condition on ideals, while an Artinian ring satisfies a descending chain condition. These finiteness properties control complexity and often lead to strong classification results. In noncommutative algebra, they are especially useful because one-sided and two-sided versions may differ.
7.3 Simplicity and semisimplicity
A simple ring has no nontrivial two-sided ideals. A semisimple ring decomposes into a direct sum of simple components in an appropriate sense. These notions identify rings with particularly transparent ideal structure, making them central targets of classification.
7.4 Goldie’s theorem
Goldie’s theorem gives conditions under which a ring can be embedded in a semisimple Artinian ring of fractions. It is a major bridge between general noncommutative rings and more rigid structures. The theorem is especially important in the study of prime rings and quotient constructions.
7.5 Localization in the noncommutative setting
Localization in noncommutative algebra is more delicate than in the commutative case because denominators may not commute with numerators. Special conditions are needed to ensure that fractions make sense. When it works, localization allows one to focus on local behavior while preserving algebraic information.
8 Applications
Noncommutative rings are not only abstract objects but also tools used across mathematics and physics. Their applications often arise when transformations, symmetries, or operators fail to commute. This makes them a natural language for many modern theories.
8.1 Linear algebra and matrices
Matrix rings provide the algebraic basis for much of linear algebra. Noncommutativity reflects the fact that composing linear transformations depends on order. This is fundamental in solving systems, studying eigenvalues, and analyzing transformations of vector spaces.
8.2 Representation theory
Representation theory studies abstract algebraic objects by expressing them as linear transformations. Noncommutative rings, especially group algebras and endomorphism rings, are central to this field. They offer a way to translate symmetry into concrete operator calculus.
8.3 Noncommutative geometry
Noncommutative geometry extends geometric intuition to settings where coordinate algebras do not commute. In this framework, rings and algebras replace classical spaces as primary objects of study. The approach has influenced algebra, topology, and mathematical physics.
8.4 Physics and operator algebras
In physics, many observables and transformations are modeled by noncommuting operators. Operator algebras formalize these structures and provide a rigorous setting for quantum theory. Noncommutative rings thus help describe systems in which measurement order and interaction are essential.