• 제목/요약/키워드: $I_{K,n}$

검색결과 7,741건 처리시간 0.037초

Strong Higher Derivations on Ultraprime Banach Algebras

  • Lee, Young-Whan;Park, Kyoo-Hong
    • 충청수학회지
    • /
    • 제7권1호
    • /
    • pp.117-122
    • /
    • 1994
  • In this paper we show that if {$H_n$} is a continuous strong higher derivation of order n on an ultraprime Banach algebra with a constant c, then $c||H_1||^2{\leq}4||H_2||$ and for each $1{\leq}l$ < n $$c^2||H_1||\;||H_{n-l}{\leq}6||H_n||+\frac{3}{2}\sum_{\array{i+j+k=n\\i,j,k{\geq}1}}||H_i||\;||H_j||\;||H_k||+\frac{3}{2}\sum_{\array{i+k=n\\i{\neq}l,\;n-1}}||H_i||\;||H_k|| $$ and for a strong higher derivation {$H_n$} of order n on a prime ring A we also show that if [$H_n$(x),x]=0 for all $x{\in}A$ and for every $n{\geq}1$, then A is commutative or $H_n=0$ for every $n{\geq}1$.

  • PDF

THE STABILITY OF CERTAIN SETS OF ATTACHED PRIME IDEALS RELATED TO COSEQUENCE IN DIMENSION > k

  • Khanh, Pham Huu
    • 대한수학회보
    • /
    • 제53권5호
    • /
    • pp.1385-1394
    • /
    • 2016
  • Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.

