• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1007-1012
• /
• 2018

Let R be an integral domain. We prove that the power series ring R[[X]] is a Krull domain if and only if R[[X]] is a generalized Krull domain and t-dim $R{\leq}1$, which improves a well-known result of Paran and Temkin. As a consequence we show that one of the following statements holds: (1) the concepts "Krull domain" and "generalized Krull domain" are the same in power series rings, (2) there exists a non-t-SFT domain R with t-dim R > 1 such that t-dim R[[X]] = 1.

• Journal of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.265-271
• /
• 1988

• Journal of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.751-771
• /
• 2014

We study the structure of idempotents in polynomial rings, power series rings, concentrating in the case of rings without identity. In the procedure we introduce right Insertion-of-Idempotents-Property (simply, right IIP) and right Idempotent-Reversible (simply, right IR) as generalizations of Abelian rings. It is proved that these two ring properties pass to power series rings and polynomial rings. It is also shown that ${\pi}$-regular rings are strongly ${\pi}$-regular when they are right IIP or right IR. Next the noncommutative right IR rings, right IIP rings, and Abelian rings of minimal order are completely determined up to isomorphism. These results lead to methods to construct such kinds of noncommutative rings appropriate for the situations occurred naturally in studying standard ring theoretic properties.

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

• Journal of Power Electronics
• /
• v.15 no.4
• /
• pp.886-898
• /
• 2015

The design feasibility of a micro unidirectional DC transmission system based on an input-parallel output-parallel (IPOP) converter is analyzed in this paper. The system consists of two subsystems: an input-parallel output-series (IPOS) subsystem to step up the DC link voltage, and an input-series output-parallel (ISOP) subsystem to step down the output voltage. The two systems are connected through a transmission line. The challenge of the delay caused by the communication in the control system is addressed by introducing a ring communication structure, and its influence on the control system is analyzed to ensure the feasibility and required performance of the converter system under practical circumstances. Simulation and experiment results are presented to verify the effectiveness of the proposed design.

• Kyungpook Mathematical Journal
• /
• v.63 no.4
• /
• pp.561-569
• /
• 2023

An element a ∈ R is strongly rad-clean provided that there exists an idempotent e ∈ R such that a - e ∈ U(R), ae = ea and eae ∈ J(eRe). In this article, we completely determine when a 2 × 2 matrix over a commutative local ring is strongly rad clean. An application to matrices over power-series is also given.

• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.443-455
• /
• 2008

For an extension $A\;{\subseteq}\;B$ of commutative rings, we present a sufficient conditio for the ring $[[A^{S,\;\leq}]]$ of generalized power series to be weakly normal (resp., stronglyt-closed) in $[[B^{S,\;\leq}]]$, where (S, $\leq$) be a torsion-free cancellative strictly ordered monoid. As a corollary, it can be applied to the ring of power series in infinitely many indeterminates as well as in finite indeterminates.

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

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.6
• /
• pp.1349-1357
• /
• 2022

Let 𝒜 = (A_n)_n≥0 be an increasing sequence of rings. We say that 𝓘 = (I_n)_n≥0 is an associated sequence of ideals of 𝒜 if I₀ = A₀ and for each n ≥ 1, I_n is an ideal of A_n contained in I_n+1. We define the polynomial ring and the power series ring as follows: $I[X]\, = \,\{\, f \,=\, {\sum}_{i=0}^{n}a_iX^i\,{\in}\,A[X]\,:\,n\,{\in}\,\mathbb{N},\,a_i\,{\in}\,I_i \,\}$ and $I[[X]]\, = \,\{\, f \,=\, {\sum}_{i=0}^{+{\infty}}a_iX^i\,{\in}\,A[[X]]\,:\,a_i\,{\in}\,I_i \,\}$. In this paper we study the Noetherian and the SFT properties of these rings and their consequences.

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