An endomorphism ring acting on a module from the right

37 Views Asked by At

First of all, excuse me if the question seems stupid. But I want to understand what is written in this screenshot. The book name is (Extensions of Rings and Modules by Birkenmeier, Park, and Rizvi). The authors say that $Q$ is acting on $E$ from the right. The only possible action of $Q$ on $E$ from the right is given by $e.q=q(e)$ for every $e\in E,q\in Q$. But, unfortunately, this action is not associative (i.e., $e(q_1q_2) \neq (eq_1)q_2$). Am I mistaken?!.

enter image description here

1

There are 1 best solutions below

2
On BEST ANSWER

The only possible action of $Q$ on $E$ from the right is given by $e.q=q(e)$ for every $e\in E,q\in Q$. But, unfortunately, this action is not associative (i.e., $e(q_1q_2) \neq (eq_1)q_2$). Am I mistaken?!.

That's the right action. Perhaps because you are using the left-hand notation for functions it looks wrong to you.

Writing them on the right, instead:

$e\cdot (q_1q_2):=(e)(q_1q_2)=((e)q_1)q_2=(e\cdot q_1)\cdot q_2$

It is just the mirror image of the more familiar left-hand notation.

By applying the action on the right, the intention is to use the right hand notation and composition for functions to apply them in the correct order to the input.