Related papers: On finite groups with automorphisms whose fixed po…

Let G be any finitely generated infinite group. Denote by K(G) the FC-centre of G, i.e., the subgroup of all elements of G whose centralizers are of finite index in G. Let QI(G) denote the group of quasi-isometries of G with respect to word…

Let $G$ be a compact connected Lie group and let $P$ be a principal $G$-bundle over $K$. The gauge group of $P$ is the topological group of automorphisms of $P$. For fixed $G$ and $K$, consider all principal $G$-bundles $P$ over $K$. It is…

Many common finite p-groups admit automorphisms of order coprime to p, and when p is odd, it is reasonably difficult to find finite p-groups whose automorphism group is a p-group. Yet the goal of this paper is to prove that the automorphism…

If $G$ is a finite $\ell$-group acting on an affine space $\mathbb{A}^n$ over a finite field $K$ of cardinality prime to $\ell$, Serre has shown that there exists a rational fixed point. We generalize this to the case where $K$ is a…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let $G$ be a finite group and assume $p$ is a prime dividing the order of $G$. Suppose for any such $p$, that every two abelian $p$-subgroups of $G$ of equal order are conjugate. The structure of such a group $G$ has been settled in this…

Let $A$ be a non-metacyclic finite group. Suppose that $A$ acts coprimely on a finite group $G$ in such a manner that $C_G(a)$ is nilpotent for any $a\in A^{\#}$. In the present paper we investigate some conditions on $A$ which imply that…

For a group G and an element a in G let |a|_k denote the cardinality of the set of commutators [a,x_1,...,x_k], where x_1,...,x_k range over G. The main result of the paper states that a group G is finite-by-nilpotent if and only if there…

Given an affine algebraic variety $X$, we prove that if the neutral component $\mathrm{Aut}^\circ(X)$ of the automorphism group consists of algebraic elements, then it is nested, i.e., is a direct limit of algebraic subgroups. This improves…

In this paper, we discuss about finite groups in which, CGH = NGH, for every abelian subgroup H of non prime power order. Also, we classify all such nilpotent and minimal non nilpotent groups.

Let $G$ be a finite group. We prove a theorem implying that the orders of elements of the holomorph $\operatorname{Hol}(G)$ are bounded from above by $|G|$, and we discuss an application to bounding automorphism orders of finite groups.

Let $G$ be a finite group acting faithfully on a finite set $\Omega$. For a positive integer $k$, $G$ acts naturally on the Catesian product $\Omega^k := \Omega \times ...\times \Omega$. In this paper, we prove that finite nilpotent group…

The endomorphism ring End(A) of an abelian variety A is an order in a semi-simple algebra over Q. The co-index of End(A) is the index to a maximal order containing it. We show that for abelian varieties of fixed dimension over any…

We prove that if $\F$ is an abelian group of $C^1$ diffeomorphisms isotopic to the identity of a closed surface $S$ of genus at least two then there is a common fixed point for all elements of $\F.$

Suppose that a finite group $G$ admits an automorphism $\varphi $ of order $2^n$ such that the fixed-point subgroup $C_G(\varphi ^{2^{n-1}})$ of the involution $\varphi ^{2^{n-1}}$ is nilpotent of class $c$. Let $m=|C_G(\varphi)|$ be the…

An automorphism $\alpha$ of a group $G$ is called a commuting automorphism if each element $x$ in $G$ commutes with its image $\alpha(x)$ under $\alpha$. Let $A(G)$ denote the set of all commuting automorphisms of $G$. Rai [Proc. Japan…

Let $A$ be a group isomorphic with either $S_4$, the symmetric group on four symbols, or $D_8$, the dihedral group of order 8. Let $V$ be a normal four-subgroup of $A$ and $\alpha$ an involution in $A\setminus V$. Suppose that $A$ acts on a…

We investigate the structure of the monoid of endomorphisms of the ordered set $(\mathbb{Q},{\leq})$ of rational numbers. We show that for any countable linearly ordered set $\Omega$, there are uncountably many maximal subgroups of…

Let $A$ be the product of an abelian variety and a torus over a number field $K$, and let $m$ be a positive integer. If $\alpha \in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak p$ of $K$ such that the…

Given a countable abelian group $A$, we construct a row finite directed graph $\Gamma(A)$ such that the $K_{0}$-group of the graph $\textrm{C}^{\ast}$-algebra $\textrm{C}^{\ast}(\Gamma(A))$ is canonically isomorphic to $A$. Moreover, each…