modular ideal
Let be a ring. A left ideal of is said to be modular if there is an such that for all . In other words, acts as a right identity
element modulo :
A right modular ideal is defined similarly, with be a left identity modulo .
Remark. If an ideal is modular both as a left ideal as well as a right ideal in , then is a unital ring. Furthermore, every (left, right, two-sided) ideal in a unital ring is modular, implying that the notion of modular ideals is only interesting in rings without .
References
- 1 P. M. Cohn, Further Algebra and Applications, Springer (2003).