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

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.6
• /
• pp.1355-1364
• /
• 1996

A complex object model is one of the value based data model which extends the existing relational data model for supporting complex structured data. This paper studies a method for designing algebra for the complex object model. For this some others' algebra supporting complex objects are compared and analysed in terms of the applicability of a algebraic optimization strategics. The complex object algebra is designed, based on four principles, simple and clear definitions, no restriction on input data, single specification system. The central nature of this paper is to keep the basis of algebraic optimization method through simplicity, safety and the applicability of algebraic optimization strategy. Finally, it shown that the designed algebra has the equivalent or enhanced expressability with other's algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.193-199
• /
• 1993

A hereditary $C^{*}$-subalgebra B of a $C^{*}$-algebra A is said to be full if B is not contained in any proper closed two-sided ideal in A, so each hereditary $C^{*}$-subalgebra of a simple $C^{*}$-algebra is always full. It is well known that every $C^{*}$-algebra is strong Morita equivalent to its full hereditary $C^{*}$-subalgebra, but the strong Morita equivalence of a $C^{*}$-algebra A and its hereditary $C^{*}$-subalgebra B does not imply the fullness of B, ingeneral. We present the following lemma for our computational convenience in the course of the proof of the main theorem. Note that $L_{B}$, $L_{B}$$^{*}$ and $L_{B}$ $L_{B}$$^{*}$ are all .alpha.-invariant whenever B is .alpha.-invariant under the action .alpha. of G.a. of G.a. of G.a. of G.f G.

• Communications of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.153-159
• /
• 2008

For $\mathbb{F}[e^{{\pm}x}]_{\{{\partial}\}}$, all the derivations of the evaluation algebra $\mathbb{F}[e^{{\pm}x}]_{\{{\partial}\}}$ is found in the paper (see [16]). For $M=\{{\partial}_1,\;{\partial}_1^2\},\;Der_{non}(\mathbb{F}[e^{{\pm}x}]_M))$ of the evaluation algebra $\mathbb{F}[e^{{\pm}x},\;e^{{\pm}y}]_M$ is found in the paper (see [2]). For $M=({\partial}_1^2,\;{\partial}_2^2)$, we find $Der_{non}(\mathbb{F}[e^{{\pm}x},\;e^{{\pm}y}]_M))$ of the evaluation algebra $\mathbb{F}[e^{{\pm}x},\;e^{{\pm}y}]_M$ in this paper.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.591-603
• /
• 2005

A representation for non-commutative Banach algebras is discussed, which generalizes the Gelfand representation for commutative Banach algebras and the Gelfand-Naimark representation for $C^{\ast}$-algebras. Its basic properties are also investigated. In appendix, an example of Banach algebra that is neither semi-simple nor radical is presented.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.499-518
• /
• 1995

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.679-686
• /
• 2017

The present paper is devoted to self-adjoint cyclically compact operators on Hilbert-Kaplansky module over a ring of bounded measurable functions. The spectral theorem for such a class of operators is given. We use more simple and constructive method, which allowed to apply this result to compact operators relative to von Neumann algebras. Namely, a general form of compact operators relative to a type I von Neumann algebra is given.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.521-531
• /
• 2000

Graph C*-algebras C*(E) are the universal C*-algebras generated by partial isometries satisfying the Cuntz-Krieger relations determined by directed graphs E, and it is known that a simple graph C*-algebra is extremally rich in sense that it contains enough extreme consider a sufficient condition on a graph for which the associated graph algebra(possibly nonsimple) is extremally rich. We also present examples of nonextremally rich prime graph C*-algebras with finitely many ideals and with real rank zero.

• Communications of the Korean Mathematical Society
• /
• v.18 no.3
• /
• pp.439-447
• /
• 2003

Let (equation omitted) be a symmetrizable Kac-Moody algebra with the indecomposable generalized Cartan matrix A and W be its Weyl group. Let $\theta$ be the highest root of the corresponding finite dimensional simple Lie algebra ${\gg}$ of g. For the type ${A_N}^{(r)}$, we give an element $\omega_{o}\;\in\;W$ such that ${{\omega}_o}^{-1}({\{\Delta\Delta}_{+}})\;=\;{\{\Delta\Delta}_{-}}$. And then we prove that the degree of nilpotency of the subalgebra (equation omitted) is greater than or equal to $ht{\theta}+1$.

• Honam Mathematical Journal
• /
• v.17 no.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)