JAM Journal of Applied Mathematics 1687-0042 1110-757X Hindawi Publishing Corporation 141684 10.1155/2012/141684 141684 Research Article Some Aspects of d-Units in d/BCK-Algebras Kim Hee Sik 1 Neggers J. 2 So Keum Sook 3 Werner Frank 1 Department of Mathematics Hanyang University Seoul 133-791 Republic of Korea hanyang.ac.kr 2 Department of Mathematics University of Alabama Tuscaloosa, AL 35487-0350 USA ua.edu 3 Department of Mathematics Hallym University Chuncheon 200-702 Republic of Korea hallym.ac.kr 2012 10 12 2012 2012 13 08 2012 02 11 2012 09 11 2012 2012 Copyright © 2012 Hee Sik Kim et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We explore properties of the set of d-units of a d-algebra. A property of interest in the study of d-units in d-algebras is the weak associative property. It is noted that many other d-algebras, especially BCK-algebras, are in fact weakly associative. The existence of d/BCK-algebras which are not weakly associative is demonstrated. Moreover, the notions of a d-integral domain and a left-injectivity are discussed.

1. Introduction

Iséki and Tanaka introduced two classes of abstract algebras: BCK-algebras and BCI-algebras [1, 2]. It is known that the class of BCK-algebras is a proper subclass of the class of BCI-algebras. Neggers and Kim introduced the notion of d-algebras which is another useful generalization of BCK-algebras and then investigated several relations between d-algebras and BCK-algebras as well as several other relations between d-algebras and oriented digraphs . After that some further aspects were studied . As a generalization of BCK-algebras, d-algebras are obtained by deleting two identities. Thus, one may introduce an additional operation and replace one of the deleted new algebras, for example, (x*(x*y))*y=0, to obtain new algebras (X,*,,0) for which the conditions (i) ((xy)*x)*y=0 and (ii) (z*x)*y=0 implies z*(xy)=0, yielding a companion d-algebra which shares many properties of BCK-algebras and such that not every d-algebra is one. Allen et al.  developed a theory of companion d-algebras in sufficient detail to demonstrate considerable parallelism with the theory of BCK-algebras as well as obtaining a collection of results of a novel type. Recently, Allen et al.  introduced the notion of deformation in d/BCK-algebras. Using such deformations they constructed d-algebras from BCK-algebras in such a manner as to maintain control over properties of the deformed BCK-algebras via the nature of the deformation employed and observed that certain BCK-algebras cannot be deformed at all, leading to the notion of a rigid d-algebra and consequently of a rigid BCK-algebra as well.

In this paper we study properties of d-units in d-algebras (X,*,0), that is, elements x of X such that x*X=X. Since 0*X={0}, |X|2 implies 0 is not a d-unit of (X,*,0). Hence, d-algebras (X,*,0) such that every non-zero element is a d-unit are special in the sense that they are “complete" with respect to this property. They are also not uncommon (see Proposition 3.2). It turns out that the property of weakly associativity in d-algebras is an important property in this context. In addition, we consider the class of d-integral domains and left-injective elements of d-algebras (defined below) in analogy with the usual notions in the theory of rings and their modules, where again the d-units investigated in this paper also play a significant role.

2. Preliminaries

In this section, we introduce some notions and propositions on d-algebras discussed in [3, 810] for reader’s convenience.

An (ordinary) d-algebra  is an algebra (X,*,0) where * is a binary operation and 0X such that the following axioms are satisfied:

x*x=0,

0*x=0,

x*y=0 and y*x=0 imply x=y for all x,yX.

For brevity we also call X a d-algebra. In X we can define a binary relation “” by xy if and only if x*y=0.

A BCK-algebra  is a d-algebra X satisfying the following additional axioms:

(x*y)*(x*z))*(z*y)=0,

(x*(x*y))*y=0 for all x,y,zX.

Example 2.1 (see [<xref ref-type="bibr" rid="B13">3</xref>]).

