We classify, in terms of the structure finite group G, all algebras KG for which right ideals are annihilators principal left ideals. This means language coding theory that we classify code-checkable have been considered so far only abelian groups G. Optimality checkable codes and asymptotic results discussed.