• Communications of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.197-207
• /
• 2021

The main purpose of this paper is to study the zero-divisor properties of the zero-symmetric near-ring of skew formal power series R₀[[x; α]], where R is a symmetric, α-compatible and right Noetherian ring. It is shown that if R is reduced, then the set of all zero-divisor elements of R₀[[x; α]] forms an ideal of R₀[[x; α]] if and only if Z(R) is an ideal of R. Also, if R is a non-reduced ring and annR(a - b) ∩ Nil(R) ≠ 0 for each a, b ∈ Z(R), then Z(R₀[[x; α]]) is an ideal of R₀[[x; α]]. Moreover, if R is a non-reduced right Noetherian ring and Z(R₀[[x; α]]) forms an ideal, then ann_R(a - b) ∩ Nil(R) ≠ 0 for each a, b ∈ Z(R). Also, it is proved that the only possible diameters of the zero-divisor graph of R₀[[x; α]] is 2 and 3.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.3
• /
• pp.699-709
• /
• 2016

Our paper is devoted to the study of certain diophantine equations on the ring of polynomials over a finite field, which are intimately related to algebraic formal power series which have partial quotients of unbounded degree in their continued fraction expansion. In particular it is shown that there are Pisot formal power series with degree greater than 2, having infinitely many large partial quotients in their simple continued fraction expansions. This generalizes an earlier result of Baum and Sweet for algebraic formal power series.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.623-633
• /
• 2001

In this note we study the prime radicals of formal power series rings, and the shapes of them under the condition that the prime radical is nilpotent. Furthermore we observe the condition structurally, adding related examples to the situations that occur naturally in the process.

• Kyungpook Mathematical Journal
• /
• v.57 no.3
• /
• pp.419-431
• /
• 2017

In this paper, we define a new kind of formal power series rings by using Gaussian binomial coefficients and investigate some properties. More precisely, we call such a ring a Gaussian series ring and study McCoy's theorem, Hermite properties and Noetherian properties.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.3
• /
• pp.579-588
• /
• 1999

In this paper we study the connections between right quasi-duo rings and 2-primal rings, including several counterexamples for answers to some questions that occur naturally in the process. Actually we concern following three questions and modified ones: (1) Are right quasi-duo rings 2-primal$\ulcorner$, (2) Are formal power series rings over weakly right duo rings also weakly right duo\ulcorner and (3) Are 2-primal rings right quasi-duo\ulcorner Moreover we consider some conditions under which the answers of them may be affirmative, obtaining several results which are related to the questions.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1403-1418
• /
• 2019

Let R be a commutative ring with unity. If f(x) is a zero-divisor polynomial such that $f(x)=c_f f_1(x)$ with $c_f{\in}R$ and $f_1(x)$ is not zero-divisor, then $c_f$ is called an annihilating content for f(x). In this case $Ann(f)=Ann(c_f )$. We defined EM-rings to be rings with every zero-divisor polynomial having annihilating content. We showed that the class of EM-rings includes integral domains, principal ideal rings, and PP-rings, while it is included in Armendariz rings, and rings having a.c. condition. Some properties of EM-rings are studied and the zero-divisor graphs ${\Gamma}(R)$ and ${\Gamma}(R[x])$ are related if R was an EM-ring. Some properties of annihilating contents for polynomials are extended to formal power series rings.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1613-1615
• /
• 2016

It is proved that $k[X_1,{\ldots},X_v ]$ localized at the ideal ($X_1,{\ldots},X_v$ ), where k is a field and $X_1,{\ldots},X_v$ indeterminates, is not weakly quasi-complete for $v{\geq}2$, thus proving a conjecture of D. D. Anderson and solving a problem from "Open Problems in Commutative Ring Theory" by Cahen, Fontana, Frisch, and Glaz.

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

• Journal of the Korean Mathematical Society
• /
• v.60 no.3
• /
• pp.683-694
• /
• 2023

Let a be an ideal of 𝔞 commutative noetherian ring R. We give some descriptions of the 𝔞-depth of 𝔞-relative Cohen-Macaulay modules by cohomological dimensions, and study how relative Cohen-Macaulayness behaves under flat extensions. As applications, the perseverance of relative Cohen-Macaulayness in a polynomial ring, formal power series ring and completion are given.

• Kyungpook Mathematical Journal
• /
• v.62 no.3
• /
• pp.437-453
• /
• 2022

Unlike for polynomial rings, the notion of multiplication for the near-ring of polynomials is the substitution operation. This leads to somewhat surprising results. Let S be an abelian left near-ring with identity. The relation ~ on S defined by letting a ~ b if and only if ann_S(a) = ann_S(b), is an equivalence relation. The compressed zero-divisor graph 𝚪_E(S) of S is the undirected graph whose vertices are the equivalence classes induced by ~ on S other than [0]_S and [1]_S, in which two distinct vertices [a]_S and [b]_S are adjacent if and only if ab = 0 or ba = 0. In this paper, we are interested in studying the compressed zero-divisor graphs of the zero-symmetric near-ring of polynomials R₀[x] and the near-ring of the power series R₀[[x]] over a commutative ring R. Also, we give a complete characterization of the diameter of these two graphs. It is natural to try to find the relationship between diam(𝚪_E(R₀[x])) and diam(𝚪_E(R₀[[x]])). As a corollary, it is shown that for a reduced ring R, diam(𝚪_E(R)) ≤ diam(𝚪_E(R₀[x])) ≤ diam(𝚪_E(R₀[[x]])).