(a) Every BCK-algebra is an ordinary d-algebra. (b) Let R be the set of all real numbers and define x*y=x·(x-y), x,yR, where ·" and -" are the ordinary product and subtraction of real numbers. Then x*x=0,0*x=0,x*0=x2. If x*y=y*x=0, then x·(x-y)=0 and y·(y-x)=0, that is, (x=0 or x=y) and (y=0 or y=x), that is, (x=0 and y=0) or (x=0 and y=x) or (x=y and y=0) or (x=y and y=x); all imply x=y. Hence, (R;*,0) is an ordinary d-algebra. But it is not a BCK-algebra, since axiom (V) fails: (2*(2*0)*0)=160.

An algebra (X;*,0), where * is a binary operation and 0X, is said to be a strong d-algebra  if it satisfies (I), (II) and (III*) for all x,yX, where

x*y=y*x implies x=y.

Obviously, every strong d-algebra is a d-algebra, but the converse needs not be true. The d-algebra in Example 2.1 (b) is not a strong d-algebra, since x*y=y*x implies either x=y or x=-y.

Example 2.2 (see [<xref ref-type="bibr" rid="B4">9</xref>]).

Let R be the set of all real numbers and define x*y=(x-y)·(x-e)+e, x,y,eR, where “·” and “−" are the ordinary product and subtraction of real numbers. Then x*x=e;e*x=e;x*y=y*x=e yields (x-y)·(x-e)=0, (y-x)·(y-e)=0 and x=y or x=e=y, that is, x=y, that is, (R;*,e) is a d-algebra.

However, (R;*,e) is not a strong d-algebra. If x*y=y*x(x-y)·(x-e)+e=(y-x)·(y-e)+e(x-y)·(x-e)=-(x-y)·(y-e)(x-y)·(x-e+y-e)=0(x-y)·(x+y-2e)=0 (x=y or x+y=2e), then there exist x=e+α and y=e-α such that x+y=2e, that is, x*y=y*x and xy. Hence, axiom (III*) fails and thus the d-algebra (R;*,e) is not a strong d-algebra.

Theorem 2.3 (see [<xref ref-type="bibr" rid="B10">11</xref>]).

The following properties hold in a BCK-algebra: for all x,y,zX,

x*0=x,

(x*y)*z=(x*z)*y.

A BCK-algebra (X,*,0) is said to be bounded if there exists an element x0X such that xx0 for all xX. We denote it by (X,*,0,x0). Note that the usual notation is 1 rather than x0 in literatures. We call such an element the greatest element of X. In a bounded BCK-algebra, we denote x0*x by Nx. A bounded BCK-algebra (X,*,0,x0) is called a BCK(DN)-algebra  if it verifies condition (DN):

NNx=x for all xX.

A BCK-algebra (X,*,0) is said to be commutative if x*(x*y)=y*(y*x) for any x,yX. We refer useful textbooks for BCK/BCI-algebra to .

Theorem 2.4.

If (X,*,0) is a bounded commutative BCK-algebra, then NNx=x for any xX.

It is well known that bounded commutative BCK-algebras, D-posets and MV-algebras are logically equivalent each other (see [13, Page 420]).

Definition 2.5 (see [<xref ref-type="bibr" rid="B12">10</xref>]).

Let (X,*,0) be a d-algebra and IX. I is called a d-subalgebra of X if x*yI whenever xI and yI. I is called a BCK-ideal of X if it satisfies:

0I,

x*yI and yI imply xI.

I is called a d-ideal of X if it satisfies (D1) and

xI and yX imply x*yI, that is, I*XI.

Note that, by axiom (I) and definition of d-subalgebra, 0X can be deduced easily.

Example 2.6 (see [<xref ref-type="bibr" rid="B12">10</xref>]).

Let X={0,1,2,3,4} be a d-algebra which is not a BCK-algebra with the following table: (2.1)*01234000000110101222030333203444110 Then I={0,a} is a d-ideal of X.

In a d-algebra, a BCK-ideal need not be a d-subalgebra, and also a d-subalgebra need not be a BCK-ideal. Clearly, {0} is a d-subalgebra of any d-algebra X and every d-ideal of X is a d-subalgebra .

Let X be a d-algebra and xX. Define x*X={x*aaX}. X is said to be edge if for any xX, x*X={x,0}. It is known that if X is an edge d-algebra, then x*0=x for any xX .

3. <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M214"><mml:mrow><mml:mi>d</mml:mi></mml:mrow></mml:math></inline-formula>-Units and Weakly Associativity

