• School Mathematics
• /
• v.11 no.4
• /
• pp.745-771
• /
• 2009

To acquire the hints of the development of children's multiplication strategies, this study tried to find the differences between the students who learned multiplication and the students who didn't. And we also tried to explore their acquired computational resources. As a result, we confirm that there is a certain direction on the development of children's multiplication strategies according to their grades and the level of acquirement of mathematical knowledge. Moreover, we comprehend that commutative law is an important part of the strategies on two-digit multiplication and that acquisition of the computational resources must precede the learning of multiplication strategies. In the end part, this article proposes a new taxonomy of strategies for multiplication. To support our proposal, we integrated the prior researches with our findings.

• Korean Journal of Computational Design and Engineering
• /
• v.10 no.6
• /
• pp.432-443
• /
• 2005

Recent three-dimensional feature-based CAD systems based on solid or non-manifold modelling functionality have been widely used for product design in manufacturing companies. When product models associated with features are used in various downstream applications such as analysis, however, simplified and abstracted models at various levels of detail (LODs) are frequently more desirable and useful than the full detailed model. To provide multi-resolution models, the features need to be rearranged according to a criterion that measures the significance of the feature. However, if the features are rearranged, the resulting shape is possibly different from the original because union and subtraction Boolean operations are not commutative. To solve this problem, in this paper, the new concept of the effective zone of a feature is defined and identified using Boolean algebra. By introducing the effective zone, an arbitrary rearrangement of features becomes possible and arbitrary LOD criteria may be selected to suit various applications. Besides, because the effective zone of a feature is independent of the data structure of the model, the multi-resolution modelling algorithm based on the effective zone can be implemented on any 3D CAD system based on conventional solid representations as well as non-manifold topological (NMT) representations.

• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.431-436
• /
• 2003

Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;:\;y_i,\;for\;i\;=\;1,\;2,\;{\cdots},\;n$. In this article, we obtained the following : $Let\;x\;=\;\{x_i\}\;and\;y=\{y_\}$ be two vectors in a separable complex Hilbert space H such that $x_i\;\neq\;0$ for all $i\;=\;1,\;2;\cdots$. Let L be a commutative subspace lattice on H. Then the following statements are equivalent. (1) $sup\;\{\frac{\$\mid${\sum_{k=1}}^l\;\alpha_{\kappa}E_{\kappa}y\$\mid$}{\$\mid${\sum_{k=1}}^l\;\alpha_{\kappa}E_{\kappa}x\$\mid$}\;:\;l\;\in\;\mathbb{N},\;\alpha_{\kappa}\;\in\;\mathbb{C}\;and\;E_{\kappa}\;\in\;L\}\;<\;\infty\;and\;$\mid$y_n\$\mid$x_n$\mid$^{-1}\;=\;1\;for\;all\;n\;=\;1,\;2,\;\cdots$. (2) There exists an operator A in AlgL such that Ax = y, A is a unitary operator and every E in L reduces, A, where AlgL is a tridiagonal algebra.

• Korean Journal of Logic
• /
• v.19 no.1
• /
• pp.107-126
• /
• 2016

This paper deals with Kripke-style semantics for weakening-free non-commutative fuzzy logics. As an example, we consider an algebraic Kripke-style semantics for an extension of the pseudo-uninorm based fuzzy logic HpsUL, $CnHpsUL^*$. For this, first, we recall the system $CnHpsUL^*$, define its corresponding algebraic structures $CnHpsUL^*$-algebras, and algebraic completeness results for it. We next introduce a Kripke-style semantics for $CnHpsUL^*$, and connect it with algebraic semantics.

• Communications of the Korean Mathematical Society
• /
• v.25 no.3
• /
• pp.349-364
• /
• 2010

P. M. Cohn called a ring R reversible if whenever ab = 0, then ba = 0 for a, $b\;{\in}\;R$. Commutative rings and reduced rings are reversible. In this paper, we extend the reversible condition of a ring as follows: Let R be a ring and $\alpha$ an endomorphism of R, we say that R is right (resp., left) $\alpha$-shifting if whenever $a{\alpha}(b)\;=\;0$ (resp., $\alpha{a)b\;=\;0$) for a, $b\;{\in}\;R$, $b{\alpha}{a)\;=\;0$ (resp., $\alpha(b)a\;=\;0$); and the ring R is called $\alpha$-shifting if it is both left and right $\alpha$-shifting. We investigate characterizations of $\alpha$-shifting rings and their related properties, including the trivial extension, Jordan extension and Dorroh extension. In particular, it is shown that for an automorphism $\alpha$ of a ring R, R is right (resp., left) $\alpha$-shifting if and only if Q(R) is right (resp., left) $\bar{\alpha}$-shifting, whenever there exists the classical right quotient ring Q(R) of R.

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

