• Korean Journal of Mathematics
• /
• v.24 no.3
• /
• pp.307-317
• /
• 2016

Let R be a ring. It is well-known that R is NI if and only if ${\sum}^n_{i=0}Ra_i$ is a nil ideal of R whenever a polynomial ${\sum}^n_{i=0}a_ix^i$ is nilpotent, where x is an indeterminate over R. We consider a condition which is similar to the preceding one: ${\sum}^n_{i=0}Ra_iR$ contains a nonzero nil ideal of R whenever ${\sum}^n_{i=0}a_ix^i$ over R is nilpotent. A ring will be said to be quasi-NI if it satises this condition. The structure of quasi-NI rings is observed, and various examples are given to situations which raised naturally in the process.

• Communications of the Korean Mathematical Society
• /
• v.26 no.3
• /
• pp.339-348
• /
• 2011

A ring R is called symmetric, if abc = 0 implies acb = 0 for a, b, c ${\in}$ R. An ideal I of a ring R is called symmetric (resp. radically-symmetric) if R=I (resp. R/$\sqrt{I}$) is a symmetric ring. We first show that symmetric ideals and ideals which have the insertion of factors property are radically-symmetric. We next show that if R is a semicommutative ring, then $T_n$(R) and R[x]=($x^n$) are radically-symmetric, where ($x^n$) is the ideal of R[x] generated by $x^n$. Also we give some examples of radically-symmetric ideals which are not symmetric. Connections between symmetric ideals of R and related ideals of some ring extensions are also shown. In particular we show that if R is a symmetric (or semicommutative) (${\alpha}$, ${\delta}$)-compatible ring, then R[x; ${\alpha}$, ${\delta}$] is a radically-symmetric ring. As a corollary we obtain a generalization of [13].

• Kyungpook Mathematical Journal
• /
• v.63 no.3
• /
• pp.373-411
• /
• 2023

Gompf proposed a conjecture on Cappell-Shaneson matrices whose affirmative answer implies that all Cappell-Shaneson homotopy 4-spheres are diffeomorphic to the standard 4-sphere. We study Gompf conjecture on Cappell-Shaneson matrices using various algebraic number theoretic techniques. We find a hidden symmetry between trace n Cappell-Shaneson matrices and trace 5 - n Cappell-Shaneson matrices which was suggested by Gompf experimentally. Using this symmetry, we prove that Gompf conjecture for the trace n case is equivalent to the trace 5 - n case. We confirm Gompf conjecture for the special cases that -64 ≤ trace ≤ 69 and corresponding Cappell-Shaneson homotopy 4-spheres are diffeomorphic to the standard 4-sphere. We also give a new infinite family of Cappell-Shaneson spheres which are diffeomorphic to the standard 4-sphere.

• Journal of applied mathematics & informatics
• /
• v.5 no.1
• /
• pp.269-275
• /
• 1998

We find the Hibert functions of basic configurations in $P^n$. In particular we obtain the minimal generators of the ideal of a weak-k-configuration in $P^n$.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.101-103
• /
• 2008

The structure of $I_G^n/I_G^{n+1}$ for finite abelian group G is investigated.

• Korean Journal of Mathematics
• /
• v.8 no.1
• /
• pp.43-45
• /
• 2000

In this paper, we give the characterization of a left (right) filter of $po$-semigroups.

• Journal of applied mathematics & informatics
• /
• v.8 no.3
• /
• pp.855-867
• /
• 2001

This note we give a construction of a quotient ring $R/{\mu}$ induced via a fuzzy ideal ${\mu}$ in a ring R. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that if ${\mu}$ is a fuzzy ideal of a commutative ring R, then $\mu$ is prime (resp. $R/{\mu}$ is a field, every zero divisor in $R/{\mu}$ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.

• Honam Mathematical Journal
• /
• v.33 no.2
• /
• pp.271-277
• /
• 2011

The notion of n-fold strong ideal in BH-algebra is introduced and some related properties of it are investigated. The role of initial segments in BH-algebras is described.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1323-1336
• /
• 2015

Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.