Let (X,*,0) be a d-algebra. An element x of X is said to be a d-unit if x*X=X, where x*X={x*yyX}.

Example 3.1.

Let X={0,1,2,3} be a set with the following table: (3.1)*012300000110322210333330 Then (X,*,0) is a d-algebra. It is easy to show that 1, 2 are d-units of X.

Proposition 3.2.

Let (X,+,·,0,1) be a field. Define a binary operation “*” on X by (3.2)x*y=x·(x-y) for any x,yX. Then (X,*,0) is a d-algebra such that every non-zero element of X is a d-unit.

Proof.

It is easy to show that (X,*,0) is a d-algebra. Given a non-zero element x and any element u in X, the equation x*y=x2-xy=u has a solution y=(x2-u)/x.

Note that the d-algebra (X,*,0) in Proposition 3.2 is not a BCK-algebra, since x*0=x2x.

A d-algebra (X,*,0) is said to be weakly associative if for any x,y,zX, there exists a wX such that (x*y)*z=x*w.

It is known that if (X,*,0) is a BCK-algebra with condition (S), then (x*y)*z=x*(yz) for all x,y,zX, where yz is the greatest element of the set A(y,z)={xXx*yz} . Hence every BCK-algebra with condition (S) is weakly associative.

Proposition 3.3.

The d-algebra (X,*,0) defined in Proposition 3.2 is weakly associative.

Proof.

Given x,y,zX, we let w=x+(x-y)z-x(x-y)2. Then we have (3.3)x*w=x(x-w)=x(x-y)(x(x-y)-z)=(x*y)(x*y-z)=(x*y)*z, proving the proposition.

Example 3.4.

Let X={0,1,2,3} be a set with the following table: (3.4)*012300000110322330132120 Then (X,*,0) is a d-algebra which is not a BCK-algebra. We know that (3*1)*2=3, but there is no element wX such that 3*w=3. Hence (X,*,0) is not weakly associative.

Proposition 3.5.

Let (X,*,0) be a weakly associative d-algebra and x,yX. If x*y is a d-unit, then x is also a d-unit.

Proof.

Let uX be an arbitrary element of X. Then (x*y)*z=u for some zX. Since X is weakly associative, there exists wX such that (x*y)*z=x*w, proving u=x*w, which shows that x is a d-unit.

Proposition 3.6.

