What is an Integral Domain? 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? 
 A: 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.)
A: 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.
A: 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$.
A: 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$)
