• Kyungpook Mathematical Journal
• /
• v.63 no.1
• /
• pp.15-27
• /
• 2023

A purely extending module is a generalization of an extending module. In this paper, we study several properties of purely extending modules and introduce the notion of purely essentially Baer modules. A module M is said to be a purely essentially Baer if the right annihilator in M of any left ideal of the endomorphism ring of M is essential in a pure submodule of M. We study some properties of purely essentially Baer modules and characterize von Neumann regular rings in terms of purely essentially Baer modules.

• Journal of Educational Research in Mathematics
• /
• v.15 no.2
• /
• pp.197-213
• /
• 2005

There are not a few mathematical terms used as the undefined terms in school mathematics. The purpose of this study is to investigate critically the undefined mathematical terms in elementary school mathematics textbooks of Korea. As the result, the following suggestions are proposed. Firstly, It is not proper to use the terms which mathematics curriculum does not allow to use in elementary school math as the undefined terms in elementary school mathematics textbooks. Secondly, everyday-based undefined terms must be defined in elementary school mathematics textbook if their mathematical meanings are different from their everyday-based meanings. Thirdly, we need to consider the consistency when we use the undefined terms in elementary school mathematics. Fourthly, undefined terms should be define newly when the contexts in which they are used are changed or expanded. Finally, in elementary school mathematics textbooks, it is needed to define some purely mathematical undefined terms that there is no evidence which shows students grasp well their meaning.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.167-172
• /
• 1994

For a given $C^{*}$-dynamical system (A, G, .alpha.) with a G-simple $C^{*}$-algebra A (that is A has no proper .alpha.-invariant ideal) many authors have studied the simplicity of a $C^{*}$-crossed product A $x_{\alpha{r}}$ G. In [1] topological freeness of an action is shown to guarantee the simplicity of the reduced $C^{*}$-crossed product A $x_{\alpha{r}}$ G when A is G-simple. In this paper we investigate the pure infiniteness of a simple $C^{*}$-crossed product A $x_{\alpha}$ G of a purely infinite simple $C^{*}$-algebra A and a topologically free action .alpha. of a finite group G, and find a sufficient condition in terms of the action on the spectrum of the multiplier algebra M(A) of A. Showing this we also prove that some extension of a topologically free action is still topologically free.

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

Let G be a complex semisimple simply connected linear algebraic group. The main result of this note is to give several equivalent criteria for the untwistedness of the twisted cubes introduced by Grossberg and Karshon. In certain cases arising from representation theory, Grossberg and Karshon obtained a Demazure-type character formula for irreducible G-representations as a sum over lattice points (counted with sign according to a density function) of these twisted cubes. A twisted cube is untwisted when it is a "true" (i.e., closed, convex) polytope; in this case, Grossberg and Karshon's character formula becomes a purely positive formula with no multiplicities, i.e., each lattice point appears precisely once in the formula, with coefficient +1. One of our equivalent conditions for untwistedness is that a certain divisor on the special fiber of a toric degeneration of a Bott-Samelson variety, as constructed by Pasquier, is basepoint-free. We also show that the strict positivity of some of the defining constants for the twisted cube, together with convexity (of its support), is enough to guarantee untwistedness. Finally, in the special case when the twisted cube arises from the representation-theoretic data of $\lambda$ an integral weight and $\underline{w}$ a choice of word decomposition of a Weyl group element, we give two simple necessary conditions for untwistedness which is stated in terms of $\lambda$ and $\underline{w}$.