• 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.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.1
• /
• pp.91-103
• /
• 2013

Let (D,B) be an admissible pair. Then recall that $B\;{\times}^L_HD^{{\rightarrow}{\pi}_D}_{{\leftarrow}i_D}\;D$ are bialgebra maps satisfying ${\pi}_D{\circ}i_D=I$. We have solved a converse in case D is a Hopf algebra. Let D be a Hopf algebra with antipode $S_D$ and be a left H-comodule algebra and a left H-module coalgebra over a field $k$. Let A be a bialgebra over $k$. Suppose $A^{{\rightarrow}{\pi}}_{{\leftarrow}i}D$ are bialgebra maps satisfying ${\pi}{\circ}i=I_D$. Set ${\Pi}=I_D*(i{\circ}s_D{\circ}{\pi}),B=\Pi(A)$ and $j:B{\rightarrow}A$ be the inclusion. Suppose that ${\Pi}$ is an algebra map. We show that (D,B) is an admissible pair and $B^{\leftarrow{\Pi}}_{\rightarrow{j}}A^{\rightarrow{\pi}}_{\leftarrow{i}}D$ is an admissible mapping system and that the generalized biproduct bialgebra $B{\times}^L_HD$ is isomorphic to A as bialgebras.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.813-823
• /
• 2024

In this paper, we prove that every 2-local derivation on several classes of C^*-algebras, such as unital properly infinite, type I or residually finite-dimensional C^*-algebras, is a derivation. We show that the following statements are equivalent: (1) every 2-local derivation on a C^*-algebra is a derivation, (2) every 2-local derivation on a unital primitive antiliminal and no properly infinite C^*-algebra is a derivation. We also show that every 2-local derivation on a group C^*-algebra C^*(𝔽) or a unital simple infinite-dimensional quasidiagonal C^*-algebra, which is stable finite antiliminal C^*-algebra, is a derivation.

• Journal of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.859-869
• /
• 1997

It is shown that for $A_{k, m}$ a k-homogeneous $C^*$-algebra over $S^{2n - 1} \times S^1$ such that no non-trivial matrix algebra can be factored out of $A_{k, m}$ and $A_{k, m} \otimes M_l(C)$ has a non-trivial bundle structure for any positive integer l, we construct an $A_{k, m^-} C(S^{2n - 1} \times S^1) \otimes M_k(C)$-equivalence bimodule to show that every k-homogeneous $C^*$-algebra over $S^{2n - 1} \times S^1)$. Moreover, we prove that the tensor product of the k-homogeneous $C^*$-algebra $A_{k, m}$ with a UHF-algebra of type $p^\infty$ has the tribial bundle structure if and only if the set of prime factors of k is a subset of the set of prime factors of pp.

• Communications of the Korean Mathematical Society
• /
• v.21 no.1
• /
• pp.45-52
• /
• 2006

