An Isomorphism
-
- Community Team
- Posts: 314
- Joined: Tue Nov 10, 2015 8:25 pm
An Isomorphism
Let \( A \) be a ring (commutative and associative ring with unity), let \( \mathfrak{a} \) be an ideal of \( A \) and let \( M \) be an \( A \)-module. Show that \[ \displaystyle \left( A/ \mathfrak{a} \right) \otimes_{A} M \cong M / \mathfrak{a} M \]where \( \mathfrak{a} M \) is the submodule of \( M \) defined as the set of all finite sums \( \Sigma a_{i}m_{i} \), where \( a_{i} \in A \, , \, m_{i} \in M \).
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 10 guests