• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.659-668
• /
• 2021

Let R be a semiprime ring with maximal right ring of quotients Q_mr(R), and let n₁, n₂, …, n_k be k fixed positive integers. Suppose that R is (n₁+n₂+⋯+n_k)!-torsion free, and that f : 𝜌 → Q_mr(R) is an additive map, where 𝜌 is a nonzero right ideal of R. It is proved that if [[…[f(x), x^n₁], …], x^n_k] = 0 for all x ∈ 𝜌, then [f(x), x] = 0 for all x ∈ 𝜌. This gives the result of Beidar et al. [2] for semiprime rings. Moreover, it is also proved that if R is p-torsion, where p is a prime integer with p = Σ^k_i=1 n_i and if f : R → Q_mr(R) is an additive map satisfying [[…[f(x), x^n₁], …], x^n_k] = 0 for all x ∈ R, then [f(x), x] = 0 for all x ∈ R.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.419-437
• /
• 2019

This paper investigates skew ${\Theta}-{\lambda}$-constacyclic codes over $R=F_0{\oplus}F_1{\oplus}{\cdots}{\oplus}F_{k-1}$, where $F{_i}^{\prime}s$ are finite fields. The structures of skew ${\lambda}$-constacyclic codes over finite commutative semi-simple rings and their duals are provided. Moreover, skew ${\lambda}$-constacyclic codes of arbitrary length are studied under a new definition. We also show that a skew cyclic code of arbitrary length over finite commutative semi-simple rings is equivalent to either a cyclic code over R or a quasi-cyclic code over R.

• Journal of applied mathematics & informatics
• /
• v.3 no.1
• /
• pp.65-78
• /
• 1996

The properties of a toric variety have strong connection with the combinatorial structure of the corresponding fan and the rela-tions among the generators. Using this fact we have described explic-itly the Chow ring for a Q-factorial toric variety as the Stanley-Reisner ring for the corresponding fan modulo the linear equivalence relation. In this paper we calculate the Chow ring for 3-dimensional Q-factorial toric varieties having one bad isolated singularity.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.915-923
• /
• 2015

Self-dual codes have been actively studied because of their connections with other mathematical areas including t-designs, invariant theory, group theory, lattices, and modular forms. We presented the building-up construction for self-dual codes over GF(q) with $q{\equiv}1$ (mod 4), and over other certain rings (see [19], [20]). Since then, the existence of the building-up construction for the open case over GF(q) with $q=p^r{\equiv}3$ (mod 4) with an odd prime p satisfying $p{\equiv}3$ (mod 4) with r odd has not been solved. In this paper, we answer it positively by presenting the building-up construction explicitly. As examples, we present new optimal self-dual [16, 8, 7] codes over GF(7) and new self-dual codes over GF(7) with the best known parameters [24, 12, 9].

• Journal of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.101-129
• /
• 2018

From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic p. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as a suitable substitute for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring ${\mathbf{F}}_q$[[T]] in one variable T over a finite field ${\mathbf{F}}_q$ of q elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous ${\mathbf{F}}_q$-linear functions on ${\mathbf{F}}_q$[[T]]. According to the digit principle, every continuous function on ${\mathbf{F}}_q$[[T]] is uniquely written in terms of a q-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the p-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on ${\mathbf{Z}}_p$.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.525-530
• /
• 2015

Let D be an integrally closed domain with quotient field K, X be an indeterminate over D, $f=a_0+a_1X+{\cdots}+a_nX^n{\in}D[X]$ be irreducible in K[X], and $Q_f=fK[X]{\cap}D[X]$. In this paper, we show that $Q_f$ is a maximal ideal of D[X] if and only if $(\frac{a_1}{a_0},{\cdots},\frac{a_n}{a_0}){\subseteq}P$ for all nonzero prime ideals P of D; in this case, $Q_f=\frac{1}{a_0}fD[X]$. As a corollary, we have that if D is a Krull domain, then D has infinitely many height-one prime ideals if and only if each maximal ideal of D[X] has height ${\geq}2$.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.311-317
• /
• 2018

Let (R, m) be a commutative Noetherian local ring and I be an ideal of R. In this paper it is shown that if cd(I, R) = t > 0 and the R-module $Hom_R(R/I,H^t_I(R))$ is finitely generated, then $$t={\sup}\{{\dim}{\widehat{\hat{R}_p}}/Q:p{\in}V(I{\hat{R}}),\;Q{\in}mAss{_{\widehat{\hat{R}_p}}}{\widehat{\hat{R}_p}}\;and\;p{\widehat{\hat{R}_p}}=Rad(I{\wideha{\hat{R}_p}}=Q)\}$$. Moreover, some other results concerning the cohomological dimension of ideals with respect to the rings extension $R{\subset}R[X]$ will be included.

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

Let R be a noncommutative prime ring of characteristic different from 2, Q be its maximal right ring of quotients and C be its extended centroid. Suppose that $f(x_1,{\ldots},x_n)$ be a noncentral multilinear polynomial over $C,b{\in}Q,F$ a b-generalized derivation of R and d is a nonzero derivation of R such that d([F(f(r)), f(r)]) = 0 for all $r=(r_1,{\ldots},r_n){\in}R^n$. Then one of the following holds: (1) there exists ${\lambda}{\in}C$ such that $F(x)={\lambda}x$ for all $x{\in}R$; (2) there exist ${\lambda}{\in}C$ and $p{\in}Q$ such that $F(x)={\lambda}x+px+xp$ for all $x{\in}R$ with $f(x_1,{\ldots},x_n)^2$ is central valued in R.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.477-484
• /
• 2005

Let R be a ring with an automorphism 17. An ideal [ of R is ($\sigma$-ideal of R if $\sigma$(I).= I. A proper ideal P of R is ($\sigma$-prime ideal of R if P is a $\sigma$-ideal of R and for $\sigma$-ideals I and J of R, IJ $\subseteq$ P implies that I $\subseteq$ P or J $\subseteq$ P. A proper ideal Q of R is $\sigma$-semiprime ideal of Q if Q is a $\sigma$-ideal and for a $\sigma$-ideal I of R, I$^{2}$ $\subseteq$ Q implies that I $\subseteq$ Q. The $\sigma$-prime radical is defined by the intersection of all $\sigma$-prime ideals of R and is denoted by P$_{(R). In this paper, the following results are obtained: (1) For a principal ideal domain R, P$_{(R) is the smallest $\sigma$-semiprime ideal of R; (2) For any ring R with an automorphism $\sigma$ and for a skew Laurent polynomial ring R[x, x$^{-1}$; $\sigma$], the prime radical of R[x, x$^{-1}$; $\sigma$] is equal to P$_{(R)[x, x$^{-1}$; $\sigma$ ].