MATH212 Flashcards
A ring is a non-empty set R with two binary operations, + and ·, satisfying the following conditions.
- (R, +) is an abelian group
- The operation · is associative
- The operation · is distributive over +
* **note that · does not need to be commutative in a ring
When is a ring commutative?
If · is commutative
When does a ring have an identity?
If · has an identity. This is usually denoted 1.
When does a ring have an inverse?
An element a in R has an inverse if it has an inverse with respect to ·.
We then call a a unit of R.
What is the definition of a subring?
Given a ring R, a non-empty subset S of R is a subring of R if, with the same operations for R, it itself if a ring.
S is a subring for R IFF for all a and b in S, both a-b and ab are in S
Let R be a ring. We say that R is a field if…
1) it has a multiplicative identity 1 != 0
2) it is commutative
3) every element other than 0 is a unit
What is a zero divisor?
A nonzero element a in R is a zero divisor if there is another nonzero element b in R such that ab=0
Suppose a commutative ring R has no zero divisors. What do you know about ab=ac if a!= 0
Then for any a!=0, b, c in R, b=c
What is an integral domain?
A ring R is an integral domain if it is commutative, has identity 1 != 0, and has no zero divisors
All fields are integral domains. All subrings of an integral domain which contain 1 are also integral domains.
What can you say about Z_n, n>=2
fields, zero divisors
If n is prime, Z_n is a field.
If n is not prime, Z_n contains zero divisors
What is the characteristic of an integral domain?
The order of its multiplicative identity in its additive group IF its finite, and zero if it is not finite.
What is the set S?
All ordered pairs in an integral domain R, whos second coordinate is not zero.
S = {(a,b) | a, b ∈ R, b != 0}
What is the set Q? (not rationals)
For any (a, b), (c, d) in S we define (a, b) ~ (c, d) if ad = bc, then ~ is an equivalence relation on S. We let [a, b] denote the equivalence class of (a, b) and we let Q denote the set of equivalence classes.
With the operations [a, b] + [c, d] = [ad + bc]
[a, b] · [c, d] = [ac, bd],
Q is a field.
What is a field of quotients?
The field Q with the operations [a, b] + [c, d] = [ad + bc]
[a, b] · [c, d] = [ac, bd]
For any (a, b), (c, d) in S we define (a, b) ~ (c, d) if ad = bc, then ~ is an equivalence relation on S. We let [a, b] denote the equivalence class of (a, b) and we let Q denote the set of equivalence classes.
An ordered ring is a commutative ring R with a subset R^+ satisfying …
1) R^+ is closed under addition
2) R^+ is closed under multiplication
3) if a is any element of R, then exactly one of the following hold: a in in R^+, -a is in R^+, or a = 0
What is an ordered field?
A field which is also an ordered ring.
Ordered rings are rings with a subset R^+ which is closed under addition, closed under multiplication, and for any element a of the ring a is in R^+, -a is in R^+, or a = 0
What is an upper bound for a set?
Let X be any set with a partial order <=.
If A is any subset of X, b is an upper bound for A if a<=b, for all a in A.
de Moivres Theorem:
Let z = r(cos(θ) + isin(θ)) be a non-zero complex number in polar form. For any positive integer n, we have z^n = r^n(cos(nθ) + i sin(nθ))
What is the identity of R[x]
The constant polynomial, f(x) = 1
When you multiply two polynomials f(x) and g(x), what is the degree?
deg(fg) = deg(f) + deg(g)