An ideal I in the free associative algebra $\kappa \,\langle $X1, ... , X$_{n}\rangle $ over a field k is shown to have a finite Grobner basis if the algebra defined ...

A commutative BCK-algebra with the relative cancellation property is a commutative BCK-algebra (X; *, 0) which satisfies the condition: if a ≤ x, a ≤ y and x * a = y * a, then x = y. Such BCK-algebras ...

Commutative algebra and graph theory are two vibrant areas of mathematics that have grown increasingly interrelated. At this interface, algebraic methods are applied to study combinatorial structures, ...

NEITHER Dr. Hilbert nor the reviewer make any suggestion that the commutative law of addition is best proved as a deduction from the laws of multiplication. But the laws of multiplication are so often ...