notifications

Module Theory

Wikipedia nLab

R ≤ ring, M ≤ left R-module, r, s : R, x, y : M ⊢ · : R × M → M, r · (x + y) = r · x + r · y,(r + s) · x = r · x + s · x,(r s) · x = r · (s · x), 1 · x = x.

References