• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.117-132
• /
• 2011

By developing a linear algebra program involving many different structures associated to a three-graded H*-algebra, it is shown that if L is a Lie triple automorphism of an infinite-dimensional topologically simple associative H*-algebra A, then L is either an automorphism, an anti-automorphism, the negative of an automorphism or the negative of an anti-automorphism. If A is finite-dimensional, then there exists an automorphism, an anti-automorphism, the negative of an automorphism or the negative of an anti-automorphism F : A $\rightarrow$ A such that $\delta$:= F - L is a linear map from A onto its center sending commutators to zero. We also describe L in the case of having A zero annihilator.

• Proceedings of the KIEE Conference
• /
• 2005.07a
• /
• pp.229-231
• /
• 2005

This paper presents the nonlinear $H_{\infty}$ switching power system stabilizer (PSS) based on Lie group and Lie transformation theory. The proposed controller combines the $H_{\infty}$ switching controller and Lie theory. The proposed power system stabilizer (PSS) is used to improve the transient stability in the time-domain and to solve the problem associated with the inaccessible state variables by measuring only the angular velocity. In the simulation study, the different load conditions, fault periods, and fault locations are considered. The nonlinear time-domain simulation showed that the proposed controller was effective restoring transient stability in a one-machine infinite-bus power system.

• Journal of the Chungcheong Mathematical Society
• /
• v.19 no.2
• /
• pp.159-175
• /
• 2006

This paper is a survey on the Hyers-Ulam-Rassias stability of the Jensen functional equation in $C^*$-algebras. The concept of Hyers-Ulam-Rassias stability originated from the Th.M. Rassias' stability theorem that appeared in his paper: On the stability of the linear mapping in Banach spaces, Proc. Amer. Math. Soc. 72 (1978), 297-300. Its content is divided into the following sections: 1. Introduction and preliminaries. 2. Approximate isomorphisms in $C^*$-algebras. 3. Approximate isomorphisms in Lie $C^*$-algebras. 4. Approximate isomorphisms in $JC^*$-algebras. 5. Stability of derivations on a $C^*$-algebra. 6. Stability of derivations on a Lie $C^*$-algebra. 7. Stability of derivations on a $JC^*$-algebra.

• Journal of applied mathematics & informatics
• /
• v.36 no.3_4
• /
• pp.237-244
• /
• 2018

Let ${\mathcal{H}}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let L be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in ${\mathcal{L}}$. Let p and q be natural numbers (p < q). Let ${\mathcal{A}}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $T_{(p,q)}=0$ for all T in ${\mathcal{A}}$. If ${\mathcal{A}}$ is a Lie ideal, then $T_{(p,p)}=T_{(p+1,p+1)}={\cdots}=T_{(q,q)}$ and $T_{(i,j)}=0$, $p{\eqslantless}i{\eqslantless}q$ and i < $j{\eqslantless}q$ for all T in ${\mathcal{A}}$.

• The Pure and Applied Mathematics
• /
• v.23 no.4
• /
• pp.347-375
• /
• 2016

Let R be a 3!-torsion free noncommutative semiprime ring, U a Lie ideal of R, and let $D:R{\rightarrow}R$ be a Jordan derivation. If [D(x), x]D(x) = 0 for all $x{\in}U$, then D(x)[D(x), x]y - yD(x)[D(x), x] = 0 for all $x,y{\in}U$. And also, if D(x)[D(x), x] = 0 for all $x{\in}U$, then [D(x), x]D(x)y - y[D(x), x]D(x) = 0 for all $x,y{\in}U$. And we shall give their applications in Banach algebras.

• Kyungpook Mathematical Journal
• /
• v.57 no.3
• /
• pp.525-535
• /
• 2017

In this paper, we consider two kinds of derivatives for the shape operator of a real hypersurface in a $K{\ddot{a}}hler$ manifold which are named the Lie derivative and the covariant derivative with respect to the k-th generalized Tanaka-Webster connection ${\hat{\nabla}}^{(k)}$. The purpose of this paper is to study Hopf hypersurfaces in complex Grassmannians of rank two, whose Lie derivative of the shape operator coincides with the covariant derivative of it with respect to ${\hat{\nabla}}^{(k)}$ either in direction of any vector field or in direction of Reeb vector field.

• The Pure and Applied Mathematics
• /
• v.17 no.1
• /
• pp.87-92
• /
• 2010

Let R be a 2-torsion free $\sigma$-prime ring with an involution $\sigma$, U a nonzero square closed $\sigma$-Lie ideal, Z(R) the center of Rand d a derivation of R. In this paper, it is proved that d = 0 or $U\;{\subseteq}\;Z(R)$ if one of the following conditions holds: (1) $d(xy)\;-\;xy\;{\in}\;Z(R)$ or $d(xy)\;-\;yx\;{\in}Z(R)$ for all x, $y\;{\in}\;U$. (2) $d(x)\;{\circ}\;d(y)\;=\;0$ or $d(x)\;{\circ}\;d(y)\;=\;x\;{\circ}\;y$ for all x, $y\;{\in}\;U$ and d commutes with $\sigma$.

• Journal for History of Mathematics
• /
• v.22 no.2
• /
• pp.13-26
• /
• 2009

Elie Cartan is one of the mathematicians whose works marked the development of geometry and algebra of 20th century. We illuminate his mathematical contributions which is familiar to the experts but is alien to most of the mathematicians in general. Also we elucidate some of his influences.

• Communications of the Korean Mathematical Society
• /
• v.25 no.3
• /
• pp.327-333
• /
• 2010

Let R be a 2-torsion free prime ring, U a nonzero Lie ideal of R such that $u^2\;{\in}\;U$ for all $u\;{\in}\;U$. In the present paper, it is proved that if d is a nonzero derivation and [[d(u), u], u] = 0 for all $u\;{\in}\;U$, then $U\;{\subseteq}\;Z(R)$. Moreover, suppose that $d_1$, $d_2$, $d_3$ are nonzero derivations of R such that $d_3(y)d_1(x)\;=\;d_2(x)d_3(y)$ for all x, $y\;{\in}\;U$, then $U\;{\subseteq}\;Z(R)$. Finally, some examples are given to demonstrate that the restrictions imposed on the hypothesis of the above results are not superfluous.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.973-981
• /
• 2021

Let R be a commutative ring with identity 1, n ≥ 3, and let 𝒯_n(R) be the linear Lie algebra of all upper triangular n × n matrices over R. A linear map 𝜑 on 𝒯_n(R) is called to be strong commutativity preserving if [𝜑(x), 𝜑(y)] = [x, y] for any x, y ∈ 𝒯_n(R). We show that an invertible linear map 𝜑 preserves strong commutativity on 𝒯_n(R) if and only if it is a composition of an idempotent scalar multiplication, an extremal inner automorphism and a linear map induced by a linear function on 𝒯_n(R).