• East Asian mathematical journal
• /
• 제17권2호
• /
• pp.225-232
• /
• 2001

Let R be a prime ring with characteristic not two. U a (${\sigma},{\tau}$)-left Lie ideal of R and d : R$\rightarrow$R a non-zero derivation. The purpose of this paper is to invesitigate identities satisfied on prime rings. We prove the following results: (1) [d(R),a]=0$\Leftrightarrow$d([R,a])=0. (2) if $(R,a)_{{\sigma},{\tau}}$=0 then $a{\in}Z$. (3) if $(R,a)_{{\sigma},{\tau}}{\subset}C_{{\sigma},{\tau}}$ then $a{\in}Z$. (4) if $(U,a){\subset}Z$ then $a^2{\in}Z\;or\;{\sigma}(u)+{\tau}(u){\in}Z$, for all $u{\in}U$. (5) if $(U,R)_{{\sigma},{\tau}}{\subset}C_{{\sigma},{\tau}}$ then $U{\subset}Z$.

• 충청수학회지
• /
• 제7권1호
• /
• pp.87-95
• /
• 1994

Relationships between the prime ideals of a ring R and of a normalizing extension S have been studied by several authors. Relationships between the prime ideals of a ring R and of an intermediate normalizing extension T also have studied by several authors where $R{\subset}T{\subset}S$. In this note, some relationships between prime ideals of T and S are studied.

• 대한수학회논문집
• /
• 제30권3호
• /
• pp.253-267
• /
• 2015