APPROXIMATION OF COMMON FIXED POINTS OF NON-SELF ASYMPTOTICALLY NONEXPANSIVE MAPPINGS

  • Kim, Jong-Kyu;Dashputre, Samir;Diwan, S.D.
    • East Asian mathematical journal
    • /
    • 제25권2호
    • /
    • pp.179-196
    • /
    • 2009
  • Let E be a uniformly convex Banach space and K a nonempty closed convex subset which is also a nonexpansive retract of E. For i = 1, 2, 3, let $T_i:K{\rightarrow}E$ be an asymptotically nonexpansive mappings with sequence ${\{k_n^{(i)}\}\subset[1,{\infty})$ such that $\sum_{n-1}^{\infty}(k_n^{(i)}-1)$ < ${\infty},\;k_{n}^{(i)}{\rightarrow}1$, as $n{\rightarrow}\infty$ and F(T)=$\bigcap_{i=3}^3F(T_i){\neq}{\phi}$ (the set of all common xed points of $T_i$, i = 1, 2, 3). Let {$a_n$},{$b_n$} and {$c_n$} are three real sequences in [0, 1] such that $\in{\leq}\;a_n,\;b_n,\;c_n\;{\leq}\;1-\in$ for $n{\in}N$ and some ${\in}{\geq}0$. Starting with arbitrary $x_1{\in}K$, define sequence {$x_n$} by setting {$$x_{n+1}=P((1-a_n)x_n+a_nT_1(PT_1)^{n-1}y_n)$$ $$y_n=P((1-b_n)x_n+a_nT_2(PT_2)^{n-1}z_n)$$ $$z_n=P((1-c_n)x_n+c_nT_3(PT_3)^{n-1}x_n)$$. Assume that one of the following conditions holds: (1) E satises the Opial property, (2) E has Frechet dierentiable norm, (3) $E^*$ has Kedec -Klee property, where $E^*$ is dual of E. Then sequence {$x_n$} converges weakly to some p${\in}$F(T).

INVARIANTS OF THE SYMMETRIC GROUP

  • Lee, Hyang-Sook
    • 대한수학회논문집
    • /
    • 제10권2호
    • /
    • pp.293-300
    • /
    • 1995
  • Let $R = k[y_1,\cdots,y_n] \otimes E[x_1, \cdots, x_n]$ with characteristic $k = p > 2$ (odd prime), where $$\mid$y_i$\mid$ = 2, $\mid$x_i$\mid$ = 1$ and $y_i = \betax_i, \beta$ is the Bockstein homomorphism. Topologically, $R = H^*(B(Z/p)^n,k)$. For a symmetric group $\sum_n, R^{\sum_n} = k[\sigma_1,\cdots,\sigma_n] \otimes E[d\sigma_1, \cdots, d\sigma_n]$ where d is the derivation satisfying $d(y_i) = x_i$ and $d(x_iy_i) = x_iy_i + x_jy_i, 1 \leq i, j \leq n$. We give a direct proof of this theorem by using induction.

  • PDF

SELF-ADJOINT INTERPOLATION ON Ax = y IN CSL-ALGEBRA ALGL

  • Kang, Joo-Ho;Jo, Young-Soo
    • Journal of applied mathematics & informatics
    • /
    • 제15권1_2호
    • /
    • pp.503-510
    • /
    • 2004
  • Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;=\;y_i,\;for\;i\;=\;1,\;2,\;\cdots,\;n$. In this paper the following is proved: Let H be a Hilbert space and L be a commutative subspace lattice on H. Let H and y be vectors in H. Let $M_x\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_ix\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;and\;M_y\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_iy\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}. Then the following are equivalent. (1) There exists an operator A in AlgL such that Ax = y, Af = 0 for all f in ${\overline{M_x}}^{\bot}$, AE = EA for all $E\;{\in}\;L\;and\;A^{*}\;=\;A$. (2) $sup\;\{\frac{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;<\;{\infty},\;{\overline{M_u}}\;{\subset}{\overline{M_x}}$ and < Ex, y >=< Ey, x > for all E in L.

On the symmetric sierpinski gaskets

  • Song, Hyun-Jong;Kang, Byung-Sik
    • 대한수학회논문집
    • /
    • 제12권1호
    • /
    • pp.157-163
    • /
    • 1997
  • Based on a n-regular polygon $P_n$, we show that $r_n = 1/(2 \sum^{[(n-4)/4]+1}_{j=0}{cos 2j\pi/n)}$ is the ratio of contractions $f_i(1 \leq i \leq n)$ at each vertex of $P_n$ yielding a symmetric gasket $G_n$ associated with the just-touching I.F.S. $g_n = {f_i $\mid$ 1 \leq i \leq n}$. Moreover we see that for any odd n, the ratio $r_n$ is still valid for just-touching I.F.S $H_n = {f_i \circ R $\mid$ 1 \leq i \leq n}$ yielding another symmetric gasket $H_n$ where R is the $\pi/n$-rotation with respect to the center of $P_n$.

  • PDF

SOME CONDITIONS FOR COMAXIMALITY OF IDEALS

  • Ahn, Sung Hun
    • Korean Journal of Mathematics
    • /
    • 제8권1호
    • /
    • pp.19-26
    • /
    • 2000
  • In this paper, it is shown that if R is a commutative ring with identity and there exists a multiplicatively closed subset S of R such that $S{\cap}Z(R/(I_1I_2{{\cdots}I_n))={\emptyset}$ and $I_1R_s,I_2R_s{\cdots},I_nR_s$ are pairwise comaximal, then $I_1I_2{\cdots}I_n=I_1{\cap}I_2{\cap}{\cdots}{\cap}I_n={\cap}^n_{i=1}(I_i\;:_R\;I_1{\cdots}I_{i-1}I_{i+1}{\cdots}I_n)$.

  • PDF

Transient Photocurrent in Amorphous Silicon Radiation Detectors

  • Lee, Hyoung-Koo;Suh, Tae-Suk;Choe, Bo-Young;Shinn, Kyung-Sub;Cho, Gyu-Seong
    • Nuclear Engineering and Technology
    • /
    • 제29권6호
    • /
    • pp.468-475
    • /
    • 1997
  • The transient photocurrent in amorphous silicon radiation detectors (n-i-n and forward biased p-i-n) were analyzed. The transient photocurrents in these devices could be modeled using multiple trap levels in the forbidden gap. Using this model the rise and decay shapes of the photocurrents could be fitted. The decaying photocurrent shapes of the p-i-n and n-i-n devices after a short duration of light pulse showed a similar behavior at low dark current density levels, but at higher dark current density levels the photocurrent of the p-i-n diode decayed faster than that of the n-i-n, which could be explained by the decreased electron lifetimes in the forward biased p-i-n diode at high dark current densities. The transient photoconductive gain behaviors in the amorphous silicon radiation detectors are discussed in terms of device configuration, dark current density and time scale.

  • PDF

SELF-ADJOINT INTERPOLATION ON AX = Y IN $\mathcal{B}(\mathcal{H})$

  • Kwak, Sung-Kon;Kim, Ki-Sook
    • 호남수학학술지
    • /
    • 제30권4호
    • /
    • pp.685-691
    • /
    • 2008
  • Given operators $X_i$ and $Y_i$ (i = 1, 2, ${\cdots}$, n) acting on a Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A acting on $\mathcal{H}$ such that $AX_i$ = $Y_i$ for i= 1, 2, ${\cdots}$, n. In this article, if the range of $X_k$ is dense in H for a certain k in {1, 2, ${\cdots}$, n), then the following are equivalent: (1) There exists a self-adjoint operator A in $\mathcal{B}(\mathcal{H})$ stich that $AX_i$ = $Y_i$ for I = 1, 2, ${\cdots}$, n. (2) $sup\{{\frac{{\parallel}{\sum}^n_{i=1}Y_if_i{\parallel}}{{\parallel}{\sum}^n_{i=1}X_if_i{\parallel}}:f_i{\in}H}\}$ < ${\infty}$ and < $X_kf,Y_kg$ >=< $Y_kf,X_kg$> for all f, g in $\mathcal{H}$.

A GENERALIZED IDEAL BASED-ZERO DIVISOR GRAPHS OF NEAR-RINGS

  • Dheena, Patchirajulu;Elavarasan, Balasubramanian
    • 대한수학회논문집
    • /
    • 제24권2호
    • /
    • pp.161-169
    • /
    • 2009
  • In this paper, we introduce the generalized ideal-based zero-divisor graph structure of near-ring N, denoted by $\widehat{{\Gamma}_I(N)}$. It is shown that if I is a completely reflexive ideal of N, then every two vertices in $\widehat{{\Gamma}_I(N)}$ are connected by a path of length at most 3, and if $\widehat{{\Gamma}_I(N)}$ contains a cycle, then the core K of $\widehat{{\Gamma}_I(N)}$ is a union of triangles and rectangles. We have shown that if $\widehat{{\Gamma}_I(N)}$ is a bipartite graph for a completely semiprime ideal I of N, then N has two prime ideals whose intersection is I.