let $mathcal {a}$ be an abelian category with enough projective objects and $mathcal {x}$ be a full subcategory of $mathcal {a}$. we define gorenstein projective objects with respect to $mathcal {x}$ and $mathcal{y}_{mathcal{x}}$, respectively, where $mathcal{y}_{mathcal{x}}$=${ yin ch(mathcal {a})| y$ is acyclic and $z_{n}yinmathcal{x}}$. we point out that under certain hypotheses, these two g...

In this note we deal with intuitionistic modal logics over $\mathcal{M}\mathcal{I}PC$ and predicate superintuitionistic logics. We study the correspondence between the lattice of all (normal) extensions of MTPC and the lattice of all predicate superintuitionistic logics. Let $\mathrm{L}_{Prop}$ denote a propositional language which contains two modal operators $\square$ and $\mathrm{O}$ , and $...

We extend the notion of $P_4$-sparse graphs previously introduced by {\scshape Ho\`ang} by considering $\mathcal{F}$-sparse graphs were $\mathcal{F}$ denotes a finite set of graphs on $p$ vertices. Thus we obtain some results on $(P_5,\bar{P_5})$-sparse graphs already known on $(P_5,\bar{P_5})$-free graphs. Finally we completely describe the structure of $(P_5,\bar{P_5}, bull$)-sparse graphs, i...

‎let $mathcal a$ and $mathcal b$ be unital rings‎, ‎and $mathcal m$‎ ‎be an $(mathcal a‎, ‎mathcal b)$-bimodule‎, ‎which is faithful as a‎ ‎left $mathcal a$-module and also as a right $mathcal b$-module‎. ‎let ${mathcal u}=mbox{rm tri}(mathcal a‎, ‎mathcal m‎, ‎mathcal‎ ‎b)$ be the triangular ring and ${mathcal z}({mathcal u})$ its‎ ‎center‎. ‎assume that $f:{mathcal u}rightarrow{mathcal u}$ is...

For a frame $L$, consider the $f$-ring $ mathcal{F}_{mathcal P}L=Frm(mathcal{P}(mathbb R), L)$. In this paper, first we show that each minimal ideal of $ mathcal{F}_{mathcal P}L$ is a principal ideal generated by $f_a$, where $a$ is an atom of $L$. Then we show that if $L$ is an $mathcal{F}_{mathcal P}$-completely regular frame, then the socle of $ mathcal{F}_{mathcal P}L$ consists of those $f$...

‎Let $mathcal{F}$ be an field of zero characteristic and $N_{infty‎}(‎mathcal{F})$ be the algebra of infinite strictly upper triangular‎ ‎matrices with entries in $mathcal{F}$‎, ‎and $f:N_{infty}(mathcal{F}‎)rightarrow N_{infty}(mathcal{F})$ be a non-additive Lie centralizer of $‎N_{infty }(mathcal{F})$; that is‎, ‎a map satisfying that $f([X,Y])=[f(X),Y]$‎ ‎for all $X,Yin N_{infty}(mathcal{F})...

Let $E$ be a finite set and $\mathcal P$, $\mathcal S$, $\mathcal L$ three classes of subsets of $E$, and $r$ a function defined on $2^E$. In this paper, we give an algorithm for testing if the quadruple $(\mathcal P, \mathcal S, \mathcal L, r)$ is the locked structure of a given matroid, i.e., recognizing if $(\mathcal P, \mathcal S, \mathcal L, r)$ defines a matroid. This problem is intractab...

We study almost F-preenvelopes in the category of rings, for a significative class F of commutative rings. We completely identify those rings which have an almost F-preenvelope when F is the class of fields, semisimple rings, integer domains and local rings. We show that rings with Krull dimension zero have (almost) V-preenvelopes, where V is the class of von Neumann regular rings. Mathematics ...

‎Let $mathcal A$ and $mathcal B$ be unital rings‎, ‎and $mathcal M$‎ ‎be an $(mathcal A‎, ‎mathcal B)$-bimodule‎, ‎which is faithful as a‎ ‎left $mathcal A$-module and also as a right $mathcal B$-module‎. ‎Let ${mathcal U}=mbox{rm Tri}(mathcal A‎, ‎mathcal M‎, ‎mathcal‎ ‎B)$ be the triangular ring and ${mathcal Z}({mathcal U})$ its‎ ‎center‎. ‎Assume that $f:{mathcal U}rightarrow{mathcal U}$ is...