• Communications of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.23-34
• /
• 2005

Let R be a ring with left identity. Let G : $R{\times}R{\to}R$ be a symmetric biadditive mapping and g the trace of G. Let ${\alpha}\;:\;R{\to}R$ be an endomorphism and ${\beta}\;:\;R{\to}R$ an epimorphism. In this paper we show the following: (i) Let R be 2-torsion-free. If g is (${\alpha},{\beta}$)-skew-commuting on R, then we have G = 0. (ii) If g is (${\beta},{\beta}$)-skew-centralizing on R, then g is (${\beta},{\beta}$)-commuting on R. (iii) Let $n{\ge}2$. Let R be (n+1)!-torsion-free. If g is n-(${\alpha},{\beta}$)-skew-commuting on R, then we have G = 0. (iv) Let R be 6-torsion-free. If g is 2-(${\alpha},{\beta}$)-commuting on R, then g is (${\alpha},{\beta}$)-commuting on R.

• Journal of applied mathematics & informatics
• /
• v.33 no.1_2
• /
• pp.145-155
• /
• 2015

In this paper, we study the bounds of the coefficients of the characteristic polynomial of the Frobenius endomorphism of the Jacobian of dimension three over a finite field. We provide explicitly computable bounds for the coefficients of the characteristic polynomial. In addition, we present the counting points algorithm for computing a group of the Jacobian of genus 3 hyperelliptic curves over a finite field with large characteristic. Based on these bounds, we found an efficient search space that was used in the counting points algorithm on genus 3 curves. The algorithm was explained and verified through simple examples.

• Journal of applied mathematics & informatics
• /
• v.30 no.1_2
• /
• pp.101-109
• /
• 2012

In this paper, we present an algorithm for computing the number of points on the Jacobian varieties of one-dimensional family of genus 3 nonhyperelliptic curves over finite fields. We also provide the explicit formula of the characteristic polynomial of the Frobenius endomorphism of the Jacobian of $C:y^3=x^4+{\alpha}$ over a finite field $\mathbb{F}_p$ with $p{\equiv}1$ (mod 3) and $p{\neq}1$ (mod 4). Moreover, we give some implementation results using Gaudry-Schost method. A 162-bit order is computed in 97 s on a Pentium IV 2.13 GHz computer using our algorithm.

• Korean Journal of Mathematics
• /
• v.21 no.4
• /
• pp.421-428
• /
• 2013

We observe the basic structure of the products of coefficients of nilpotent (left) polynomials in skew polynomial rings. This study consists of a process to extend a well-known result for semi-Armendariz rings. We introduce the concept of ${\alpha}$-skew n-semi-Armendariz ring, where ${\alpha}$ is a ring endomorphism. We prove that a ring R is ${\alpha}$-rigid if and only if the n by n upper triangular matrix ring over R is $\bar{\alpha}$-skew n-semi-Armendariz. This result are applicable to several known results.

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.69-76
• /
• 2012

Let R be a ring, and ${\alpha}$ be an endomorphism of R. An additive mapping H : R ${\rightarrow}$ R is called a left ${\alpha}$-multiplier (centralizer) if H(xy) = H(x)${\alpha}$(y) holds for all x,y $\in$ R. In this paper, we shall investigate the commutativity of prime and semiprime rings admitting left ${\alpha}$-multiplier satisfying any one of the properties: (i) H([x,y])-[x,y] = 0, (ii) H([x,y])+[x,y] = 0, (iii) $H(x{\circ}y)-x{\circ}y=0$, (iv) $H(x{\circ}y)+x{\circ}y=0$, (v) H(xy) = xy, (vi) H(xy) = yx, (vii) $H(x^2)=x^2$, (viii) $H(x^2)=-x^2$ for all x, y in some appropriate subset of R.

• Journal of the Korean Mathematical Society
• /
• v.51 no.6
• /
• pp.1251-1267
• /
• 2014

