• Journal of Elementary Mathematics Education in Korea
• /
• v.13 no.1
• /
• pp.1-15
• /
• 2009

This research is to provide a useful reference for the future revision of textbook by comparative analysis with the textbook in the 4th grade of elementary school in Japan. The results from this research is same as follows: First, Korean curriculum is emphasizing the reasonable problem-solving ability developed on the base of the mathematical knowledge and skill. Meantime, Japanese puts much value on the is focusing on discretion and the capability in life so that they emphasize each person's learning and raising the power of self-learning and thinking. The ratio on mathematics in both company are high, but Japanese ensures much more hours than Korean. Second, the chapter of Korean textbook is composed of 8 units and the title of the chapter is shown as key word, then the next objects are describes as 'Shall we do$\sim$' type. Hence, the chapter composition of Japanese textbook is different among the chapter and the title of the chapter is described as 'Let's do$\sim$'. Moreover, Korean textbook is arranged focusing on present study, however Japanese is composed with each independent segments in the present study subject to the study contents. Third, Japanese makes students understand the decimal as the extension of the decimal system with measuring unit($\ell$, km, kg) then, learn the operation by algorithm. In Korea, students learn fraction earlier than decimal, but, in Japan students learn decimal earlier than fraction. For the diagram, in Korea, making angle with vertex and side comes after the concept of angle, vertex and side is explained. Hence, in Japan, they show side and vertex to present angle.

• Journal of Elementary Mathematics Education in Korea
• /
• v.1 no.1
• /
• pp.67-86
• /
• 1997

The purposes of this paper are to show problem-solving strategies and their typical problems to suggest specific ways to teach strategies to promote problem-solving abilities. (1) Problem-solving strategies can be divided into general strategies and specific strategies. General strategies refer to procedural teaching-learning activities based on Polya's 4 step problem-solving. Specific strategies refer to Lenchner's 12 problem solving strategies and their characteristics which are helpful to the substantial solution of specific problems. (2) Concerning to problem-solving strategies teaching, the followings are suggested. First, the sequence of strategy teaching should be from easy to difficult ones, from short to long ones. Second problems for strategy training should be simple and good enough to serve as examples of the strategies. Repetition with similar problems are needed. Third, analysis and comparison of various strategies, and extension and adaptation of the strategies to complicate problems are needed. Fourth, procedures of strategies teaching are the follows: Have students make their own strategies focused on the solution process; Have students solve the problems with expectation of the solving methods; Have students compare and reflect on their solving methods; And assess problem - solving processes.

• Journal of Educational Research in Mathematics
• /
• v.20 no.3
• /
• pp.275-292
• /
• 2010

In this study, we discussed the way to teach algebra earlier through investigating to research trends of Early Algebra and researching about nature of subject involving algebra. There is a strong view that arithmetic and algebra have analogous forms and that algebra is on extension to arithmetic. Nevertheless, it is also possible to present a perspective that the fundamental goal and role of symbols and letters are difference between arithmetic and algebra. And, we could recognize that geometry was starting point of algebra trough historical perspectives. To consider these, we extracted some of possible directions to approaches to teach algebra earlier. To access to teaching algebra earlier, following ways are possible. (1) To consider informal strategy of young children. (2) Arithmetic reasoning considered of the algebraic relation. (3) Starting to algebraic reasoning in the context of geometrical problem situation. (4) To present young students to tool of letters and formular.

• Journal of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.393-410
• /
• 2013

Let $R{\subseteq}T$ be an extension of integral domains, X be an indeterminate over T, and R[X] and T[X] be polynomial rings. Then $R{\subseteq}T$ is said to be LCM-stable if $(aR{\cap}bR)T=aT{\cap}bT$ for all $0{\neq}a,b{\in}R$. Let $w_A$ be the so-called $w$-operation on an integral domain A. In this paper, we introduce the notions of $w(e)$- and $w$-LCM-stable extensions: (i) $R{\subseteq}T$ is $w(e)$-LCM-stable if $((aR{\cap}bR)T)_{w_T}=aT{\cap}bT$ for all $0{\neq}a,b{\in}R$ and (ii) $R{\subseteq}T$ is $w$-LCM-stable if $((aR{\cap}bR)T)_{w_R}=(aT{\cap}bT)_{w_R}$ for all $0{\neq}a,b{\in}R$. We prove that LCM-stable extensions are both $w(e)$-LCM-stable and $w$-LCM-stable. We also generalize some results on LCM-stable extensions. Among other things, we show that if R is a Krull domain (resp., $P{\upsilon}MD$), then $R{\subseteq}T$ is $w(e)$-LCM-stable (resp., $w$-LCM-stable) if and only if $R[X]{\subseteq}T[X]$ is $w(e)$-LCM-stable (resp., $w$-LCM-stable).

• Journal of applied mathematics & informatics
• /
• v.30 no.1_2
• /
• pp.161-171
• /
• 2012

