Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
module [2015/12/11 19:48] nikolaj |
module [2018/05/12 23:47] nikolaj |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ==== Set ==== | ==== Set ==== | ||
| | @#55CCEE: context | @#55CCEE: $M,R$ | | | @#55CCEE: context | @#55CCEE: $M,R$ | | ||
| - | |||
| | @#55EE55: postulate | @#55EE55: $\langle\mathcal M,\mathcal R, *\rangle \in \mathrm{module}(\mathcal M,\mathcal R)$ | | | @#55EE55: postulate | @#55EE55: $\langle\mathcal M,\mathcal R, *\rangle \in \mathrm{module}(\mathcal M,\mathcal R)$ | | ||
| - | |||
| | @#55CCEE: context | @#55CCEE: $\langle\mathcal M,\mathcal R, *\rangle \in \mathrm{leftModule}(\mathcal M,\mathcal R)$ | | | @#55CCEE: context | @#55CCEE: $\langle\mathcal M,\mathcal R, *\rangle \in \mathrm{leftModule}(\mathcal M,\mathcal R)$ | | ||
| | @#55CCEE: context | @#55CCEE: $\mathcal M\in \mathrm{abelianGroup}(M)$ | | | @#55CCEE: context | @#55CCEE: $\mathcal M\in \mathrm{abelianGroup}(M)$ | | ||
