A NOTE ON THE UNIQUE FACTORIZATION OF

F. B. Thompson,W. X. 2ln
Abstract:In their monograph Direct decompositions of finite algebraic systems, Jónsson and Tarski have established the unique factorization theorem and several related results for a comprehensive class of finite abstract algebras. Every algebra SÏ of this class is constituted by a set A of arbitrary elements, by a binary operation + , and possibly by other operations 00, Oi, • • • ; the only conditions imposed on §1 are that A be closed under all the operations involved and that it contain an element z which is a (both-hand) zero element for the operation + and is idempotent under the remaining operations. At the end of their paper, Jónsson and Tarski raised the problem of whether their results can be extended to an even more comprehensive class of algebras, in fact to algebras 2Ï differing from those mentioned above in that the element z is only to be idempotent under all operations involved (not necessarily being a zero element for + ) . The purpose of this note is to show that the solution of the problem just mentioned is a negative one. We consider algebras tytPtt defined in the following way: p and t are positive integers; %Ptt is constituted by the set At of all nonnegative integers less than t, and by the operation ®p defined by the following formula:
What problem does this paper attempt to address?