A right module is a generalization of a vector space over a field, where the scalars are the elements of a ring (not necessarily commutative).
A right module has right multiplication by scalars. Let V be an abelian group (with additive notation) and R the scalar ring, we have the following laws for x, y in V and r, s in R:
1. (x + y) :* r = x :* r + y :* r
2. x :* (r + s) = x :* r + x :* s
3. x :* (r * s) = (x :* r) :* s
4. x :* R.one = x
- Type parameters:
- R
Scalar type
- V
Abelian group type
- Companion:
- object
trait AdditiveCommutativeGroup[V]
trait AdditiveCommutativeMonoid[V]
trait AdditiveCommutativeSemigroup[V]
trait AdditiveGroup[V]
trait AdditiveMonoid[V]
trait AdditiveSemigroup[V]
trait Serializable
class Any
trait PolynomialOverField[C]
trait ZAlgebra[V]
trait PolynomialOverCRing[C]
class ArrayCoordinateSpace[A]
Value members
Abstract methods
Inherited methods
@nowarn("msg=deprecated")
Given a sequence of as, compute the sum.
Given a sequence of as, compute the sum.
- Inherited from:
- AdditiveMonoid