• 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.

• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.4
• /
• pp.289-296
• /
• 2023

When G is an abelian group, we use the notation M(G, n) to denote the Moore space. The space X is the wedge product space of Moore spaces, given by X = M(ℤ_q, n+ 2) ∨ M(ℤ_q, n+ 1) ∨ M(ℤ_q, n). We determine the self-homotopy classes group [X, X] and the self-homotopy equivalence group 𝓔(X). We investigate the subgroups of [M_j , M_k] consisting of homotopy classes of maps that induce the trivial homomorphism up to (n + 2)-homotopy groups for j ≠ k. Using these results, we calculate the subgroup 𝓔^dim_#(X) of 𝓔(X) in which all elements induce the identity homomorphism up to (n + 2)-homotopy groups of X.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.923-931
• /
• 2014

Let x be an element of a group G and be an automorphism of G. Then for a positive integer n, the autocommutator $[x,_n{\alpha}]$ is defined inductively by $[x,{\alpha}]=x^{-1}x^{\alpha}=x^{-1}{\alpha}(x)$ and $[x,_{n+1}{\alpha}]=[[x,_n{\alpha}],{\alpha}]$. We call the group G to be n-auto-Engel if $[x,_n{\alpha}]=[{\alpha},_nx]=1$ for all $x{\in}G$ and every ${\alpha}{\in}Aut(G)$, where $[{\alpha},x]=[x,{\alpha}]^{-1}$. Also, for any integer $n{\neq}0$, 1, a group G is called an n-auto-Bell group when $[x^n,{\alpha}]=[x,{\alpha}^n]$ for every $x{\in}G$ and each ${\alpha}{\in}Aut(G)$. In this paper, we investigate the properties of such groups and show that if G is an n-auto-Bell group, then the factor group $G/L_3(G)$ has finite exponent dividing 2n(n-1), where $L_3(G)$ is the third term of the upper autocentral series of G. Also, we give some examples and results about n-auto-Bell abelian groups.

• 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.45 no.2
• /
• pp.425-433
• /
• 2008

Let R be a ring with identity $1_R$ and let U(R) denote the group of all units of R. A ring R is called locally finite if every finite subset in it generates a finite semi group multiplicatively. In this paper, some results are obtained as follows: (1) for any semilocal (hence semiperfect) ring R, U(R) is a finite (resp. locally finite) group if and only if R is a finite (resp. locally finite) ring; U(R) is a locally finite group if and only if U$(M_n(R))$ is a locally finite group where $M_n(R)$ is the full matrix ring of $n{\times}n$ matrices over R for any positive integer n; in addition, if $2=1_R+1_R$ is a unit in R, then U(R) is an abelian group if and only if R is a commutative ring; (2) for any semiperfect ring R, if E(R), the set of all idempotents in R, is commuting, then $R/J\cong\oplus_{i=1}^mD_i$ where each $D_i$ is a division ring for some positive integer m and |E(R)|=$2^m$; in addition, if 2=$1_R+1_R$ is a unit in R, then every idempotent is central.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1145-1153
• /
• 2014

Let G be a finite group and X be a union of conjugacy classes of G. Define C(G,X) to be the graph with vertex set X and $x,y{\in}X$ ($x{\neq}y$) joined by an edge whenever they commute. In the case that X = G, this graph is named commuting graph of G, denoted by ${\Delta}(G)$. The aim of this paper is to study the automorphism group of the commuting graph. It is proved that Aut(${\Delta}(G)$) is abelian if and only if ${\mid}G{\mid}{\leq}2$; ${\mid}Aut({\Delta}(G)){\mid}$ is of prime power if and only if ${\mid}G{\mid}{\leq}2$, and ${\mid}Aut({\Delta}(G)){\mid}$ is square-free if and only if ${\mid}G{\mid}{\leq}3$. Some new graphs that are useful in studying the automorphism group of ${\Delta}(G)$ are presented and their main properties are investigated.

• Communications of the Korean Mathematical Society
• /
• v.28 no.4
• /
• pp.643-647
• /
• 2013

Let G be a group and let $p$ be a prime number. If the set $\mathcal{A}(G)$ of all commuting automorphisms of G forms a subgroup of Aut(G), then G is called $\mathcal{A}(G)$-group. In this paper we show that any $p$-group with cyclic maximal subgroup is an $\mathcal{A}(G)$-group. We also find the structure of the group $\mathcal{A}(G)$ and we show that $\mathcal{A}(G)=Aut_c(G)$. Moreover, we prove that for any prime $p$ and all integers $n{\geq}3$, there exists a non-abelian $\mathcal{A}(G)$-group of order $p^n$ in which $\mathcal{A}(G)=Aut_c(G)$. If $p$ > 2, then $\mathcal{A}(G)={\cong}\mathbb{Z}_p{\times}\mathbb{Z}_{p^{n-2}}$ and if $p=2$, then $\mathcal{A}(G)={\cong}\mathbb{Z}_2{\times}\mathbb{Z}_2{\times}\mathbb{Z}_{2^{n-3}}$ or $\mathbb{Z}_2{\times}\mathbb{Z}_2$.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.491-501
• /
• 1998

If N is any cartesian product of a closed simply connected n-manifold $N_1$ and a closed aspherical m-manifold $N_2$, then N is a codimension 2 fibrator. Moreover, if N is any closed hopfian PL n-manifold with $\pi_iN=0$ for $2 {\leq} i < m$, which is a codimension 2 fibrator, and $\pi_i N$ is normally cohopfian and has no proper normal subroup isomorphic to $\pi_1 N/A$ where A is an abelian normal subgroup of $\pi_1 N$, then N is a codimension m PL fibrator.

• Journal of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.489-501
• /
• 2015

We study the structure of right duo ring property when it is restricted within the group of units, and introduce the concept of right unit-duo. This newly introduced property is first observed to be not left-right symmetric, and we examine several conditions to ensure the symmetry. Right unit-duo rings are next proved to be Abelian, by help of which the class of noncommutative right unit-duo rings of minimal order is completely determined up to isomorphism. We also investigate some properties of right unit-duo rings which are concerned with annihilating conditions.

• Journal of applied mathematics & informatics
• /
• v.29 no.5_6
• /
• pp.1421-1433
• /
• 2011

In this paper, using a fixed point approach, the generalized Hyeres-Ulam stability of the following quadratic functional equation $f(x+y+z)+f(x+{\sigma}(y))+f(y+{\sigma}(z))+f(x+{\sigma}(z))=3(f(x)+f(y)+f(z))$ will be studied, where f is a function from abelian group G into a quasi-${\beta}$-normed space and ${\sigma}$ is an involution on the group G. Next, we consider its pexiderized equation of the form $f(x+y+z)+f(x+{\sigma}(y))+f(y+{\sigma}(z))+f(x+{\sigma}(z))=g(x)+g(y)+g(z)$ and its generalized Hyeres-Ulam stability.