# defs 4 Flashcards Preview

## Algebraic structures 2 > defs 4 > Flashcards

Flashcards in defs 4 Deck (6)
1
Q

Factor ring R/I

A

Let R be a ring and let I be a proper ideal. Let R/I denote the set of cosets of I in the additive group < R, + >

R/I = {r + I | r ∈ R}.

Define operations + and × on R/I by:
(r + I) + (s + I) = (r + s) + I
(r + I) × (s + I) = (r × s) + I

(so we’re adding and multiplying cosets, these being the elements of R/I)

2
Q

canonical surjection

A

The map π : R → R/I defined by π(r) = r + I is a surjective ring homomorphism with kernel I

3
Q

Fundamental Isomorphism Theorem

A

Let θ : R → S be a ring homomorphism. Then

R/ker(θ) isomorphic to im( θ)

4
Q

Let I be an ideal of the ring R. Then the set of ideals of R which contain I is in one-to-one correspondence with the set of ideals of the factor ring R/I:

• to an ideal J ≥ I there corresponds ……
• to an ideal K
A

Let I be an ideal of the ring R. Then the set of ideals of R which contain I is in one-to-one correspondence with the set of ideals of the factor ring R/I:

• to an ideal J ≥ I there corresponds πJ = {r + I | r ∈ J} = {π(r) | r ∈ J}, an ideal in R/I;
• to an ideal K
5
Q

ideal of ring being maximal

A

An ideal I of a ring R is maximal if it is proper (i.e. I =! R)
and for any ideal J with I ≤ J ≤ R, then J = I or J = R

6
Q

A proper ideal I of a commutative ring R is prime ..

A

A proper ideal I of a commutative ring R is prime if whenever r, s ∈ R and rs ∈ I then either r ∈ I or s ∈ I