• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1127-1133
• /
• 2014

Let S be a nonempty subset of a ring R. A map $f:R{\rightarrow}R$ is called strong commutativity preserving on S if [f(x), f(y)] = [x, y] for all $x,y{\in}S$, where the symbol [x, y] denotes xy - yx. Bell and Daif proved that if a derivation D of a semiprime ring R is strong commutativity preserving on a nonzero right ideal ${\rho}$ of R, then ${\rho}{\subseteq}Z$, the center of R. Also they proved that if an endomorphism T of a semiprime ring R is strong commutativity preserving on a nonzero two-sided ideal I of R and not identity on the ideal $I{\cup}T^{-1}(I)$, then R contains a nonzero central ideal. This short note shows that the conclusions of Bell and Daif are also true without the additivity of the derivation D and the endomorphism T.

• Honam Mathematical Journal
• /
• v.27 no.3
• /
• pp.399-404
• /
• 2005

Let M be a finite commutative nilpotent algebra over a perfect field k of prime characteristic p and let $M^p$ be the sub-algebra of M generated by $x^p$, $x{\in}M$. Eggert[3] conjectures that $dim_kM{\geq}pdim_kM^p$. In this paper, we show that the conjecture holds for $M=R^+/I$, where $R=k[X_1,\;X_2,\;{\cdots},\;X_t]$ is a polynomial ring with indeterminates $X_1,\;X_2,\;{\cdots},\;X_t$ over k and $R^+$ is the maximal ideal of R generated by $X_1,\;X_2,{\cdots},\;X_t$ and I is a monomial ideal of R containing $X_1^{n_1+1},\;X_2^{n_2+1},\;{\cdots},\;X_t^{n_t+1}$ ($n_i{\geq}0$ for all i).

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.725-743
• /
• 2022

In this paper, the concepts of ω-linked homomorphisms, the ω_𝜙-operation, and DW_𝜙 rings are introduced. Also the relationships between ω_𝜙-ideals and ω-ideals over a ω-linked homomorphism 𝜙 : R → T are discussed. More precisely, it is shown that every ω_𝜙-ideal of T is a ω-ideal of T. Besides, it is shown that if T is not a DW_𝜙 ring, then T must have an infinite number of maximal ω_𝜙-ideals. Finally we give an application of Cohen's Theorem over ω-factor rings, namely it is shown that an integral domain R is an SM-domain with ω-dim(R) ≤ 1, if and only if for any nonzero ω-ideal I of R, (R/I)_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, (R/(a))_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, R satisfies the descending chain condition on ω-ideals of R containing a.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.259-268
• /
• 1998

We give several characterizations of a TV-PVMD and we show that the localization R[X;S]$_{N_{\upsilon}}$ of a semigroup ring R[X;S] is a TV-PVMD if and only if R is a TV-PVMD where $N_{\upsilon}\;=\;\{f\;{\in}\;R[X]{\mid}(A_f)_{\upsilon} = R\}$ and S is a torsion free cancellative semigroup with zero.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1453-1461
• /
• 2023

Let R be a one-dimensional Noetherian domain with quotient field K and T be the integral closure of R in K. In this note we prove that if the conductor ideal (R :_K T) is a nonzero prime ideal, then every finitely generated reflexive (and hence finitely generated G-projective) R-module is isomorphic to a direct sum of some ideals.

• Honam Mathematical Journal
• /
• v.39 no.4
• /
• pp.527-559
• /
• 2017

The main motivation of this article is to generalized the concept of fuzzy ideals, (${\alpha},{\beta}$)-fuzzy ideals, (${\in},{\in}{\vee}q_k$)-fuzzy ideals of semigroups. By using the concept of $q^{\delta}_K$-quasi-coincident of a fuzzy point with a fuzzy set, we introduce the notions of (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy left ideal, (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy right ideal of a semigroup. Special sets, so called $Q^{\delta}_k$-set and $[{\lambda}^{\delta}_k]_t$-set, condition for the $Q^{\delta}_k$-set and $[{\lambda}^{\delta}_k]_t$-set-set to be left (resp. right) ideals are considered. We finally characterize different classes of semigroups (regular, left weakly regular, right weakly regular) in term of (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy left ideal, (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy right ideal and (${\in},{\in}{\vee}q^{\delta}_k$)-fuzzy ideal of semigroup S.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.743-750
• /
• 2010

For several Banach spaces X and Y and operator ideal $\cal{U}$, if $\cal{U}$(X, Y) denotes the component of operator ideal $\cal{U}$; according to Freedman's definitions, it is shown that a necessary and sufficient condition for a closed subspace $\cal{M}$ of $\cal{U}$(X, Y) to have the alternative Dunford-Pettis property is that all evaluation operators $\phi_x\;:\;\cal{M}\;{\rightarrow}\;Y$ and $\psi_{y^*}\;:\;\cal{M}\;{\rightarrow}\;X^*$ are DP1 operators, where $\phi_x(T)\;=\;Tx$ and $\psi_{y^*}(T)\;=\;T^*y^*$ for $x\;{\in}\;X$, $y^*\;{\in}\;Y^*$ and $T\;{\in}\;\cal{M}$.

• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.93-100
• /
• 2017

Let $\mathcal{H}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let $\mathcal{L}$ be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in $\mathcal{L}$. Let p and q be natural numbers($p{\leqslant}q$). Let $\mathcal{B}_{p,q}=\{T{\in}Alg\mathcal{L}{\mid}T_{(p,q)}=0\}$. Let $\mathcal{A}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $\{0\}{\varsubsetneq}{\mathcal{A}}{\subset}{\mathcal{B}}_{p,q}$. If $\mathcal{A}$ is an ideal in $Alg{\mathcal{L}}$, then $T_{(i,j)}=0$, $p{\leqslant}i{\leqslant}q$ and $i{\leqslant}j{\leqslant}q$ for all T in $\mathcal{A}$.

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

• Korean Journal of Mathematics
• /
• v.19 no.3
• /
• pp.321-330
• /
• 2011

We characterize the fuzzy bi-ideal generated by a fuzzy subset in a semigroup and the fuzzy bi-ideal generated by a fuzzy subset A such that $A{\subseteq}A^2$ in a semigroup with an identity element. Our work generalizes the characterization of fuzzy bi-ideals by Mo and Wang ([8]).