• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.109-115
• /
• 2020

Recently, Lesieutre constructed a 6-dimensional projective variety X over any field of characteristic zero whose automorphism group Aut(X) is discrete but not finitely generated. As an application, he also showed that X is an example of a projective variety with infinitely many non-isomorphic real structures. On the other hand, there are also several finiteness results of real structures of projective varieties. The aim of this short paper is to give a sufficient condition for the finiteness of real structures on a projective manifold in terms of the structure of the automorphism group. To be more precise, in this paper we show that, when X is a projective manifold of any dimension≥ 2, if Aut(X) does not contain a subgroup isomorphic to the non-abelian free group ℤ ∗ ℤ, then there are only finitely many real structures on X, up to ℝ-isomorphisms.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.167-174
• /
• 2002

A group G is said to be (l, n, n)-generated if it is a quotient group of the triangle group T(p,q,r)=(x,y,z|x$\^$p/=y$\^$q/=z$\^$r/=xyz=1). In [15], the question of finding all triples (l, m, n) such that non-abelian finite simple groups are (l , m, n)-generated was posed. In this paper we partially answer this question for the sporadic group He. We continue the study of (p, q, r) -generations of the sporadic simple groups, where p, q, r are distinct primes. The problem is resolved for the Held group He.

• Journal of applied mathematics & informatics
• /
• v.12 no.1_2
• /
• pp.143-154
• /
• 2003

A finite group G is called (l, m, n)-generated, if it is a quotient group of the triangle group T(l, m, n) = 〈$\chi$, y, z│$\chi$$\^$l/ = y$\^$m/ = z$^n$ = $\chi$yz = 1〉. In [19], the question of finding all triples (l, m, n) such that non-abelian finite simple group are (l, m, n)-generated was posed. In this paper we partially answer this question for the sporadic group Ru. In fact, we prove that if p, q and r are prime divisors of │Ru│, where p < q < r and$.$(p, q) $\neq$ (2, 3), then Ru is (p, q, r)-generated.

• Journal of the Korean Mathematical Society
• /
• v.41 no.5
• /
• pp.913-920
• /
• 2004

We give a characterization for fundamental groups of graphs of groups amalgamating cyclic edge subgroups to be cyclic subgroup separable if each pair of edge subgroups has a non-trivial intersection. We show that fundamental groups of graphs of abelian groups amalgamating cyclic edge subgroups are cyclic subgroup separable, hence residually finite, if each edge subgroup is isolated in its containing vertex group.

• Communications of the Korean Mathematical Society
• /
• v.11 no.4
• /
• pp.1077-1085
• /
• 1996

This paper provides examples which can not be approximate fibrations and shows that if $N^n$ is a closed aspherical manifold, $\pi_1(N)$ is hyperhophian, normally cohophian, and $\pi_1(N)$ has no nontrivial Abelian normal subgroup, then the product of $N^n$ and a sphre $S^m$ satisfies the property that all PL maps from an orientable manifold M to a polyhedron B for which each point preimage is homotopy equivalent to $N^n \times S^m$ necessarily are approximate fibrations.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.289-295
• /
• 1994

Let (A,G,.alpha.) be a $C^{*}$-dynamical system. In [3] the classical notions of ergodic properties of topological dynamical systems such as topological transitivity, minimality, and uniquely ergodicity are extended and analyzed in the context of non-abelian $C^{*}$-dynamical systems. We showed in [2] that if G is a compact group, then minimality, topological transitivity, uniquely ergodicity, and weakly ergodicity of the $C^{*}$-dynamical system (A,G,.alpha.) are equivalent.alent.

• Journal of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.225-239
• /
• 2003

(G, <) is an ordered group if'<'is a total order relation on G in which f < g implies that xfy < xgy for all f, g, x, y $\in$ G. We say that (G, <) is centrally ordered if (G, <) is ordered and ［G,D］ $\subseteq$ C for every convex jump C $\prec$ D in G. Equivalently, if $f^{-1}g f{\leq} g^2$ for all f, g $\in$ G with g > 1. Every order on a torsion-free locally nilpotent group is central. We prove that if every order on every two-generator subgroup of a locally soluble orderable group G is central, then G is locally nilpotent. We also provide an example of a non-nilpotent two-generator metabelian orderable group in which all orders are central.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.75-96
• /
• 2006

Let m, n be positive integers. We denote by R(m,n) (respectively P(m,n)) the class of all groups G such that, for every n subsets $X_1,X_2\ldots,X_n$, of size m of G there exits a non-identity permutation $\sigma$ such that $X_1X_2{\cdots}X_n{\cap}X_{\sigma(1)}X_{/sigma(2)}{\cdots}X_{/sigma(n)}\neq\phi$ (respectively $X_1X_2{\cdots}X_n=X_{/sigma(1)}X_{\sigma(2)}{\cdots}X_{\sigma(n)}$). Let G be a non-abelian group. In this paper we prove that (i) $G{\in}P$(2,3) if and only if G isomorphic to $S_3$, where $S_n$ is the symmetric group on n letters. (ii) $G{\in}R$(2, 2) if and only if ${\mid}G{\mid}\geq8$. (iii) If G is finite, then $G{\in}R$(3, 2) if and only if ${\mid}G{\mid}\geq14$ or G is isomorphic to one of the following: SmallGroup(16, i), $i\in$ {3, 4, 6, 11, 12, 13}, SmallGroup(32, 49), SmallGroup(32, 50), where SmallGroup(m, n) is the nth group of order m in the GAP [13] library.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1371-1385
• /
• 2019

Given a topological space X and a non-negative integer k, ${\varepsilon}^{\sharp}_k(X)$ is the set of all self-homotopy equivalences of X that do not change maps from X to an t-sphere $S^t$ homotopically by the composition for all $t{\geq}k$. This set is a subgroup of the self-homotopy equivalence group ${\varepsilon}(X)$. We find certain homotopic tools for computations of ${\varepsilon}^{\sharp}_k(X)$. Using these results, we determine ${\varepsilon}^{\sharp}_k(M(G,n))$ for $k{\geq}n$, where M(G, n) is a Moore space type of (G, n) for a finitely generated abelian group G.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.2
• /
• pp.333-346
• /
• 2002

Let $F={F^v:S^1->S^1,v\in\; V$ and $g={G^v:S^1->S^1,v\in\; V$ be disjoint flows defined on the unit circle $S^1$, that is such flows that each their element either is the identity mapping or has no fixed point ((V, +) is a 2-divisible nontrivial abelian group). The aim of this paper is to give a necessary and sufficient codition for topological conjugacy of disjoint flows i.e., the existence of a homeomorphism $\Gamma:S^1->S^1$ satisfying $$\Gamma\circ\ F^v=G^v\circ\Gamma,\; v\in\; V$$ Moreover, under some further restrictions, we determine all such homeomorphisms.