The semicommutative property of rings was introduced initially by Bell, and has done important roles in noncommutative ring theory. This concept was generalized to one of nil-semicommutative by Chen. We first study some basic properties of nil-semicommutative rings. We next investigate the structure of Ore extensions when upper nilradicals are ${\sigma}$-rigid ${\delta}$-ideals, examining the nil-semicommutative ring property of Ore extensions and skew power series rings, where ${\sigma}$ is a ring endomorphism and ${\delta}$ is a ${\sigma}$-derivation.

• Korean Journal of Mathematics
• /
• v.7 no.2
• /
• pp.151-158
• /
• 1999

Let (X, G) be a transformation group and ${\sigma}(X,x_0,G)$ the fundamental group of (X, G). In this paper, we prove that the Reidemeister number $R(f_G)$ for an endomorphism $f_G:(X,G){\rightarrow}(X,G)$ is a homotopy invariant. In particular, when any self-map $f:X{\rightarrow}X$ is homotopic to the identity map, we give some calculation of the lower bound of $R(f_G)$. Finally, we discuss commutativity and product formula for the Reidemeister number $R(f_G)$.

• The Mathematical Education
• /
• v.14 no.1
• /
• pp.22-26
• /
• 1975

In this paper, we define a differential module and study its properties. In section 2, as for propositions, Ive research some properties, directsum, isomorphism of factorization, exact sequence of derived modules. And then as for theorem, I try to present the following statement, if the sequence of homomorphisms of differential modules is exact. Then the sequence of homomorphisms of Z(X) is exact, also the sequence of homomorphisms of Z(X) is exact. According to the theorem, as for Lemma, we consider commutative diagram between exact sequence of Z(X) and exact sequence of Z'(X) . As an immediate consequence of this theorem, we obtain the following result. If M is an arbitrary module and the sequence of homomorphisms of the modules Z(X) is exact, then the sequence of their tensor products with the trivial endomorphism is semi-exact.

• Kyungpook Mathematical Journal
• /
• v.49 no.2
• /
• pp.255-263
• /
• 2009

For an endomorphism ${\alpha}$ of R, in [1], a module $M_R$ is called ${\alpha}$-compatible if, for any $m{\in}M$ and $a{\in}R$, ma = 0 iff $m{\alpha}(a)$ = 0, which are a generalization of ${\alpha}$-reduced modules. We study on the relationship between the quasi-Baerness and p.q.-Baer property of a module MR and those of the polynomial extensions (including formal skew power series, skew Laurent polynomials and skew Laurent series). As a consequence we obtain a generalization of [2] and some results in [9]. In particular, we show: for an ${\alpha}$-compatible module $M_R$ (1) $M_R$ is p.q.-Baer module iff $M[x;{\alpha}]_{R[x;{\alpha}]}$ is p.q.-Baer module. (2) for an automorphism ${\alpha}$ of R, $M_R$ is p.q.-Baer module iff $M[x,x^{-1};{\alpha}]_{R[x,x^{-1};{\alpha}]}$ is p.q.-Baer module.

• Kyungpook Mathematical Journal
• /
• v.61 no.2
• /
• pp.239-248
• /
• 2021

In this paper we study modules with the W F I⁺-extending property. We prove that if M satisfies the W F I⁺-extending, pseudo duo properties and M/(Soc M) has finite uniform dimension then M decompose into a direct sum of a semisimple submodule and a submodule of finite uniform dimension. In particular, if M satisfies the W F I⁺-extending, pseudo duo properties and ascending chain (respectively, descending chain) condition on essential submodules then M = M₁ ⊕ M₂ for some semisimple submodule M₁ and Noetherian (respectively, Artinian) submodule M₂. Moreover, we show that if M is a W F I-extending module with pseudo duo, C₂ and essential socle then the quotient ring of its endomorphism ring with Jacobson radical is a (von Neumann) regular ring. We provide several examples which illustrate our results.