Decomposition of a moduleIn abstract algebra, a decomposition of a module is a way to write a module as a direct sum of modules. A type of a decomposition is often used to define or characterize modules: for example, a semisimple module is a module that has a decomposition into simple modules. Given a ring, the types of decomposition of modules over the ring can also be used to define or characterize the ring: a ring is semisimple if and only if every module over it is a semisimple module.
Zero divisorIn abstract algebra, an element a of a ring R is called a left zero divisor if there exists a nonzero x in R such that ax = 0, or equivalently if the map from R to R that sends x to ax is not injective. Similarly, an element a of a ring is called a right zero divisor if there exists a nonzero y in R such that ya = 0. This is a partial case of divisibility in rings. An element that is a left or a right zero divisor is simply called a zero divisor.
