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 $r$ be a commutative ring with identity and $m$ be an$r$-module. let $fspec(m)$ denotes the collection of all prime fuzzysubmodules of $m$. in this regards some basic properties of zariskitopology on $fspec(m)$ are investigated. in particular, we provesome equivalent conditions for irreducible subsets of thistopological space and it is shown under certain conditions$fspec(m)$ is a $t_0-$spa...

Span categories provide an abstract framework for formalizing mathematical models of certain systems. The descriptions some systems, such as classical mechanical require that do not have pullbacks, and this limits the utility span a formal framework. Given $\mathscr{C}$ $\mathscr{C}^\prime$ functor $\mathcal F$ from to $\mathscr{C}^\prime$, we introduce notion pullback cospan in $\mathscr{C}$, ...

in this article, we study the artin-rees property in  c(x), in the  rings of fractions of  c(x) and in the factor rings of c(x) . we show that c(x)/(f) is an artin-rees ring if and only if  z(f)  is an open p-space. a necessary and sufficient condition for the local rings of  c(x)   to be artin-rees rings is that each prime ideal in  c(x)  becomes minimal and it turns out that every local ring ...

In this work, by employing the Krasnosel'skii fixed point theorem, we study the existence of positive solutions of a three-point boundary value problem for the following fourth-order differential equation begin{eqnarray*} left { begin{array}{ll} u^{(4)}(t) -f(t,u(t),u^{prime prime }(t))=0 hspace{1cm} 0 leq t leq 1, & u(0) = u(1)=0, hspace{1cm} alpha u^{prime prime }(0) - beta u^{prime prime pri...

We investigate factorizations of regular languages in terms of prime languages. A language is said to be strongly prime decomposable if any way of factorizing it yields a prime decomposition in a finite number of steps. We give a characterization of the strongly prime decomposable regular languages and using the characterization we show that every regular language over a unary alphabet has a pr...

In this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. We study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. For strongly z-ideals, we analyze prime ideals using the concept of zero sets. Moreover, it is proven that the intersection of all zero sets of a prime ideal of C(L),...

We claim that the prime/irreducible elements of R are the associates of primes in Z different from p. Indeed, suppose that a/p, with a ∈ Z is an irreducible. Since powers of p are units, we may assume k = 0 and p a. Since −1 is also unit, we may also assume a > 0. If a is not prime, it factors in Z as a = bc, with b, c 6= ±1. Since p b, c [as p a and p is prime], they are not units of R and hen...

One of us has previously argued that the Church-Turing Thesis (CTT), contra Elliot Mendelson, is not provable, and is — in light of the mind’s ability to effortlessly hypercompute — moreover false. But a new, more serious challenge has appeared on the scene: an attempt by Peter Smith to prove CTT. His reasoning is an ingenious “squeezing argument” that makes crucial use of Kolmogorov-Uspenskii ...