Let (X,) be a poset with minimal element 0. Define a binary operation “*” on X by (3.5)x*y={0ifx  y,xotherwise. Then (X,*,0) is a weakly associative BCK-algebra.

Proof.

Given x,y,zX, we have either (x*y)*z=0 or (x*y)*z=x. Now, assume (x*y)*z=0. Since X is a BCK-algebra, x*yx and hence (x*y)*x=0. If we take w=x, then we obtain (x*y)*z=0=x*x. Assume (x*y)*z=x. If we take w=0, then x*w=x*0=x=(X*y)*z, proving X is weakly associative.

Note that the BCK-algebra (X,*,0) discussed in Proposition 3.6 is a dual Hilbert algebra (see [12, Page 30]). By routine calculations, we found that there is no weakly associative BCK-algebras with order 6.

By Propositions 3.3 and 3.6, the class of weakly associative BCK-algebras is a proper subclass of weakly associative d-algebras.

Let (X,*,0) be a d-algebra and let N={0,1,2,3,}. We define the set of all monomials azk, a0,kN and 0¯={0zk}kN by MX where z is an indeterminate. We may regard 0¯0zk for all kN.

Define a binary operation “” on MX by (3.6)azkbzl=(a*b)zαk+βl, where α and β are fixed elements of N. Then we obtain the following.

Proposition 3.7.

If (X,*,0) is a d-algebra and if αβ in N, then (MX,,0¯) is a d-algebra.

Proof.

For any azk,bzlMX, we have azkazk=(a*a)z(α+β)k=0z(α+β)k=0¯ and 0¯bzl=0zkbzl=(0*b)zαk+βl=0zαk+βl=0¯.

Assume that azkbzl=bzlazk=0¯. Then a*b=b*a=0 and αk+βl=αl+βk. Since (X,*,0) is a d-algebra, we obtain a=b and (α-β)k=(α-β)l. It follows that either α=β or k=l. Since αβ, we have a=b and k=l, that is, azk=bzl. This proves the proposition.

Using Proposition 3.7, we construct a BCK-algebra which is not weakly associative.

Example 3.8.

Define a binary operation “*” on X=[0,1] by x*y=max{0,x-y} for all x,yX. Then it is easy to see that (X,*,0) is a BCK-algebra. If we take α=3, β=7, then by Proposition 3.7, (MX,,0¯) is a d-algebra, where azkbzl=(a*b)z3k+7l for all azk,bzlMX.

We claim that (MX,,0¯) is not weakly associative. By routine calculation, we obtain ((1/2)z3(1/3)zl)(1/12)zm=(1/12)z27+7(3l+m) and (1/2)z3Azn=(1/2-A)z9+7n for any AznMX. If (MX,,0¯) is weakly associative, then (1/12)z27+7(3l+m)=(1/2-A)z9+7n for some AznMX. It follows that A=5/12 and 18=7(n-m-3l), and hence 7 divides 18, a contradiction.

We claim that (MX,,0¯) is a BCK-algebra. For any azk,bzl,cznMX, we have [azk(azkbzl)]bzl=[(a*(a*b))*b]z3(3k+7(3k+7l))+7l=0¯z3(3k+7(3k+7l))+7l=0¯ and [(azkbzl)(azkczn)](cznbzl)=[((a*b)*(a*c))*(c*b)]zq=0zq=0¯ for some qN. Hence (MX,,0¯) is a BCK-algebra which is not weakly associative.

4. <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M374"><mml:mrow><mml:mi>d</mml:mi></mml:mrow></mml:math></inline-formula>-Units in BCK-Algebras Proposition 4.1.

If (X,*,0) is a BCK-algebra and x0 is a d-unit of X, then (X,*,0,x0) is a bounded BCK-algebra.

Proof.

Let x0 be a d-unit of X. Then x0*X=X, which means that for any yX, there exists uX such that y=x0*u. Hence we have y*x0=(x0*u)*x0=(x0*x0)*u=0*u=0 for any yX. This proves that (X,*,0,x0) is a bounded BCK-algebra.

The converse of Proposition 4.1 need not be true in general.

Example 4.2.

Consider the BCK-algebra (X,*,0) [11, Page 252]) with the following table: (4.1)*01234000000110000222000332100444220 Then (X,*,0,4) is a bounded BCK-algebra not verifying condition (DN), but 4 is not a d-unit, since 4*X={0,2,4}X.

Proposition 4.3.

Let (X,*,0,x0) be a BCK(DN)-algebra and let x0X. Then x0 is the greatest element of X if and only if x0 is a d-unit of X.

Proof.

Let x0 be the greatest element of X. Since X is a BCK(DN)-algebra, by Theorem 2.4, we have x=x0*(x0*x)x0*X for any xX, that is, Xx0*X, proving that x0 is a d-unit of X. The converse was proved in Proposition 4.1.

Example 4.4.

Consider the BCK-algebra (X,*,0) with the following table: (4.2)*01234000000110000222000333200443210 Then (X,*,0,4) is a BCK(DN)-algebra [11, Page 253]), namely a bounded commutative BCK-algebra, and 4 is both the greatest element of X and a d-unit of X.

5. <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M421"><mml:mrow><mml:mi>d</mml:mi></mml:mrow></mml:math></inline-formula>-Integral Domains

Let (X,*,0) be a d-algebra. An element xX is said to be a d-zero divisor of X if there exists an element y(x) in X such that x*y=0.

Example 5.1.

Let X={0,1,2,3} be a set with the following table: (5.1)*012300000110302220132300 Then (X,*,0) is a d-algebra and 0,1,3 are d-zero divisors of X.

Note that if |X|2, then 0 is a d-zero divisor of X.

Let (X,*,0) be a BCK-algebra. If x*y=0 with yx, then x<y in the induced order, that is, x is not a maximal element of X. This shows that every non-maximal element of a BCK-algebra X is a d-zero divisor of X.

A d-algebra (X,*,0) is said to be a d-integral domain if every non-zero element x is not a d-zero divisor, that is, x0,x*y=0,yX implies x=y.

Proposition 5.2.

The d-algebra (X,*,0) in Proposition 3.2 is a d-integral domain.

