2) Special Types of Rings and Elements Flashcards
What is the characteristic of a ring
The least positive integer n such that
n · 1 = 1 + · · · + 1| {z }n= 0
If there is no such n, then the characteristic of R is defined to be 0
What are the implications of a ring with char(R)=n>0
(i) n · r = 0 for every r ∈ R
(ii) if m is a positive integer then m · 1 = 0 iff n|m
Describe the proof of the characteristic properties of a ring with char(R)=n>0
(i) n · r = r + … + r= r(1 + … + 1) =
r × 0 = 0
(ii)Let m ∈ N with m · 1 = 0 and write m = nq + r where 0 ≤ r ≤ n − 1 and q ≥ 0 are integers. Then
0 = (nq + r) · 1 = q · (n · 1) + r · 1 = 0 + r · 1 = r · 1
By the minimality of n, we must have r = 0 and so n|m.
Conversely if n|m, then m = nq and so m · 1 = (nq) · 1 = q · (n · 1) = 0
What is a zero-divisor
A non-zero element r is a zero-divisor if there is a non-zero element s ∈ R with rs = 0 or sr = 0
What is a domain
A ring R is a domain if, for all r, s ∈ R
rs = 0 ⇒ r = 0 or s = 0
Therefore a domain is a ring with no zero-divisors
What is an integral domain
A commutative domain
If S is a subring of R and R is a domain, what can be said about S
S is a domain
Describe the proof that if S is a subring of R and R is domain then S is a domain
Let r, s ∈ S with rs = 0. Then rs = 0 in R and so r = 0 or s = 0
What is the implication of R being a domain on its polynomial ring R[X]
Then the polynomial ring R[X] is a domain
Is the Cartesian Product of two domains, a domain
No, (1, 0)(0, 1) = (0, 0) and so R × S has zero divisors
Describe the proof that if R is a domain. Then the polynomial ring R[X] is a domain
What is the implication for the ring R[X1,…,Xn ] when R is a domain
The ring, R[X1, . . . , Xn], of polynomials in n indeterminates and with coefficients in R, is a domain
Prove that if R is a domain then char(R) = 0 or char(R) is a prime
integer.
If char(R) = 0 we are done, so assume that char(R) = n > 0.
If n is not prime we can factorise: n = kl with 1 < k, l < n. Then 0 = n · 1 = (k · 1)(l · 1)
Since R is a domain this means that either k · 1 = 0 or l · 1 = 0, contradicting the minimality of n
What is a division ring
A ring in which every non-zero element has a right inverse and a left inverse
What is a unit
An any non-zero element in a division ring that is invertible, having a unique inverse within the ring