Given a complex submanifoldM of the projective space $\mathbb{P}$(T), the hyperplane system R on M characterizes the projective embedding of M into $\mathbb{P}$(T) in the following sense: for any two nondegenerate complex submanifolds $M{\subset}\mathbb{P}$(T) and $M^{\prime}{\subset}\mathbb{P}$(T'), there is a projective linear transformation that sends an open subset of M onto an open subset of M' if and only if (M,R) is locally equivalent to (M', R'). Se-ashi developed a theory for the differential invariants of these types of systems of linear differential equations. In particular, the theory applies to systems of linear differential equations that have symbols equivalent to the hyperplane systems on nondegenerate equivariant embeddings of compact Hermitian symmetric spaces. In this paper, we extend this result to hyperplane systems on nondegenerate equivariant embeddings of homogeneous spaces of the first kind.

• 대한수학회지
• /
• 제49권4호
• /
• pp.687-701
• /
• 2012

Let $R$ be a ring and $nil(R)$ the set of all nilpotent elements of $R$. For a subset $X$ of a ring $R$, we define $N_R(X)=\{a{\in}R{\mid}xa{\in}nil(R)$ for all $x{\in}X$}, which is called a weak annihilator of $X$ in $R$. $A$ ring $R$ is called weak zip provided that for any subset $X$ of $R$, if $N_R(Y){\subseteq}nil(R)$, then there exists a finite subset $Y{\subseteq}X$ such that $N_R(Y){\subseteq}nil(R)$, and a ring $R$ is called weak symmetric if $abc{\in}nil(R){\Rightarrow}acb{\in}nil(R)$ for all a, b, $c{\in}R$. It is shown that a generalized power series ring $[[R^{S,{\leq}}]]$ is weak zip (resp. weak symmetric) if and only if $R$ is weak zip (resp. weak symmetric) under some additional conditions. Also we describe all weak associated primes of the generalized power series ring $[[R^{S,{\leq}}]]$ in terms of all weak associated primes of $R$ in a very straightforward way.

• 충청수학회지
• /
• 제32권1호
• /
• pp.69-86
• /
• 2019

In this paper, we introduce a concept of the ${\epsilon}_0$-limits of vector and multiple valued sequences in $R^m$. Using this concept, we study about the concept of the ${\epsilon}_0$-dense subset and of the points of ${\epsilon}_0$-dense ace in the open subset of $R^m$. We also investigate the properties and the characteristics of the ${\epsilon}_0$-dense subsets and of the points of ${\epsilon}_0$-dense ace.

• 대한수학회논문집
• /
• 제10권2호
• /
• pp.349-355
• /
• 1995

Let $D \subset C^n$ be a smoothly bounded pseudoconvex domain and let ${\bar{D}_r}_r$ be a family of smooth perturbations of $\bar{D}$ such that $\bar{D} \subset \bar{D}_r$. Let $K_D(z, w)$ be the Bergman kernel function on $D \times D$. Then $lim_{r \to 0} K_{D_r}(z, w) = K_D(z, w)$ locally uniformally on $D \times D$.

• 대한수학회지
• /
• 제56권5호
• /
• pp.1355-1370
• /
• 2019

A curve $X{\subset}\mathbb{P}^r$ has maximal rank if for each $t{\in}\mathbb{N}$ the restriction map $H^0(\mathcal{O}_{\mathbb{P}r}(t)){\rightarrow}H^0(\mathcal{O}_X(t))$ is either injective or surjective. We show that for all integers $d{\geq}r+1$ there are maximal rank, but not arithmetically Cohen-Macaulay, smooth curves $X{\subset}\mathbb{P}^r$ with degree d and genus roughly $d^2/2r$, contrary to the case r = 3, where it was proved that their genus growths at most like $d^{3/2}$ (A. Dolcetti). Nevertheless there is a sector of large genera g, roughly between $d^2/(2r+2)$ and $d^2/2r$, where we prove the existence of smooth curves (even aCM ones) with degree d and genus g, but the only integral and non-degenerate maximal rank curves with degree d and arithmetic genus g are the aCM ones. For some (d, g, r) with high g we prove the existence of reducible non-degenerate maximal rank and non aCM curves $X{\subset}\mathbb{P}^r$ with degree d and arithmetic genus g, while (d, g, r) is not realized by non-degenerate maximal rank and non aCM integral curves.

• 대한수학회지
• /
• 제40권5호
• /
• pp.757-768
• /
• 2003

In 1967, as an answer to the question of P. Erdos on a set of integers having distinct subset sums, J. Conway and R. Guy constructed an interesting sequence of sets of integers. They conjectured that these sets have distinct subset sums and that they are close to the best possible with respect to the largest element. About 30 years later (in 1996), T. Bohman could prove that sets from the Conway-Guy sequence actually have distinct subset sums. In this paper, we generalize the concept of subset-sum-distinctness to k-SSD, the k-fold version. The classical subset-sum-distinct sets would be 1-SSD in our definition. We prove that similarly derived sequences as the Conway-Guy sequence are k-SSD.

• Journal of applied mathematics & informatics
• /
• 제39권3_4호
• /
• pp.259-266
• /
• 2021

Let R be a commutative ring with identity and let S be a nonempty subset of R. We define S to be an almost multiplicative subset of R if for each a, b ∈ S, there exist integers m, n ≥ 1 such that a^mbⁿ ∈ S. In this article, we study some utilization of almost multiplicative subsets.

• 대한수학회보
• /
• 제51권2호
• /
• pp.373-386
• /
• 2014

Let (R,m) be a commutative Noetherian local ring. In this paper we show that a finitely generated R-module M of dimension d is Cohen-Macaulay if and only if there exists a proper ideal I of R such that depth($M/I^nM$) = d for $n{\gg}0$. Also we show that, if dim(R) = d and $I_1{\subset}\;{\cdots}\;{\subset}I_n$ is a chain of ideals of R such that $R/I_k$ is maximal Cohen-Macaulay for all k, then $n{\leq}{\ell}_R(R/(a_1,{\ldots},a_d)R)$ for every system of parameters $a1,{\ldots},a_d$ of R. Also, in the case where dim(R) = 2, we prove that the ideal transform $D_m(R/p)$ is minimax balanced big Cohen-Macaulay, for every $p{\in}Assh_R$(R), and we give some equivalent conditions for this ideal transform being maximal Cohen-Macaulay.