• Bulletin of the Korean Mathematical Society
• /
• v.42 no.4
• /
• pp.679-690
• /
• 2005

Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, d a non-zero derivation of R, I a non-zero right ideal of R, f($x_1,{\cdots},\;x_n$) a multilinear polynomial in n non-commuting variables over K, a $\in$ R. Supppose that, for any $x_1,{\cdots},\;x_n\;\in\;I,\;a[d(f(x_1,{\cdots},\;x_n)),\;f(x_1,{\cdots},\;x_n)]$ = 0. If $[f(x_1,{\cdots},\;x_n),\;x_{n+1}]x_{n+2}$ is not an identity for I and $$S_4(I,\;I,\;I,\;I)\;I\;\neq\;0$$, then aI = ad(I) = 0.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1257-1272
• /
• 2019

This article concerns the structure of idempotents in reversible and pseudo-reversible rings in relation with various sorts of ring extensions. It is known that a ring R is reversible if and only if $ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba; and a ring R shall be said to be pseudoreversible if $0{\neq}ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba, where I(R) is the set of all idempotents in R. Pseudo-reversible is seated between reversible and quasi-reversible. It is proved that the reversibility, pseudoreversibility, and quasi-reversibility are equivalent in Dorroh extensions and direct products. Dorroh extensions are also used to construct several sorts of rings which are necessary in the process.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.669-681
• /
• 1998

In this paper, we prove that on the complete Kahler manifold, if ${\rho}(x){\geq}-\frac{1}{2}{\lambda}_0$ and either ${\rho}(x_0)>-\frac{1}{2}{lambda}_0$ at some point $x_0$ or Vol(M)=${\infty}$, then the Clifford $L^2$ cohomology group $L^2{\mathcal H}^{\ast}(M,S)$ is trivial, where $\rho(x)$ is the least eigenvalue of ${\mathcal R}_x + \bar{{\mathcal R}}(x)\;and\;{\lambda}_0$ is the infimum of the spectrum of the Laplacian acting on $L^2$-functions on M.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1531-1548
• /
• 2016

Let C[0, t] denote the space of real-valued continuous functions on [0, t] and define a random vector $Z_n:C[0,t]{\rightarrow}\mathbb{R}^n$ by $Z_n(x)=(\int_{0}^{t_1}h(s)dx(s),{\ldots},\int_{0}^{t_n}h(s)dx(s))$, where 0 < $t_1$ < ${\cdots}$ < $ t_n=t$ is a partition of [0, t] and $h{\in}L_2[0,t]$ with $h{\neq}0$ a.e. Using a simple formula for a conditional expectation on C[0, t] with $Z_n$, we evaluate a generalized analytic conditional Wiener integral of the function $G_r(x)=F(x){\Psi}(\int_{0}^{t}v_1(s)dx(s),{\ldots},\int_{0}^{t}v_r(s)dx(s))$ for F in a Banach algebra and for ${\Psi}=f+{\phi}$ which need not be bounded or continuous, where $f{\in}L_p(\mathbb{R}^r)(1{\leq}p{\leq}{\infty})$, {$v_1,{\ldots},v_r$} is an orthonormal subset of $L_2[0,t]$ and ${\phi}$ is the Fourier transform of a measure of bounded variation over $\mathbb{R}^r$. Finally we establish various change of scale transformations for the generalized analytic conditional Wiener integrals of $G_r$ with the conditioning function $Z_n$.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.6
• /
• pp.1387-1408
• /
• 2022

Let R be a commutative ring with a non-zero identity, S be a multiplicatively closed subset of R and M be a unital R-module. In this paper, we define a submodule N of M with (N :_R M)∩S = ∅ to be weakly S-prime if there exists s ∈ S such that whenever a ∈ R and m ∈ M with 0 ≠ am ∈ N, then either sa ∈ (N :_R M) or sm ∈ N. Many properties, examples and characterizations of weakly S-prime submodules are introduced, especially in multiplication modules. Moreover, we investigate the behavior of this structure under module homomorphisms, localizations, quotient modules, cartesian product and idealizations. Finally, we define two kinds of submodules of the amalgamation module along an ideal and investigate conditions under which they are weakly S-prime.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.499-510
• /
• 2009

For a Borel function ${\psi}:\mathbb{R}{\times}\mathbb{R}{\rightarrow}\mathbb{R}$ satisfying the functional equation $\psi$ (s + t, u + v) + $\psi$(s - t, u - v) = $2\psi$(s, u) + $2\psi$(t, v), we show that it satisfies the functional equation $$\psi$$(s, t) = s(s - t)$$\psi$$(1, 0) + $$st\psi$$(1, 1) + t(t - s)$$\psi$$(0, 1). Using this, we prove the stability of the functional equation f(ax + ay, bz + bw) + f(ax - ay, bz - bw) = 2abf(x, z) + 2abf(y,w) in Banach modules over a unital $C^*$-algebra.

• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.787-811
• /
• 1999

