2
$\begingroup$

For the semigroup $$‎S_{3 \times 3} = \bigl\{(a_{ij}) \bigm| a_{ij} \in \mathbb Z_2 = \{0,1\}\bigr\}$$ ‎‎(the set of all $‎3‎\times‎‎3$ matrices with entries from $\mathbb Z_2$) under multiplication. Find all the ideals of $S_{‎3‎\times‎‎3}$.

$\endgroup$
  • 2
    $\begingroup$ ...please...? Any ideas, self work...? $\endgroup$ – DonAntonio Oct 15 '13 at 10:45
2
$\begingroup$

Hint: For any $A \in S_{3\times 3}$ there are $B,C \in {\rm GL}(3, \mathbb Z_2)$ (the invertible elements of $S_{3\times 3}$) such that $$ BAC = \begin{pmatrix} 0\mid1 & 0 & 0 \\ 0 & 0\mid1 & 0 \\ 0 & 0 & 0 \mid 1 \end{pmatrix} $$ where the number of ones is determined by the rank of $A$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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