Usan J., Zizovic M.
On ordered n-groups
Among the results of the paper is the following
proposition. Let (Q,·,
f, b) be an arbitrary
nHG-algebra associated to the n-group (Q,A), where n
> 2.
If
£ is a partial order defined on Q, then,
(Q,A,
£ ) is an ordered n-group iff
(Q,·,
£ ) is an ordered group and for every x,y from Q
x
£ y implies
f(x)
£ f(y).