in this paper, we introduce the new notion of n-f-clean rings as a generalization of f-clean rings. next, we investigate some properties of such rings. we prove that mn(r) is n-f-clean for any n-f-clean ring r. we also, get a condition under which the denitions of n-cleanness and n-f-cleanness are equivalent.

Let $R$ be a ring, $n$ an non-negative integer and $d$ positive or $\infty$. A right $R$-module $M$ is called \emph{$(n,d)^*$-projective} if ${\rm Ext}^1_R(M, C)=0$ for every $n$-copresented $C$ of injective dimension $\leq d$; ring \emph{right $(n,d)$-cocoherent} with $id(C)\leq d$ $(n+1)$-copresented; $(n,d)$-cosemihereditary} whenever $0\rightarrow C\rightarrow E\rightarrow A\rightarrow 0$ e...

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 ...

In this paper, we introduce the new notion of n-f-clean rings as a generalization of f-clean rings. Next, we investigate some properties of such rings. We prove that $M_n(R)$ is n-f-clean for any n-f-clean ring R. We also, get a condition under which the denitions of n-cleanness and n-f-cleanness are equivalent.

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 ...