• East Asian mathematical journal
• /
• 제16권1호
• /
• pp.111-123
• /
• 2000

Northcott and McKerrow proved that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-1}]$ is an injective left R[xl-module. Park generalize Northcott and McKerrow's result so that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-S}]$ is an injective left $R[x^s]$-module, where S is a submonoid of N(N is the set of all natural numbers). In this paper we show $$Hom_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Hom_R(M,\;N)[[x^S]]$$ and using the above result and this isomorphism, finally we show that $$Ext^i_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Ext^i_R(M,\;N)[[x^S]]$$.

• Korean Journal of Mathematics
• /
• 제20권3호
• /
• pp.307-314
• /
• 2012

Let M be a left R-module and R be a ring with unity, and $S=\{0,2,3,4,{\ldots}\}$ be a submonoid. Then $M[x^{-s}]=\{a_0+a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}a_i{\in}M\}$ is an $R[x^s]$-module. In this paper we show some properties of $M[x^{-s}]$ as an $R[x^s]$-module. Let $f:M{\rightarrow}N$ be an R-linear map and $\overline{M}[x^{-s}]=\{a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}a_i{\in}M\}$ and define $N+\overline{M}[x^{-s}]=\{b_0+a_2x^{-2}+a_3x^{-3}+{\cdots}+a_nx^{-n}{\mid}b_0{\in}N,\;a_i{\in}M}$. Then $N+\overline{M}[x^{-s}]$ is an $R[x^s]$-module. We show that given a short exact sequence $0{\rightarrow}L{\rightarrow}M{\rightarrow}N{\rightarrow}0$ of R-modules, $0{\rightarrow}L{\rightarrow}M[x^{-s}]{\rightarrow}N+\overline{M}[x^{-s}]{\rightarrow}0$ is a short exact sequence of $R[x^s]$-module. Then we show $E_1+\overline{E_0}[x^{-s}]$ is not an injective left $R[x^s]$-module, in general.

• 호남수학학술지
• /
• 제26권4호
• /
• pp.463-469
• /
• 2004

In this paper we establish some recurrence relations satisfied by quotient moments of upper record values from the exponential distribution. Let $\{X_n,\;n{\geq}1\}$ be a sequence of independent and identically distributed random variables with a common continuous distribution function F(x) and probability density function(pdf) f(x). Let $Y_n=max\{X_1,\;X_2,\;{\cdots},\;X_n\}$ for $n{\geq}1$. We say $X_j$ is an upper record value of $\{X_n,\;n{\geq}1\}$, if $Y_j>Y_{j-1}$, j > 1. The indices at which the upper record values occur are given by the record times {u(n)}, $n{\geq}1$, where u(n)=min\{j{\mid}j>u(n-1),\;X_j>X_{u(n-1)},\;n{\geq}2\} and u(1) = 1. Suppose $X{\in}Exp(1)$. Then $\Large{E\;\left.{\frac{X^r_{u(m)}}{X^{s+1}_{u(n)}}}\right)=\frac{1}{s}E\;\left.{\frac{X^r_{u(m)}}{X^s_{u(n-1)}}}\right)-\frac{1}{s}E\;\left.{\frac{X^r_{u(m)}}{X^s_{u(n)}}}\right)}$ and $\Large{E\;\left.{\frac{X^{r+1}_{u(m)}}{X^s_{u(n)}}}\right)=\frac{1}{(r+2)}E\;\left.{\frac{X^{r+2}_{u(m)}}{X^s_{u(n-1)}}}\right)-\frac{1}{(r+2)}E\;\left.{\frac{X^{r+2}_{u(m-1)}}{X^s_{u(n-1)}}}\right)}$.

• Journal of applied mathematics & informatics
• /
• 제39권5_6호
• /
• pp.617-622
• /
• 2021

Let R be a commutative ring with identity, R[X] the polynomial ring over R and S a multiplicative subset of R. Let U = {f ∈ R[X] | f is monic} and let N = {f ∈ R[X] | c(f) = R}. In this paper, we show that if S is an anti-Archimedean subset of R, then R is an S-Noetherian ring if and only if R[X]_U is an S-Noetherian ring, if and only if R[X]_N is an S-Noetherian ring. We also prove that if R is an integral domain and R[X]_U is an S-principal ideal domain, then R is an S-principal ideal domain.

• 대한수학회보
• /
• 제22권2호
• /
• pp.121-126
• /
• 1985

