• Bulletin of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.495-506
• /
• 2016

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,{\ldots},n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving partial permutations and of all order-preserving partial isometries, respectively. We prove that both the monoids $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ are quotients of bilateral semidirect products of two of their remarkable submonoids, namely of extensive and of co-extensive transformations. Moreover, we show that $\mathcal{PODI}_n$ is a quotient of a semidirect product of $\mathcal{POI}_n$ and the group $\mathcal{C}_2$ of order two and, analogously, $\mathcal{DP}_n$ is a quotient of a semidirect product of $\mathcal{ODP}_n$ and $\mathcal{C}_2$.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.869-889
• /
• 2015

Let ${\Gamma}^+$ be the positive cone in a totally ordered abelian group ${\Gamma}$, and ${\alpha}$ an action of ${\Gamma}^+$ by extendible endomorphisms of a $C^*$-algebra A. Suppose I is an extendible ${\alpha}$-invariant ideal of A. We prove that the partial-isometric crossed product $\mathcal{I}:=I{\times}^{piso}_{\alpha}{\Gamma}^+$ embeds naturally as an ideal of $A{\times}^{piso}_{\alpha}{\Gamma}^+$, such that the quotient is the partial-isometric crossed product of the quotient algebra. We claim that this ideal $\mathcal{I}$ together with the kernel of a natural homomorphism $\phi:A{\times}^{piso}_{\alpha}{\Gamma}^+{\rightarrow}A{\times}^{iso}_{\alpha}{\Gamma}^+$ gives a composition series of ideals of $A{\times}^{piso}_{\alpha}{\Gamma}^+$ studied by Lindiarni and Raeburn.

• Journal of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.609-614
• /
• 1995

Let (M, g) be a complete Riemannian manifold and G be a closed (connected) subgroup of the group of isometries of M. Then the union ${\MM}$ of all principal orbits is an open dense subset of M and the quotient map ${\MM} \longrightarrow {\BB} := {\MM}/G$ becomes a Riemannian submersion for the restriction of g to ${\MM}$ which gives the quotient metric on ${\BB}$. Namely, B is a singular (complete) Riemannian space such that $\partialB$ consists of non-principal orbits.

• Proceedings of the IEEK Conference
• /
• 2001.06b
• /
• pp.365-368
• /
• 2001

This paper described a design and implementation of the division/square-root for a redundant floating point binary number using high-speed quotient selector. This division/square-root used the method of a redundant binary addition with 25MHz clock speed. The addition of two numbers can be performed in a constant time independent of the word length since carry propagation can be eliminated. We have developed a 16-bit VLSI circuit for division and square-root operations used extensively in each iterative step. It peformed the division and square-root by a redundant binary addition to the shifted binary number every 16 cycles. Also the circuit uses the nonrestoring method to obtain a quotient. The quotient selection logic used a leading three digits of partial remainders in order to be implemented in a simple circuit. As a result, the performance of the proposed scheme is further enhanced in the speed of operation process by applying new quotient selection addition logic which can be parallelly process the quotient decision field. It showed the speed-up of 13% faster than previously presented schemes used the same algorithms.

• Kyungpook Mathematical Journal
• /
• v.62 no.1
• /
• pp.1-28
• /
• 2022

In this paper, we define the G-Brauer algebras $D^G_f(x)$, where G is a cyclic group, called cyclic G-Brauer algebras, as the linear span of r-signed 1-factors and the generalized m, k signed partial 1-factors is to analyse the multiplication of basis elements in the quotient $^{\rightarrow}_{I_f}^G(x,2k)$. Also, we define certain symmetric matrices $^{\rightarrow}_T_{m,k}^{[\lambda]}(x)$ whose entries are indexed by generalized m, k signed partial 1-factor. We analyse the irreducible representations of $D^G_f(x)$ by determining the quotient $^{\rightarrow}_{I_f}^G(x,2k)$ of $D^G_f(x)$ by its radical. We also find the eigenvalues and eigenspaces of $^{\rightarrow}_T_{m,k}^{[\lambda]}(x)$ for some values of m and k using the representation theory of the generalised symmetric group. The matrices $T_{m,k}^{[\lambda]}(x)$ whose entries are indexed by generalised m, k signed partial 1-factors, which helps in determining the non semisimplicity of these cyclic G-Brauer algebras $D^G_f(x)$, where G = ℤ_r.

• Journal of the Institute of Electronics Engineers of Korea TE
• /
• v.37 no.5
• /
• pp.7-16
• /
• 2000

