let $n$ be a submodule of a module $m$ and a minimal primary decomposition of $n$ is known‎. ‎a formula to compute baer's lower nilradical of $n$ is given‎. ‎the relations between classical prime submodules and their nilradicals are investigated‎. ‎some situations in which semiprime submodules can be written as finite intersection of classical prime submodule are stated‎.

let $n$ be a submodule of a module $m$ and a minimal primary decomposition of $n$ is known‎. ‎a formula to compute baer's lower nilradical of $n$ is given‎. ‎the relations between classical prime submodules and their nilradicals are investigated‎. ‎some situations in which semiprime submodules can be written as finite intersection of classical prime submodule are stated‎.

Let $A$ be a Noetherian ring, $I$ be an ideal of $A$ and $sigma$ be a semi-prime operation, different from the identity map on the set of all ideals of $A$. Results of Essan proved that the sets of associated prime ideals of $sigma(I^n)$, which denoted by $Ass(A/sigma(I^n))$, stabilize to $A_{sigma}(I)$. We give some properties of the sets $S^{sigma}_{n}(I)=Ass(A/sigma(I^n))setminus A_{sigma}(I...

Abstract: The concepts of upper and lower semicontinuity in pointfree topology were introduced and first studied by Li and Wang in 1997. However Li and Wang’s treatment does not faithfully reflect the original classical notion. In this note, we present algebraic descriptions of upper and lower semicontinuous real functions, in terms of frame homomorphisms, that suggest the right alternative to ...

Let $G= (V,E)$ be a $(p,q)$-graph. A bijection $f: Eto{1,2,3,ldots,q }$ is called an edge-prime labeling if for each edge $uv$ in $E$, we have $GCD(f^+(u),f^+(v))=1$ where $f^+(u) = sum_{uwin E} f(uw)$. Moreover, a bijection $f: Eto{1,2,3,ldots,q }$ is called a semi-edge-prime labeling if for each edge $uv$ in $E$, we have $GCD(f^+(u),f^+(v))=1$ or $f^+(u)=f^+(v)$. A graph that admits an  ...

Is it possible to give a coordinate free formulation of the Second Incompleteness Theorem? We pursue one possible approach to this question. We show that (i) cutfree consistency for finitely axiomatized theories can be uniquely characterized modulo EA-provable equivalence, (ii) consistency for finitely axiomatized sequential theories can be uniquely characterized modulo EA-provable equivalence....