• The Mathematical Education
• /
• v.44 no.3 s.110
• /
• pp.337-360
• /
• 2005

In this paper we develop textbook 'Modem Algebra' for training mathematics teacher of secondary schools. In order to understand mathematics teacher's viewpoint about desirable textbook 'Modem Algebra' we created a Questionnaire related with curriculum and textbook for training mathematics teacher of secondary schools. We analyze the result of the questionnaire along with recent studies on teacher education and come up with basic principles of developing textbook 'Modern Algebra'. The first version of 'Modern Algebra for Mathematics Teachers' that we have developed based on our study can be found in website 'www.teacheredu.co.kr'.

• Journal of applied mathematics & informatics
• /
• v.38 no.1_2
• /
• pp.65-77
• /
• 2020

In this paper, for any non-empty subsets A, I of a pseudo BCI-algebra X, we introduce the concept of pseudo p-closure of A with respect to I, denoted by A^pc_I, and investigate some related properties. Applying this concept, we state a necessary and sufficient condition for a pseudo BCI-algebra 1) to be a p-semisimple pseudo BCI-algebra; 2) to be a pseudo BCK-algebra. Moreover, we show that A^pc_{0} is the least positive pseudo ideal of X containing A, and characterize it by the union of some branches. We also show that the set of all pseudo ideals of X which A^pc_I = A, is a complete lattice. Finally, we prove that this notion can be used to define a closure operation.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.1
• /
• pp.89-104
• /
• 2010

In a rapidly changing and increasingly technological society. the use of technology should not be disregarded in issues of learning algebra. The use of technology in learning algebra raises many learning and pedagogical issues. In this article, previous research on the use of technology in learning algebra is synthesized on the basis of the four issues: conceptual understanding, skills, instrumental genesis, and transparency. Finally, suggestions for future research into technological pedagogical content knowledge (TPCK) are made.

• Journal for History of Mathematics
• /
• v.23 no.2
• /
• pp.89-99
• /
• 2010

Today linear algebra is one of compulsory courses for university mathematics by virtue of its theoretical fundamentals and fruitful applications. Vector theory and matrix theory constitute of main topics in linear algebra. In the present paper we consider the question which of the two topics is prior in teaching of linear algebra. We suggest that vector theory should be prior to matrix theory contrary to the historical order of them.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.353-358
• /
• 2012

In this paper, we focus on pseudo-Riemannian associative fermionic Novikov algebras. We prove that the underlying Lie algebras of pseudo-Riemannian associative fermionic Novikov algebras are 2-step nilpotent and that pseudo-Riemannian associative fermionic Novikov algebras are 3-step nilpotent. Moreover, we construct a pseudo-Riemannian associative fermionic Novikov algebra in dimension 14, which is not a Novikov algebra. It implies that the inverse proposition of Corollary 2 in the paper "Pseudo-Riemannian Novikov algebras" [J. Phys. A: Math. Theor. 41 (2008), 315207] does not hold.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.3
• /
• pp.337-344
• /
• 2000

In this paper, we define a Process Algebra ACSMR(Algebra of Communicating Shared Multiple Resources) for system specification and verification using multiple resources. ACSMR extends a concept of multiple resources in ACSR that is a branch of formal methods based on process algebra. We'll show that two specification and verification examples. One is the specification of system behavior in multiprocessor using EDF(Earliest-Deadline-First) which is a scheduling algorithm of a real-time system. The other is the specification of describing timing analysis and resources restriction in a super scalar processor using multiple ports registers.

• Journal of the Korean Mathematical Society
• /
• v.41 no.3
• /
• pp.461-477
• /
• 2004

It is shown that every almost linear mapping h : A\longrightarrowB of a unital $C^{*}$ -algebra A to a unital $C^{*}$ -algebra B is a homomorphism under some condition on multiplication, and that every almost linear continuous mapping h : A\longrightarrowB of a unital $C^{*}$ -algebra A of real rank zero to a unital $C^{*}$ -algebra B is a homomorphism under some condition on multiplication. Furthermore, we are going to prove the generalized Hyers-Ulam-Rassias stability of *-homomorphisms between unital $C^{*}$ -algebras, and of C-linear *-derivations on unital $C^{*}$ -algebras./ -algebras.

• Honam Mathematical Journal
• /
• v.28 no.2
• /
• pp.197-204
• /
• 2006

For the evaluation algebra $F[e^{{\pm}{\chi}}]_M$, if M={$\partial$}, the automorphism group $Aut_{non}$($F[e^{{\pm}{\chi}}]_M$) and $Der_{non}$($F[e^{{\pm}{\chi}}]_M$) of the evaluation algebra $F[e^{{\pm}{\chi}}]_M$ are found in the paper [12]. For M={${\partial}^n$}, we find $Aut_{non}$($F[e^{{\pm}{\chi}}]_M$) and $Der_{non}$($F[e^{{\pm}{\chi}}]_M$) of the evaluation algebra $F[e^{{\pm}{\chi}}]_M$ in this paper. We show that a derivation of some non-associative algebra is not inner.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.447-452
• /
• 2005

Given operators X and Y on a Hilbert space H, an interpolating operator is a bounded operator A such that AX = Y. In this article, we investigate compact interpolation problems for vectors in a tridiagonal algebra. Let L be a subspace lattice acting on a separable complex Hilbert space H and Alg L be a tridiagonal algebra. Let X = $(x_{ij})\;and\;Y\;=\;(y_{ij})$ be operators acting on H. Then the following are equivalent: (1) There exists a compact operator A = $(x_{ij})$ in AlgL such that AX = Y. (2) There is a sequence {$\alpha_n$} in $\mathbb{C}$ such that {$\alpha_n$} converges to zero and $$y_1\;_j=\alpha_1x_1\;_j+\alpha_2x_2\;_j\;y_{2k}\;_j=\alpha_{4k-1}x_{2k\;j}\;y_{2k+1\;j}=\alpha_{4k}x_{2k\;j}+\alpha_{4k+1}x_{2k+1\;j}+\alpha_{4k+2}x_{2k+2\;j\;for\;all\;k\;\epsilon\;\mathbb{N}$$.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.265-270
• /
• 1994

In 1966, Iseki [2] introduced the notion of BCI-algebras which is a generalization of BCK-algebras. Lei and Xi [3] discussed a new class of BCI-algebra, which is called a p-semisimple BCI-algebra. For p-semisimple BCI-algebras, a subalgebra is an ideal. But a subalgebra of an arbitrary BCI/BCK-algebra is not necessarily an ideal. In this note, a BCI/BCK-algebra that every subalgebra is an ideal is called a normal BCI/BCK-algebra, and we give characterizations of normal BCI/BCK-algebras. Moreover we give a positive answer to the problem which is posed in [4].(omitted)