MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R$ be a finite commutative ring with identity and $A$ an $R$-algebra with basis $\{1, b_1,\ldots , b_k\}$. Suppose that the center of $A$ contains the ring $R$ and there are units $u_{ij}$ in the ring $R$ such that $$b_ib_j=u_{ij}b_jb_i.$$

(An example: $\mathbb Z_4[i, j, k]$ ={$a+bi+cj+dk\::\;a, b, c, d\in\mathbb Z_4$} with the condictions $i^2=j^2=k^2=ijk=-1$. This is the ring of quaternions over $\mathbb Z_4$, the basis is {$1, i, j, k$}.)

My question is: if $a\in A$ is true that the cardinality of the left annihilator $ann_l(a)$ equals the cardinality of the right annihilator $ann_r(a)$?

share|cite|improve this question
up vote 3 down vote accepted

Let $R$ be a finite field of characteristic $\ne 2$. Let $A$ be the subalgebra of $M_2(R)$ consisting of upper triangular matrices. It has the basis $1,b_1,b_2$ with $b_2$ the diagonal matrix with entries $-1,1$ and $b_2$ has zeros on the diagonal and $1$ in the upper right corner. Then $b_1b_2=-b_2$ and $b_2b_1=b_2$ so the condition is satisfied. But with the element $a$ being the diagonal matrix of entries $1,0$ one gets that the left and right annihilators have different dimension.

share|cite|improve this answer
Thanks, is a good example. – zacarias Jun 6 '12 at 22:36

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.