• Korean Journal of English Language and Linguistics
• /
• v.3 no.1
• /
• pp.109-132
• /
• 2003

This paper argues that AGREE and Multiple AGREE are not distinct, and they are constrained by a single Minimality condition. It is argued, contra Chomsky (2001) and Hiraiwa (2000), that Multiple AGREE takes place not simultaneously but sequentially on the basis of a Minimality Condition. That makes it possible to assimilate Multiple AGREE to AGREE.

• Journal of Educational Research in Mathematics
• /
• v.14 no.4
• /
• pp.435-447
• /
• 2004

There are divergent opinions about condition of triangle-determining. The purpose of this study was to compare those opinions and to identify cause of this phenomena. As a result of our study, we got to find out significant characteristics of proposition related to condition of triangle-determining. These aspects shows what cause of that phenomena is. First, that proposition is used as a theortical tool, not as a practical one. Second, that proposition presupposes that a triangle exists. Third, that proposition is connected with minimality and generality. However, our analysis is for teacher, not for student. Thus, we suggest a guiding principle as well as a guiding method in relation to teaching of that proposition.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.3
• /
• pp.341-351
• /
• 2007

The primary purpose of this treatise is to suggest the solutions as follows for the errors concerning the triangle determination and congruence in every Korean mathematics textbook for 7th graders: showing that SsA, along with SSS, SAS, ASA, should also be included as the condition for triangle determination, congruence and similarity; proving that contrary to what has been believed, minimality applies only to congruence and similarity but not to determination; examining related Euclidean propositions; discussing the confusion about the characteristics of determination and congruence; and considering the negative effects of giving definite figures in construction education. The secondary purpose is to analyze the significance of triangle determinant that is not dealt with in either Euclid's Elements or the text books in the U.S. or Japan, and suggest a way to effectively deal with triangle determination and congruence in education.

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.7-13
• /
• 2012

In this paper we consider pseudo-BCK/BCI-algebras. In particular, we consider properties of minimal elements ($x{\leq}a$ implies x = a) in terms of the binary relation $\leq$ which is reflexive and anti-symmetric along with several more complicated conditions. Some of the properties of minimal elements obtained bear resemblance to properties of B-algebras in case the algebraic operations $\ast$ and $\circ$ are identical, including the property $0{\circ}(0{\ast}a)$ = a. The condition $0{\ast}(0{\circ}x)=0{\circ}(0{\ast}x)=x$ all $x{\in}X$ defines the class of p-semisimple pseudo-BCK/BCI-algebras($0{\leq}x$ implies x = 0) as an interesting subclass whose further properties are also investigated below.

• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.493-511
• /
• 2008

In this article, we study the relations of horizontally homothetic harmonic morphisms with the stability of totally geodesic submanifolds. Let $\varphi:(M^n,g)\rightarrow(N^m,h)$ be a horizontally homothetic harmonic morphism from a Riemannian manifold into a Riemannian manifold of non-positive sectional curvature and let T be the tensor measuring minimality or totally geodesics of fibers of $\varphi$. We prove that if T is parallel and the horizontal distribution is integrable, then for any totally geodesic submanifold P in N, the inverse set, $\varphi^{-1}$(P), is volume-stable in M. In case that P is a totally geodesic hypersurface the condition on the curvature can be weakened to Ricci curvature.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.1077-1097
• /
• 2019

Let M be a finitely generated module over a regular local ring (R, n). We will fix an n-stable filtration for M and show that the minimal free resolution of M can be obtained from any filtered free resolution of M by zero and negative consecutive cancellations. This result is analogous to [10, Theorem 3.1] in the more general context of filtered free resolutions. Taking advantage of this generality, we will study resolutions obtained by the mapping cone technique and find a sufficient condition for the minimality of such resolutions. Next, we give another application in the graded setting. We show that for a monomial order ${\sigma}$, Betti numbers of I are obtained from those of $LT_{\sigma}(I)$ by so-called zero ${\sigma}$-consecutive cancellations. This provides a stronger version of the well-known cancellation "cancellation principle" between the resolution of a graded ideal and that of its leading term ideal, in terms of filtrations defined by monomial orders.

• Journal of the Chungcheong Mathematical Society
• /
• v.34 no.1
• /
• pp.1-15
• /
• 2021

In the recent papers, S'anchez-Reyes [Appl. Math. Model. 40 (2016), 1676-1682] described the method for finding a minimal surface through a geodesic, and Li et al. [Appl. Math. Model. 37 (2013), 6415-6424] studied the approximation of minimal surfaces with a geodesic from Dirichlet function. In the present article, we consider an isoparametric surface generated by Frenet frame of a curve introduced by Wang et al. [Comput. Aided Des. 36 (2004), 447-459], and give the necessary and sufficient condition to satisfy both geodesic of the curve and minimality of the surface. From this, we construct minimal surfaces in terms of constant curvature and torsion of the curve. As a result, we present a new approach for constructions of the minimal surfaces from a prescribed closed geodesic and unclosed geodesic, and show some new examples of minimal surfaces with a circle and a helix as a geodesic. Our approach can be used in design of minimal surfaces from geodesics.