• Support PF! Buy your school textbooks, materials and every day products Here!

Ideal and Factor Ring

  • Thread starter hsong9
  • Start date
  • #1
80
1

Homework Statement



a) If A is an ideal of R and B is an ideal of S.
Show that A x B is an ideal of R x S.

b) Show that every ideal C of RxS has the form C = AxB as in(a)
[hint: A = { a in R | (a,0) in C}]



The Attempt at a Solution


a)Since A and B are ideal of R and S, aR and Ra are subsets of A, bS and Sb are subsets of B.
Let (a,b) in AxB and (r,s) in RxS, (a,b)(r,s) = (ar,bs) in AxB since ar in A and bs in B.

b) Let A = { a in R | (a,0) in C} and
B = { b in S | (0,b) in C}
We need to show that AxB = <(a,0),(0,b)>.
my idea is correct?
 

Answers and Replies

  • #2
392
0
(a) looks good if you already have a theorem that A x B is a ring. If you don't have that theorem, then don't forget to do that routine step.

For (b), you have to show [tex]A\times B\subset C[/tex] and [tex]C\subset A\times B[/tex]

I regard [tex]A\times B=\langle(a,0),(0,b)\rangle\subset C[/tex] as the easier direction because you only need to use the fact that C is a ring. Really there's nothing to show.

To prove [tex]C\subset A\times B[/tex], I think you need to use the facts that C is an ideal and furthermore that R and S have identities. (Are you allowed to assume R and S have identities? I hope so.)
 

Related Threads for: Ideal and Factor Ring

  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
1
Views
883
  • Last Post
Replies
9
Views
1K
Top