• Journal for History of Mathematics
• /
• v.12 no.2
• /
• pp.143-149
• /
• 1999

Every finite solvable group is only a subgroup of an M-groups and all M-groups are solvable. Supersolvable group is an M-groups and also subgroups of solvable or supersolvable groups are solvable or supersolvable. But a subgroup of an M-groups need not be an M-groups . It has been studied that whether a normal subgroup or Hall subgroup of an M-groups is an M-groups or not. In this note, we investigate some historical research background on the M-groups and also we give some conditions that a normal subgroup of an M-groups is an M-groups and show that a solvable group is an M-group.

• Communications of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.261-262
• /
• 2016

We present a short and very elementary proof that each finite BCK-algebra is solvable. It is a positive answer to the question posed in [4].

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.805-812
• /
• 2006

In this paper we find a suitable bound for the number of commutators which is required to express every element of the derived group of a solvable group satisfying the maximal condition for normal subgroups. The precise formulas for expressing every element of the derived group to the minimal number of commutators are given.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.501-504
• /
• 2019

In this note, we prove that Gluck's conjecture, Isaacs-Navarro-Wolf Conjecture and Taketa's inequality are true for solvable groups whose character graphs having diameter 3.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.471-478
• /
• 2006

In this paper we prove that if AX=b is a partial sign-solvable linear system with A being sign non-singular matrix and if ${\alpha}=\{j:\;x_j\;is\;sign-determined\;by\; Ax=b\}, then $A_{\alpha}X_{\alpha}=b_{\alpha}$ is a sign-solvable linear system, where $A_{\alpha}$ denotes the submatrix of A occupying rows and columns in o and xo and be are subvectors of x and b whose components lie in ${\alpha}$. For a sign non-singular matrix A, let $A_l,\;...,A_{\kappa}$ be the fully indecomposable components of A and let ${\alpha}_i$ denote the set of row numbers of $A_r,\;r=1,\;...,\;k$. We also show that if $A_x=b$ is a partial sign-solvable linear system, then, for $r=1,\;...,\;k$, if one of the components of xor is a fixed zero solution of Ax=b, then so are all the components of x_{{\alpha}r}$.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.363-366
• /
• 2015

In this note, we prove Gluck's conjecture and Isaacs-Navarro-Wolf Conjecture are true for the solvable groups with disconnected graphs by using Lewis' group structure theorem with respect to the disconnected character degree graphs.

• The Pure and Applied Mathematics
• /
• v.10 no.2
• /
• pp.103-118
• /
• 2003

We estimate the stable rank of twisted crossed products of $C^{*}-algebras$ by topological Abelian groups. As an application we estimate the stable rank of twisted crossed products of $C^{*}-algebras$ by solvable Lie groups. In particular, we obtain the stable rank estimate of twisted group $C^{*}-algebras$ of solvable Lie groups by the (reduced) dimension and (generalized) rank of groups.

• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.55-62
• /
• 2013

In [5], Johnson introduced the primitivity of subgroups and proved that a finite group G is supersolvable if every primitive subgroup of G has a prime power index in G. In that paper, he also posed an interesting problem: what a group looks like if all of its primitive subgroups are maximal. In this note, we give the detail structure of such groups in solvable case. Finally, we use the primitivity of some subgroups to characterize T-group and the solvable $PST_0$-groups.

• Bulletin of the Korean Chemical Society
• /
• v.35 no.3
• /
• pp.805-810
• /
• 2014

The shape invariant potentials are proved to be exactly solvable, i.e. the wave functions and energies of a particle moving under the influence of the shape invariant potentials can be algebraically determined without any approximations. It is well known that the SWKB quantization is exact for all shape invariant potentials though the SWKB quantization itself is approximate. This mystery has not been mathematically resolved yet and may not be solved in a concrete fashion even in the future. Therefore, in the present work, to understand (not prove) the mystery an attempt of deriving exactly solvable potentials directly from the SWKB quantization has been made. And it turns out that all the derived potentials are shape invariant. It implicitly explains why the SWKB quantization is exact for all known shape invariant potentials. Though any new potential has not been found in this study, this brute-force derivation of potentials helps one understand the characteristics of shape invariant potentials.

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

We analyze properties of solvable and nilpotent algebras with bracket. The class of solvability and nilpotency of the tensor square of an algebra with bracket is obtained. Homological characterizations of nilpotent algebras with bracket are presented.