Proof.

If x*y=x(x-y)=0 and x0, then x-y=0, that is, x=y. Hence x is not a d-zero divisor and the conclusion follows.

Example 5.3.

Let X={0,1,2,3} be a set with the following table: (5.2)*012300000110112220132330 Then (X,*,0) is a d-integral domain which is not a BCK-algebra, since every non-zero element is not a d-zero divisor.

Given two posets X and Y, we construct the ordinal sum XY of X and Y if xy for all xX and yY .

Proposition 5.4.

Let (X,,0) be an ordinal sum X={0}A, where A is an anti-chain. If one defines a binary operation “*" on X by (5.3)x*y={0ifx  y,xotherwise, then the BCK-algebra (X,*,0) is a d-integral domain.

Proof.

If x0 in X, then xA. Since X is a BCK-algebra, we have x*0=x, and if yA,yx, then x*y=x. Hence x0,x*y=0 implies y=x, proving the proposition.

In the situation of Proposition 5.4, it follows that x0 is a d-unit if |A|=1. Indeed, x*X={0,x} for all xA, and x*X=X implies |X|=2. If |X|3, then (X,*,0) is a d-integral domain having no d-units.

6. Left-Injective

Let (X,*,0) be a d-algebra. A non-zero element xX is said to be left-injective if x*y=x*z for all y,zX implies y=z. A d-algebra (X,*,0) is said to be left-injective if every non-zero element of X is left-injective.

Proposition 6.1.

Let (X,*,0) be a d-algebra and |X|2. If xX is left-injective, then it is not a d-zero divisor of X.

Proof.

If we assume that x is a d-zero divisor of X, then x*y=0 for some y(x) in X. Since X is a d-algebra, x*x=0=x*y. It follows from x is left-injective that x=y, a contradiction.

Proposition 6.2.

Let (X,*,0) be a finite d-algebra and xX. If x is left-injective, then it is a d-unit.

Proof.

Given a left-injective element x, we define a map φx:XX by φx(a)=x*a. Then it is injective mapping, since x is left-injective. Since X is finite, φx is onto, which proves that x*X=φx(X)=X. This proves that x is a d-unit.

In the infinite case, Proposition 6.2 need not be true. We give an example of d-algebra such that every non-zero element xX is a left-injective, but not a d-unit element.

Example 6.3.

Let X=R be the set of real numbers and let x*y=tan-1(x(x-y)) for any x,yX. Then it is easy to show that (X,*,0) is a d-algebra which is not a BCK-algebra, since x*0=tan-1(x(x-0))=tan-1(x2)x in general. Let x0 in X. Assume x*y=x*z. Then tan-1(x(x-y))=tan-1(x(x-z)). Since tan-1 is a bijective mapping, we obtain x(x-y)=x(x-z), whence x0 implies xy=xz and y=z, that is, if x0, it is a left-injective element. Since x*y[-π/2,π/2] in that case, it follows that x*y=π does not have a solution in such a case. Hence x*XX, that is, x is not a d-unit.

By Proposition 6.2, the d-algebra described in Example 6.3 is a d-integral domain such that every element is not a d-unit. The following example shows that there is a d-algebra such that every non-zero element of X is a d-unit, but not left-injective.

Example 6.4.

