Our next task is to determine the simple algebras of the variety of \({\cal C}_k\) -algebra. First, recall that \(A/ \theta \)  is a simple algebra if only if \(\theta \)  is a maximal congruence for a given \({\cal C}_k\) -algebra \(A\) , [1]}. Then, taking into account Remark REF  and Lemma REF , the maximal congruences are determined by the cyclic deductive system.
