Irreducible representations of the plactic algebra of rank four (Q2401627)

For an integer \(n\geq1\), the plactic monoid of rank \(n\) is the finitely presented monoid \(M_n\), generated by the set \(\{a_1,\dots a_n\}\) with defining relations \(a_ia_ka_j = a_ka_ia_j\) for \(i \leq j<k\), and \(a_ja_ia_k = a_ja_ka_i\) for \(i <j \leq k\). In the papers [the first and thir authors, J. Algebra 274, No. 1, 97--117 (2004; Zbl 1054.16022)] and [the last two authors, Semigroup Forum 84, No. 2, 241--266 (2012; Zbl 1361.20038)], some algebraic structures of the monoid algebra \(K[M_n]\) of \(M_n\) over a field \(K\) and irreducible representations of \(M_n\) are given only for \(n \leq 3\). For the plactic monoid \(M_n\) of any finite rank \(n\), it is very difficult to determine irreducible representations of \(M_n\) and to characterize the Jacobson radical \(J(K[M_n])\). In this article, irreducible representations of the plactic monoid \(M=M_4\) are studied. Certain concrete families of simple modules over the plactic algebra \(K[M]\) over a field \(K\) are constructed. It is shown that the Jacobson radical \(J(K[M])\) of \(K[M]\) is nilpotent. Moreover, the congruence \(\rho\) on \(M\) determined by \(J(K[M])\) coincides with the intersection of the congruences determined by the primitive ideals of \(K[M]\) corresponding to the constructed simple modules. In particular, \(M/\rho\) is a subdirect product of the images of \(M\) in the corresponding endomorphism algebras.