文摘
We use the computer algebra system Maple to study the 512-dimensional associative algebra , the rational monoid algebra of Boolean matrices. Using the LLL algorithm for lattice basis reduction, we obtain a basis for the radical in bijection with the 42 non-regular elements of . The center of the 470-dimensional semisimple quotient has dimension 14; we use a splitting algorithm to find a basis of orthogonal primitive idempotents. We show that the semisimple quotient is the direct sum of simple two-sided ideals isomorphic to matrix algebras for . We construct the irreducible representations of over by calculating the representation matrices for a minimal set of generators.