• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1083-1096
• /
• 2018

Let R be an associative ring. We define a subset $S_R$ of R as $S_R=\{a{\in}R{\mid}aRa=(0)\}$ and call it the source of semiprimeness of R. We first examine some basic properties of the subset $S_R$ in any ring R, and then define the notions such as R being a ${\mid}S_R{\mid}$-reduced ring, a ${\mid}S_R{\mid}$-domain and a ${\mid}S_R{\mid}$-division ring which are slight generalizations of their classical versions. Beside others, we for instance prove that a finite ${\mid}S_R{\mid}$-domain is necessarily unitary, and is in fact a ${\mid}S_R{\mid}$-division ring. However, we provide an example showing that a finite ${\mid}S_R{\mid}$-division ring does not need to be commutative. All possible values for characteristics of unitary ${\mid}S_R{\mid}$-reduced rings and ${\mid}S_R{\mid}$-domains are also determined.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1057-1075
• /
• 2016

Let R be a ring in which Nil(R) is a divided prime ideal of R. Then, for a suitable property X of integral domains, we can define a ${\phi}$-X-ring if R/Nil(R) is an X-domain. This device was introduced by Badawi [8] to study rings with zero divisors with a homomorphic image a particular type of domain. We use it to introduce and study a number of concepts such as ${\phi}$-Schreier rings, ${\phi}$-quasi-Schreier rings, ${\phi}$-almost-rings, ${\phi}$-almost-quasi-Schreier rings, ${\phi}$-GCD rings, ${\phi}$-generalized GCD rings and ${\phi}$-almost GCD rings as rings R with Nil(R) a divided prime ideal of R such that R/Nil(R) is a Schreier domain, quasi-Schreier domain, almost domain, almost-quasi-Schreier domain, GCD domain, generalized GCD domain and almost GCD domain, respectively. We study some generalizations of these concepts, in light of generalizations of these concepts in the domain case, as well. Here a domain D is pre-Schreier if for all $x,y,z{\in}D{\backslash}0$, x | yz in D implies that x = rs where r | y and s | z. An integrally closed pre-Schreier domain was initially called a Schreier domain by Cohn in [15] where it was shown that a GCD domain is a Schreier domain.

• Korean Journal of Mathematics
• /
• v.15 no.2
• /
• pp.115-119
• /
• 2007

Let R be a Krull ring with the unique regular maximal ideal M. We show that R has a regular prime element and reg-$dimR=1{\Leftrightarrow}R$ is a factorial ring and reg-$dim(R)=1{\Rightarrow}M$ is invertible ${\Leftrightarrow}R{\varsubsetneq}[R:M]{\Leftrightarrow}M$ is divisorial ${\Leftrightarrow}$ reg-$htM=1{\Rightarrow}R$ is a rank one discrete valuation ring. We also show that if M is generated by regular elements, then R is a rank one discrete valuation ring ${\Rightarrow}$ R is a factorial ring and reg-dim(R)=1.

• The Pure and Applied Mathematics
• /
• v.23 no.4
• /
• pp.347-375
• /
• 2016

Let R be a 3!-torsion free noncommutative semiprime ring, U a Lie ideal of R, and let $D:R{\rightarrow}R$ be a Jordan derivation. If [D(x), x]D(x) = 0 for all $x{\in}U$, then D(x)[D(x), x]y - yD(x)[D(x), x] = 0 for all $x,y{\in}U$. And also, if D(x)[D(x), x] = 0 for all $x{\in}U$, then [D(x), x]D(x)y - y[D(x), x]D(x) = 0 for all $x,y{\in}U$. And we shall give their applications in Banach algebras.

• Honam Mathematical Journal
• /
• v.27 no.3
• /
• pp.399-404
• /
• 2005

Let M be a finite commutative nilpotent algebra over a perfect field k of prime characteristic p and let $M^p$ be the sub-algebra of M generated by $x^p$, $x{\in}M$. Eggert[3] conjectures that $dim_kM{\geq}pdim_kM^p$. In this paper, we show that the conjecture holds for $M=R^+/I$, where $R=k[X_1,\;X_2,\;{\cdots},\;X_t]$ is a polynomial ring with indeterminates $X_1,\;X_2,\;{\cdots},\;X_t$ over k and $R^+$ is the maximal ideal of R generated by $X_1,\;X_2,{\cdots},\;X_t$ and I is a monomial ideal of R containing $X_1^{n_1+1},\;X_2^{n_2+1},\;{\cdots},\;X_t^{n_t+1}$ ($n_i{\geq}0$ for all i).

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1401-1407
• /
• 2021