Every non-associative algebra L corresponds to its symmetric semi-Lie algebra $L_{[,]}$ with respect to its commutator. It is an interesting problem whether the equality $Aut{non}(L)=Aut_{semi-Lie}(L)$ holds or not [2], [13]. We find the non-associative algebra automorphism groups $Aut_{non}\; \frac\;{(WN_{0,0,1}_{[0,1,r_1...,r_p])}$ and $Aut_{non-Lie}\; \frac\;{(WN_{0,0,1}_{[0,1,r_1...,r_p])}$ where every automorphism of the automorphism groups is the composition of elementary maps [3], [4], [7], [8], [9], [10], [11]. The results of the paper show that the F-algebra automorphism groups of a polynomial ring and its Laurent extension make easy to find the automorphism groups of the algebras in the paper.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.17-21
• /
• 2011

Let A be a co-Poisson Hopf algebra with Poisson co-bracket $\delta$. Here it is shown that the Hopf dual $A^{\circ}$ is a Poisson Hopf algebra with Poisson bracket {f, g}(x) = < $\delta(x)$, $f\;{\otimes}\;g$ > for any f, g $\in$ $A^{\circ}$ and x $\in$ A if A is an almost normalizing extension over the ground field. Moreover we get, as a corollary, the fact that the Hopf dual of the universal enveloping algebra U(g) for a finite dimensional Lie bialgebra g is a Poisson Hopf algebra.

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.657-673
• /
• 2009

The fixed point algebra $C^*(E)^{\gamma}$ of a gauge action $\gamma$ on a graph $C^*$-algebra $C^*(E)$ and its AF subalgebras $C^*(E)^{\gamma}_{\upsilon}$ associated to each vertex v do play an important role for the study of dynamical properties of $C^*(E)$. In this paper, we consider the stability of $C^*(E)^{\gamma}$ (an AF algebra is either stable or equipped with a (nonzero bounded) trace). It is known that $C^*(E)^{\gamma}$ is stably isomorphic to a graph $C^*$-algebra $C^*(E_{\mathbb{Z}}\;{\times}\;E)$ which we observe being stable. We first give an explicit isomorphism from $C^*(E)^{\gamma}$ to a full hereditary $C^*$-subalgebra of $C^*(E_{\mathbb{N}}\;{\times}\;E)({\subset}\;C^*(E_{\mathbb{Z}}\;{\times}\;E))$ and then show that $C^*(E_{\mathbb{N}}\;{\times}\;E)$ is stable whenever $C^*(E)^{\gamma}$ is so. Thus $C^*(E)^{\gamma}$ cannot be stable if $C^*(E_{\mathbb{N}}\;{\times}\;E)$ admits a trace. It is shown that this is the case if the vertex matrix of E has an eigenvector with an eigenvalue $\lambda$ > 1. The AF algebras $C^*(E)^{\gamma}_{\upsilon}$ are shown to be nonstable whenever E is irreducible. Several examples are discussed.

• School Mathematics
• /
• v.2 no.1
• /
• pp.29-51
• /
• 2000

In this study, we tried to suggest an example of the analysis on the use of mathematical manipulatives. Taking algebra tiles as an example of mathematical manipulatives, we analysed several effects resulted from the use of algebra tiles. The algebra tiles make it possible to do activities that are needed to introduce and explain the distributive law and factoring. The algebra tiles have a several advantages; First of all, This model is simple. Even though they cannot make algebra easy, this model can play an important role in the transition to a new algebra course. This model provides access to symbol manipulation for students who had previously been frozen out of the course because of their weak number sense. This model provides a geometric interpretation of symbol manipulation, thereby enriching students' understanding, This model supports cooperative learning, and help improve discourse in the algebra class by giving students objects to think with and talk about. On the other hand, The disadvantages of this model are as follows; the model reinforces the misconception that -x is negative, and x is positive; the area model of multiplication is not geometrically sound when minus is involved; only the simplest expressions involving minus can be represented; It is ineffective when be used the learning of already known concept. Mathematics teachers must have a correct understanding about these advantages and disadvantages of manipulatives. Therefore, they have to plan classroom work that be maximized the positive effect of manipulatives and minimized the negative effect of manipulatives.

• Journal of the Chungcheong Mathematical Society
• /
• v.6 no.1
• /
• pp.65-69
• /
• 1993

In this paper, we show that the module derivation D is continuous on the Banach algebra and the Silov algebra, and also that the derivation restricted by separating space and the radical on the semi prime Banach algebra is continuous.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.453-467
• /
• 2005

Let K be an algebraic number field. If k is the maximal cyclotomic subextension in K then the Schur K-group S(K) is obtained from the Schur k-group S(k) by scalar extension. In the paper we study projective Schur group PS(K) which is a generalization of Schur group, and prove that a projective Schur K-algebra is obtained by scalar extension of a projective Schur k-algebra where k is the maximal radical extension in K with mild condition.