• Korean Journal of Mathematics
• /
• 제5권1호
• /
• pp.61-74
• /
• 1997

Let $d$ be a positive integer with $d\not{\equiv}2$ mod 4, and let $K=\mathbb{Q}({\zeta}_{pd})$ for S an odd prime $p$ such that $p{\equiv}1$ mod $d$. Let $K_{\infty}={\bigcup}_{n{\geq}0}K_n$ be the cyclotomic $\mathbb{Z}_p$-extension of $K=K_0$. In this paper, explicit generators for the Tate cohomology group $\hat{H}^{-1}$($G_{m,n}$ are given when $d=qr$ is a product of two distinct primes, where $G_{m,n}$ is the Galois group Gal($K_m/K_n$) and $C_m$ is the group of cyclotomic units of $K_m$. This generalizes earlier results when $d=q$ is a prime.

• 대한수학회보
• /
• 제44권2호
• /
• pp.233-239
• /
• 2007

Let $\mathbb{A}=\mathbb{F}_q$[T] be the polynomial ring over a finite field $\mathbb{F}_q$[T] and K=$\mathbb{F}_q$(T) its field of fractions. Let ${\ell}$ be a fixed prime divisor of q-1. Let J be a finite set of monic irreducible polynomials $P{\in}{\mathbb{A}}$ with deg $P{\equiv}0$ (mod ${\ell})$. In this paper we define the group $C_K$ of circular units in K=k$(\{\sqrt[{\ell}]P\;:\;P{\in}J\})$ in the sense of Kucera [4] and compute the index of $C_K$ in the full unit group $O^*_K$.

• East Asian mathematical journal
• /
• 제24권1호
• /
• pp.35-43
• /
• 2008

Let E be a uniformly convex Banach space and K be a nonempty closed convex subset of E. Let ${\{T_i\}}^N_{i=1}$ be N nonexpansive self-mappings of K with $F\;=\;{\cap}^N_{i=1}F(T_i)\;{\neq}\;{\theta}$ (here $F(T_i)$ denotes the set of fixed points of $T_i$). Suppose that one of the mappings in ${\{T_i\}}^N_{i=1}$ is semi-compact. Let $\{{\alpha}_n\}\;{\subset}\;[{\delta},\;1-{\delta}]$ for some ${\delta}\;{\in}\;(0,\;1)$ and $\{{\beta}_n\}\;{\subset}\;[\tau,\;1]$ for some ${\tau}\;{\in}\;(0,\;1]$. For arbitrary $x_0\;{\in}\;K$, let the sequence {$x_n$} be defined iteratively by $\{{x_n\;=\;{\alpha}_nx_{n-1}\;+\;(1-{\alpha}_n)T_ny_n,\;\;\;\;\;\;\;\;\; \atop {y_n\;=\;{\beta}nx_{n-1}\;+\;(1-{\beta}_n)T_nx_n},\;{\forall}_n{\geq}1,}$, where $T_n\;=\;T_{n(modN)}$. Then {$x_n$} convergence strongly to a common fixed point of the mappings family ${\{T_i\}}^N_{i=1}$. The result presented in this paper generalized and improve the corresponding results of Chidume and Shahzad [C. E. Chidume, N. Shahzad, Strong convergence of an implicit iteration process for a finite family of nonexpansive mappings, Nonlinear Anal. 62(2005), 1149-1156] even in the case of ${\beta}_n\;{\equiv}\;1$ or N=1 are also new.

• 충청수학회지
• /
• 제25권1호
• /
• pp.65-72
• /
• 2012

Let T > 0 be given. Let $(C[0,T],m_{\varphi})$ be the analogue of Wiener measure space, associated with the Borel proba-bility measure ${\varphi}$ on ${\mathbb{R}}$, let $(L_{2}[0,T],\tilde{\omega})$ be the centered Gaussian measure space with the correlation operator $(-\frac{d^{2}}{dx^{2}})^{-1}$ and ${\el}_2,\;\tilde{m}$ be the abstract Wiener measure space. Let U be the space of all sequence $<c_{n}>$ in ${\el}_{2}$ such that the limit $lim_{{m}{\rightarrow}\infty}\;\frac{1}{m+1}\;\sum{^{m}}{_{n=0}}\;\sum_{k=0}^{n}\;c_{k}\;cos\;\frac{k{\pi}t}{T}$ converges uniformly on [0,T] and give a set function m such that for any Borel subset G of $\el_2$, $m(\mathcal{U}\cap\;P_{0}^{-1}\;o\;P_{0}(G))\;=\tilde{m}(P_{0}^{-1}\;o\;P_{0}(G))$. The goal of this note is to study the relationship among the measures $m_{\varphi},\;\tilde{\omega},\;\tilde{m}$ and $m$.

• 대한수학회지
• /
• 제55권5호
• /
• pp.1221-1233
• /
• 2018

Let R be a commutative ring with non-zero identity and let NN(R) = {I | I is a nonnil ideal of R}. Let M be an R-module and let ${\phi}-tor(M)=\{x{\in}M{\mid}Ix=0\text{ for some }I{\in}NN(R)\}$. If ${\phi}or(M)=M$, then M is called a ${\phi}$-torsion module. An R-module M is said to be ${\phi}$-flat, if $0{\rightarrow}{A{\otimes}_R}\;{M{\rightarrow}B{\otimes}_R}\;{M{\rightarrow}C{\otimes}_R}\;M{\rightarrow}0$ is an exact R-sequence, for any exact sequence of R-modules $0{\rightarrow}A{\rightarrow}B{\rightarrow}C{\rightarrow}0$, where C is ${\phi}$-torsion. In this paper, the concepts of NRD-submodules and NP-submodules are introduced, and the ${\phi}$-flat modules over a ${\phi}-Pr{\ddot{u}}fer$ ring are investigated.

• 대한수학회논문집
• /
• 제18권3호
• /
• pp.469-479
• /
• 2003

Let B be the open unit ball in $C^{n}$ and ${\mu}_{q}$(q > -1) the Lebesgue measure such that ${\mu}_{q}$(B) ＝ 1. Let ${L_{a,q}}^2$ be the subspace of ${L^2(B,D{\mu}_q)$ consisting of analytic functions, and let $\overline{{L_{a,q}}^2}$ be the subspace of ${L^2(B,D{\mu}_q)$) consisting of conjugate analytic functions. Let $\bar{P}$ be the orthogonal projection from ${L^2(B,D{\mu}_q)$ into $\overline{{L_{a,q}}^2}$. The little Hankel operator ${h_{\varphi}}^{q}\;:\;{L_{a,q}}^2\;{\rightarrow}\;{\overline}{{L_{a,q}}^2}$ is defined by ${h_{\varphi}}^{q}(\cdot)\;=\;{\bar{P}}({\varphi}{\cdot})$. In this paper, we will find the necessary and sufficient condition that the little Hankel operator ${h_{\varphi}}^{q}$ is bounded(or compact).

• Korean Journal of Mathematics
• /
• 제17권2호
• /
• pp.189-196
• /
• 2009

Let D be an integral domain, and let U be a group of units of D. Let $D^*=D-\{0\}$ and ${\Gamma}=D^*/U$ be the commutative cancellative semigroup under aU+bU=abU. We prove that $Cl(D)=Cl({\Gamma})$ and that D is a PvMD (resp., GCD-domain, Mori domain, Krull domain, factorial domain) if and only if ${\Gamma}$ is a PvMS(resp., GCD-semigroup, Mori semigroup, Krull semigroup, factorial semigroup). Let U=U(D) be the group of units of D. We also show that if D is integrally closed, then $D[{\Gamma}]$, the semigroup ring of ${\Gamma}$ over D, is an integrally closed domain with $Cl(D[{\Gamma}])=Cl(D){\oplus}Cl(D)$; hence D is a PvMD (resp., GCD-domain, Krull domain, factorial domain) if and only if $D[{\Gamma}]$ is.

• 대한수학회논문집
• /
• 제10권1호
• /
• pp.207-213
• /
• 1995

Let $(\Omega, F, P)$ be a probability space with F a $\sigma$-algebra of subsets of the measure space $\Omega$ and P a probability measure on $\Omega$. Suppose $a > 0$ and let $(F_t)_{t \in [0,a]}$ be an increasing family of sub-$\sigma$-algebras of F. If $r > 0$, let $J = [-r,0]$ and $C(J, R^n)$ the Banach space of all continuous paths $\gamma : J \to R^n$ with the sup-norm $\Vert \gamma \Vert = sup_{s \in J}$\mid$\gamma(s)$\mid$$ where $$\mid$\cdot$\mid$$ denotes the Euclidean norm on $R^n$. Let E,F be separable real Banach spaces and L(E,F) be the Banach space of all continuous linear maps $T : E \to F$.

• 대한수학회논문집
• /
• 제9권3호
• /
• pp.731-737
• /
• 1994

Let $(\Omega, F, P)$ be a probability space with F a $\sigma$-algebra of subsets of the measure space $\Omega$ and P a probability measures on $\Omega$. Suppose $a > 0$ and let $(F_t)_{t \in [0,a]}$ be an increasing family of sub-$\sigma$- algebras of F. If $r > 0$, let $J = [-r, 0]$ and $C(J, R^n)$ the Banach space of all continuous paths $\gamma : J \to R^n$ with the sup-norm $\Vert \gamma \Vert_C = sup_{s \in J} $\mid$\gamma(x)$\mid$$ where $$\mid$\cdot$\mid$$ denotes the Euclidean norm on $R^n$. Let E and F be separable real Banach spaces and L(E,F) be the Banach space of all continuous linear maps $T : E \to F$ with the norm $\Vert T \Vert = sup {$\mid$T(x)$\mid$_F : x \in E, $\mid$x$\mid$_E \leq 1}$.

• 호남수학학술지
• /
• 제31권2호
• /
• pp.259-265
• /
• 2009

Let $\mathcal{L}$ be a subspace lattice on a Hilbert space $\mathcal{H}$. Let x and y be vectors in $\mathcal{H}$ and let $P_x$ be the projection onto sp(x). If $P_xE$ = $EP_x$ for each E ${\in}\;\mathcal{L}$, then the following are equivalent. (1) There exists an operator A in Alg$\mathcal{L}$ such that Ax = y, Af = 0 for all f in $sp(x)^{\perp}$ and A ${\geq}$ 0. (2) sup ${\frac{{\parallel}E^{\perp}y{\parallel}}{{\parallel}E^{\perp}x{\parallel}}:E{\in}\mathcal{L}}$ < ${\infty}$ < x, y > ${\geq}$ 0. Let X and Y be operators in $\mathcal{B}(\mathcal{H})$. Let P be the projection onto $\overline{rangeX}$. If PE = EP for each E ${\in}\;\mathcal{L}$, then the following are equivalent: (1) sup ${\frac{{\parallel}E^{\perp}Yf{\parallel}}{{\parallel}E^{\perp}Xf{\parallel}}:f{\in}\mathcal{H},E{\in}\mathcal{L}}$ < ${\infty}$ and < Xf, Yf > ${\geq}$ 0 for all f in H. (2) There exists a positive operator A in Alg$\mathcal{L}$ such that AX = Y.