Prove: Module & Submodule Homework

  • Thread starter Thread starter mobe
  • Start date Start date
  • Tags Tags
    module
Click For Summary
SUMMARY

The discussion focuses on proving properties of modules and submodules in the context of a principal ideal domain (P.I.D). Specifically, it establishes that if N is a direct summand of a D-module M, then N is pure. Furthermore, it asserts that if D is a P.I.D and M is a finitely generated torsion module, then the purity of N implies that N is a direct summand of M. The participants engage in clarifying the conditions under which the solvability of the equation ax = y holds in both N and M.

PREREQUISITES
  • Understanding of D-modules and submodules
  • Knowledge of direct summands and their properties
  • Familiarity with principal ideal domains (P.I.D)
  • Concept of finitely generated torsion modules
NEXT STEPS
  • Study the properties of pure submodules in module theory
  • Learn about the structure theorem for finitely generated modules over a P.I.D
  • Explore the implications of direct summands in module decomposition
  • Investigate solvability conditions for linear equations in modules
USEFUL FOR

Mathematicians, particularly those specializing in algebra, module theory, and anyone studying the properties of modules over rings, especially in the context of P.I.Ds.

mobe
Messages
19
Reaction score
0

Homework Statement


Suppose M is a D_module and N is a submodule. N is called pure iff for any y \in N and a \in D ax = y is solvable in N iff it is solvable in M. N is a direct summand of M iff there is a submodule K with M = N \oplus K. Prove:
(1) If N is a direct summand, then N is pure.
(2) Suppose D is P.I.D and M is a finitely generated torsion module. IF N is pure, then N is a direct summand of M.

Homework Equations



I am not sure what it means for ax=y is solvable in M iff it is solvable in N

The Attempt at a Solution


(1) If M is a direct summand, then there is a submodule K with M = N \oplus K. Let's suppose that ax=y is solvable in M for y \in N and \in, then there is a \in such that az=y. To prove that N is pure, one needs to prove that z \in N. I do not know if this is what I am supposed to do and if so, I have no idea how to do it.
(2)Now D is a P.I.D and M is a finitely generated torsion module. Assume that N is pure. Let y \in N and a \inD, then we have z \in N such that az=y implies z \in M. I do not know how to show that there is a submodule K of M such that M = N \oplus K.
 
Last edited:
Physics news on Phys.org
I could not fix my post and so I posted it again. Can someone delete one post for me? Thanks!
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
Replies
26
Views
3K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K