Contents

Idea

A ternary function which simultaneously exhibits an action on a set from both the left and the right side.

Sets with biactions are the bimodule objects internal to Set.

Definition

Given a set $S$ and monoids $(M, e_M, \mu_M)$ and $(N, e_N, \mu_N)$, a $M$-$N$-biaction or two-sided action is a ternary function $\alpha:M \times S \times N \to S$ such that

• for all $s \in S$, $\alpha(e_M, s, e_N) = s$

• for all $s \in S$, $a \in M$, $b \in M$, $c \in N$, and $d \in N$, $\alpha\big(a, \alpha(b, s, c), d\big) = \alpha\big(\mu_M(a, b), s, \mu_N(c, d)\big)$

Left and right actions

The left $M$-action is defined as

for all $a \in M$ and $s \in S$. It is a left action because

The right $N$-action is defined as

for all $c \in N$ and $s \in S$. It is a right action because

The left $M$-action and right $N$-action satisfy the following identity:

• for all $s \in S$, $a \in M$ and $c \in N$, $\alpha_M\big(a, \alpha_N(s, c)\big) = \alpha_N\big(\alpha_M(a, s), c\big)$.

This is because when expanded out, the identity becomes:

See also

• action

• bimodule