MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Recall that a module is called

  1. semisimple if every submodule is a direct summand

  2. pure semisimple if every pure submodule is a direct summand

There is quite a bit of work on semisimple and pure semisimple modules, of course.

My question is

What is a module called if every submodule is pure?


What is known about these modules and where can I read about them?

share|cite|improve this question
up vote 4 down vote accepted

Hmmm, I seem to have found the answer to this question. In

Regular and semisimple modules

by Cheatham and Smith in 1976, they call a module regular if every submodule is pure. Regular is of course an overused word, and maybe other people have called this different things. But the justification makes some sense: if I is a 2-sided ideal of R, then R/I is a regular R-module if and only if R/I is a von Neumann regular ring.

share|cite|improve this answer

if R be a discrete valuation ring and M ba an R-module such that the annihilator of M isn't zero , then every pure submodule of M is a direct sum. you can see some result about the question in this book " Modules over discrete valuation ring".

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.