Let R be any commutative ring and S be any multiplicative closed set. We introduce an S-version of $\mathcal{F}$-Mittag-Leffler modules, called $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and define the projective dimension with respect to these modules. We give some characterizations of $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, investigate the relationships between $\mathcal{F}$-Mittag-Leffler modules and $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and use these relations to describe noetherian rings and coherent rings, such as R is noetherian if and only if $R_S$ is noetherian and every $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler module is $\mathcal{F}$-Mittag-Leffler. Besides, we also investigate the $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension of R, and prove that $R_S$ is noetherian if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is zero; $R_S$ is coherent if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is at most one.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.

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

Let ${\Gamma}$ be a nonzero commutative cancellative monoid (written additively), $R={\bigoplus}_{{\alpha}{\in}{\Gamma}}$ $R_{\alpha}$ be a ${\Gamma}$-graded integral domain with $R_{\alpha}{\neq}\{0\}$ for all ${\alpha}{\in}{\Gamma}$, and $S(H)=\{f{\in}R{\mid}C(f)=R\}$. In this paper, we study homogeneously divisorial domains which are graded integral domains whose nonzero homogeneous ideals are divisorial. Among other things, we show that if R is integrally closed, then R is a homogeneously divisorial domain if and only if $R_{S(H)}$ is an h-local $Pr{\ddot{u}}fer$ domain whose maximal ideals are invertible, if and only if R satisfies the following four conditions: (i) R is a graded-$Pr{\ddot{u}}fer$ domain, (ii) every homogeneous maximal ideal of R is invertible, (iii) each nonzero homogeneous prime ideal of R is contained in a unique homogeneous maximal ideal, and (iv) each homogeneous ideal of R has only finitely many minimal prime ideals. We also show that if R is a graded-Noetherian domain, then R is a homogeneously divisorial domain if and only if $R_{S(H)}$ is a divisorial domain of (Krull) dimension one.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1333-1354
• /
• 2019

In authors' paper in 2007, it was shown that the BSE-extension of $C^1_0(R)$, the algebra of continuously differentiable functions f on the real number space R such that f and df /dx vanish at infinity, is the Lipschitz algebra $Lip_1(R)$. This paper extends this result to the case of $C^n_0(R^d)$ and $C^{n-1,1}_b(R^d)$, where n and d represent arbitrary natural numbers. Here $C^n_0(R^d)$ is the space of all n-times continuously differentiable functions f on $R^d$ whose k-times derivatives are vanishing at infinity for k = 0, ${\cdots}$, n, and $C^{n-1,1}_b(R^d)$ is the space of all (n - 1)-times continuously differentiable functions on $R^d$ whose k-times derivatives are bounded for k = 0, ${\cdots}$, n - 1, and (n - 1)-times derivatives are Lipschitz. As a byproduct of our investigation we obtain an important result that $C^{n-1,1}_b(R^d)$ has a predual.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.729-743
• /
• 2019

In this paper, we introduce strongly quasi primary ideals which is an intermediate class of primary ideals and quasi primary ideals. Let R be a commutative ring with nonzero identity and Q a proper ideal of R. Then Q is called strongly quasi primary if $ab{\in}Q$ for $a,b{\in}R$ implies either $a^2{\in}Q$ or $b^n{\in}Q$ ($a^n{\in}Q$ or $b^2{\in}Q$) for some $n{\in}{\mathbb{N}}$. We give many properties of strongly quasi primary ideals and investigate the relations between strongly quasi primary ideals and other classical ideals such as primary, 2-prime and quasi primary ideals. Among other results, we give a characterization of divided rings in terms of strongly quasi primary ideals. Also, we construct a subgraph of ideal based zero divisor graph ${\Gamma}_I(R)$ and denote it by ${\Gamma}^*_I(R)$, where I is an ideal of R. We investigate the relations between ${\Gamma}^*_I(R)$ and ${\Gamma}_I(R)$. Further, we use strongly quasi primary ideals and ${\Gamma}^*_I(R)$ to characterize von Neumann regular rings.