In 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. Equivalently, a noncommutative ring is a ring that is not a commutative ring.
Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings.
Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative. Generally, this is for emphasizing that the studied properties are not restricted to commutative rings, as, in many contexts, ring is used as a shorthand for commutative ring.
Although some authors do not assume that rings have a multiplicative identity, in this article we make that assumption unless stated otherwise.
Some examples of noncommutative rings:
The matrix ring of n-by-n matrices over the real numbers, where n > 1
Hamilton's quaternions
Any group ring constructed from a group that is not abelian
Some examples of rings that are not typically commutative (but may be commutative in simple cases):
The free ring generated by a finite set, an example of two non-equal elements being
The Weyl algebra , being the ring of polynomial differential operators defined over affine space; for example, , where the ideal corresponds to the commutator
The quotient ring , called a quantum plane, where
Any Clifford algebra can be described explicitly using an algebra presentation: given an -vector space of dimension n with a quadratic form , the associated Clifford algebra has the presentation for any basis of ,
Superalgebras are another example of noncommutative rings; they can be presented as
There are finite noncommutative rings: for example, the n-by-n matrices over a finite field, for n > 1. The smallest noncommutative ring is the ring of the upper triangular matrices over the field with two elements; it has eight elements and all noncommutative rings with eight elements are isomorphic to it or to its opposite.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In abstract algebra, a multiplicatively closed set (or multiplicative set) is a subset S of a ring R such that the following two conditions hold: for all . In other words, S is closed under taking finite products, including the empty product 1. Equivalently, a multiplicative set is a submonoid of the multiplicative monoid of a ring. Multiplicative sets are important especially in commutative algebra, where they are used to build localizations of commutative rings. A subset S of a ring R is called saturated if it is closed under taking divisors: i.
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 (group rings, division rings, universal enveloping algebras), 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 the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible. Formally, we start with a non-zero algebra D over a field. We call D a division algebra if for any element a in D and any non-zero element b in D there exists precisely one element x in D with a = bx and precisely one element y in D such that a = yb.
Let h be a connective homology theory. We construct a functorial relative plus construction as a Bousfield localization functor in the category of maps of spaces. It allows us to associate to a pair (X,H), consisting of a connected space X and an hperfect ...
A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. By means of a suitably defined duality, new correspondence functors are constructed, having remarkable p ...
Algebraic K-theory, which to any ring R associates a sequence of groups, can be viewed as a theory of linear algebra over an arbitrary ring. We will study in detail the first two of these groups and a
This course is aimed to give students an introduction to the theory of algebraic curves, with an emphasis on the interplay between the arithmetic and the geometry of global fields. One of the principl
obtain algorithmically effective versions of the dense lattice sphere packings constructed from orders in Q-division rings by the first author. The lattices in question are lifts of suitable codes from prime characteristic to orders O in Q-division rings a ...