By describing general superfluous convex l-subgroups in this paper, we prove the following results: If G is a normal-valued l-group, then (1)T= {x∈G|x<<u, u is a strong unit of G} ; (2) T = 0 iff G is l- isomorphic to a subdirect product of simple l-groups with semisimplicity.
证明了如下结果:如 果G是正规值l-群,则(1)T={x∈G|x<
In this paper we consider the semisimplicity of implicative BCK-alge-bras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.
本文考虑关联BCK-代数的半单性,得到这类代数为半单的若干等价条件。
The unisexual flower is caused by the selective abortion of androecium or gynoecium in the hermphroditic primondia.