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

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.319-329
• /
• 2017

Let I denote an ideal of a Noetherian local ring (R, m). Let M denote a finitely generated R-module. We study the endomorphism ring of the local cohomology module $H^c_I(M)$, c = grade(I, M). In particular there is a natural homomorphism $$Hom_{\hat{R}^I}({\hat{M}}^I,\;{\hat{M}}^I){\rightarrow}Hom_R(H^c_I(M),\;H^c_I(M))$$, $where{\hat{\cdot}}^I$ denotes the I-adic completion functor. We provide sufficient conditions such that it becomes an isomorphism. Moreover, we study a homomorphism of two such endomorphism rings of local cohomology modules for two ideals $J{\subset}I$ with the property grade(I, M) = grade(J, M). Our results extends constructions known in the case of M = R (see e.g. [8], [17], [18]).

• East Asian mathematical journal
• /
• v.18 no.2
• /
• pp.195-203
• /
• 2002

Let R be a prime ring with characteristic not two and U is a nonzero left ideal of R which contains no nonzero nilpotent right ideal as a ring. For a $(\sigma,\tau)$-derivation d : R$\rightarrow$R, we prove the following results: (1) If d is an endomorphism on R then d=0. (2) If d is an anti-endomorphism on R then d=0. (3) If d(xy)=d(yx), for all x, y$\in$R then R is commutative. (4) If d is an homomorphism or anti-homomorphism on U then d=0.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1053-1066
• /
• 2010

In this paper, several properties of endomorphism rings of modules are investigated. A multiplication module M over a commutative ring R induces a commutative ring $M^*$ of endomorphisms of M and hence the relation between the prime (maximal) submodules of M and the prime (maximal) ideals of $M^*$ can be found. In particular, two classes of ideals of $M^*$ are discussed in this paper: one is of the form $G_{M^*}\;(M,\;N)\;=\;\{f\;{\in}\;M^*\;|\;f(M)\;{\subseteq}\;N\}$ and the other is of the form $G_{M^*}\;(N,\;0)\;=\;\{f\;{\in}\;M^*\;|\;f(N)\;=\;0\}$ for a submodule N of M.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1743-1755
• /
• 2017

Let B be a simply-connected projective variety such that the first cohomology groups of all line bundles on B are zero. Let E be a vector bundle over B and $X={\mathbb{P}}(E)$. It is easily seen that a power of any endomorphism of X takes fibers to fibers. We prove that if X admits an endomorphism which is of degree greater than one on the fibers, then E splits into a direct sum of line bundles.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.271-274
• /
• 1994

The concept of a continuous module is a generalization of that of an injective module, and conditions ($C_1$), (C$_2$) and ($C_3$) are given for this concept in [4]. In this paper, we study modules with properties that are dual to continuity. These will be called discrete and we discuss discrete abelian groups. Throughout R is a ring with identity, M is a module over R, G is an abelian group of finite rank, E is the ring of endomorphisms of G and S is the center of E. Dual to the notion of essential submodules, we define small submodules of a module M over R.(omitted)

• Korean Journal of Mathematics
• /
• v.27 no.1
• /
• pp.175-192
• /
• 2019

(Multiplicative) Hom-Lie-Yamaguti superalgebras are defined as a ${\mathbb{Z}}_2$-graded generalization of Hom-Lie Yamaguti algebras and also as a twisted generalization of Lie-Yamaguti superalgebras. Hom-Lie-Yamaguti superalgebras generalize also Hom-Lie supertriple systems (and subsequently ternary multiplicative Hom-Nambu superalgebras) and Hom-Lie superalgebras in the same way as Lie-Yamaguti superalgebras generalize Lie supertriple systems and Lie superalgebras. Hom-Lie-Yamaguti superalgebras are obtained from Lie-Yamaguti superalgebras by twisting along superalgebra even endomorphisms. We show that the category of (multiplicative) Hom-Lie-Yamaguti superalgebras is closed under twisting by self-morphisms. Constructions of some examples of Hom-Lie-Yamaguti superalgebras are given. The notion of an nth derived (binary) Hom-superalgebras is extended to the one of an nth derived binary-ternary Hom-superalgebras and it is shown that the category of Hom-Lie-Yamaguti superalgebras is closed under the process of taking nth derived Hom-superalgebras.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.499-518
• /
• 1995

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.3
• /
• pp.507-519
• /
• 2004

For a ring endomorphism $\sigma$ of a ring R, J. Krempa called $\sigma$ a rigid endomorphism if a$\sigma$(a)＝0 implies a＝0 for a ${\in}$R. A ring R is called rigid if there exists a rigid endomorphism of R. In this paper, we extend the (J'-rigid property of a ring R to the upper nilradical $N_{r}$(R) of R. For an endomorphism R and the upper nilradical $N_{r}$(R) of a ring R, we introduce the condition (*): $N_{r}$(R) is a $\sigma$-ideal of R and a$\sigma$(a) ${\in}$ $N_{r}$(R) implies a ${\in}$ $N_{r}$(R) for a ${\in}$ R. We study characterizations of a ring R with an endomorphism $\sigma$ satisfying the condition (*), and we investigate their related properties. The connections between the upper nilradical of R and the upper nilradical of the skew power series ring R[[$\chi$;$\sigma$]] of R are also investigated.ated.

• Kyungpook Mathematical Journal
• /
• v.55 no.1
• /
• pp.1-12
• /
• 2015

Let R be a ring and $D:R^n{\longrightarrow}R$ be n-additive mapping. A map $d:R{\longrightarrow}R$ is said to be the trace of D if $d(x)=D(x,x,{\ldots}x)$ for all $x{\in}R$. Suppose that ${\alpha},{\beta}$ are endomorphisms of R. For any $a,b{\in}R$, let < a, b > $_{({\alpha},{\beta})}=a{\alpha}(b)+{\beta}(b)a$. In the present paper under certain suitable torsion restrictions it is shown that D = 0 if R satisfies either < d(x), $x^m$ > $_{({\alpha},{\beta})}=0$, for all $x{\in}R$ or ${\ll}$ d(x), x > $_{({\alpha},{\beta})}$, $x^m$ > $_{({\alpha},{\beta})}=0$, for all $x{\in}R$. Further, if < d(x), x > ${\in}Z(R)$, the center of R, for all $x{\in}R$ or < d(x)x - xd(x), x >= 0, for all $x{\in}R$, then it is proved that d is commuting on R. Some more related results are also obtained for additive mapping on R.