Take the 2-minute tour ×

Okay, so almost 3 months into my abstract algebra, we just started rings. I have a few questions.

A "trivial ring" is a ring with only one element. So $R={0}$ is a trivial ring. Understandable.

Then a definition states: Let $R$ be a ring. If there is an element $x \in R$ s.t. for all $a \in R$ you have $a * x = a = x * a$ then R is called a "ring with identity". The notation is $1_{R}$. I also know it is possible to have a right identity and not a left identity (in the case of a 2 x 2 matrix).

Then we have a definition for an integral domain. An integral domain is a commutative ring $R$ with identity $1_{R} \neq 0_{R}$. Okay so this is where I am confused now. What does this mean?

Is it saying that the identity element can not be the zero element? And the identity element could be anything right? For integers its 1. So basically it states that if you have a TRIVIAL RING and if the element (since there can only be one) is not the zero element then its an ID?

share|improve this question
How do 2 by 2 matrices have a right identity and not a left identity? –  Sean Tilson Dec 7 '10 at 3:45
@Sean Tilson: I note that Tyler said a $2\times 2$ matrix, not the ring of all $2\times 2$ matrices. You can construct a subring of the $2\times 2$ matrices that have a right identity but not a left identity. For example, take the matrices with first column all $0$s. –  Arturo Magidin Dec 7 '10 at 16:06
ok, I didn't parse it that way. I thought he meant that there is a 2 by 2 matrix that is the right identity and not a left identity. Quite right though if we look at a subring like the one you suggested. –  Sean Tilson Dec 7 '10 at 16:49

4 Answers 4

up vote 4 down vote accepted

An integral domain is a commutative ring with unit $1\neq 0$ such that if $ab=0$ then either $a=0$ or $b=0$. The idea that $1\neq 0$ means that the multiplicative unit, the element $x$ such that $xa=a$ for all $a\in R$ is not the same element as the additive unit, the element $y$ such that $a+y=a$ for all $a\in R$. We denote the multiplicative unit by 1 and the additive unit by 0, since they are similar to the same thing in $\mathbb{Z}$. The second part says that if $a,b\neq 0$, then $ab\neq 0$. For instance $\mathbb{Z}/6$ has two elements $[2]$ and $[3]$ such that $[2]\cdot [3]=[0]$. So, it is not a integral domain.

share|improve this answer
Oh, so it doesn't have to be the trivial ring. The integers are an example of a non-trivial integral domain. –  Joe Johnson 126 Dec 7 '10 at 2:02
Er... it can't be the trivial ring. @Tyler: I am not sure what you mean. –  Qiaochu Yuan Dec 7 '10 at 2:06
An integral domain can't be a trivial ring - because that only has one element and hence can't satisfy $1_R \ne 0_R$ –  Juan S Dec 7 '10 at 2:07
The integers $\mathbb{Z}$ is not $\mathbb{Z}/1$. It is $\mathbb{Z}/0$. –  Joe Johnson 126 Dec 7 '10 at 2:08
@Tyler: I agree with Qiaochu: the "really important part" (if one part may be said to be more important than others in a definition) is that in an integral domain, if $ab=0$, then $a=0$ or $b=0$. The requirement that the multiplicative identity should be different from the additive one (that the ring cannot consists only of one element) is more technical, and is akin (in fact, closely related to) the part of the definition of "prime number" that excludes $1$ from the class of primes by fiat. It's important, but you really want to remember the second part of the definition. –  Arturo Magidin Dec 7 '10 at 3:41

There is only one trivial ring up to isomorphism. It has one element $x$ which satisfies $x + x = x \cdot x = x$. That means that $x$ is both the additive identity and the multiplicative identity; symbolically, $x = 1_R = 0_R$. This is an if-and-only-if, too: if a ring $R$ has the property that $1_R = 0_R$, then every element is equal to $0_R$, since $x \cdot 1_R = x = x \cdot 0_R = 0_R$. So a ring is the trivial ring if and only if $1_R = 0_R$.

In the definition of an integral domain, we require that the ring is nontrivial. There are several good reasons for this, but they are sort of hard to motivate at the level of a first course in abstract algebra. (But as Joe Johnson points out, this is not the main part of the definition of an integral domain.)

share|improve this answer
Moreover, the trivial ring is the terminal object in the category of rings, so it is unique up to (unique) isomorphism. –  Akhil Mathew Dec 7 '10 at 18:57

An integral domain is a ring with no zero divisors, i.e. $\rm\ xy = 0\ \Rightarrow\ x=0\ \ or\ \ y=0\:.\:$ Additionally it is a widespread convention to disallow as a domain the trivial one-element ring (or, equivalently, the ring with $\: 1 = 0\:$). It is the nonexistence of zero-divisors that is the important hypothesis in the definition. The exclusion of the trivial ring is merely a convention that proves convenient in many contexts (see my post here for some reasons why the convention proves convenient).

One may think of a domain as a ring-theoretic analog of a field, since a ring is a domain iff it is a subring of some field. Indeed, a field clearly has no zero-divisors so ditto for all of its subrings. Conversely, any domain may be enlarged to its field of fractions by adjoining an inverse for every nonzero element. Although domains needn't contain inverses for every $\rm\ c\ne 0\:,\:$ they do retain a trace of this property. Namely, nonzero elements $\rm\:c\:$ are cancellable: $\rm\ c\ x = c\ y\ \Rightarrow\ x = y\:.\ $ This enables transfer of many (but not all) properties of fields to domains. Here is one useful example: $\ $ a polynomial $\rm\ f(x)\in D[x]\ $ has at most $\rm\ deg\ f\ $ roots in the ring $\rm\:D\ $ iff $\rm\ D\:$ is a domain. For the simple proof see my post here, where I illustrate it constructively in $\rm\ \mathbb Z/m\ $ by showing that, given any $\rm\:f(x)\:$ with more roots than its degree, we can quickly compute a nontrivial factor of $\rm\:m\:$ via a $\rm\:gcd\:$. The quadratic case of this result is at the heart of many integer factorization algorithms, which attempt to factor $\rm\:m\:$ by searching for a nontrivial square root in $\rm\: \mathbb Z/m\:,\:$ e.g. a square root of $1$ that is not $\:\pm 1$.

share|improve this answer
Well, in some sense all definitions are conventions, but I take your point. –  Pete L. Clark Dec 7 '10 at 3:52

Some examples might be in place:

INTEGRAL DOMAINS: $\mathbb{Z},\mathbb{Z}/(p) \mathbb{Q}, \mathbb{R}, k[x], \mathbb{Z}[x], \mathbb{Z}[x_1,x_2,\ldots]$ (where the latter denotes a polynomial ring with countably many indeterminates.

NON-INTEGRAL DOMAINS: (i.e. every ring in which you can multiply a non-zero number to get zero)

$\mathbb{Z}/(6), k[x]/(x^2)$ ($x \times x = x^2=0$ and $x \neq 0$)

share|improve this answer

Your Answer


