Related papers: On a theorem of Blichfeldt

Let $k$ be a field, $G$ be a finite group, $k(x(g):g\in G)$ be the rational function field with the variables $x(g)$ where $g\in G$. The group $G$ acts on $k(x(g):g\in G)$ by $k$-automorphisms where $h\cdot x(g)=x(hg)$ for all $h,g\in G$.…

Let $R(\phi)$ be the number of $\phi$-conjugacy (or Reidemeister) classes of an endomorphism $\phi$ of a group $G$. We prove for several classes of groups (including polycyclic) that the number $R(\phi)$ is equal to the number of fixed…

We give a notably simpler and shorter proof of H. B. Neumann's result which is stated, cursorly, like this. For any well-ordered subset, A, of a totally ordered semigroup, the set of products of any finite number of elements of A is itself…

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…

An element $g$ of a group $G$ is said to be right Engel if for every $x\in G$ there is a number $n=n(g,x)$ such that $[g,{}_{n}x]=1$. We prove that if a profinite group $G$ admits a coprime automorphism $\varphi$ of prime order such that…

Let $G$ be a finite group and $n$ be any prime-power divisor of ${\rm exp}(G)$, the exponent of $G$. Frobenius' theorem indicates that $|\{g\in G\mid g^n=1\}|=f_n\cdot n$ for some positive integer $f_n$. We call $f_n$ a Frobenius quotient…

This paper investigates the relationship between the Riemann hypothesis and the statement $\forall n, ~g(n) \le e^{\sqrt{p_n}}$, where $g(n)$ is the maximum order of an element of $S_n$, the symmetric group on $n$ elements, and $p_n$ is the…

Let $G$ be a group. We denote by $\nu(G)$ an extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. We prove that if $G$ is finite-by-nilpotent, then the non-abelian tensor square $G \otimes G$ is finite-by-nilpotent.…

A celebrated result of J. Thompson says that if a finite group $G$ has a fixed-point-free automorphism of prime order, then $G$ is nilpotent. The main purpose of this note is to extend this result to finite inverse semigroups. An earlier…

Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series…

Let $\Gamma_{g,b}$ denote the orientation-preserving Mapping Class Group of a closed orientable surface of genus $g$ with $b$ punctures. For a group $G$ let $\Phi_f(G)$ denote the intersection of all maximal subgroups of finite index in…

We introduce an extension of fixed-point logic ($\mathsf{FP}$) with a group-order operator ($\mathsf{ord}$), that computes the size of a group generated by a definable set of permutations. This operation is a generalization of the rank…

For a set $G$ of points in $\PG(m-1,q)$, let $\ex_q(G;n)$, denote the maximum size of a collection of points in $\PG(n-1,q)$ not containing a copy of $G$, up to projective equivalence. We show that \[\lim_{n\rightarrow \infty}…

Noether, Fleischmann and Fogarty proved that if the characteristic of the underlying field does not divide the order $|G|$ of a finite group $G$, then the polynomial invariants of $G$ are generated by polynomials of degrees at most $|G|$.…

Let $G$ be a nontrivial transitive permutation group on a finite set $\Omega$. By a classical theorem of Jordan, $G$ contains a derangement, which is an element with no fixed points on $\Omega$. Given a prime divisor $r$ of $|\Omega|$, we…

Let $G$ be a finite group admitting a coprime automorphism $\phi$ of order $n$. Denote by $G_{\phi}$ the centralizer of $\phi$ in $G$ and by $G_{-\phi}$ the set $\{ x^{-1}x^{\phi}; \ x\in G\}$. We prove the following results. 1. If every…

We prove a few basic facts about the space of bi-invariant (or left-invariant) total order relations on a torsion-free, nonabelian, nilpotent group G. For instance, we show that the space of bi-invariant orders has no isolated points (so it…

The main result of the paper is the following theorem. Let $q$ be a prime, $n$ a positive integer and $A$ an elementary abelian group of order $q^2$. Suppose that $A$ acts coprimely on a finite group $G$ and assume that for each $a\in…

We investigate the representation of the symmetric group afforded by the action on its conjugacy class of fixed point free involutions, over an algebraically closed field of finite characteristic p. We discuss the general form of the set of…

Let p be a prime number. Let G be a finite abelian p-group of exponent n (written additively) and A be a non-empty subset of $]n[:= \{1,2,..., n\}$ such that elements of A are incongruent modulo p and non-zero modulo p. Let $k \geq…