Let $R= \oplus_{ \alpha \in G} R_{\alpha}$ be a commutative ring with unity graded by an arbitrary grading monoid $G$. For each positive integer, the notions of graded-n-coherent module and are introduced. In this paper many results generalized from $n$-coherent rings to graded-$n$-coherent rings. last section, we provide necessary sufficient conditions for trivial extension graded-valuation ri...

We extend the usual definition of coherence, for modules over rings, to partially ordered right modules over a large class of partially ordered rings, called po-rings. In this situation, coherence is equivalent to saying that solution sets of finite systems of inequalities are finitely generated semimodules. Coherence for ordered rings and modules, which we call po-coherence, has the following ...

A commutative ring R is said to satisfy property (P) if every finitely generated proper ideal of R admits a non-zero annihilator. In this paper we give some necessary and sufficient conditions that a ring satisfies property (P). In particular, we characterize coherent rings, noetherian rings and P-coherent rings with property (P).

Usual definitions of Dedekind domain are not well suited for an algorithmic treatment. Indeed, the notion of Noetherian rings is subtle from a constructive point of view, and to be able to get prime ideals involve strong hypotheses. For instance, if k is a field, even given explicitely, there is in general no method to factorize polynomials in k[X]. The work [2] analyses the notion of Dedekind ...