generated at
環作用系

summary 環からAbel群への作用系

definition 環RからAbel群Aへの環作用系
\left\lang \textrm{RingAct} \colon R, A ; S \right\rang
where
作用域
R \colon \mathbf{Ring}
R-加群
A \colon \mathbf{Ab}
作用
S \colon R → \mathrm{End}_\mathbf{Ab}(A)
Abel群の自己準同型環への環準同型

etc
一般には右R-加群と呼ばれるもの

WIP
圏としての加群
環上の加群
のページをきちんとまとめたい