• 대한수학교육학회지:학교수학
• /
• 제2권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.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1355-1364
• /
• 1996

복합 객체 모델은 복잡한 구조 데이타를 지원하기 위해 기존의 관계형 데이타 모 델을 자연스럽게 확장한 값 중심 데이타 모델이다. 본 논문은 복합 객체 모델의 검색 연산을 대상으로 대수적 최적화 기법의 적용이 용이한 대수 설계를 제안한다. 이를 위해 우선, 복합 객체 처리를 목적으로 제안된 기존의 대수들을 대수적 최적화 기법 의 적용성을 기준으로 비교 분석한다. 또한 단순 명료성, 데이타 구조에 대한 무제약 성, 단일 표현 체계의 설계 원칙을 기반으로 복합 객체 대수를 설계한다. 제안된 대 수의 특징은 다양한 구조의 복합 객체에 대한 대수의 안정성과 단순성을 유지하고 동 시에 대수적 최적화 기법의 적용이 용이한 점이다. 끝으로 본 연구에서 설계된 대수 가 기존 대수들과 동등하거나, 더 향상된 표현력을 갖음을 보인다.

• 대한수학회보
• /
• 제30권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.

• 대한수학회논문집
• /
• 제23권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
• /
• 제17권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.

• 대한수학회논문집
• /
• 제10권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.

• 대한수학회보
• /
• 제54권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.

• 대한수학회논문집
• /
• 제15권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.

• 대한수학회논문집
• /
• 제18권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$.

• 호남수학학술지
• /
• 제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)