• 호남수학학술지
• /
• 제17권1호
• /
• pp.7-14
• /
• 1995

The purpose of this study is to construct the structure of the connected Lie group G with its Lie algebra $g=rad(g){\oplus}sl(2, \mathbb{F})$, which conforms to Stellmacher's [4] Pushing Up. The main idea of this paper comes from Stellmacher's [4] Pushing Up. Stelhnacher considered Pushing Up under a finite p-group. This paper, however, considers Pushing Up under the connected Lie group G with its Lie algebra $g=rad(g){\oplus}sl(2, \mathbb{F})$. In this paper, $O_p(G)$ in [4] is Q=exp(q), where q=nilrad(g) and a Sylow p-subgroup S in [7] is S=exp(s), where $s=q{\oplus}\{\(\array{0&*\\0&0}\){\mid}*{\in}\mathbb{F}\}$. Showing the properties of the connected Lie group and the subgroups of the connected Lie group with relations between a connected Lie group and its Lie algebras under the exponential map, this paper constructs the subgroup series C_z(G)

• 대한수학회지
• /
• 제35권2호
• /
• pp.331-340
• /
• 1998

We define the spherical non-commutative torus $L_{\omega}$/ as the crossed product obtained by an iteration of l crossed products by actions of, the first action on C( $S^{2n＋l}$). Assume the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus $A_{p}$ with a matrix algebra $M_{m}$ ( ) (m > 1). We prove that $L_{\omega}$/ $M_{p}$ (C) is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{mp}$ (C), and that the tensor product of $L_{\omega}$/ with a UHF-algebra $M_{p{\infty}}$ of type $p^{\infty}$ is isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) $M_{p{\infty}}$ if and only if the set of prime factors of m is a subset of the set of prime factors of p. Furthermore, it is shown that the tensor product of $L_{\omega}$/, with the C＊-algebra K(H) of compact operators on a separable Hilbert space H is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) K(H) if Prim( $L_{\omega}$/) is homeomorphic to $L^{k}$ (n)$\times$ $T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.$T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.e.

• 대한수학회보
• /
• 제55권4호
• /
• pp.1037-1049
• /
• 2018

In this paper, we have first presented the construction of the linear characters of a finite Coxeter group $G_n$ of type $B_n$ by lifting all linear characters of the quotient group $G_n/[G_n,G_n]$ of the commutator subgroup $[G_n,G_n]$. Also we show that the sets of distinguished coset representatives $D_A$ and $D_{A^{\prime}}$ for any two signed compositions A, A' of n which are $G_n$-conjugate to each other and for each conjugate class ${\mathcal{C}}_{\lambda}$ of $G_n$, where ${\lambda}{\in}\mathcal{BP}(n)$, the equality ${\mid}{\mathcal{C}}_{\lambda}{\cap}D_A{\mid}={\mid}{\mathcal{C}}_{\lambda}{\cap}D_{A^{\prime}}{\mid}$ holds. Finally, we have given the general structure of units of Mantaci-Reutenauer algebra.

• 대한수학회논문집
• /
• 제17권3호
• /
• pp.475-485
• /
• 2002

We estimate the stable rank, connected stable rank and general stable rank of the multiplier algebras of $C^{＊}$-algebras under some conditions and prove that the ranks of them are infinite. Moreover, we show that for any $\sigma$-unital subhomogeneous $C^{＊}$-algebra, its stable rank is equal to that of its multiplier algebra.

• 대한수학회보
• /
• 제31권2호
• /
• pp.167-172
• /
• 1994

For a given $C^{*}$-dynamical system (A, G, .alpha.) with a G-simple $C^{*}$-algebra A (that is A has no proper .alpha.-invariant ideal) many authors have studied the simplicity of a $C^{*}$-crossed product A $x_{\alpha{r}}$ G. In [1] topological freeness of an action is shown to guarantee the simplicity of the reduced $C^{*}$-crossed product A $x_{\alpha{r}}$ G when A is G-simple. In this paper we investigate the pure infiniteness of a simple $C^{*}$-crossed product A $x_{\alpha}$ G of a purely infinite simple $C^{*}$-algebra A and a topologically free action .alpha. of a finite group G, and find a sufficient condition in terms of the action on the spectrum of the multiplier algebra M(A) of A. Showing this we also prove that some extension of a topologically free action is still topologically free.

• 대한수학회보
• /
• 제25권2호
• /
• pp.167-170
• /
• 1988

Versions of Tannaka duality in operator algebraic context have been obtained in [6], [8] etc. Suppose .sigma.is an automorphism of a von Neumann algebra M, on which there is an action .alpha. of a compact group G such that .sigma. vertical bar $M^{\alpha}$=id, where $M^{\tau}$is the fixed point algebra under the action .alpha.. Then it is shown that if there is an action .tau. of a group H which commutes with .alpha., and which is ergodic in the sense that the fixed point algebra $M^{\tau}$ is trivial, then there exists g.mem.G such that .sigma.=.alpha.(g). Recently Evans and Kishimoto ([4]) showed the versions of Tannaka duality in $C^{*}$-settings under some conditions.s.

• Kyungpook Mathematical Journal
• /
• 제47권2호
• /
• pp.203-219
• /
• 2007

We estimate the stable rank and connected stable rank of group $C^*$-algebra of certain disconnected solvable Lie groups such as semi-direct products of connected solvable Lie groups by the integers.

• 대한수학회보
• /
• 제34권4호
• /
• pp.525-533
• /
• 1997

We analysis spectral subspaces of $C^*$-algebras for a compacr group action. And we prove the condition that the fixed point algebra of the product action is the tensor product of the fixed point algebras.

• 대한수학회지
• /
• 제34권3호
• /
• pp.633-651
• /
• 1997

For a non-degenerate symmetric bilinear form $\sigma$ on a finite dimensional vector space E, the Jordan algebra of $\sigma$-symmetric operators has a symmetric cone $\Omega_\sigma$ of positive definite operators with respect to $\sigma$. The cone $C_\sigma$ of elements (x,y) \in E \times E with \sigma(x,y) \geq 0$ gives the compression semigroup. In this work, we show that in the sutomorphism group of the tube domain over $\Omega_\sigma$, this semigroup has a UDL and Ol'shanskii decompositions and is exactly the compression semigroup of $\Omega_sigma$.

• 대한수학회논문집
• /
• 제12권1호
• /
• pp.75-78
• /
• 1997

We show that if a simple $C^*$-algebra A satisfies certain $K_1$-group conditions, then two unitarily equivalent projections are homotopic. Also we show that the equivalence of projections determined by a dimension function is a homotopy.