• The Pure and Applied Mathematics
• /
• v.17 no.1
• /
• pp.107-113
• /
• 2010

In this paper, we study the root system of rank 2 symmetric hyperbolic Kac-Moody algebras. We give the sufficient conditions for existence of imaginary roots of square length -2k ($k\;{\in}\;\mathbb{Z}$>0). We also give several relations between the roots on g(A).

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.635-643
• /
• 2002

Our main goal is to show that if there exist Jordan derivations D and G on a noncommutative (n + 1)!-torsion free prime ring R such that $$D(x)x^n-x^nG(x)\in\ C(R)$$ for all $x\in\ R$, then we have D=0 and G=0. We also prove that if there exists a derivation D on a noncommutative 2-torsion free prime ring R such that the mapping $\chi$longrightarrow[aD($\chi$), $\chi$] is commuting on R, then we have either a = 0 or D = 0.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.75-95
• /
• 1999

Dimensions of irreducible $so_5(F)$-modules over an algebraically closed field F of characteristics p > 2 shall be obtained. It turns out that they should be coincident with $p^{m}$, where 2m is the dimension of coadjoint orbits of ${\chi}{\in}so_5(F)^*{\backslash}0$ as Premet asserted. But there is no subregular point for $g=sp_4(F)=so_5(F)$ over F.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1145-1153
• /
• 2014

Let G be a finite group and X be a union of conjugacy classes of G. Define C(G,X) to be the graph with vertex set X and $x,y{\in}X$ ($x{\neq}y$) joined by an edge whenever they commute. In the case that X = G, this graph is named commuting graph of G, denoted by ${\Delta}(G)$. The aim of this paper is to study the automorphism group of the commuting graph. It is proved that Aut(${\Delta}(G)$) is abelian if and only if ${\mid}G{\mid}{\leq}2$; ${\mid}Aut({\Delta}(G)){\mid}$ is of prime power if and only if ${\mid}G{\mid}{\leq}2$, and ${\mid}Aut({\Delta}(G)){\mid}$ is square-free if and only if ${\mid}G{\mid}{\leq}3$. Some new graphs that are useful in studying the automorphism group of ${\Delta}(G)$ are presented and their main properties are investigated.

• School Mathematics
• /
• v.11 no.3
• /
• pp.527-546
• /
• 2009

This study was designed to gain insights into instrumental genesis process of CAS in Korean high school students and to explore its practical potentials in secondary mathematics education. Two activities, such as Concept-Centered Mathematics Activity based on CAS and Problem Solving Activities, were constructed and executed to 10th Grade seven students for twelve class hours. The finding on the students' activities are as follows : it is meaningful in mathematics education, especially in algebra education, in that the CAS based concept centered mathematics activity offers great opportunities to deal with high-qualified application problems. The problem solving activities based on the instrumented CAS may have an influence on the sequence of mathematics curriculum, e.g. the optimization problems may precede the calculus problems such as derivatives in high school. The results of this study to investigate the instrumental genesis of CAS in mathematical activities will give insights into the secondary mathematics curriculum to prepare the CAS in Korea.

• Research in Mathematical Education
• /
• v.1 no.1
• /
• pp.1-5
• /
• 1997

We discuss some aspects of mathematics for teachers such as algebra for teachers, geometry for teachers, statistics for teachers, etc., which can be taught in teacher preparation courses. Mathematics for teachers should consider the followings: (a) Various solutions for a problem, (b) The dynamics of a problem introduced by change of condition, (c) Relationship of mathematics to real life, (d) Mathematics history and historical issues, (e) The difference between pure mathematics and pedagogical mathematics, (f) Understanding of the theoretical backgrounds, and (g) Understanding advanced mathematics.

• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.229-235
• /
• 2016

In this paper we study the regularity of inside (or outside) (${\theta},{\phi}$)-derivations in BCI-algebras X and prove that let $d_{({\theta},{\phi})}:X{\rightarrow}X$ be an inside (${\theta},{\phi}$)-derivation of X. If there exists a ${\alpha}{\in}X$ such that $d_{({\theta},{\phi})}(x){\ast}{\theta}(a)=0$, then $d_{({\theta},{\phi})}$ is regular for all $x{\in}X$. It is also shown that if X is a BCK-algebra, then every inside (or outside) (${\theta},{\phi}$)-derivation of X is regular. Furthermore the concepts of ${\theta}$-ideal, ${\phi}$-ideal and invariant inside (or outside) (${\theta},{\phi}$)-derivations of X are introduced and their related properties are investigated. Finally we obtain the following result: If $d_{({\theta},{\phi})}:X{\rightarrow}X$ is an outside (${\theta},{\phi}$)-derivation of X, then $d_{({\theta},{\phi})}$ is regular if and only if every ${\theta}$-ideal of X is $d_{({\theta},{\phi})}$-invariant.

• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Journal of applied mathematics & informatics
• /
• v.33 no.5_6
• /
• pp.545-557
• /
• 2015

A vague graph is a generalized structure of a fuzzy graph that gives more precision, flexibility and compatibility to a system when compared with systems that are designed using fuzzy graphs. In this paper, we define two new operation on vague graphs namely normal product and tensor product and study about the degree of a vertex in vague graphs which are obtained from two given vague graphs G₁ and G₂ using the operations cartesian product, composition, tensor product and normal product. These operations are highly utilized by computer science, geometry, algebra, number theory and operation research. In addition to the existing operations these properties will also be helpful to study large vague graph as a combination of small, vague graphs and to derive its properties from those of the smaller ones.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.