Section 5 - Ring Homomorphisms Flashcards

1
Q

Ring Homomorphism

A

Let R and S be rings. A ring homomorphism is a map: φ: R → S such that the following hold for all a,b∈R:
(i) φ(a + b) = φ(a) + φ(b). (φ respects addition)
(ii) φ(ab) = φ(a)φ(b). (φ respects multiplication)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Given φ: R → S, φ(0R) = ???

A

φ(0R) = φ(0S)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

If φ: R → S, what is Ker(φ)?

A

Ker(φ) = {a∈R | φ(a) = 0S}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

How can you determine if a ring homomorphism is injective?

A

A ring homomorphism φ is injective iff Ker(φ) = {0R}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Image of a Ring Homomorphism

A

If φ: R → S is a ring homomorphism, then Image(φ) is a subring of S

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Isomorphism

A

A ring homomorphism φ: R → S is called an isomorphism if there is a ring homomorphism Ψ: S → R such that: Ψφ = 1R and φΨ = 1S (i.e. Ψ(φ(r)) = r, ∀r∈R and φ(Ψ(s)) = s, ∀s∈S).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Inverse of Ring Homomorphism

A

If φ is an isomorphism, the ring homomorphism Ψ (where Ψφ = 1R and φΨ = 1S) is unique, and we call Ψ the inverse of φ (written φ^-1)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

What are the differences between two rings that are isomorphic?

A

Isomorphic rings are algebraically the same rings. Only the symbols representing their elements are different

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

What statements are equivalent to φ being an isomorphism?

A

Let φ: R → S be a ring homomorphism. Then the following are equivalent:
(i) φ is an isomorphism
(ii) φ is bijective (i.e. injective and surjective)
(iii) Ker(φ) = {0R} and Image(φ) = S

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

First Isomorphism Theorem

A

Let φ: R → S be a ring homomorphism. Then there is a well-defined ring isomorphism:
φ: R/Ker(φ) → Image(φ) with the mapping: a + Ker(φ) → φ(a)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly