• Kyungpook Mathematical Journal
• /
• v.58 no.2
• /
• pp.203-219
• /
• 2018

This paper is devoted to the study of strongly ${\alpha}-semicommutative$ rings, a generalization of strongly semicommutative and ${\alpha}-rigid$ rings. Although the n-by-n upper triangular matrix ring over any ring with identity is not strongly ${\bar{\alpha}}-semicommutative$ for $n{\geq}2$, we show that a special subring of the upper triangular matrix ring over a reduced ring is strongly ${\bar{\alpha}}-semicommutative$ under some additional conditions. Moreover, it is shown that if R is strongly ${\alpha}-semicommutative$ with ${\alpha}(1)=1$ and S is a domain, then the Dorroh extension D of R by S is strongly ${\bar{\alpha}}-semicommutative$.

• The Pure and Applied Mathematics
• /
• v.11 no.2
• /
• pp.117-125
• /
• 2004

Let T be an integral domain, M a nonzero maximal ideal of T, K = T/M, $\psi$: T \longrightarrow K the canonical map, D a proper subring of K, and R = $\psi^{-1}$(D) the pullback domain. Assume that for each $x \; \in T$, there is a $u \; \in T$ such that u is a unit in T and $ux \; \in R$, . In this paper, we show that R is a weakly Krull domain (resp., GWFD, AWFD, WFD) if and only if htM = 1, D is a field, and T is a weakly Krull domain (resp., GWFD, AWFD, WFD).

• The Pure and Applied Mathematics
• /
• v.11 no.2
• /
• pp.127-132
• /
• 2004

$H_v$-rings first were introduced by Vougiouklis in 1990. The largest class of algebraic systems satisfying ring-like axioms is the $H_v$-ring. Let R be an $H_v$-ring and ${\gamma}_R$ the smallest equivalence relation on R such that the quotient $R/{\gamma}_R$, the set of all equivalence classes, is a ring. In this case $R/{\gamma}_R$ is called the fundamental ring. In this short communication, we study the fundamental rings with respect to the product of two fuzzy subsets.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.12 no.3
• /
• pp.198-204
• /
• 2012

We introduce the notions of interval-valued fuzzy prime ideals, interval-valued fuzzy completely prime ideals and interval-valued fuzzy weakly completely prime ideals. And we give a characterization of interval-valued fuzzy ideals and establish relationships between interval-valued fuzzy completely prime ideals and interval-valued fuzzy weakly completely prime ideals.

• Journal of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1599-1611
• /
• 2019

Let $m,n{\in}{\mathbb{N}}$. We represent the additive subgroups of the ring ${\mathbb{Z}}_m{\times}{\mathbb{Z}}_n$, which are also (unital) subrings, and deduce explicit formulas for $N^{(s)}(m,n)$ and $N^{(us)}(m,n)$, denoting the number of subrings of the ring ${\mathbb{Z}}_m{\times}{\mathbb{Z}}_n$ and its unital subrings, respectively. We show that the functions $(m,n){\mapsto}N^{u,s}(m,n)$ and $(m,n){\mapsto}N^{(us)}(m,n)$ are multiplicative, viewed as functions of two variables, and their Dirichlet series can be expressed in terms of the Riemann zeta function. We also establish an asymptotic formula for the sum $\sum_{m,n{\leq}x}N^{(s)}(m,n)$, the error term of which is closely related to the Dirichlet divisor problem.

• Korean Journal of Mathematics
• /
• v.29 no.3
• /
• pp.483-492
• /
• 2021

This article concerns the property that for any element a in a ring, if a²ⁿ = aⁿ for some n ≥ 2 then a² = a. The class of rings with this property is large, but there also exist many kinds of rings without that, for example, rings of characteristic ≠2 and finite fields of characteristic ≥ 3. Rings with such a property is called reduced-over-idempotent. The study of reduced-over-idempotent rings is based on the fact that the characteristic is 2 and every nonzero non-identity element generates an infinite multiplicative semigroup without identity. It is proved that the reduced-over-idempotent property pass to polynomial rings, and we provide power series rings with a partial affirmative argument. It is also proved that every finitely generated subring of a locally finite reduced-over-idempotent ring is isomorphic to a finite direct product of copies of the prime field {0, 1}. A method to construct reduced-over-idempotent fields is also provided.

• Communications of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.1-10
• /
• 2021

Let R and S be two commutative rings, J be an ideal of S and f : R → S be a ring homomorphism. The amalgamation of R and S along J with respect to f, denoted by R ⋈f J, is the special subring of R × S defined by R ⋈f J = {(a, f(a) + j) | a ∈ R, j ∈ J}. In this paper, we study some basic properties of a special kind of R ⋈f J-modules, called the amalgamation of M and N along J with respect to ��, and defined by M ⋈�� JN := {(m, ��(m) + n) | m ∈ M and n ∈ JN}, where �� : M → N is an R-module homomorphism. The new results generalize some known results on the amalgamation of rings and the duplication of a module along an ideal.

• Kyungpook Mathematical Journal
• /
• v.61 no.1
• /
• pp.11-21
• /
• 2021

We study the structure of rings whose factor rings modulo nonzero proper ideals are right duo; such rings are called right FD. We first see that this new ring property is not left-right symmetric. We prove for a non-prime right FD ring R that R is a subdirect product of subdirectly irreducible right FD rings; and that R/N∗(R) is a subdirect product of right duo domains, and R/J(R) is a subdirect product of division rings, where N∗(R) (J(R)) is the prime (Jacobson) radical of R. We study the relation among right FD rings, division rings, commutative rings, right duo rings and simple rings, in relation to matrix rings, polynomial rings and direct products. We prove that if a ring R is right FD and 0 ≠ e2 = e ∈ R then eRe is also right FD, examining that the class of right FD rings is not closed under subrings.

• Kyungpook Mathematical Journal
• /
• v.63 no.2
• /
• pp.187-198
• /
• 2023

The motivation for this study comes from a question posed by I.N. Herstein in the Israel Journal of Mathematics in 1978. Specifically, let D be a division ring with center F. The aim of this paper is to demonstrate that every quasinormal subgroup of the multiplicative group of D, which is radical over some proper division subring, is central if one of the following conditions holds: (i) D is weakly locally finite; (ii) F is uncountable; or (iii) D is the Mal'cev-Neumann division ring.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.625-631
• /
• 2018

Let R be a commutative ring with identity and let R[x] be the collection of polynomials with coefficients in R. There are a lot of multiplications in R[x] such that together with the usual addition, R[x] becomes a ring that contains R as a subring. These multiplications are from a class of functions ${\lambda}$ from ${\mathbb{N}}_0$ to ${\mathbb{N}}$. The trivial case when ${\lambda}(i)=1$ for all i gives the usual polynomial ring. Among nontrivial cases, there is an important one, namely, the case when ${\lambda}(i)=i!$ for all i. For this case, it gives the well-known Hurwitz polynomial ring $R_H[x]$. In this paper, we completely determine the Krull dimension of $R_H[x]$ when R is a $Pr{\ddot{u}}fer$ domain. Let R be a $Pr{\ddot{u}}fer$ domain. We show that dim $R_H[x]={\dim}\;R+1$ if R has characteristic zero and dim $R_H[x]={\dim}\;R$ otherwise.