• Journal of the Chungcheong Mathematical Society
• /
• v.21 no.3
• /
• pp.371-376
• /
• 2008

Let $P(M,G,{\pi})=:P$ be a principal fibre bundle with structure Lie group G over a base manifold M. In this paper we get the following facts: 1. The tangent bundle TG of the structure Lie group G in $P(M,G,{\pi})=:P$ is a Lie group. 2. The Lie algebra ${\mathcal{g}}=T_eG$ is a normal subgroup of the Lie group TG. 3. $TP(TM,TG,{\pi}_*)=:TP$ is a principal fibre bundle with structure Lie group TG and projection ${\pi}_*$ over base manifold TM, where ${\pi}_*$ is the differential map of the projection ${\pi}$ of P onto M. 4. for a Lie group $H,\;TH=H{\circ}T_eH=T_eH{\circ}H=TH$ and $H{\cap}T_eH=\{e\}$, but H is not a normal subgroup of the group TH in general.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.1193-1200
• /
• 2013

The center of the Lie group $SU(n)$ is isomorphic to $\mathbb{Z}_n$. If $d$ divides $n$, the quotient $SU(n)/\mathbb{Z}_d$ is also a Lie group. Such groups are locally isomorphic, and their Weyl groups $W(SU(n)/\mathbb{Z}_d)$ are the symmetric group ${\sum}_n$. However, the integral representations of the Weyl groups are not equivalent. Under the mod $p$ reductions, we consider the structure of invariant rings $H^*(BT^{n-1};\mathbb{F}_p)^W$ for $W=W(SU(n)/\mathbb{Z}_d)$. Particularly, we ask if each of them is a polynomial ring. Our results show some polynomial and non-polynomial cases.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.83-91
• /
• 2023

A ring R is called a UN ring if every non unit of it can be written as product of a unit and a nilpotent element. We obtain results about lifting of conjugate idempotents and unit regular elements modulo an ideal I of a UN ring R. Matrix rings over UN rings are discussed and it is obtained that for a commutative ring R, a matrix ring M_n(R) is UN if and only if R is UN. Lastly, UN group rings are investigated and we obtain the conditions on a group G and a field K for the group algebra KG to be UN. Then we extend the results obtained for KG to the group ring RG over a ring R (which may not necessarily be a field).

• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.517-543
• /
• 2017

Let H be a cocommutative faithfully flat Hopf quasigroup in a strict symmetric monoidal category with equalizers. In this paper we introduce the notion of (strong) Galois H-object and we prove that the set of isomorphism classes of (strong) Galois H-objects is a (group) monoid which coincides, in the Hopf algebra setting, with the Galois group of H-Galois objects introduced by Chase and Sweedler.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.2
• /
• pp.243-262
• /
• 2010

CRESST(the National Center for Research on Evaluation, Standards, and Student Testing at UCLA) is now carrying out the research, which was scheduled for a five year period from 2007 to 2011. This research aimed at testing the effectiveness of the formative assessment program by continuously conducting the program on the target group and steadily applying the recurring feedback, in order to reform the teachers' teaching and to facilitate students' learning. To do this, CRESST has set out to develop the material for 7th graders since January 2007, and KICE(Korea Institute of Curriculum and Evaluation) have been running a collaborated research since July 2007, while sharing the instructional materials developed by CRESST. In 2008, the pre-test was conducted prior to this study in 2009. Especially, this paper deals with the Korean 7th graders' scholastic achievements in algebra domain measured by PowerSource(c). In addition, this study would examine the responses of teachers and students on its application.

• School Mathematics
• /
• v.12 no.2
• /
• pp.193-217
• /
• 2010

CRESST(the National Center for Research on Evaluation, Standards, and Student Testing at UCLA) is now carrying out the research, which was scheduled for a five year period from 2007 to 2011. This research aimed at testing the effectiveness of the formative assessment program by continuously conducting the program on the target group and steadily applying the recurring feedback, in order to reform the teachers' teaching and to facilitate students' learning. To do this, CRESST has set out to develop the material for 7th graders since January 2007, and KICE(Korea Institute of Curriculum and Evaluation) have been running a collaborated research since July 2007, while sharing the instructional materials developed by CRESST. In 2008, the pre-test was conducted prior to this study in 2009. Especially, this paper deals with the Korean 8th graders' scholastic achievements in algebra domain measured by PowerSource(c). In addition, this study would examine the responses of teachers and students on its application.

• Journal of the Korean Mathematical Society
• /
• v.32 no.4
• /
• pp.689-695
• /
• 1995

Let G be a finite group with k distinct conjugacy classes $C_1, C_2, \cdots, C_k$ and F an algebraically closed field such that char$(F){\dag}\left$\mid$ G \right$\mid$$. We denoted by $Irr_F$(G) the set of all irreducible F-characters of G and $Cf_F$(G) the set of all class functions of G into F. Then $Cf_F$(G) is a commutative F-algebra with an F-basis $Irr_F(G) = {\chi_1, \chi_2, \cdots, \chi_k}$.

• Journal of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.705-718
• /
• 2010

It gives a method to obtain a natural Lie bialgebra from a Poisson bialgebra by an algebraic point of view. Let g be a coboundary Lie bialgebra associated to a Poission Lie group G. As an application, we obtain a Lie bialgebra from a sub-Poisson bialgebra of the restricted dual of the universal enveloping algebra U(g).

• Journal of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1061-1078
• /
• 2020

We prove some results about the finiteness of co-associated primes of generalized local homology modules inspired by a conjecture of Grothendieck and a question of Huneke. We also show some equivalent properties of minimax local homology modules. By duality, we get some properties of Herzog's generalized local cohomology modules.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.163-170
• /
• 1995

Let G be a Lie group with Lie algebra L(G) and let $\Omega$ be a nonempty subset of L(G). If $\Omega$ is interpreted as the set of controls, then the set of elements attainable from the identity for the system $\Omega$ is a subsemigroup of G. A system $\Omega$ is called a non-overlapping control system if any element attainable for $\Omega$ is only attainable at one time.