Let X=[0,). Define a binary operation “*” on X by x*y=x2(x-y)2 for any x,yX. Then it is easy to show that (X,*,0) is a d-algebra. We claim that every non-zero element x of X is a d-unit. Given uX, if we take y in X as follows: (6.1)y={x2-uxifyx,x2+uxotherwise, then x*y=u, which proves that x is a d-unit. We claim that X is not left-injective, since 5*6=25=5*4, but 64.

A non-empty subset I of a d-algebra (X,*,0) is said to be a left-ideal of X if it satisfies the condition (D2). Every left-ideal I of a d-algebra (X,*,0) contains 0, since 0=x*xI*XI for some xI. Hence, a left-ideal of X satisfies (D0). Every d-ideal of a d-algebra (X,*,0) is a left-ideal of X, but the converse may not be true in general.

Example 6.5.

Let X={0,a,b,c} be a d-algebra which is not a BCK-algebra with the following table: (6.2)*0abc00000aa01abbb0accca0 Then J={0,a,c} is a left-ideal, but not a d-ideal of X, since b*c=0J and cJ, but bJ.

A d-algebra (X,*,0) is said to be simple if its only left-ideals are {0} and X. A d-algebra (X,*,0) is said to be d-proper if for all xX, x*X is a left-ideal of X.

Example 6.6.

In Example 6.3, for any x0 in X, we have x*X=(-π/2,π/2)X, that is, x*X is a left-ideal of X. This shows that (X,*,0) is d-proper. It is not simple, since L*X=(-π/2,π/2)L for any LX with (-π/2,π/2)L, that is, L is a left-ideal of X.

Proposition 6.7.

If (X,*,0) is a weakly associative d-algebra, then it is d-proper.

Proof.

For any xX, if α(x*X)*X, then α=(x*y)*z for some y,zX. Since X is weakly associative, (x*y)*z=x*w for some wX, that is, α=x*wx*X, proving that x*X is a left-ideal of X.

Theorem 6.8.

Let (X,*,0) be a d-algebra. Then X is simple and d-proper if and only if every non-zero element of X is a d-unit.

Proof.

Since X is d-proper, x*X is a left-ideal of X for any non-zero element x of X. Moreover, x0 implies x*00 and hence x*X{0}. By the simplicity of (X,*,0) it follows that x*X=X, and thus x is a d-unit.

Assume that every non-zero element of X is a d-unit. We claim that X is d-proper. For any xX, if x=0, then 0*X={0} is a left-ideal of X. Assume x0. Since x is a d-unit, we have x*X=X and hence (x*X)*X=X*XX=x*X, proving that x*X is a left-ideal of X. We claim that X is simple. Assume that L is a left-ideal of X such that L{0}. If we let x0 in L, then X=x*XL*XL since x is a d-unit. This proves that X is simple.

By Theorem 6.8, the d-algebra X described in Example 6.4 is simple and d-proper, but not left-injective.

Acknowledgment

The authors would like to express their great thanks to the referee’s careful reading and valuable suggestions.

Iséki K. Tanaka S. An introduction to the theory of BCK-algebras Mathematica Japonica 1978/79 23 1 1 26 500283 Iséki K. On BCI-algebras Mathematics Seminar Notes 1980 8 1 125 130 590171 ZBL0473.03059 Neggers J. Kim H. S. On d-algebras Mathematica Slovaca 1999 49 1 19 26 1804469 Allen P. J. Kim H. S. Neggers J. Companion d-algebras Mathematica Slovaca 2007 57 2 93 106 10.2478/s12175-007-0001-z 2357809 Jun Y. B. Neggers J. Kim H. S. Fuzzy d-ideals of d-algebras Journal of Fuzzy Mathematics 2000 8 1 123 130 1750234 Lee Y. C. Kim H. S. On d-subalgebras of d-transitive d*-algebras Mathematica Slovaca 1999 49 1 27 33 1804470 Neggers J. Dvurečenskij A. Kim H. S. On d-fuzzy functions in d-algebras Foundations of Physics 2000 30 10 1807 1816 10.1023/A:1026466720971 1812445 Allen P. J. Kim H. S. Neggers J. Deformations of d/BCK-algebras Bulletin of the Korean Mathematical Society 2011 48 2 315 324 10.4134/BKMS.2011.48.2.315 2809133 Han J. S. Kim H. S. Neggers J. Strong and ordinary d-algebras Journal of Multiple-Valued Logic and Soft Computing 2010 16 3–5 331 339 2648141 Neggers J. Jun Y. B. Kim H. S. On d-ideals in d-algebras Mathematica Slovaca 1999 49 3 243 251 1728235 Meng J. Jun Y. B. BCK-Algebras 1994 Seoul, South Korea Kyung Moon Sa 1297121 Iorgulescu A. Algebras of Logic as BCK Algebras 2008 Editura ASE, Bucharest 2542102 Dvurečenskij A. Pulmannová S. New Trends in Quantum Structures 2000 516 Dordrecht, The Netherlands Kluwer Academic Publishers Mathematics and Its Applications 1861369 Yisheng H. BCI-Algebras 2006 Beijing, China Science Press Neggers J. Kim H. S. Basic Posets 1998 River Edge, NJ, USA World Scientific Publishing 1692854