D.K. Harrison [5] has shown that if R and S are fields of characteristic different from 2, then two Witt rings W(R) and W(S) are isomorphic if and only if W(R)/I(R)$^{3}$ and W(S)/I(S)$^{3}$ are isomorphic where I(R) and I(S) denote the fundamental ideals of W(R) and W(S) respectively. In [1], J.K. Arason and A. Pfister proved a corresponding result when the characteristics of R and S are 2, and, in [9], K.I. Mandelberg proved the result when R and S are commutative semi-local rings having 2 a unit. In this paper, we prove the result when R and S are 2-fold full rings. Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is nondegenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$ (V, R) induced by B is an isomorphism), and with a quadratic mapping .phi.:V.rarw.R such that B(x,y)=(.phi.(x+y)-.phi.(x)-.phi.(y))/2 and .phi.(rx)= $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U(R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$, .., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2, we reserve the notation [ $a_{11}$, $a_{22}$] for the space.the space.e.e.e.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제12권2호
• /
• pp.5-12
• /
• 1974

단위원을 가지는 하환환에 있어서의 Prime Spectrum에 관하여 다음 세가지 사실을 증명하였다. 1. X를 환 R의 prime spectrum, C(X)를 X에서 정의되는 실연적함수의 환, X를 C(X)의 maximal spectrum이라 하면 X는 C(X)의 prime spectrum의 부분공간으로서의 한 T-space로 된다. N을 환 R의 nilradical이라 하면, R/N이 regula 이면 X와 X는 위상동형이다. 2. f: R$\longrightarrow$R'을 ring homomorphism, P를 R의 한 Prime ideal, $R_{p}$, R'$_{p}$를 각각 S=R-P 및 f(S)에 관한 분수환(ring of fraction)이라 하고, k(P)를 local ring $R_{p}$의 residue' field라 할 때, R'의 prime spectrum의 부분공간인 $f^{*-1}$(P)는 k(P)(equation omitted)$_{R}$R'의 prime spectrum과 위상동형이다. 단 f*는 f*(Q)=$f^{-1}$(Q)로서 정의되는 함수 s*:Spec(R')$\longrightarrow$Spec(R)이다. 3. X를 환 S의 prime spectrum, N을 R의 nilradical이라 할 때, 다음 네가지 사실은 동치이다. (1) R/N 은 regular 이다. (2) X는 Zarski topology에 관하여 Hausdorff 공간이다. (3) X에서의 Zarski topology와 constructible topology와는 일치한다. (4) R의 임의의 원소 f에 대하여 f를 포함하지 않는 R의 prime ideal 전체의 집합 $X_{f}$는 Zarski topology에 관하여 개집합인 동시에 폐집합이다.폐집합이다....

• 대한수학회보
• /
• 제48권3호
• /
• pp.655-672
• /
• 2011

Let $C^r$[0,t] be the function space of the vector-valued continuous paths x : [0,t] ${\rightarrow}$ $R^r$ and define $X_t$ : $C^r$[0,t] ${\rightarrow}$ $R^{(n+1)r}$ and $Y_t$ : $C^r$[0,t] ${\rightarrow}$ $R^{nr}$ by $X_t(x)$ = (x($t_0$), x($t_1$), ..., x($t_{n-1}$), x($t_n$)) and $Y_t$(x) = (x($t_0$), x($t_1$), ..., x($t_{n-1}$)), respectively, where 0 = $t_0$ < $t_1$ < ... < $t_n$ = t. In the present paper, with the conditioning functions $X_t$ and $Y_t$, we introduce two simple formulas for the conditional expectations over $C^r$[0,t], an analogue of the r-dimensional Wiener space. We establish evaluation formulas for the analogues of the analytic Wiener and Feynman integrals for the function $G(x)=\exp{{\int}_0^t{\theta}(s,x(s))d{\eta}(s)}{\psi}(x(t))$, where ${\theta}(s,{\cdot})$ and are the Fourier-Stieltjes transforms of the complex Borel measures on ${\mathbb{R}}^r$. Using the simple formulas, we evaluate the analogues of the conditional analytic Wiener and Feynman integrals of the functional G.

• Kyungpook Mathematical Journal
• /
• 제52권4호
• /
• pp.413-431
• /
• 2012

