The coarse structure of the representation algebra of a finite monoid (Q2249946): Difference between revisions

Summary: Let \(M\) be a monoid, and let \(L\) be a commutative idempotent submonoid. We show that we can find a complete set of orthogonal idempotents \(\hat{L}_0\) of the monoid algebra \(A\) of \(M\) such that there is a basis of \(A\) adapted to this set of idempotents which is in one-to-one correspondence with elements of the monoid. The basis graph describing the Peirce decomposition with respect to \(\hat{L}_0\) gives a coarse structure of the algebra, of which any complete set of primitive idempotents gives a refinement, and we give some criterion for this coarse structure to actually be a fine structure, which means that the nonzero elements of the monoid are in one-to-one correspondence with the vertices and arrows of the basis graph with respect to a set of primitive idempotents, with this basis graph being a canonical object.