Principal ideal ring | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

In mathematics, a principal right (left) ideal ring is a ring R in which every right (left) ideal is of the form xR (Rx) for some element x of R. (The right and left ideals of this form, generated by one element, are called principal ideals.) When this is satisfied for both left and right ideals, such as the case when R is a commutative ring, R can be called a principal ideal ring, or simply principal ring. If only the finitely generated right ideals of R are principal, then R is called a right Bézout ring. Left Bézout rings are defined similarly. These conditions are studied in domains as Bézout domains. A commutative principal ideal ring which is also an integral domain is said to be a principal ideal domain (PID). In this article the focus is on the more general concept of a principal ideal ring which is not necessarily a domain. If R is a principal right ideal ring, then it is certainly a right Noetherian ring, since every right ideal is finitely generated. It is also a right Bézout ring since all finitely generated right ideals are principal. Indeed, it is clear that principal right ideal rings are exactly the rings which are both right Bézout and right Noetherian. Principal right ideal rings are closed under finite direct products. If , then each right ideal of R is of the form , where each is a right ideal of Ri. If all the Ri are principal right ideal rings, then Ai=xiRi, and then it can be seen that . Without much more effort, it can be shown that right Bézout rings are also closed under finite direct products. Principal right ideal rings and right Bézout rings are also closed under quotients, that is, if I is a proper ideal of principal right ideal ring R, then the quotient ring R/I is also principal right ideal ring. This follows readily from the isomorphism theorems for rings. All properties above have left analogues as well.

The ring of integers:
The integers modulo n: .
Let be rings and . Then R is a principal ring if and only if Ri is a principal ring for all i.

About this result

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.

Related concepts (19)

Related courses (6)

Related lectures (70)

Principal ideal ring

Hereditary ring

In mathematics, especially in the area of abstract algebra known as module theory, a ring R is called hereditary if all submodules of projective modules over R are again projective. If this is required only for finitely generated submodules, it is called semihereditary. For a noncommutative ring R, the terms left hereditary and left semihereditary and their right hand versions are used to distinguish the property on a single side of the ring.

Noncommutative ring

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.

MATH-310: Algebra

This is an introduction to modern algebra: groups, rings and fields.

MATH-334: Representation theory

Study the basics of representation theory of groups and associative algebras.

MATH-311: Algebra IV - rings and modules

Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.

Discrete Valuation Rings MATH-328: Algebraic geometry I - Curves

Explores discrete valuation rings, their properties, uniqueness of representation, and relationship with principal ideal domains.

Properties of Euclidean Domains MATH-310: Algebra

Explores the properties of Euclidean domains, including gcd, lcm, and the Chinese remainder theorem for polynomial rings.

The classical Lie algebras MATH-479: Linear algebraic groups

Covers the classical Lie algebras, focusing on calculations and dimensions.