• Journal of applied mathematics & informatics
• /
• v.42 no.5
• /
• pp.1171-1182
• /
• 2024

Let S be a multiplicative subset of a commutative ring 𝓡 with unity and I_s be an S-prime ideal of 𝓡 which is disjoint from the multiplicative subset S. In this paper, some properties of the S-prime ideal, namely sum, union and intersection of two S-prime ideals are studied in a commutative ring 𝓡 with unity. It is proved that a nilradical of 𝓡 is the S-prime ideal of 𝓡. Zorn's lemma is used to state that an S-prime ideal is unique in a local ring 𝓡. Finally, the S-prime ideals in the semilocal ring are classified. The generalized S-prime ideal and its multiplicative subsets of a finite commutative ring with unity are presented.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.477-484
• /
• 2005

Let R be a ring with an automorphism 17. An ideal [ of R is ($\sigma$-ideal of R if $\sigma$(I).= I. A proper ideal P of R is ($\sigma$-prime ideal of R if P is a $\sigma$-ideal of R and for $\sigma$-ideals I and J of R, IJ $\subseteq$ P implies that I $\subseteq$ P or J $\subseteq$ P. A proper ideal Q of R is $\sigma$-semiprime ideal of Q if Q is a $\sigma$-ideal and for a $\sigma$-ideal I of R, I$^{2}$ $\subseteq$ Q implies that I $\subseteq$ Q. The $\sigma$-prime radical is defined by the intersection of all $\sigma$-prime ideals of R and is denoted by P$_{(R). In this paper, the following results are obtained: (1) For a principal ideal domain R, P$_{(R) is the smallest $\sigma$-semiprime ideal of R; (2) For any ring R with an automorphism $\sigma$ and for a skew Laurent polynomial ring R[x, x$^{-1}$; $\sigma$], the prime radical of R[x, x$^{-1}$; $\sigma$] is equal to P$_{(R)[x, x$^{-1}$; $\sigma$ ].

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.45-49
• /
• 1983

If R is ring and M is a right (or left) R-module, then M is called a faithful R-module if, for some a in R, x.a=0 for all x.mem.M then a=0. In [4], R.E. Johnson defines that M is a prime module if every non-zero submodule of M is faithful. Let us define that M is of prime type provided that M is faithful if and only if every non-zero submodule is faithful. We call a right (left) ideal I of R is of prime type if R/I is of prime type as a R-module. This is equivalent to the condition that if xRy.subeq.I then either x.mem.I ro y.mem.I (see [5:3:1]). It is easy to see that in case R is a commutative ring then a right or left ideal of a prime type is just a prime ideal. We have defined in [5], that a chain of right ideals of prime type in a ring R is a finite strictly increasing sequence I$_{0}$.contnd.I$_{1}$.contnd....contnd.I$_{n}$; the length of the chain is n. By the right dimension of a ring R, which is denoted by dim, R, we mean the supremum of the length of all chains of right ideals of prime type in R. It is an integer .geq.0 or .inf.. The left dimension of R, which is denoted by dim$_{l}$ R is similarly defined. It was shown in [5], that dim$_{r}$R=0 if and only if dim$_{l}$ R=0 if and only if R modulo the prime radical is a strongly regular ring. By "a strongly regular ring", we mean that for every a in R there is x in R such that axa=a=a$^{2}$x. It was also shown that R is a simple ring if and only if every right ideal is of prime type if and only if every left ideal is of prime type. In case, R is a (right or left) primitive ring then dim$_{r}$R=n if and only if dim$_{l}$ R=n if and only if R.iden.D$_{n+1}$ , n+1 by n+1 matrix ring on a division ring D. in this paper, we establish the following results: (1) If R is prime ring and dim$_{r}$R=n then either R is a righe Ore domain such that every non-zero right ideal of a prime type contains a non-zero minimal prime ideal or the classical ring of ritght quotients is isomorphic to m*m matrix ring over a division ring where m.leq.n+1. (b) If R is prime ring and dim$_{r}$R=n then dim$_{l}$ R=n if dim$_{l}$ R=n if dim$_{l}$ R<.inf. (c) Let R be a principal right and left ideal domain. If dim$_{r}$R=1 then R is an unique factorization domain.TEX>R=1 then R is an unique factorization domain.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.935-946
• /
• 2015

The purpose of this paper is to introduce a new class of rings that is closely related to the classes of pseudo valuation rings (PVRs) and pseudo-almost valuation domains (PAVDs). A commutative ring R is said to be ${\phi}$-ring if its nilradical Nil(R) is both prime and comparable with each principal ideal. The name is derived from the natural map ${\phi}$ from the total quotient ring T(R) to R localized at Nil(R). A prime ideal P of a ${\phi}$-ring R is said to be a ${\phi}$-pseudo-strongly prime ideal if, whenever $x,y{\in}R_{Nil(R)}$ and $(xy){\phi}(P){\subseteq}{\phi}(P)$, then there exists an integer $m{\geqslant}1$ such that either $x^m{\in}{\phi}(R)$ or $y^m{\phi}(P){\subseteq}{\phi}(P)$. If each prime ideal of R is a ${\phi}$-pseudo strongly prime ideal, then we say that R is a ${\phi}$-pseudo-almost valuation ring (${\phi}$-PAVR). Among the properties of ${\phi}$-PAVRs, we show that a quasilocal ${\phi}$-ring R with regular maximal ideal M is a ${\phi}$-PAVR if and only if V = (M : M) is a ${\phi}$-almost chained ring with maximal ideal $\sqrt{MV}$. We also investigate the overrings of a ${\phi}$-PAVR.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1281-1291
• /
• 2017

Let R be a strongly 2-primal ring and I a proper ideal of R. Then there are only finitely many prime ideals minimal over I if and only if for every prime ideal P minimal over I, the ideal $P/{\sqrt{I}}$ of $R/{\sqrt{I}}$ is finitely generated if and only if the ring $R/{\sqrt{I}}$ satisfies the ACC on right annihilators. This result extends "D. D. Anderson, A note on minimal prime ideals, Proc. Amer. Math. Soc. 122 (1994), no. 1, 13-14." to large classes of noncommutative rings. It is also shown that, a 2-primal ring R only has finitely many minimal prime ideals if each minimal prime ideal of R is finitely generated. Examples are provided to illustrate our results.

• East Asian mathematical journal
• /
• v.18 no.1
• /
• pp.15-20
• /
• 2002

We study the relationships between strongly prime ideals and completely prime ideals, concentrating on the connections among various radicals(prime radical, upper nilradical and generalized nilradical). Given a ring R, consider the condition: (*) nilpotent elements of R form an ideal in R. We show that a ring R satisfies (*) if and only if every minimal strongly prime ideal of R is completely prime if and only if the upper nilradical coincides with the generalized nilradical in R.

• The Pure and Applied Mathematics
• /
• v.12 no.3 s.29
• /
• pp.193-209
• /
• 2005

We introduce the notions of intuitionistic fuzzy prime ideals, intuitionistic fuzzy completely prime ideals and intuitionistic fuzzy weakly completely prime ideals. And we give a characterization of intuitionistic fuzzy ideals and establish relationships between intuitionistic fuzzy completely prime ideals and intuitionistic fuzzy weakly completely prime ideals.

• East Asian mathematical journal
• /
• v.28 no.3
• /
• pp.281-285
• /
• 2012

In this paper, the concept of *-prime ideals in non-associative near-rings is introduced and then will be studied. For this purpose, first we introduce the notions of *-operation, *-prime ideal and *-system in a near-ring. Next, we will define the *-sequence, *-strongly nilpotent *-prime radical of near-rings, and then obtain some characterizations of *-prime ideal and *-prime radical $r_s$(I) of an ideal I of near-ring N.

• East Asian mathematical journal
• /
• v.18 no.2
• /
• pp.271-282
• /
• 2002

Let R be a ring with an endomorphism $\sigma$ and a derivation $\delta$. An ideal I of R is ($\sigma,\;\delta$)-ideal of R if $\sigma(I){\subseteq}I$ and $\delta(I){\subseteq}I$. An ideal P of R is a ($\sigma,\;\delta$)-prime ideal of R if P(${\neq}R$) is a ($\sigma,\;\delta$)-ideal and for ($\sigma,\;\delta$)-ideals I and J of R, $IJ{\subseteq}P$ implies that $I{\subseteq}P$ or $J{\subseteq}P$. An ideal Q of R is ($\sigma,\;\delta$)-semiprime ideal of R if Q is a ($\sigma,\;\delta$)-ideal and for ($\sigma,\;\delta$)-ideal I of R, $I^2{\subseteq}Q$ implies that $I{\subseteq}Q$. The ($\sigma,\;\delta$)-prime radical (resp. prime radical) is defined by the intersection of all ($\sigma,\;\delta$)-prime ideals (resp. prime ideals) of R and is denoted by $P_{(\sigma,\delta)}(R)$(resp. P(R)). In this paper, the following results are obtained: (1) $P_{(\sigma,\delta)}(R)$ is the smallest ($\sigma,\;\delta$)-semiprime ideal of R; (2) For every extended endomorphism $\bar{\sigma}$ of $\sigma$, the $\bar{\sigma}$-prime radical of an Ore extension $P(R[x;\sigma,\delta])$ is equal to $P_{\sigma,\delta}(R)[x;\sigma,\delta]$.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.797-800
• /
• 2008

Let R be a ring and I be a proper ideal of R. For the case of R being commutative, Anderson proved that (*) there are only finitely many prime ideals minimal over I whenever every prime ideal minimal over I is finitely generated. We in this note extend the class of rings that satisfies the condition (*) to noncommutative rings, so called homomorphically IFP, which is a generalization of commutative rings. As a corollary we obtain that there are only finitely many minimal prime ideals in the polynomial ring over R when every minimal prime ideal of a homomorphically IFP ring R is finitely generated.