• Bulletin of the Korean Mathematical Society
• /
• v.53 no.1
• /
• pp.91-102
• /
• 2016

A chief factor H/K of G is called F-central in G provided $(H/K){\rtimes}(G/C_G(H/K)){\in}{\mathfrak{F}}$. A normal subgroup N of G is said to be ${\pi}{\mathfrak{F}}$-hypercentral in G if either N = 1 or $N{\neq}1$ and every chief factor of G below N of order divisible by at least one prime in ${\pi}$ is $\mathfrak{F}$-central in G. The symbol $Z_{{\pi}{\mathfrak{F}}}(G)$ denotes the ${\pi}{\mathfrak{F}}$-hypercentre of G, that is, the product of all the normal ${\pi}{\mathfrak{F}}$-hypercentral subgroups of G. We say that a subgroup H of G is ${\pi}{\mathfrak{F}}$-embedded in G if there exists a normal subgroup T of G such that HT is s-quasinormal in G and $(H{\cap}T)H_G/H_G{\leq}Z_{{\pi}{\mathfrak{F}}}(G/H_G)$, where $H_G$ is the maximal normal subgroup of G contained in H. In this paper, we use the ${\pi}{\mathfrak{F}}$-embedded subgroups to determine the structures of finite groups. In particular, we give some new characterizations of p-nilpotency and supersolvability of a group.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.1353-1363
• /
• 2015

Let D be a division ring and w($x_1,\;x_2,\;{\ldots},\;x_m$) be a generalized group monomial over $D^*$. In this paper, we investigate subnormal subgroups and maximal subgroups of $D^*$ which satisfy the identity $w(x_1,\;x_2,\;{\ldots},\;x_m)=1$.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.951-960
• /
• 2022

In this paper, we determine the finite p-group such that the intersection of its any two distinct minimal nonabelian subgroups is a maximal subgroup of the two minimal nonabelian subgroups, and the finite p-group in which any two distinct 𝓐₁-subgroups generate an 𝓐₂-subgroup. As a byproduct, we answer a problem proposed by Berkovich and Janko.

• Communications of the Korean Mathematical Society
• /
• v.28 no.4
• /
• pp.643-647
• /
• 2013

Let G be a group and let $p$ be a prime number. If the set $\mathcal{A}(G)$ of all commuting automorphisms of G forms a subgroup of Aut(G), then G is called $\mathcal{A}(G)$-group. In this paper we show that any $p$-group with cyclic maximal subgroup is an $\mathcal{A}(G)$-group. We also find the structure of the group $\mathcal{A}(G)$ and we show that $\mathcal{A}(G)=Aut_c(G)$. Moreover, we prove that for any prime $p$ and all integers $n{\geq}3$, there exists a non-abelian $\mathcal{A}(G)$-group of order $p^n$ in which $\mathcal{A}(G)=Aut_c(G)$. If $p$ > 2, then $\mathcal{A}(G)={\cong}\mathbb{Z}_p{\times}\mathbb{Z}_{p^{n-2}}$ and if $p=2$, then $\mathcal{A}(G)={\cong}\mathbb{Z}_2{\times}\mathbb{Z}_2{\times}\mathbb{Z}_{2^{n-3}}$ or $\mathbb{Z}_2{\times}\mathbb{Z}_2$.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.267-288
• /
• 2011

In this paper, we construct eight infinite families of ternary linear codes associated with double cosets with respect to certain maximal parabolic subgroup of the special orthogonal group $SO^-$(2n, q). Here q is a power of three. Then we obtain four infinite families of recursive formulas for power moments of Kloosterman sums with square arguments and four infinite families of recursive formulas for even power moments of those in terms of the frequencies of weights in the codes. This is done via Pless power moment identity and by utilizing the explicit expressions of exponential sums over those double cosets related to the evaluations of "Gauss sums" for the orthogonal groups $O^-$(2n, q).

• Kyungpook Mathematical Journal
• /
• v.46 no.3
• /
• pp.445-448
• /
• 2006

Let N be a normal subgroup of a path-connected topological group (G, $t$). In this paper, the authors consider the existence of path-connectedness in refined topologies in order to address the property of maximal path-connectedness in topological groups. In particular, refinements on $t$ and refinements on the quotient topology on G/N are studied. The preservation of path-connectedness in extending topologies and translation topologies is also considered.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1835-1843
• /
• 2018

In this paper, finite p-groups G satisfying $N_G(H){\leq}H^G$ for every non-normal subgroup H of G are completely classified. This solves a problem proposed by Y. Berkovich.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1475-1479
• /
• 2020

Let G be a finite group and ${\sigma}_1(G)={\frac{1}{{\mid}G{\mid}}}\;{\sum}_{H{\leq}G}\;{\mid}H{\mid}$. Under some restrictions on the number of conjugacy classes of (non-normal) maximal subgroups of G, we prove that if ${\sigma}_1(G)<{\frac{117}{20}}$, then G is solvable. This partially solves an open problem posed in [9].

• Honam Mathematical Journal
• /
• v.17 no.1
• /
• pp.7-14
• /
• 1995

The purpose of this study is to construct the structure of the connected Lie group G with its Lie algebra $g=rad(g){\oplus}sl(2, \mathbb{F})$, which conforms to Stellmacher's [4] Pushing Up. The main idea of this paper comes from Stellmacher's [4] Pushing Up. Stelhnacher considered Pushing Up under a finite p-group. This paper, however, considers Pushing Up under the connected Lie group G with its Lie algebra $g=rad(g){\oplus}sl(2, \mathbb{F})$. In this paper, $O_p(G)$ in [4] is Q=exp(q), where q=nilrad(g) and a Sylow p-subgroup S in [7] is S=exp(s), where $s=q{\oplus}\{\(\array{0&*\\0&0}\){\mid}*{\in}\mathbb{F}\}$. Showing the properties of the connected Lie group and the subgroups of the connected Lie group with relations between a connected Lie group and its Lie algebras under the exponential map, this paper constructs the subgroup series C_z(G)

• 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.