Question 1A - Rings and subrings Flashcards
(14 cards)
Definition : Ring
A ring (R, + , . , 0_R , 1_R) is a set R, with binary operations + , . : RxR -> R and distinguished elements 0_R, 1_R ϵ R such that :
1) (R, + , 0_R) is an abelian group
2) (R, . ,1_R) is a monoid
3) Multiplication distributes over addition:
x . (y+z) = x.y + x.z
(x+y) . z = x.z + y.z
Definition : Abelian Group
Associative addition :
If x · y = y · x for all x, y ∈ G then we say that the group G is abelian.
(x+y) +z = x+ (y+z)
x+y = y+x
0_R + x = x = x+ 0_R
Definition : Monoid
Associativity of multiplication :
(x.y) . z = x . (y.z)
1_R . x = x = x . 1_R
Simple rules (lecture 1)
1) x . 0 = 0 = 0 . x
2) (-1) . x = -x = x.(-1)
3) (x + y)^2 = x^2 + xy + yx + y^2
4) (-x)(-y) = xy
Definition : Commutative Ring
A ring R is commutative if xy = yx for all x,y ∈ R
Definition : Subring
Let R be a ring. Let S ⊆ R (S is a subset of the set R). S is a subring if S is a ring using +_R and ._R [in particular 0_R , 1_R ∈ S]. We write S ≤ R.
Proposition : The subring test ON EXAM
Let R be a ring and S⊆ R, S is a subring iff
1) 1∈ S
AND
2) S is closed under subtraction and multiplication.
—————–Proof ——————–
If S is a subring then by definition 1 ∈S and S is closed under the ring operations.
Conversely assume 1 ∈S and S is closed under subtraction and multiplication.
Then 0 = 1−1 ∈S, and since S is closed under subtraction we know that (S,+)is a subgroup of (R,+) by the subgroup test.
Associativity and distributivity of
multiplication hold in S because they hold in R. #
Definition : Divides
Given m,n ∈ Z(bar) we say m divides n, written m | n, if
n = qm for some q ∈ Z(bar)
Definition : Congruence
Let x, y, n ∈ Z(bar) with n ≥ 0. We say x and y are congruent modulo n, written x ≡ y (mod n),
if n divides x − y
Proposition : The principal of long division (pf not on exam)
Let x, n ∈ Z(bar) with n > 0.
Then there are unique integers q, r ∈ Z(bar) (the quotient and remainder) such that x = qn + r and 0 ≤ r < n.
Proposition 2.4 r = r’ (pf not on exam)
Let x, y, n, ∈ Z(bar).
Write x = qn + r and y = q′n + r′ with
q, q′, r, r′ ∈ Z(bar) and 0 ≤ r, r′ < n.
Then x ≡ y (mod n) if and only if r = r′.
Definition: Integral Domain
An integral domain is a commutative ring with no nonzero zero divisors.
Definition : Congruence Class
The congruence class of x mod n, denoted [x]_n, or [x] for short if n is understood, is the set
[x] = {x + kn : k ∈ Z(bar)} = x + nZ(bar)
of all integers congruent to x mod n
Definition : The ring of integers mod n
The ring of integers mod n, is the set
Z(bar)/nZ(bar) = {[0], [1], . . . , [n − 1]}
of congruence classes of integers mod n.
Addition and multiplication are defined by
[x] + [y] = [x + y], [x] · [y] = [x · y].
The additive and multiplicative identities are [0] and [1], respectively.