We consider the fourth-order differential equation with one-dimensional $p$-Laplacian (${\phi}_p(x^{\prime\prime}(t)))^{\prime\prime}=f(t,x(t),x^{\prime}(t),x^{\prime\prime}(t)$) a.e. $t{\in}[0,1]$, subject to the boundary conditions $x^{\prime\prime}}(0)=0$, $({\phi}_p(x^{\prime\prime}(t)))^{\prime}{\mid}_{t=0}=0$, $x(0)={\sum}_{i=1}^n{\mu}_ix({\xi}_i)$, $x(t)=x(1-t)$, $t{\in}[0,1]$, where ${\phi}_p(s)={\mid}s{\mid}^{p-2}s$, $p$ > 1, 0 < ${\xi}_1$ < ${\xi}_2$ < ${\cdots}$ < ${\xi}_n$ < $\frac{1}{2}$, ${\mu}_i{\in}\mathbb{R}$, $i=1$, 2, ${\cdots}$, $n$, ${\sum}_{i=1}^n{\mu}_i=1$ and $f:[0,1]{\times}\mathbb{R}^3{\rightarrow}\mathbb{R}$ is a $L^1$-Carath$\acute{e}$odory function with $f(t,u,v,w)=f(1-t,u,-v,w)$ for $(t,u,v,w){\in}[0,1]{\times}\mathbb{R}^3$. We obtain the existence of at least one nonconstant symmetric solution by applying an extension of Mawhin's continuation theorem due to Ge. Furthermore, an example is given to illustrate the results.

• Journal of Educational Research in Mathematics
• /
• v.21 no.4
• /
• pp.399-422
• /
• 2011

There has been an agreement on the necessity for each citizen is to be educated, so called, to develop quantitative literacy or statistical literacy, dealing with real world data. For this reason, it is highly demanded to improve traditional statistics education. In particular, critical thought and statistical communication competency cultivation is becoming more crucial in statistics classes. In line with this reform movement in statistics education, we developed tasks facilitating statistical debate among students through inducing cognitive conflict. The tasks employed for this study resulted in playing crucial role to activate statistical debate. Including aforementioned feature about the tasks for this study, we obtained several positive results such as promoting critical thought and conceptual extension by designed teaching experiment focusing on statistical debate.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.439-450
• /
• 2019

Let R be a ring with unity. Given modules $M_R$ and $_RN$, $M_R$ is said to be absolutely $_RN$-pure if $M{\otimes}N{\rightarrow}L{\otimes}N$ is a monomorphism for every extension $L_R$ of $M_R$. For a module $M_R$, the subpurity domain of $M_R$ is defined to be the collection of all modules $_RN$ such that $M_R$ is absolutely $_RN$-pure. Clearly $M_R$ is absolutely $_RF$-pure for every flat module $_RF$, and that $M_R$ is FP-injective if the subpurity domain of M is the entire class of left modules. As an opposite of FP-injective modules, $M_R$ is said to be a test for flatness by subpurity (or t.f.b.s. for short) if its subpurity domain is as small as possible, namely, consisting of exactly the flat left modules. Every ring has a right t.f.b.s. module. $R_R$ is t.f.b.s. and every finitely generated right ideal is finitely presented if and only if R is right semihereditary. A domain R is $Pr{\ddot{u}}fer$ if and only if R is t.f.b.s. The rings whose simple right modules are t.f.b.s. or injective are completely characterized. Some necessary conditions for the rings whose right modules are t.f.b.s. or injective are obtained.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.905-913
• /
• 2023

Suppose that M is a strictly convex hypersurface in the (n + 1)-dimensional Euclidean space 𝔼ⁿ⁺¹ with the origin o in its convex side and with the outward unit normal N. For a fixed point p ∈ M and a positive constant t, we put 𝚽_t the hyperplane parallel to the tangent hyperplane 𝚽 at p and passing through the point q = p - tN(p). We consider the region cut from M by the parallel hyperplane 𝚽_t, and denote by I_p(t) the (n + 1)-dimensional volume of the convex hull of the region and the origin o. Then Schneider's characterization theorem for ellipsoids states that among centrally symmetric, strictly convex and closed surfaces in the 3-dimensional Euclidean space 𝔼³, the ellipsoids are the only ones satisfying I_p(t) = 𝜙(p)t, where 𝜙 is a function defined on M. Recently, the characterization theorem was extended to centrally symmetric, strictly convex and closed hypersurfaces in 𝔼ⁿ⁺¹ satisfying for a constant 𝛽, I_p(t) = 𝜙(p)t^𝛽. In this paper, we study the volume I_p(t) of a strictly convex and complete hypersurface in 𝔼ⁿ⁺¹ with the origin o in its convex side. As a result, first of all we extend the characterization theorem to strictly convex and closed (not necessarily centrally symmetric) hypersurfaces in 𝔼ⁿ⁺¹ satisfying I_p(t) = 𝜙(p)t^𝛽. After that we generalize the characterization theorem to strictly convex and complete (not necessarily closed) hypersurfaces in 𝔼ⁿ⁺¹ satisfying I_p(t) = 𝜙(p)t^𝛽.

• Journal of the Korean Mathematical Society
• /
• v.45 no.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.

• Journal of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.101-129
• /
• 2018

From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic p. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as a suitable substitute for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring ${\mathbf{F}}_q$[[T]] in one variable T over a finite field ${\mathbf{F}}_q$ of q elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous ${\mathbf{F}}_q$-linear functions on ${\mathbf{F}}_q$[[T]]. According to the digit principle, every continuous function on ${\mathbf{F}}_q$[[T]] is uniquely written in terms of a q-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the p-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on ${\mathbf{Z}}_p$.