Let R be a commutative G-graded ring with a nonzero unity. In this article, we introduce the concept of graded radically principal ideals. A graded ideal I of R is said to be graded radically principal if Grad(I) = Grad(〈c〉) for some homogeneous c ∈ R, where Grad(I) is the graded radical of I. The graded ring R is said to be graded radically principal if every graded ideal of R is graded radically principal. We study graded radically principal rings. We prove an analogue of the Cohen theorem, in the graded case, precisely, a graded ring is graded radically principal if and only if every graded prime ideal is graded radically principal. Finally we study the graded radically principal property for the polynomial ring R[X].

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

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.247-256
• /
• 2004

Buchmann and Williams[1] proposed a key exchange system making use of the properties of the maximal order of an imaginary quadratic field. $H{\ddot{u}}hnlein$ et al. [6,7] also introduced a cryptosystem with trapdoor decryption in the class group of the non-maximal imaginary quadratic order with prime conductor q. Their common techniques are based on the properties of the invertible ideals of the maximal or non-maximal orders respectively. Kim and Moon [8], however, proposed a key-exchange system and a public-key encryption scheme, based on the class semigroups of imaginary quadratic non-maximal orders. In Kim and Moon[8]'s cryptosystem, a non-invertible ideal is chosen as a generator of key-exchange ststem and their secret key is some characteristic value of the ideal on the basis of Zanardo et al.[9]'s quantity for ideal equivalence. In this paper we propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structure of the class semigroup of non-maximal order as finitely disjoint union of groups with some quantities correctly. And then we correct the misconceptions of Zanardo et al.[9] and analyze Kim and Moon[8]'s cryptosystem.

• Bulletin of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.223-234
• /
• 2003

This note contains the following results for a ring A : (1) A is simple Artinian if and only if A is a prime right YJ-injective, right and left V-ring with a maximal right annihilator ; (2) if A is a left quasi-duo ring with Jacobson radical J such that $_{A}$A/J is p-injective, then the ring A/J is strongly regular ; (3) A is von Neumann regular with non-zero socle if and only if A is a left p.p.ring containing a finitely generated p-injective maximal left ideal satisfying the following condition : if e is an idempotent in A, then eA is a minimal right ideal if and only if Ae is a minimal left ideal ; (4) If A is left non-singular, left YJ-injective such that each maximal left ideal of A is either injective or a two-sided ideal of A, then A is either left self-injective regular or strongly regular : (5) A is left continuous regular if and only if A is right p-injective such that for every cyclic left A-module M, $_{A}$M/Z(M) is projective. ((5) remains valid if 《continuous》 is replaced by 《self-injective》 and 《cyclic》 is replaced by 《finitely generated》. Finally, we have the following two equivalent properties for A to be von Neumann regula. : (a) A is left non-singular such that every finitely generated left ideal is the left annihilator of an element of A and every principal right ideal of A is the right annihilator of an element of A ; (b) Change 《left non-singular》 into 《right non-singular》in (a).(a).

• Korean Journal of Mathematics
• /
• v.6 no.2
• /
• pp.221-229
• /
• 1998

Let $k$ be a real abelian field and $k_{\infty}$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension. By using the main conjecture of Iwasawa theory, we have the following: If $p$ does not divide $\prod_{{{\chi}{\in}\hat{\Delta}_k},{\chi}{\neq}1}B_{1,{\chi}{\omega}^{-1}$, then $A_n$ = {0} for all $n{\geq}0$, where ${\Delta}_k=Gal(k/\mathbb{Q})$ and ${\omega}$ is the Teichm$\ddot{u}$ller character for $p$. The converse of this statement does not hold in general. However, we have the following when $k$ is of prime conductor $q$: Let $q$ be an odd prime different from $p$. and let $k$ be a real subfield of $\mathbb{Q}({\zeta}_q)$. If $p{\mid}{\prod}_{{\chi}{\in}\hat{\Delta}_{k,p},{\chi}{\neq}1}B_{1,{\chi}{\omega}}-1$, then $A_n{\neq}\{0\}$ for all $n{\geq}1$, where ${\Delta}_{k,p}$ is the $Gal(k_{(p)}/\mathbb{Q})$ and $k_{(p)}$ is the decomposition field of $k$ for $p$.