Related papers: On self-similar finite $p$-groups

The greatest power of a prime $p$ dividing the natural number $n$ will be denoted by $n_p$. Let $Ind_G(g)=|G:C_G(g)|$. Suppose that $G$ is a finite group and $p$ is a prime. We prove that if there exists an integer $\alpha>0$ such that…

An automorphism $\alpha$ of a group $G$ is said to be central if $\alpha$ commutes with every inner automorphism of $G$. We construct a family of non-special finite $p$-groups having abelian automorphism groups. These groups provide counter…

Let G be a finite p-group and let Aut_l(G) be the group of absolute central automorphisms of G. We give necessary and sufficient conditions on G such that Aut_l(G) = Inn(G).

A conjecture of Berkovich asserts that every non-simple finite p-group has a non-inner automorphism of order p. This conjecture is far from being proved despite the great effort devoted to it. In this paper we prove it for p-groups of…

Let $G$ be a finite group. A proper subgroup $H$ of $G$ is said to be large if the order of $H$ satisfies the bound $|H|^3 \ge |G|$. In this note we determine all the large maximal subgroups of finite simple groups, and we establish an…

Any non-abelian finite $p$-group has a non-inner automorphism of order $p$.

Let $G$ be a finitely generated regular branch group acting by automorphisms on a regular rooted tree $T$. It is well-known that stabilizers of infinite rays in $T$ (aka parabolic subgroups) are weakly maximal subgroups in $G$, that is,…

Let $\psi(G) = \sum_{g \in G} o(g)$ denote the sum of element orders of a finite group $G$. It is known that among groups of order $n$, the cyclic group $C_n$ maximizes $\psi$. T\u{a}rn\u{a}uceanu proved that two finite abelian $p$-groups…

Every finitely generated self-similar group naturally produces an infinite sequence of finite $d$-regular graphs $\Gamma_n$. We construct self-similar groups, whose graphs $\Gamma_n$ can be represented as an iterated zig-zag product and…

Let $G$ be a finite group minimally generated by $d(G)$ elements and $\Aut_c(G)$ denote the group of all (conjugacy) class-preserving automorphisms of $G$. Continuing our work [Class preserving automorphisms of finite $p$-groups, J. London…

When the standard representation of a crystallographic Coxeter group is reduced modulo an odd prime p, one obtains a finite group G^p acting on some orthogonal space over Z_p . If the Coxeter group has a string diagram, then G^p will often…

For any prime $p$ and group $G$, denote the pro-$p$ completion of $G$ by $\hat{G}^p$. Let $\mathcal{C}$ be the class of all groups $G$ such that, for each natural number $n$ and prime number $p$, $H^n(\hat{G^p},\mathbb Z/p)\cong H^n(G,…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all…

Let $\mathcal{A}_g$ be the moduli space over $\overline{\mathbb{F}}_p$ of $g$-dimensional principally polarised abelian varieties, where $p$ is a prime. We show that if $g$ is even and $p\geq 5$, then every geometric generic member in the…

Given integers $d\ge 3$ and $N\ge 3$. Let $G$ be a finite abelian group acting faithfully and linearly on a smooth hypersurface of degree $d$ in the complex projective space $\mathbb{P}^{N-1}$. Suppose $G\subset PGL(N, \mathbb{C})$ can be…

If $G$ be a finite $p$-group and $\chi$ is a non-linear irreducible character of $G$, then $\chi(1)\leq |G/Z(G)|^{\frac{1}{2}}$. In \cite{fernandez2001groups}, Fern\'{a}ndez-Alcober and Moret\'{o} obtained the relation between the character…

Let $\mathcal{F}$ denote a singular holomorphic foliation on $\mathbb{P}^2$ having a finite automorphism group $\mbox{aut}(\mathcal{F})$. Fixed the degree of $\mathcal{F}$, we determine the maximal value that $|\mbox{aut}(\mathcal{F})|$ can…

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,…

A presentation as well as a structural description of the automorphism group of a family of 3-generator finite $p$-groups is given, $p$ being an odd prime.