在BCK-代数中同态映射保持理想

下面先给出 BCK－代数中的几个定义 　　定义 1设〈 X；＊， 0〉是一个 BCK－代数， X的一个非空子集 A被称为一个理想，如果它满足 　　(1)0∈ A　　(2)x∈ A， y＊ x∈ A， y∈ A(以后表示可推出 )　　定义 2设和〈 Y；＊ 1，θ〉是两个 BCK－代数，如果存在一个映射， f∶ X→ Y，使得对于任意的 x， y∈ X，有 f(x＊ y)=f(x)＊ 1f(y)，则称 f为 X到 Y的一个同态映射，且称 X和 Y是同态的，记 X～ Y　　定义 3设 f是两个 BCK－代数到的一个同态，称集合 Ker(f)={x∈ X;f(x)=θ }为同态 f的核。 在 [1]中已有如下结论 …

Projecting of Homomorphism Keeps Ideal in BCK - Algebras