具有(s)条件的正关联BCK—代数的同构定理

K.Iséki在6]中定义了具有(S)条件的BCK—代数,並证明了当BCK—代数具有(S)条件时就组成有序可换半群。我们在文7]中讨论了BCK—代数同态、同构的基本定理。在本文中我们进而讨论具有(S)条件的正关联BCK—代数的同构问题,我们得到的结果是,当M是具有(S)条件的正关联BCK—代数时,它将与自同态反序可换子半群同构。