This paper described a design and implementation of the division/square-root for a redundant floating point binary number using high-speed quotient selector. This division/square-root used the method of a redundant binary addition with 25MHz clock speed. The addition of two numbers can be performed in a constant time independent of the word length since carry propagation can be eliminated. We have developed a 16-bit VLSI circuit for division and square-root operations used extensively in each iterative step. It performed the division and square-toot by a redundant binary addition to the shifted binary number every 16 cycles. Also the circuit uses the nonrestoring method to obtain a quotient. The quotient selection logic used a leading three digits of partial remainders in order to be implemented in a simple circuit. As a result, the performance of the proposed scheme is further enhanced in the speed of operation process by applying new quotient selection addition logic which can be parallelly process the quotient decision field. It showed the speed-up of 13% faster than previously presented schemes used the same algorithms.

• Journal of Educational Research in Mathematics
• /
• v.24 no.2
• /
• pp.165-180
• /
• 2014

This study analyzed in what ways the instructional materials have been dealing with the fraction as quotient, since the seventh national mathematics curriculum. An analysis of this study urged us to re-consider the content related to the fraction as quotient. First, the fraction as quotient has weakened in the current mathematics textbooks and workbooks in comparison to those developed under the previous curriculum. Second, the contexts of whole number division taught in grades 3 and 4 were not naturally connected to those of the fraction as quotient taught in grade 5. Third, the types of word problems, visual models, and partitioning strategies in the textbooks and the workbooks were partial, and the process of formalization was limited. Building on these results, this study is expected to suggest specific implications which may be taken into account in developing new instructional materials in process.

• Journal of Elementary Mathematics Education in Korea
• /
• v.20 no.3
• /
• pp.371-391
• /
• 2016

Long division was one of the major issues in math war II started from 1990's in US. In this paper, we investigated this concretely and examined present teaching condition of long division in Korea. Firstly, Long division is not only a mechanical way to get the answer but also a realization of core conception in elementary mathematics. Futhermore it is a connecting link between elementary and middle mathematics education. Secondly, it is needed to use the term 'long division' to provide the concrete teaching guidelines. Thirdly, a minor algorithm, like an 'partial quotient method', is necessary to introduce in order to help understanding long division.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.5 no.2
• /
• pp.63-69
• /
• 2001

In this study, we shall be concerned with computing in parallel a few of the smallest eigenvalues and their corresponding eigenvectors of the eigenvalue problem, $Ax={\lambda}Bx$, where A is symmetric, and B is symmetric positive definite. Both A and B are large and sparse. Recently iterative algorithms based on the optimization of the Rayleigh quotient have been developed, and CG scheme for the optimization of the Rayleigh quotient has been proven a very attractive and promising technique for large sparse eigenproblems for small extreme eigenvalues. As in the case of a system of linear equations, successful application of the CG scheme to eigenproblems depends also upon the preconditioning techniques. A proper choice of the preconditioner significantly improves the convergence of the CG scheme. The idea underlying the present work is a parallel computation of the Multi-Color Block SSOR preconditioning for the CG optimization of the Rayleigh quotient together with deflation techniques. Multi-Coloring is a simple technique to obatin the parallelism of order n, where n is the dimension of the matrix. Block SSOR is a symmetric preconditioner which is expected to minimize the interprocessor communication due to the blocking. We implemented the results on the CRAY-T3E with 128 nodes. The MPI(Message Passing Interface) library was adopted for the interprocessor communications. The test problems were drawn from the discretizations of partial differential equations by finite difference methods.

• Journal of The Korean Association For Science Education
• /
• v.32 no.6
• /
• pp.1063-1071
• /
• 2012

The purpose of this study is to investigate the relation between the classification ability quotient and cortisol-hormonal change of middle school students. Thirty-three students, second graders in middle school, performed the classification task that can be an indicator of students' classification ability. And then amount of the secreted hormone was analyzed during task performance. The study results were as follows: First, the classification methods of students mostly utilized visual, qualitative. Their classification patterns for each subject were static, partial, and non-comparative. Second, the amount of stress-hormone was secreted from students during the experiment decreased in overall after the free classification. It seemed that student-centered activity relieved stress. Third, the classification ability quotient turned out to be significantly correlated to the stress hormone, which means that there was a close relationship between classification ability and stress level. It was also considered that stress had a positive effect on the improvement of classification ability. This study provided physiologically more accurate information on the stress increased in the learning process than other conventional studies based on reports or interviews. Finally, researchers could recognize the effect of stress in the cognitive activity and the need to find an appropriate level of stress in learning processes.