• Journal of the Korean Mathematical Society
• /
• v.43 no.5
• /
• pp.1115-1128
• /
• 2006

Let $so(3)\tilde{\times}R^3$ be the 6-dimensional nilpotent Lie group with group operation (s, x)(t, y) = $(s+t+xy^t-yx^t,\;x+y)$. We prove that the maximal order of the holonomy groups of all infra-nilmanifolds with $so(3)\tilde{\times}R^3$-geometry is 16.

• Journal of the Korean Mathematical Society
• /
• v.46 no.4
• /
• pp.675-689
• /
• 2009

As a sequel to the papers [2, 3], we will complete our identification of the groups of units of the finite local rings $\mathbb{Z}_4$[X]/($X^k$ + 2t(X), $2X^{\gamma}$) which is the most general type of finite local rings with a single nilpotent generator over $\mathbb{Z}_4$.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.5
• /
• pp.1375-1390
• /
• 2023

In this note, we shall show that the generalized free products of subgroup separable groups amalgamating a subgroup which itself is a finite extension of a finitely generated normal subgroup of both the factor groups are weakly potent and cyclic subgroup separable. Then we apply our result to generalized free products of finite extensions of finitely generated torsion-free nilpotent groups. Finally, we shall show that their tree products are cyclic subgroup separable.

• Journal of the Korean Mathematical Society
• /
• v.44 no.5
• /
• pp.1121-1137
• /
• 2007

There are 7 types of 4-dimensional solvable Lie groups of the form ${\mathbb{R}^3}\;{\times}_{\varphi}\;{\mathbb{R}}$ which are unimodular and of type (R). They will have left. invariant Riemannian metrics with maximal symmetries. Among them, three nilpotent groups $({\mathbb{R}^4},\;Nil^3\;{\times}\;{\mathbb{R}\;and\;Nil^4)$ are well known to have lattices. All the compact forms modeled on the remaining four solvable groups $Sol^3\;{\times}\;{\mathbb{R}},\;Sol_0^4,\;Sol_0^'4\;and\;Sol_{\lambda}^4$ are characterized: (1) $Sol^3\;{\times}\;{\mathbb{R}}$ has lattices. For each lattice, there are infra-solvmanifolds with holonomy groups 1, ${\mathbb{Z}}_2\;or\;{\mathbb{Z}}_4$. (2) Only some of $Sol_{\lambda}^4$, called $Sol_{m,n}^4$, have lattices with no non-trivial infra-solvmanifolds. (3) $Sol_0^{'4}$ does not have a lattice nor a compact form. (4) $Sol_0^4$ does not have a lattice, but has infinitely many compact forms. Thus the first Bieberbach theorem fails on $Sol_0^4$. This is the lowest dimensional such example. None of these compact forms has non-trivial infra-solvmanifolds.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.49-55
• /
• 1995

This paper is the third of a series in which smoothness properties of function in several variables are discussed. The germ of the whole theory was laid in the works by Folland and Stein [4]. On nilpotent Lie groups, they difined analogues of the classical $L^p$ Sobolev or potential spaces in terms of fractional powers of sub-Laplacian, L and extended several basic theorems from the Euclidean theory of differentaiability to these spaces: interpolation properties, boundedness of singular integrals,..., and imbeding theorems. In this paper we study the analogue to the extension theorem for the Folland-Stein spaces. The analogue to Stein's restriction theorem were studied by M. Mekias [5] and Y.M. Kim [6]. First, we have the space of Bessel potentials on the Heisenberg group introduced by Folland [4].

• Journal of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.115-141
• /
• 2023

We study a class of left-invariant pseudo-Riemannian Sasaki metrics on solvable Lie groups, which can be characterized by the property that the zero level set of the moment map relative to the action of some one-parameter subgroup {exp tX} is a normal nilpotent subgroup commuting with {exp tX}, and X is not lightlike. We characterize this geometry in terms of the Sasaki reduction and its pseudo-Kähler quotient under the action generated by the Reeb vector field. We classify pseudo-Riemannian Sasaki solvmanifolds of this type in dimension 5 and those of dimension 7 whose Kähler reduction in the above sense is abelian.