This paper is concerned
with obtaining an L1 algebra for compact commutative linearly quasi-ordered
topological semigroups. It will be shown that there is a suitable measure on such a
semigroup so that the maximal ideal space of the L1 algebra with respect to
this measure and the bounded measurable semicharacters modulo equal
almost everywhere can be identified. It is also proved that the condition
x2= y2= xy implies x = y is necessary and sufficient that the L1 algebra be
semisimple.