Let $C^r[0,t]$ be the function space of the vector-valued continuous paths $x:[0,t]{\rightarrow}\mathbb{R}^r$ and define $X_t:C^r[0,t]{\rightarrow}\mathbb{R}^{(n+1)r}$ and $Y_t:C^r[0,t]{\rightarrow}\mathbb{R}^{nr}$ by $X_t(x)=(x(t_0),\;x(t_1),\;{\cdots},\;x(t_{n-1}),\;x(t_n))$ and $Y_t(x)=(x(t_0),\;x(t_1),\;{\cdots},\;x(t_{n-1}))$, respectively, where $0=t_0$ < $t_1$ < ${\cdots}$ < $t_n=t$. In the present paper, using two simple formulas for the conditional expectations over $C^r[0,t]$ with the conditioning functions $X_t$ and $Y_t$, we establish evaluation formulas for the analogue of the conditional analytic Fourier-Feynman transform for the function of the form $${\exp}\{{\int_o}^t{\theta}(s,\;x(s))\;d{\eta}(s)\}{\psi}(x(t)),\;x{\in}C^r[0,t]$$ where ${\eta}$ is a complex Borel measure on [0, t] and both ${\theta}(s,{\cdot})$ and ${\psi}$ are the Fourier-Stieltjes transforms of the complex Borel measures on $\mathbb{R}^r$.

• 대한전자공학회논문지TC
• /
• 제45권6호
• /
• pp.27-33
• /
• 2008

차수가 h인 다항식 ${\hbar}(x){\in}F_q[x]$에서, $x-s_1,\;x-s_2,\;{\cdots},\;x-s_n$에 의해 생성된 $\(F_q[x]/({\hbar(x))\)*$의 multiplicative subgroup의 크기를 결정하는 것은 대단히 중요한 과제이다. 여기서 $\{s_1,\;s_2,\;{\cdots},\;s_n\}{\sebseteq}F_q$이고 모든 i 에 대해서, ${\hbar}(x){\neq}0$이다. 지금까지 알려진 asymptotic lower bound는 $(rh)^{O(1)}\(2er+O(\frac{1}{r})\)^h$이며, 여기서 $r=\frac{n}{h}$이고 e(=2.718...)는 natural logarithm의 기저이다. 본 논문에서는, coding theory 문제와 연계해서 더 낳은 lower bound인 $(rh)^{O(1)}\(2er+{\frac{e}{2}}{\log}r-{\frac{e}{2}}{\log}{\frac{e}{2}}+O{(\frac{{\log}^2r}{r})}\)^h$를 증명하고자 한다. 여기서 log는natural logarithm을 나타내며, 또한 이방식의 제약점에 대해서도 논의한다.

• Korean Journal of Mathematics
• /
• 제12권1호
• /
• pp.15-22
• /
• 2004

In this paper we establish some recurrence relations satisfied by quotient moments of upper record values from the power distribution. Let {$X_n$, $n{\geq}1$} be a sequence of independent an identically distributed random variables with a common continuous distribution function(cdf) $F(x)$ and probability density function(pdf) $f(x)$. Let $Y_n=max\{X_1,X_2,{\cdots},X_n\}$ for $n{\geq}1$. We say $X_j$ is an upper record value of {$X_n$, $n{\geq}1$}, if $Y_j$ > $Y_{j-1}$, $j$ > 1. The indices at which the upper record values occur are given by the record times {$u(n)$}, $n{\geq}1$, where $u(n)=min\{j{\mid}j>u(n-1),X_j>X_{u(n-1)},n{\geq}2\}$ and $u(1)=1$. Suppose $X{\in}POW(0,1,{\theta})$ then $$E\left(\frac{X^r_{u(m)}}{X^{s+1}_{u(n)}}\right)=\frac{\theta}{s}E\left(\frac{X^r_{u(m)}}{X^s_{u(n-1)}}\right)+\frac{(s-\theta)}{s}E\left(\frac{X^r_{u(m)}}{X^s_{u(n)}\right)\;and\;E\left(\frac{X^{r+1}_{u(m)}}{X^s_{u(n)}}\right)=\frac{\theta}{n+1}\left[E\left(\frac{X^{r+1}_{u(m-1)}}{X^s_{u(n+1)}}\right)-E\left(\frac{X^{r+1}_{u(m)}}{X^s_{u(n-1)}}\right)+\frac{r+1}{\theta}E\left(\frac{X^r_{u(m)}}{X^s_{u(n)}}\right)\right]$$.