• 한국생활과학회지
• /
• 제17권1호
• /
• pp.35-43
• /
• 2008

The purpose of this study is to develop evaluation tools for young children's mathematical ability based on the content standards of NCTM and to verify the suitability of the tools. The tools consist of 5 sub-tests with 90 items, including number and operation, algebra, geometry, measurement, data analysis and probability. The tool analysis was examined with 300 three-to five-years-old children and 31 math education professionals. The results of this research are as follows : First, in order of age the passing rate increased. The gap between high and low score group reveals a statistically meaningful difference. Second, the internal consistency reliability coefficient, Cronbach ${\alpha}$, is .96. Test-retest reliability is around .90. The concurrent validity correlation between this tools and Choi Hye-Jin's test(2003) is .85. The analysis of the content validity was proved appropriately by math education professionals.

• 대한수학회논문집
• /
• 제20권4호
• /
• pp.645-648
• /
• 2005

Let K be a Galois extension of a field F with G = Gal(K/F). Let L be an extension of F such that $K\;{\otimes}_F\;L\;=\; N_1\;{\oplus}N_2\;{\oplus}{\cdots}{\oplus}N_k$ with corresponding primitive idempotents $e_1,\;e_2,{\cdots},e_k$, where Ni's are fields. Then G acts on $\{e_1,\;e_2,{\cdots},e_k\}$ transitively and $Gal(N_1/K)\;{\cong}\;\{\sigma\;{\in}\;G\;/\;{\sigma}(e_1)\;=\;e_1\}$. And, let R be a commutative F-algebra, and let P be a prime ideal of R. Let T = $K\;{\otimes}_F\;R$, and suppose there are only finitely many prime ideals $Q_1,\;Q_2,{\cdots},Q_k$ of T with $Q_i\;{\cap}\;R\;=\;P$. Then G acts transitively on $\{Q_1,\;Q_2,{\cdots},Q_k\},\;and\;Gal(qf(T/Q_1)/qf(R/P))\;{\cong}\;\{\sigma{\in}\;G/\;{\sigma}-(Q_1)\;=\;Q_1\}$ where qf($T/Q_1$) is the quotient field of $T/Q_1$.

• 한국수학사학회지
• /
• 제11권2호
• /
• pp.35-42
• /
• 1998

It is an undecidable problem to determine whether a given equation logically follows from a given set of equations. However, it is possible to give the answer to many instances of the problem, even though impossible to answer all the instances, by using rewrite systems and completion procedures. Rewrite systems and completion procedures can be implemented as computer programs. The new equations such a computer program generates are theorems that hold in the given equational theory. For example, a completion procedure applied on the group axioms generates simple theorems about groups. Mathematics students' teaming to know the existence and mechanisms of computer programs that prove simple theorems can be a significant help to promote the interests in abstract algebra and logic, and the motivation for studying.

• 대한수학회보
• /
• 제36권2호
• /
• pp.337-342
• /
• 1999

M. Cohen and S. Montgomery showed that a Maschke-type theorem for the smash product, which unlike the corresponding result for group actions, does not require any assumptions about the characterstic of the algebra. Our purpose in this paper is a Maschke-type theorem for the graded smash coproduct C⋊kG: let V be a right C⋊kG-comodule and W a C⋊kG-subcomoduleof V which is a C-direct summand of V. Then W is a C⋊kG-direct summand of V. Also this result is equivalent to the following : let V be a graded right C-comodule and W a graded subcomodule of V which has a complement as a C-subcomodule of V. Then W has a graded complement.

• 충청수학회지
• /
• 제24권3호
• /
• pp.503-515
• /
• 2011

Let G be a compact connected semisimple Lie group, B the Killing form of the algebra g of G, and g the invariant metric induced by B. Then, we obtain a necessary and sufficient condition for a left invariant linear connection D with a Weyl structure ($D,\;g,\;{\omega}$) on (G, g) to be projectively flat (resp. Einstein-Weyl). And, we also get that if a left invariant linear connection D with a Weyl structure ($D,\;g,\;{\omega}$) on (G, g) which has symmetric Ricci tensor $Ric^D$ is projectively flat, then the connection D is Einstein-Weyl; but the converse is not true. Moreover, we show that if a left invariant connection D with Weyl structure ($D,\;g,\;{\omega}$) on (G, g) is projectively flat (resp. Einstein-Weyl), then D is a Yang-Mills connection.

• 대한수학회지
• /
• 제61권1호
• /
• pp.109-132
• /
• 2024

The Clifford algebra of a direct sum of real quadratic spaces appears as the superalgebra tensor product of the Clifford algebras of the summands. The purpose of the current paper is to present a purely settheoretical version of the superalgebra tensor product which will be applicable equally to groups or to their non-associative analogues - quasigroups and loops. Our work is part of a project to make supersymmetry an effective tool for the study of combinatorial structures. Starting from group and quasigroup structures on four-element supersets, our superproduct unifies the construction of the eight-element quaternion and dihedral groups, further leading to a loop structure which hybridizes the two groups. All three of these loops share the same character table.

• 대한수학회지
• /
• 제45권4호
• /
• pp.1075-1087
• /
• 2008

