This is elementary, but I have no idea how to solve it for all $s$. Actually I'm not sure if it's true. Let $\mathbb Z_{2^s}$ be the ring of integers modulo $2^s$. Considere the hamilton quaternions over $\mathbb Z_{2^s}$, that is, the ring

$\mathbb H_{2^s}=\mathbb Z_{2^s}[i, j, k]$={$a_0+a_1i+a_2j+a_3k\;\;:\;\;a_l\in\mathbb Z_{2^s}$},

where each element of $\mathbb Z_{2^s}$ commute with $i, j$ and $k$, and $i^2=j^2=k^2=ijk=-1$.

Is $\mathbb H_{2^s}$ a semicommutative ring? that is, for every $z\in\mathbb H_{2^s}$ the right annihilator $ann_r(z)$ is an ideal of $\mathbb H_{2^s}$.

Note that reversible rings (rings where $xy=0$ implies that $yx=0$) are semicommutative. My intuition is that $\mathbb H_{2^s}$ is a reversible ring.

It can help to observe that $\mathbb H_{2^s}$ is a local ring and $\mathbb H_{2^s}/J(\mathbb H_{2^s})\cong\mathbb Z_2 $, where $J$ denotes de jacobson radical. I also have simple proofs that $J(\mathbb H_{2^s})$ is generated by $1+i$, $ 1+j$ and $1+k$ and every element $z$ of $J(\mathbb H_{2^s})$ can be written as $z=2a_0+a_1(1+i)+a_2(1+j)+a_3(1+k)$, where $a_0, a_1, a_2, a_3\in\mathbb Z_{2^s}$.