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

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.457-466
• /
• 2008

Let R be a right near-ring. An R-group of type-5/2 which is a natural generalization of an irreducible (ring) module is introduced in near-rings. An R-group of type-5/2 is an R-group of type-2 and an R-group of type-3 is an R-group of type-5/2. Using it $J_{5/2}$, the Jacobson radical of type-5/2, is introduced in near-rings and it is observed that $J_2(R){\subseteq}J_{5/2}(R){\subseteq}J_3(R)$. It is shown that $J_{5/2}$ is an ideal-hereditary Kurosh-Amitsur radical (KA-radical) in the class of all zero-symmetric near-rings. But $J_{5/2}$ is not a KA-radical in the class of all near-rings. By introducing an R-group of type-(5/2)(0) it is shown that $J_{(5/2)(0)}$, the corresponding Jacobson radical of type-(5/2)(0), is a KA-radical in the class of all near-rings which extends the radical $J_{5/2}$ of zero-symmetric near-rings to the class of all near-rings.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.85-101
• /
• 2018

Let S be a polynomial ring over a field K, with a monomial order ${\prec}$, and let I be an unmixed graded ideal of S. In this paper we study two functions associated to I: The minimum distance function ${\delta}_I$ and the footprint function $fp_I$. It is shown that ${\delta}_I$ is positive and that $fp_I$ is positive if the initial ideal of I is unmixed. Then we show that if I is radical and its associated primes are generated by linear forms, then ${\delta}_I$ is strictly decreasing until it reaches the asymptotic value 1. If I is the edge ideal of a Cohen-Macaulay bipartite graph, we show that ${\delta}_I(d)=1$ for d greater than or equal to the regularity of S/I. For a graded ideal of dimension ${\geq}1$, whose initial ideal is a complete intersection, we give an exact sharp lower bound for the corresponding minimum distance function.

• Communications of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.161-167
• /
• 2008

A ring R is called an $I_0$-ring if each left ideal not contained in the Jacobson radical J(R) contains a non-zero idempotent. If, in addition, idempotents can be lifted modulo J(R), R is called an I-ring or a potent ring. We study whether these properties are inherited by some related rings. Also, we investigate the structure of potent rings.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.31-34
• /
• 1989

In this paper we show that if there is a derivation on a commutative Banach algebra which has a non-nilpotent separating space, then there is a discontinuous derivation on a commutative Banach algebra which has a range in its radical. Also we show that if every prime ideal is closed in a commutative Banach algebra with identity then every derivation on it has a range in its radical.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.6
• /
• pp.1137-1148
• /
• 2021

The main obstacle for implementing CSIDH-based cryptography is that it requires generating a kernel of a small prime order to compute the group action using Velu's formula. As this is a quite painstaking process for small torsion points, a new approach called radical isogeny is recently proposed to compute chains of isogenies from a coefficient of an elliptic curve. This paper presents an optimized implementation of radical isogenies and analyzes its ideal use in CSIDH-based cryptography. We tailor the formula for transforming Montgomery curves and Tate normal form and further optimized the radical 2- and 3- isogeny formula and a projective version of radical 5- and 7- isogeny. For CSIDH-512, using radical isogeny of degree up to 7 is 15.3% faster than standard constant-time CSIDH. For CSIDH-4096, using only radical 2-isogeny is the optimal choice.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.6
• /
• pp.1051-1060
• /
• 2009

In this paper, we give topological properties of collection of prime ideals in 2-primal near-rings. We show that Spec(N), the spectrum of prime ideals, is a compact space, and Max(N), the maximal ideals of N, forms a compact $T_1$-subspace. We also study the zero-divisor graph $\Gamma_I$(R) with respect to the completely semiprime ideal I of N. We show that ${\Gamma}_{\mathbb{P}}$ (R), where $\mathbb{P}$ is a prime radical of N, is a connected graph with diameter less than or equal to 3. We characterize all cycles in the graph ${\Gamma}_{\mathbb{P}}$ (R).

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

• Journal of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.863-872
• /
• 2007

Let D be an integral domain with quotient field K, A a nonempty set of height-one maximal t-ideals of D, F$({\Lambda})={I{\subseteq}D|I$ is an ideal of D such that $I{\subseteq}P$ for all $P{\in}A}$, and $D_F({\Lambda})={x{\in}K|xA{\subseteq}D$ for some $A{\in}F({\Lambda})}$. In this paper, we prove that if each $P{\in}A$ is the radical of a finite type v-ideal (resp., a principal ideal), then $D_{F({\Lambda})}$ is a weakly Krull domain (resp., generalized weakly factorial domain) if and only if the intersection $D_{F({\Lambda})}={\cap}_{P{\in}A}D_P$ has finite character, if and only if $F({\Lambda})$ is a t-splitting set of ideals, if and only if $F({\Lambda})$ is v-finite.