• Journal of the Chungcheong Mathematical Society
• /
• v.32 no.1
• /
• pp.87-95
• /
• 2019

The homothety classes of lattices in a two dimensional vector space over a nonarchimedean local field form a regular tree ${\mathcal{T}}$ of degree q + 1 on which the projective linear group acts naturally where q is the order of the residue field. We show that for any finite regular combinatorial graph of even degree q + 1, there exists a torsion free discrete subgroup ${\Gamma}$ of the projective linear group such that ${\mathcal{T}}/{\Gamma}$ is isomorphic to the graph.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.475-484
• /
• 2019

We study the set of critical exponents of discrete groups acting on regular trees. We prove that for every real number ${\delta}$ between 0 and ${\frac{1}{2}}\;{\log}\;q$, there is a discrete subgroup ${\Gamma}$ acting without inversion on a (q+1)-regular tree whose critical exponent is equal to ${\delta}$. Explicit construction of edge-indexed graphs corresponding to a quotient graph of groups are given.

• Journal of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.1-13
• /
• 1999

Let G be the 3-dimensional Heisenberg group. A discrete subgroup of Isom(G), acting freely on G with non-compact quotient, must be isomorphic to either 1, Z, Z2 or the fundamental group of the Klein bottle. We classify all discrete representations of such groups into Isom(G) up to affine conjugacy. This yields an affine calssification of 3-dimensional non-compact infra-nilmanifolds.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.143-148
• /
• 2001

First, we show the finiteness property of the homotopy fixed point set of p-discrete toral group. Let $G_\infty$ be a p-discrete toral group and X be a finite complex with an action of $G_\infty such that X^K$ is nilpotent for each finit p-subgroup K of $G_\infty$. Assume X is $F_\rho-complete$. Then X(sup)hG$\infty$ is F(sub)p-finite. Using this result, we give the condition so that X$^{hG}$ is $F_\rho-finite for \rho-compact$ toral group G.

• Journal of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.77-86
• /
• 1997

Let $\Gamma$ be a discrete subgroup of hyperbolic isometries acting on the Poincare disc $B^m, m \geq 2$. The discrete group $\Gamma$ acts properly discontinously in $B^m$, and acts on $\partial B^m$ as a group of conformal homemorphisms, but need not act properly discontinously on $\partial B^m$.

• Journal of the Korean Mathematical Society
• /
• v.43 no.1
• /
• pp.29-43
• /
• 2006

The article deals with the problem of extending representations of a closed normal subgroup H to a topological group G. We show that the standard technique using group cohomology to solve the problem in the case of finite groups can be generalized in the category of topological groups if G/H is discrete.

• Communications of the Korean Mathematical Society
• /
• v.17 no.2
• /
• pp.253-260
• /
• 2002

For an outer action $\alpha$ of a finite group G on a factor M, it was proved that H is a, normal subgroup of G if and only if there exists a finite group F and an outer action $\beta$ of F on the crossed product algebra M $\times$$_{\alpha}$ G = (M $\times$$_{\alpha}$ F. We generalize this to infinite group actions. For an outer action $\alpha$ of a discrete group, we obtain a Galois correspondence for crossed product algebras related to normal subgroups. When $\alpha$ satisfies a certain condition, we also obtain a Galois correspondence for fixed point algebras. Furthermore, for a minimal action $\alpha$ of a compact group G and a closed normal subgroup H, we prove $M^{G}$ = ( $M^{H}$)$^{{beta}(G/H)}$for a minimal action $\beta$ of G/H on $M^{H}$.f G/H on $M^{H}$.TEX> H/.

• Journal of Integrative Natural Science
• /
• v.10 no.2
• /
• pp.110-114
• /
• 2017

The connected and simply connected four-dimensional matrix solvable Lie group $Sol^4_1$ is the four-dimensional geometry. A crystallographic group of $Sol^4_1$ is a discrete cocompact subgroup of $Sol^4_1{\rtimes}D(4)$. In this paper, we geometrically describe the crystallographic groups of $Sol^4_1$.

• Communications of the Korean Mathematical Society
• /
• v.13 no.1
• /
• pp.29-36
• /
• 1998

We show that if M is a $II_1$-factor and a countable discrete group G acts outerly on M then Jones' index $[M:M^G]$ of a pair of $II_1^-factors is equal to the order $\mid$G$\mid$ of G. It is also shown that for a subgroup H of G Jones' index $[M^H:M^G]$ is equal to the group index [G:H] under certain conditions.

• Journal of KIISE:Information Networking
• /
• v.29 no.4
• /
• pp.346-351
• /
• 2002

We improve a new probabilistic public key cryptosystem, in which the one wav function was defined only on the discrete logarithmic functions, proposed by Okamoto and Uchiyama. The plaintexts are calculated from the modular product of two these functions, one of which has a fixed value depending on a given public key. The improvement is achieved by a well-chosen public key assuming an unit element 1 as the fixed function value. Because it is possible to reduce the number of operations at the decryption. Also the concrete method for a public key of our improved scheme is suggested.