• Kyungpook Mathematical Journal
• /
• v.63 no.2
• /
• pp.167-173
• /
• 2023

Let G be a finite group and let ν(G) be the probability that two randomly selected elements of G produce a nilpotent group. In this article we show that for every positive integer n > 0, there is a finite group G such that ${\nu}(G)={\frac{1}{n}}$. We also classify all groups G with ${\nu}(G)={\frac{1}{2}}$. Further, we prove that if G is a solvable nonnilpotent group of even order, then ${\nu}(G){\leq}{\frac{p+3}{4p}}$, where p is the smallest odd prime divisor of |G|, and that equality exists if and only if $\frac{G}{Z_{\infty}(G)}$ is isomorphic to the dihedral group of order 2p where Z_∞(G) is the hypercenter of G. Finally we find an upper bound for ν(G) in terms of |G| where G ranges over all groups of odd square-free order.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.951-960
• /
• 2010

We provide the set of left-invariant minimal unit vector fields on the semi-direct product $\mathbb{R}^n\;{\rtimes}_p\mathbb{R}$, where P is a nonsingular diagonal matrix and on the 7 classes of 4-dimensional solvable Lie groups of the form $\mathbb{R}^3\;{\rtimes}_p\mathbb{R}$ which are unimodular and of type (R).

• Kyungpook Mathematical Journal
• /
• v.49 no.3
• /
• pp.419-424
• /
• 2009

Let J be the Jacobian variety of a hyperelliptic curve over $\mathbb{Q}$. Let M be the field generated by all square roots of rational integers over a finite number field K. Then we prove that the Mordell-Weil group J(M) is the direct sum of a finite torsion group and a free $\mathbb{Z}$-module of infinite rank. In particular, J(M) is not a divisible group. On the other hand, if $\widetilde{M}$ is an extension of M which contains all the torsion points of J over $\widetilde{\mathbb{Q}}$, then $J(\widetilde{M}^{sol})/J(\widetilde{M}^{sol})_{tors}$ is a divisible group of infinite rank, where $\widetilde{M}^{sol}$ is the maximal solvable extension of $\widetilde{M}$.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1147-1155
• /
• 2011

In J. Korean Math. Soc, Zhang, Xu and other authors investigated the following problem: what is the structure of finite groups which have many normal subgroups? In this paper, we shall study this question in a more general way. For a finite group G, we define the subgroup $\mathcal{A}(G)$ to be intersection of the normalizers of all non-cyclic subgroups of G. Set $\mathcal{A}_0=1$. Define $\mathcal{A}_{i+1}(G)/\mathcal{A}_i(G)=\mathcal{A}(G/\mathcal{A}_i(G))$ for $i{\geq}1$. By $\mathcal{A}_{\infty}(G)$ denote the terminal term of the ascending series. It is proved that if $G=\mathcal{A}_{\infty}(G)$, then the derived subgroup G' is nilpotent. Furthermore, if all elements of prime order or order 4 of G are in $\mathcal{A}(G)$, then G' is also nilpotent.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1407-1419
• /
• 2021

The Iwasawa decomposition NAK of the Lie group G = SO₀(2, 1) with a left invariant metric produces Riemannian submersions G → N\G, G → A\G, G → K\G, and G → NA\G. For each of these, we calculate the curvature of the base space and the lifting of a simple closed curve to the total space G. Especially in the first case, the base space has a constant curvature 0; the holonomy displacement along a (null-homotopic) simple closed curve in the base space is determined only by the Euclidean area of the region surrounded by the curve.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1209-1251
• /
• 2015

The purpose of this paper is to classify all compact manifolds modeled on the 4-dimensional solvable Lie group $Sol_1^4$, and more generally, the crystallographic groups of $Sol_1^4$. The maximal compact subgroup of Isom($Sol_1^4$) is $D_4={\mathbb{Z}}_4{\rtimes}{\mathbb{Z}}_2$. We shall exhibit an infra-solvmanifold of $Sol_1^4$ whose holonomy is $D_4$. This implies that all possible holonomy groups do occur; the trivial group, ${\mathbb{Z}}_2$ (5 families), ${\mathbb{Z}}_4$, ${\mathbb{Z}}_2{\times}{\mathbb{Z}}_2$ (5 families), and ${\mathbb{Z}}_4{\rtimes}{\mathbb{Z}}_2$ (2 families).

• Journal of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.707-719
• /
• 2020

In this article we study almost contact manifolds admitting weakly Einstein metrics. We first prove that if a (2n + 1)-dimensional Sasakian manifold admits a weakly Einstein metric, then its scalar curvature s satisfies -6 ⩽ s ⩽ 6 for n = 1 and -2n(2n + 1) ${\frac{4n^2-4n+3}{4n^2-4n-1}}$ ⩽ s ⩽ 2n(2n + 1) for n ⩾ 2. Secondly, for a (2n + 1)-dimensional weakly Einstein contact metric (κ, μ)-manifold with κ < 1, we prove that it is flat or is locally isomorphic to the Lie group SU(2), SL(2), or E(1, 1) for n = 1 and that for n ⩾ 2 there are no weakly Einstein metrics on contact metric (κ, μ)-manifolds with 0 < κ < 1. For κ < 0, we get a classification of weakly Einstein contact metric (κ, μ)-manifolds. Finally, it is proved that a weakly Einstein almost cosymplectic (κ, μ)-manifold with κ < 0 is locally isomorphic to a solvable non-nilpotent Lie group.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.681-688
• /
• 1995

Fixed-point theory has an extension to coincidences. For a pair of maps $f,g:X_1 \to X_2$, a coincidence of f and g is a point $x \in X_1$ such that $f(x) = g(x)$, and $Coin(f,g) = {x \in X_1 $\mid$ f(x) = g(x)}$ is the coincidence set of f and g. The Nielsen coincidence number N(f,g) and the Lefschetz coincidence number L(f,g) are used to estimate the cardinality of Coin(f,g). The aspherical manifolds whose fundamental group has a normal solvable subgroup of finite index is called infrasolvmanifolds. We show that if $M_1,M_2$ are compact connected orientable infrasolvmanifolds, then $N(f,g) \geq $\mid$L(f,g)$\mid$$ for every $f,g : M_1 \to M_2$.

• Journal of The Korean Association For Science Education
• /
• v.24 no.5
• /
• pp.937-945
• /
• 2004

In this study, we examined high school students' abilities for solving problems under single concept situations and complex concept situations and their mental capacities. Single concept situations are defined as the problems which can be solved with a scientific concept or principle and complex concept situations are the problems combined with more than 2 single concept situations. 152 11th-graders were participated in this study, who had taken natural science track. FIT 752 was used to measure their mental capacities. And an instrument, made up of six questions under three single concept situations and three complex concept situations, was used to assess students' problem solving abilities. As results, students' problem solving abilities were lower in complex concept situations than in single concept situations. There wasn't significant difference in mental capacities between of students who succeeded in solving problems and ones who did not under both single and complex concept situations. Although students solved the problems of single concept situations, some of them failed in solving the problems of complex concept situations composed of single concept situations which they succeeded in solving. They belonged to relatively low mental capacity group, of which students who failed in solving problems of complex situations had lower metal capacities than ones who succeeded in solving them. According to these results, it could be concluded that mental capacity is one of main variables which have influence on problem solving of complex concept situations composed of solvable single concept situations.