• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.121-133
• /
• 1998

We find some properties of the pro-torsion products. Under the suitable conditions, we also show that the map ${\bar{H}}_P({\chi};G){\rightarrow}{\bar{H}}_p^{s(r)}({\chi};G)$ is an isomorphism and the n-th homotopy group of X is isomorphic to the n-th ${\check{C}}ECH$ homology group.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.109-114
• /
• 1989

This paper deals with the classifying spaces of finite groups. To any finite group G we associate a space BG with the property that .pi.$_{1}$(BG)=G, .pi.$_{i}$ (BG)=0 for i>1. BG is called the classifying space of G. Consider the problem of finding a stable splitting BG= $X_{1}$$^{V}$ $X_{1}$$^{V}$..$^{V}$ $X_{n}$ localized at pp. Ideally the $X_{i}$ 's are indecomposable, thus displaying the homotopy type of BG in the simplest terms. Such a decomposition naturally splits $H^{*}$(BG). The main purpose of this paper is to give the classification theorem in stable homotopy theory for groups with periodic cohomology i.e. cyclic Sylow p-subgroups for p an odd prime and to calculate some universal stable element. In this paper, all cohomology groups are with Z/p-coefficients and p is an odd prime.prime.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1311-1327
• /
• 2010

We introduce the concept of cyclic morphisms with respect to a morphism in the category of pairs as a generalization of the concept of cyclic maps and we use the concept to obtain certain sets of homotopy classes in the category of pairs. For these sets, we get complete or partial answers to the following questions: (1) Is the concept the most general concept in the class of all concepts of generalized Gottlieb subsets introduced by many authors until now? (2) Are they homotopy invariants in the category of pairs? (3) When do they have a group structure?.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.719-725
• /
• 2001

For a p-compact group G, if G-space X is of finite S-type then we show that the localization $S^{-1}H^*(X_{hG})$is zero. By using this result, we prove the localization theorem for the pair G-space (X, A)

• Journal of applied mathematics & informatics
• /
• v.18 no.1_2
• /
• pp.487-495
• /
• 2005

The main goal of this paper is to prove the digital homotopy lifting theorem with relation to a radius n local homeomorphism.

• Honam Mathematical Journal
• /
• v.27 no.1
• /
• pp.115-129
• /
• 2005

In this paper, we give a digital graph-theoretical approach of the study of digital images with relation to a simplicial complex. Thus, a digital graph $G_k$ with some k-adjacency in ${\mathbb{Z}}^n$ can be recognized by the simplicial complex spanned by $G_k$. Moreover, we demonstrate that a graphically $(k_0,\;k_1)$-continuous map $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}}^{n_1}$ can be converted into the simplicial map $S(f):S(G_{k_0}){\rightarrow}S(G_{k_1})$ with relation to combinatorial topology. Finally, if $G_{k_0}$ is not $(k_0,\;3^{n_0}-1)$-homotopy equivalent to $SC^{n_0,4}_{3^{n_0}-1}$, a graphically $(k_0,\;k_1)$-continuous map (respectively a graphically $(k_0,\;k_1)$-isomorphisim) $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}^{n_1}$ induces the group homomorphism (respectively the group isomorphisim) $S(f)_*:{\pi}_1(S(G_{k_0}),\;v_0){\rightarrow}{\pi}_1(S(G_{k_1}),\;f(v_0))$ in algebraic topology.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.4
• /
• pp.1069-1077
• /
• 2013

Several authors investigated the properties which are invariant under the passage from a group to its nonabelian tensor square. In the present note we study this problem from the viewpoint of the classes of groups and the methods allow us to prove a result of invariance for some geometric properties of discrete groups.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.815-823
• /
• 1996

M. Kontsevich posed a problem on mapping class groups of 3-manifold that is if M is a compact 3-manifold with nonempty boundary, then BDiff (M rel $\partial$ M) has the homotopy type of a finite complex. Here, Diff (M rel $\partial$ M) is the group of diffeomorphisms of M which restrict to the identity on $\partial$ M, and BDiff (M rel $\partial$ M) is its classifying space. In this paper we resolve the problem affirmatively in the case when M is a Haken 3-manifold.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1301-1314
• /
• 2021

In this paper, firstly, we work on the presentation of the crossed product of groups of general types. After that we find the generating pictures (Second Homotopy Group) of this product by looking the relations from a geometric viewpoint. Finally, we give some applications.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.157-169
• /
• 1999

For a k-connected inverse system $({\scr{X}},\;*)=((X_{\lambda},\;*),p_{{\lambda}{{\lambda}}^{\prime}},\;{\Lambda})$ of pointed topological spaces and pointed preserving weak fibrations, inducting epimorphic chain maps, over a directed set, we show that the homotopy group ${\pi}_k(lim{\scr{X}},\;*)$ of the inverse limit is isomorphic to the integral homology group $$H_k(lim{\scr{X}};\mathbb{Z})$. Using the result of S. $Marde{\check{s}}i{\acute{c}}$, we prove that the group of pure extension $Pext(colimH^n({\scr{X}},\;A)$ is isomorphic to the group of extension $Ext({\Delta}({\lambda}),\;Hom(H^n({\scr{X}}),\;A))$.