submodule
additive subgroup of a module closed under scalar multiplication
ideal
additive subgroup of a ring closed under multiplcation by arbitrary ring element
fractional ideal
generalization of the ring-theoretical notion of ideal to integral domains
pure submodule
module components with flexibility in module theory