Let $R$ be a commutative ring with identity and let $M$ be an $R$-module. A proper submodule $P$ of $M$ is called strongly prime submodule if $(P + Rx : M)ysubseteq P$ for $x, yin M$, implies that $xin P$ or $yin P$. In this paper, we study more properties of strongly prime submodules. It is shown that a finitely generated $R$-module $M$ is Artinian if and only if $M$ is Noetherian and every st...

In this paper we look at the properties of modules and prime ideals in finite dimensional noetherian rings. This paper is divided into four sections. The first section deals with noetherian one-dimensional rings. Section Two deals with what we define a “zero minimum rings” and explores necessary and sufficient conditions for the property to hold. In Section Three, we come to the minimal prime i...

Recently Yehuda Rav has given the concept of Semi prime ideals in a general lattice by generalizing the notion of 0-distributive lattices. In this paper we study several properties of these ideals in a general nearlattice and include some of their characterizations. We give some results regarding maximal filters and include a number of Separation properties in a general nearlattice with respect...

Let T M be a complete local ring such that T/M = T . Given a finite set of incomparable nonmaximal prime ideals C of T , we provide necessary and sufficient conditions for T to be the completion of a local UFD A, whose generic formal fiber is semilocal with maximal ideals the elements of C. We also show that, given the T above, we can find necessary and sufficient conditions for T to be the com...

In classical set theory, Zorn's Lemma is equivalent to the axiom of choice and a host of other principles and theorems. But in intuitionistic set theory (IZF), in which the law of excluded middle is not assumed, the situation is quite different. (A presentation of IZF may be found in Chapter VIII of [3].) Here, Zorn's lemma turns out to be remarkably weak: not only does it fail to imply the axi...

We introduce a new cryptosystem with trapdoor decryption based on the diiculty of computing discrete logarithms in the class group of the non-maximal imaginary quadratic order O q , where q = q 2 , square-free and q prime. The trapdoor information is the conductor q. Knowledge of this trapdoor information enables one to switch to and from the ideal class group of the maximal order O, where the ...

We define the notion of a power stable ideal in a polynomial ring R[X] over an integral domain R. It is proved that a maximal ideal χ M in R[X] is power stable if and only if P t is P primary for all t ≥ 1 for the prime ideal P = M ∩ R. Using this we prove that for a Hilbert domain R any radical ideal in R[X] which is a finite intersection G-ideals is power stable. Further, we prove that if R i...

In this paper, we study a generalization of z-ideals in the ring C(X) of continuous real valued functions on a completely regular Hausdorff space X. The notion of a weak ideal and naturally a weak z-ideal and a prime weak ideal are introduced and it turns out that they behave such as z-ideals in C(X).

Let p be an odd prime number, k an imaginary abelian field containing a primitive p-th root of unity, and k∞/k the cyclotomic Zp-extension. Denote by L/k∞ the maximal unramified pro–p abelian extension, and by L′ the maximal intermediate field of L/k∞ in which all prime divisors of k∞ over p split completely. Let N/k∞ (resp. N ′/k∞) be the pro–p abelian extension generated by all p-power roots ...

We give a computational interpretation to an abstract formulation of Krull's theorem, by analysing its classical proof based on Zorn's lemma. Our approach is inspired theory, and uses form update recursion replace the existence maximal ideals. main result allows us derive, in uniform way, algorithms which compute witnesses for existential theorems countable algebra. number concrete examples thi...