• Bulletin of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.653-661
• /
• 2010

Let R be a ring, and let $\Psi$(R) be the ideal generated by the set {x $\in$R | 1 + sxt $\in$ R is unit-regular for all s, t $\in$ R}. We show that $\Psi$(R) has "radical-like" property. It is proven that $\Psi$(R) has stable range one. Thus, diagonal reduction of matrices over such ideal is reduced.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.359-367
• /
• 2007

We consider the intuitionistic fuzzification of the concept of several ${\Gamma}$-ideals in a ${\Gamma}$-semigroup S, and investigate some properties of such ${\Gamma}$-ideals.

• Communications of the Korean Mathematical Society
• /
• v.14 no.1
• /
• pp.39-45
• /
• 1999

In this paper, we improve some of results in [2] by showing that if I is a cnacellation ideal and if J is a regular ideal then $\alpha$(m), $\beta$(m) and $\delta$(m), behave nicely under localization. We prove that lim \ulcorner=0 if and only if $\alpha$(m) is eventually constant and that lim\ulcorner exists and is equal to or less than $\alpha$(1). Finally we give several conditions which are equivalent to $lim_{m{\rightarrow}{\infty}}{\frac{{\alpha}(m)}{m}}=0$.

• The Mathematical Education
• /
• v.31 no.2
• /
• pp.141-144
• /
• 1992

In this paper, some properties of p-injective ring is studied: The Jacobson radical of a pinjective ring which satisfies the ascending chain condition on essential left ideals is nilpotent. Also, the left singular ideal of a ring which satisfies the ascending chain condition on essential left ideals is nilpotent. Finally, we give an example which shows that a semiprime left p-injective ring such that every essential left ideal is two-sided is not necessarily to be strongly regular.egular.

• Korean Journal of Mathematics
• /
• v.22 no.1
• /
• pp.151-167
• /
• 2014

Let M, N be modules over a ring R and $[M,N]=Hom_R(M,N)$. The concern is study of: (1) Some fundamental properties of [M, N] when [M, N] is regular or semipotent. (2) The substructures of [M, N] such as radical, the singular and co-singular ideals, the total and others has raised new questions for research in this area. New results obtained include necessary and sufficient conditions for [M, N] to be regular or semipotent. New substructures of [M, N] are studied and its relationship with the Tot of [M, N]. In this paper we show that, the endomorphism ring of a module M is regular if and only if the module M is semi-injective (projective) and the kernel (image) of every endomorphism is a direct summand.

• 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.

• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.583-606
• /
• 2013

We generalize the idea of (${\in}$, ${\in}{\vee}q_k$)-fuzzy ordered semi-group and give the concept of (${\in}$, ${\in}{\vee}q_k$)-fuzzy ordered $\mathcal{LA}$-semigroup. We show that (${\in}$, ${\in}{\vee}q_k$)-fuzzy left (right, two-sided) ideals, (${\in}$, ${\in}{\vee}q_k$)-fuzzy (generalized) bi-ideals, (${\in}$, ${\in}{\vee}q_k$)-fuzzy interior ideals and (${\in}$, ${\in}{\vee}q_k$)-fuzzy (1, 2)-ideals need not to be coincide in an ordered $\mathcal{LA}$-semigroup but on the other hand, we prove that all these (${\in}$, ${\in}{\vee}q_k$)-fuzzy ideals coincide in a left regular class of an ordered $\mathcal{LA}$-semigroup. Further we investigate some useful conditions for an ordered $\mathcal{LA}$-semigroup to become a left regular ordered $\mathcal{LA}$-semigroup and characterize a left regular ordered $\mathcal{LA}$-semigroup in terms of (${\in}$, ${\in}{\vee}q_k$)-fuzzy one-sided ideals. Finally we connect an ideal theory with an (${\in}$, ${\in}{\vee}q_k$)-fuzzy ideal theory by using the notions of duo and (${\in}{\vee}q_k$)-fuzzy duo.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.569-596
• /
• 2014

In several applied disciplines like control engineering, computer sciences, error-correcting codes and fuzzy automata theory, the use of fuzzied algebraic structures especially ordered semi-groups and their fuzzy subsystems play a remarkable role. In this paper, we introduce the notion of (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy subsystems of ordered semigroups namely (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideals of ordered semigroups. The important milestone of the present paper is to link ordinary generalized bi-ideals and (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideals. Moreover, different classes of ordered semi-groups such as regular and left weakly regular ordered semigroups are characterized by the properties of this new notion. Finally, the upper part of a (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideal is defined and some characterizations are discussed.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.729-743
• /
• 2019

In this paper, we introduce strongly quasi primary ideals which is an intermediate class of primary ideals and quasi primary ideals. Let R be a commutative ring with nonzero identity and Q a proper ideal of R. Then Q is called strongly quasi primary if $ab{\in}Q$ for $a,b{\in}R$ implies either $a^2{\in}Q$ or $b^n{\in}Q$ ($a^n{\in}Q$ or $b^2{\in}Q$) for some $n{\in}{\mathbb{N}}$. We give many properties of strongly quasi primary ideals and investigate the relations between strongly quasi primary ideals and other classical ideals such as primary, 2-prime and quasi primary ideals. Among other results, we give a characterization of divided rings in terms of strongly quasi primary ideals. Also, we construct a subgraph of ideal based zero divisor graph ${\Gamma}_I(R)$ and denote it by ${\Gamma}^*_I(R)$, where I is an ideal of R. We investigate the relations between ${\Gamma}^*_I(R)$ and ${\Gamma}_I(R)$. Further, we use strongly quasi primary ideals and ${\Gamma}^*_I(R)$ to characterize von Neumann regular rings.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.373-386
• /
• 2014

Let (R,m) be a commutative Noetherian local ring. In this paper we show that a finitely generated R-module M of dimension d is Cohen-Macaulay if and only if there exists a proper ideal I of R such that depth($M/I^nM$) = d for $n{\gg}0$. Also we show that, if dim(R) = d and $I_1{\subset}\;{\cdots}\;{\subset}I_n$ is a chain of ideals of R such that $R/I_k$ is maximal Cohen-Macaulay for all k, then $n{\leq}{\ell}_R(R/(a_1,{\ldots},a_d)R)$ for every system of parameters $a1,{\ldots},a_d$ of R. Also, in the case where dim(R) = 2, we prove that the ideal transform $D_m(R/p)$ is minimax balanced big Cohen-Macaulay, for every $p{\in}Assh_R$(R), and we give some equivalent conditions for this ideal transform being maximal Cohen-Macaulay.