We study a class of KMS-symmetric quantum Markovian semigroups on a quantum spin system ($\mathcal{A},{\tau},{\omega}$), where $\mathcal{A}$ is a quasi-local algebra, $\tau$ is a strongly continuous one parameter group of *-automorphisms of $\mathcal{A}$ and $\omega$ is a Gibbs state on $\mathcal{A}$. The semigroups can be considered as the extension of semi groups on the nontrivial abelian subalgebra. Let $\mathcal{H}$ be a Hilbert space corresponding to the GNS representation con structed from $\omega$. Using the general construction method of Dirichlet form developed in [8], we construct the symmetric Markovian semigroup $\{T_t\}{_t_\geq_0}$ on $\mathcal{H}$. The semigroup $\{T_t\}{_t_\geq_0}$ acts separately on two subspaces $\mathcal{H}_d$ and $\mathcal{H}_{od}$ of $\mathcal{H}$, where $\mathcal{H}_d$ is the diagonal subspace and $\mathcal{H}_{od}$ is the off-diagonal subspace, $\mathcal{H}=\mathcal{H}_d\;{\bigoplus}\;\mathcal{H}_{od}$. The restriction of the semigroup $\{T_t\}{_t_\geq_0}$ on $\mathcal{H}_d$ is Glauber dynamics, and for any ${\eta}{\in}\mathcal{H}_{od}$, $T_t{\eta}$, decays to zero exponentially fast as t approaches to the infinity.

• 대한수학회논문집
• /
• 제34권1호
• /
• pp.279-286
• /
• 2019

Complex Grassmann manifolds $G_{n,k}$ are a generalization of complex projective spaces and have many important features some of which are captured by the $Pl{\ddot{u}}cker$ embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$ where $N=\(^n_k\)$. The problem of existence of cross sections of fibrations can be studied using the Gottlieb group. In a more generalized context one can use the relative evaluation subgroup of a map to describe the cohomology of smooth fiber bundles with fiber the (complex) Grassmann manifold $G_{n,k}$. Our interest lies in making use of techniques of rational homotopy theory to address problems and questions involving applications of Gottlieb groups in general. In this paper, we construct the Sullivan minimal model of the (complex) Grassmann manifold $G_{n,k}$ for $2{\leq}k<n$, and we compute the rational evaluation subgroup of the embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$. We show that, for the Sullivan model ${\phi}:A{\rightarrow}B$, where A and B are the Sullivan minimal models of ${\mathbb{C}}P^{N-1}$ and $G_{n,k}$ respectively, the evaluation subgroup $G_n(A,B;{\phi})$ of ${\phi}$ is generated by a single element and the relative evaluation subgroup $G^{rel}_n(A,B;{\phi})$ is zero. The triviality of the relative evaluation subgroup has its application in studying fibrations with fibre the (complex) Grassmann manifold.

• 대한수학회보
• /
• 제22권1호
• /
• pp.11-15
• /
• 1985

Manddelberg [9] has shown that a Clifford algebra of a free quadratic space over an arbitrary semi-local ring R in Brawer-Wall group BW(R) is determined by its rank, determinant, and Hasse invariant. In this paper, we prove a corresponding result when R is a full ring.Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is non-degenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$(V,R) induced by B is an isomorphism), and with a quadratic mapping .phi.: V.rarw.R such that B(x,y)=1/2(.phi.(x+y)-.phi.(x)-.phi.(y)) and .phi.(rx) = $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U9R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$,.., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2 we reserve the notation [a $a_{11}$, $a_{22}$] for the space. A commutative ring R having 2 a unit is called full [10] if for every triple $a_{1}$, $a_{2}$, $a_{3}$ of elements in R with ( $a_{1}$, $a_{2}$, $a_{3}$)=R, there is an element w in R such that $a_{1}$+ $a_{2}$w+ $a_{3}$ $w^{2}$=unit.TEX>=unit.t.t.t.

• 한국학교수학회논문집
• /
• 제11권1호
• /
• pp.97-115
• /
• 2008

고등학교 수학 수업에서는 실수 전체의 집합에서 뺄셈은 빼는 수의 덧셈의 역원을 더하고 나눗셈은 나누는 수의 곱셈의 역원을 곱하는 형식적인 관점으로 다룬다. 본 논문에서는 정수의 사칙계산 지도에 있어서 중학교 수학 수업에서 사용되는 직관적 모델(수직선 모델, 셈돌 모델)과 고등학교 수학 수업에서 제시되는 형식적 관점과의 연계에 대하여 논의하고자 한다. 직관적 모델을 이용하여 정수의 뺄셈을 덧셈을 이용하여 나타내는 방법의 의미를 재조명하고 이를 바탕으로 (음수)${\times}$(음수)가 양수임을 지도하는 새로운 방안을 제안하고자 한다. 직관적 모델의 일관성 있는 활용에 바탕을 두고 Treffers(1986)와 Freudenthal(1991)이 제안한 수평적 수학화(horizontal mathematization)의 과정을 통하여 정수의 사칙계산을 지도하는 이 방법은 중학교와 고등학교에서 정수의 사칙계산 수업에 참여하는 교사와 학생들 모두에게 나타날 수 있는 단절(박임숙, 2001)을 제거할 수 있는 방안이 될 것이다. 또 이것은 중 고등학교에서 다루는 수 체계들이 대학과정 대수학에서 다루는 추상적인 수 체계(group, ring, field)와 계통성을 가진 하나의 개념구조를 형성한다는 사실을 학생들이 인지할 수 있는 밑바탕이 될 것이다.