• 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 the Korean Mathematical Society
• /
• v.47 no.6
• /
• pp.1269-1282
• /
• 2010

We in this note consider a new concept, so called $\pi$-McCoy, which unifies McCoy rings and IFP rings. The classes of McCoy rings and IFP rings do not contain full matrix rings and upper (lower) triangular matrix rings, but the class of $\pi$-McCoy rings contain upper (lower) triangular matrix rings and many kinds of full matrix rings. We first study the basic structure of $\pi$-McCoy rings, observing the relations among $\pi$-McCoy rings, Abelian rings, 2-primal rings, directly finite rings, and ($\pi-$)regular rings. It is proved that the n by n full matrix rings ($n\geq2$) over reduced rings are not $\pi$-McCoy, finding $\pi$-McCoy matrix rings over non-reduced rings. It is shown that the $\pi$-McCoyness is preserved by polynomial rings (when they are of bounded index of nilpotency) and classical quotient rings. Several kinds of extensions of $\pi$-McCoy rings are also examined.

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

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.93-108
• /
• 2011

A ring R is called left weakly np- injective if for each non-nilpotent element a of R, there exists a positive integer n such that any left R- homomorphism from $Ra^n$ to R is right multiplication by an element of R. In this paper various properties of these rings are first developed, many extending known results such as every left or right module over a left weakly np- injective ring is divisible; R is left seft-injective if and only if R is left weakly np-injective and $_RR$ is weakly injective; R is strongly regular if and only if R is abelian left pp and left weakly np- injective. We next introduce the concepts of left weakly pp rings and left weakly C2 rings. In terms of these rings, we give some characterizations of (von Neumann) regular rings such as R is regular if and only if R is n- regular, left weakly pp and left weakly C2. Finally, the relations among left C2 rings, left weakly C2 rings and left GC2 rings are given.

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.657-668
• /
• 2016

Given a partition ${\lambda}=({\lambda}_1,{\lambda}_2,{\ldots},{\lambda}_l)$ of a positive integer n, let Tab(${\lambda}$, k) be the set of all tabloids of shape ${\lambda}$ whose weights range over the set of all k-compositions of n and ${\mathcal{OP}}^k_{\lambda}_{rev}$ the set of all ordered partitions into k blocks of the multiset $\{1^{{\lambda}_l}2^{{\lambda}_{l-1}}{\cdots}l^{{\lambda}_1}\}$. In [2], Butler introduced an inversion-like statistic on Tab(${\lambda}$, k) to show that the rank-selected $M{\ddot{o}}bius$ invariant arising from the subgroup lattice of a finite abelian p-group of type ${\lambda}$ has nonnegative coefficients as a polynomial in p. In this paper, we introduce an inversion-like statistic on the set of ordered partitions of a multiset and construct an inversion-preserving bijection between Tab(${\lambda}$, k) and ${\mathcal{OP}}^k_{\hat{\lambda}}$. When k = 2, we also introduce a major-like statistic on Tab(${\lambda}$, 2) and study its connection to the inversion statistic due to Butler.

• Journal of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.457-470
• /
• 2005

Yu showed that every right (left) primitive factor ring of weakly right (left) duo rings is a division ring. It is not difficult to show that each weakly right (left) duo ring is abelian and has the classical right (left) quotient ring. In this note we first provide a left duo ring (but not weakly right duo) in spite of it being left Noetherian and local. Thus we observe conditions under which weakly one-sided duo rings may be two-sided. We prove that a weakly one-sided duo ring R is weakly duo under each of the following conditions: (1) R is semilocal with nil Jacobson radical; (2) R is locally finite. Based on the preceding case (1) we study a kind of composition length of a right or left Artinian weakly duo ring R, obtaining that i(R) is finite and $\alpha^{i(R)}R\;=\;R\alpha^{i(R)\;=\;R\alpha^{i(R)}R\;for\;all\;\alpha\;{\in}\;R$, where i(R) is the index (of nilpotency) of R. Note that one-sided Artinian rings and locally finite rings are strongly $\pi-regular$. Thus we also observe connections between strongly $\pi-regular$ weakly right duo rings and related rings, constructing available examples.

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

• Journal of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1281-1299
• /
• 2017

A submodule N of a module M is called ${\mathcal{S}}$-closed (in M) if M/N is nonsingular. It is well-known that the class Closed of short exact sequences determined by closed submodules is a proper class in the sense of Buchsbaum. However, the class $\mathcal{S}-Closed$ of short exact sequences determined by $\mathcal{S}$-closed submodules need not be a proper class. In the first part of the paper, we describe the smallest proper class ${\langle}\mathcal{S-Closed}{\rangle}$ containing $\mathcal{S-Closed}$ in terms of $\mathcal{S}$-closed submodules. We show that this class coincides with the proper classes projectively generated by Goldie torsion modules and coprojectively generated by nonsingular modules. Moreover, for a right nonsingular ring R, it coincides with the proper class generated by neat submodules if and only if R is a right SI-ring. In abelian groups, the elements of this class are exactly torsionsplitting. In the second part, coprojective modules of this class which we call ec-flat modules are also investigated. We prove that injective modules are ec-flat if and only if each injective hull of a Goldie torsion module is projective if and only if every Goldie torsion module embeds in a projective module. For a left Noetherian right nonsingular ring R of which the identity element is a sum of orthogonal primitive idempotents, we prove that the class ${\langle}\mathcal{S-Closed}{\rangle}$ coincides with the class of pure-exact sequences of modules if and only if R is a two-sided hereditary, two-sided $\mathcal{CS}$-ring and every singular right module is a direct sum of finitely presented modules.

• Communications of Mathematical Education
• /
• v.5
• /
• pp.523-523
• /
• 1997

Suppose that G is a group of permutations of a set ${\Omega}$. For a finite subset ${\gamma}$of${\Omega}$, the movement of ${\gamma}$ under the action of G is defined as move(${\gamma}$):=$max\limits_{g{\epsilon}G}|{\Gamma}^{g}{\backslash}{\Gamma}|$, and ${\gamma}$ will be said to have restricted movement if move(${\gamma}$)<|${\gamma}$|. Moreover if, for an infinite subset ${\gamma}$of${\Omega}$, the sets|{\Gamma}^{g}{\backslash}{\Gamma}| are finite and bounded as g runs over all elements of G, then we may define move(${\gamma}$)in the same way as for finite subsets. If move(${\gamma}$)${\leq}$m for all ${\gamma}$${\subseteq}$${\Omega}$, then G is said to have bounded movement and the movement of G move(G) is defined as the maximum of move(${\gamma}$) over all subsets ${\gamma}$ of ${\Omega}$. Having bounded movement is a very strong restriction on a group, but it is natural to ask just which permutation groups have bounded movement m. If move(G)=m then clearly we may assume that G has no fixed points is${\Omega}$, and with this assumption it was shown in [4, Theorem 1]that the number t of G=orbits is at most 2m-1, each G-orbit has length at most 3m, and moreover|${\Omega}$|${\leq}$3m+t-1${\leq}$5m-2. Moreover it has recently been shown by P. S. Kim, J. R. Cho and C. E. Praeger in [1] that essentially the only examples with as many as 2m-1 orbits are elementary abelian 2-groups, and by A. Gardiner, A. Mann and C. E. Praeger in [2,3]that essentially the only transitive examples in a set of maximal size, namely 3m, are groups of exponent 3. (The only exceptions to these general statements occur for small values of m and are known explicitly.) Motivated by these results, we would decide what role if any is played by primes other that 2 and 3 for describing the structure of groups of bounded movement.