A discrete variant of Farkas' Lemma

We report a discrete variant of Farkas' Lemma in the setting of a module over a linearly ordered commutative ring. The ring may contain zero divisors, and need not be associative nor unital, but we need a certain hypothesis about the ring. Finally, we discuss the result and compare it with other related results found in the literature.