Let M be the maximal ideal space of the Banach algebra $H^{\infty}$ of bounded analytic functions on the open unit disc $\triangle$. For a positive singular measure ${\mu}\;on\;{\partial\triangle},\;let\;{L_{+}}^1(\mu)$ be the set of measures v with $0\;{\leq}\;{\nu}\;{\ll}\;{\mu}\;and\;{{\psi}_{\nu}}$ the associated singular inner functions. Let $R(\mu)\;and\;R_0(\mu)$ be the union sets of $\{$\mid$\psiv$\mid$\;<\;1\}\;and\;\{$\mid${\psi}_{\nu}$\mid$\;<\;0\}\;in\;M\;{\setminus}\;{\triangle},\;{\nu}\;\in\;{L_{+}}^1(\mu)$, respectively. It is proved that if $S(\mu)\;=\;{\partial\triangle}$, where $S(\mu)$ is the closed support set of $\mu$, then $R(\mu)\;=\;R0(\mu)\;=\;M{\setminus}({\triangle}\;{\cup}\;M(L^{\infty}(\partial\triangle)))$ is generated by $H^{\infty}\;and\;\overline{\psi_{\nu}},\;{\nu}\;{\in}\;{L_1}^{+}(\mu)$. It is proved that %d{\theta}(S(\mu))\;=\;0$ if and only if there exists as Blaschke product b with zeros $\{Zn\}_n$ such that $R(\mu)\;{\subset}\;{$\mid$b$\mid$\;<\;1}\;and\;S(\mu)$ coincides with the set of cluster points of $\{Zn\}_n$. While, we proved that $\mu$ is a sum of finitely many point measure such that $R(\mu)\;{\subset}\;\{$\mid${\psi}_{\lambda}$\mid$\;<\;1}\;and\;S(\lambda)\;=\;S(\mu)$. Also it is studied conditions on \mu for which $R(\mu)\;=\;R0(\mu)$.

• Communications of the Korean Mathematical Society
• /
• v.27 no.4
• /
• pp.669-687
• /
• 2012

As a generalization of the concept of a fuzzy implicative filter which is introduced by Liu and Li [3], the notion of (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filters is introduced, and related properties are investigated. The relationship between (${\in}$, ${\in}{\vee}q_k$)-fuzzy filters and (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filters is established. Conditions for an (${\in}$, ${\in}{\vee}q_k$)-fuzzy filter to be an (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filter are considered. Characterizations of an (${\in}$, ${\in}{\vee}q_k$)-fuzzy implicative filter are provided, and the implication-based fuzzy implicative filters of an $R_0$-algebra is discussed.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.597-602
• /
• 1997

Let H be a separable complex Hilbert space and L(H) be the *-algebra of all bounded linear operators on H. For $T \in L(H)$, we construct a pair of semi-positive definite operators $$ $\mid$T$\mid$_r = (T^*T)^{\frac{1}{2}} and $\mid$T$\mid$_l = (TT^*)^{\frac{1}{2}}. $$ An operator T is called a semi-hyponormal operator if $$ Q_T = $\mid$T$\mid$_r - $\mid$T$\mid$_l \geq 0. $$ In this paper, by using a technique introduced by Berberian [1], we show that the approximate point spectrum $\sigma_{ap}(T)$ of a semi-hyponomal operator T is empty.

• Journal of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.1025-1050
• /
• 2007

Let $X_k(x)=({\int}^T_o{\alpha}_1(s)dx(s),...,{\int}^T_o{\alpha}_k(s)dx(s))\;and\;X_{\tau}(x)=(x(t_1),...,x(t_k))$ on the classical Wiener space, where ${{\alpha}_1,...,{\alpha}_k}$ is an orthonormal subset of $L_2$ [0, T] and ${\tau}:0 is a partition of [0, T]. In this paper, we establish a change of scale formula for conditional Wiener integrals $E[G_{\gamma}|X_k]$ of functions on classical Wiener space having the form $$G_{\gamma}(x)=F(x){\Psi}({\int}^T_ov_1(s)dx(s),...,{\int}^T_o\;v_{\gamma}(s)dx(s))$$, for $F{\in}S\;and\;{\Psi}={\psi}+{\phi}({\psi}{\in}L_p(\mathbb{R}^{\gamma}),\;{\phi}{\in}\hat{M}(\mathbb{R}^{\gamma}))$, which need not be bounded or continuous. Here S is a Banach algebra on classical Wiener space and $\hat{M}(\mathbb{R}^{\gamma})$ is the space of Fourier transforms of measures of bounded variation over $\mathbb{R}^{\gamma}$. As results of the formula, we derive a change of scale formula for the conditional Wiener integrals $E[G_{\gamma}|X_{\tau}]\;and\;E[F|X_{\tau}]$. Finally, we show that the analytic Feynman integral of F can be expressed as a limit of a change of scale transformation of the conditional Wiener integral of F using an inversion formula which changes the conditional Wiener integral of F to an ordinary Wiener integral of F, and then we obtain another type of change of scale formula for Wiener integrals of F.