Second and third isomorphism theorem

Click For Summary
The discussion focuses on clarifying the second and third isomorphism theorems in ring theory. The second isomorphism theorem states that for a subring A and an ideal I of ring R, there is an isomorphism A/(A ∩ I) ∼= (A + I)/I. The third isomorphism theorem establishes that if B is an ideal of R containing A, then B/A is an ideal of R/A, and there is a bijection between ideals of R containing A and ideals of R/A. Additionally, it asserts that (R/A)/(B/A) ∼= R/B holds for these ideals. The thread seeks further explanation and resources related to these theorems, particularly in the context of group theory.
rainwyz0706
Messages
34
Reaction score
0
I've recently encountered some forms of the second and third isomorphism theorem, but I don't quite get them. Could anyone explain in a bit of details please? I guess my thought was not in the right direction or something.
(Second isomorphism theorem) Let A be a subring and I an ideal of the ring R.
Show that there is an isomorphism of rings A/(A ∩ I) ∼= (A + I)/I
where A + I = {a + i : a ∈ A, i ∈ I}.
(Third isomorphism theorem) Let A be an ideal of the ring R. Show that if B is an
ideal of R that contains A then B/A is an ideal of R/A. Moreover the map B → B/A
is a bijection from the set of ideals of R containing A to the set of ideals of R/A. Show
that if B is an ideal of R that contains A then there is an isomorphism of rings
(R/A)/(B/A) ∼= R/B
Any help is greatly appreciated here!
 
Physics news on Phys.org
Where does the theorem stop making sense? Also what book are you using and have you encountered these theorems in group theory?
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 5 ·
Replies
5
Views
936
  • · Replies 31 ·
2
Replies
31
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
872
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K