HomA(M,HomA(N,K)) is isomorphic to HomA(N,HomA(M,K))

  • Thread starter Thread starter RVP91
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving that HomA(M, HomA(N, K)) is isomorphic to HomA(N, HomA(M, K)) within the context of commutative rings with identity. The proposed solution involves defining a map f: HomA(M, HomA(N, K)) → HomA(N, HomA(M, K)) for a given ψ: M → HomA(N, K), where f(ψ)(n): m → ψ(m)(n). The objective is to demonstrate that this mapping is an isomorphism of A-modules, a common requirement in module theory.

PREREQUISITES
  • Understanding of A-modules and their properties
  • Familiarity with Hom functors in the context of commutative rings
  • Knowledge of isomorphisms in module theory
  • Basic concepts of commutative algebra and ring theory
NEXT STEPS
  • Study the properties of Hom functors in commutative algebra
  • Learn about isomorphisms of A-modules and their implications
  • Explore examples of A-modules to solidify understanding of the concepts
  • Investigate the role of commutative rings in module theory
USEFUL FOR

Mathematicians, algebraists, and students studying commutative algebra or module theory, particularly those interested in the properties of Hom functors and isomorphisms of modules.

RVP91
Messages
50
Reaction score
0

Homework Statement


Let A be a commutative ring with identity element.

Prove that HomA(M,HomA(N,K)) is isomorphic to HomA(N,HomA(M,K)).

Homework Equations





The Attempt at a Solution



I believe it is best to start by defining a map, f: HomA(M,HomA(N,K) → HomA(N,HomA(M,K))
for ψ: M → HomA(N,K) so that f(ψ)(n): m → ψ(m)(n).

Then I guess I need to show this is an isomorphism of A-modules.

However I'm not sure how to proceed. In similar questions I have defined another map usually in the opposite direction and shown they are inverse. This time though I'm not sure where to go.


Any help would be appreciated.

Thanks in advance!
 
Physics news on Phys.org
What are N,M,K?
 
A-modules.
 

Similar threads

Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K