Related papers: On linear version of an elementary group theory re…
We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative…
A finite group $G$ is called $\psi$-divisible if $\psi(H)|\psi(G)$ for any subgroup $H$ of $G$, where $\psi(H)$ and $\psi(G)$ are the sum of element orders of $H$ and $G$, respectively. In this paper, we extend a result provided in [10], by…
Let G be a cyclic p-group of order p^n acting by automorphisms on a (non-necessarily commutative) ring R. Suppose there is an element x in R such that (1 + t + ... + t^{p-1})(x) = 1, where t is an element of order p in G. We show how to…
We compute all the moments of the p-torsion in the first step of a filtration of the class group defined by Gerth for cyclic fields of degree p, unconditionally for p=3 and under GRH in general. We show that it satisfies a distribution…
A finite group $G$ is said to be a $\mathcal{B}_{\psi}$-group if $\psi(H)<|G|$ for any proper subgroup $H$ of $G$, where $\psi(H)$ denotes the sum of element orders of $H$. In this paper, we characterize the $\mathcal{B}_{\psi}$-groups up…
This is a translation. I have added translations for (possibly) outdated definitions in an appendix at the end. In this paper, we define distributive groups and show some properties of them. We then concern ourselves with the homogeinity of…
Let $F$ be a field and let $E$ be an \'etale algebra over $F$, that is, a finite product of finite separable field extensions $E = F_1 \times \dots \times F_r$. The classical primitive element theorem asserts that if $r = 1$, then $E$ is…
This note presents Galois theory for finite fields. It was written as a handout for the MAT401 course ``Polynomial equations and fields'' taught at the University of Toronto in Spring 2026. We use without proofs some basic properties of…
Given a finite group $G$, we denote by $\psi\,'(G)$ the product of element orders of $G$. Our main result proves that the restriction of $\psi\,'$ to abelian $p$-groups of order $p^n$ is strictly increasing with respect to a natural order…
We continue the study of glider representations of finite groups $G$ with given structure chain of subgroups $e \subset G_1 \subset \ldots \subset G_d = G$. We give a characterization of irreducible gliders of essential length $e \leq d$…
In 1878, Jordan proved that if a finite group $G$ has a faithful representation of dimension $n$ over $\mathbb{C}$, then $G$ has a normal abelian subgroup with index bounded above by a function of $n$. The same result fails if one replaces…
We construct a class of finite rank multiplicative subgroups of the complex numbers such that the expansion of the real field by such a group is model-theoretically well-behaved. As an application we show that a classification of expansions…
We consider the structure of finite $p$-groups $G$ having precisely three characteristic subgroups, namely $1$, $\Phi(G)$ and $G$. The structure of $G$ varies markedly depending on whether $G$ has exponent $p$ or $p^2$, and, in both cases,…
We prove several results detecting ciclicity or nilpotency of a finite group $G$ in terms of inequalities involving the orders of the elements of $G$ and the orders of the elements of the cyclic group of order $|G|$. We prove that, among…
Let (k1,k2,k3,k4) be a quartet of cyclic cubic number fields sharing a common conductor c=pqr divisible by exactly three prime(power)s p,q,r. For those components k of the quartet whose 3-class group Cl(3,k) = Z/3Z x Z/3Z is elementary…
Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies the partial $ \Pi $-property in $ G $ if there exists a $G$-chief series $ \varGamma_{G}: 1 =G_{0} < G_{1} < \cdot\cdot\cdot < G_{n}= G $ of $ G $ such that $ | G…
The P\'{o}lya group of an algebraic number field is the subgroup generated by the ideal classes of the products of prime ideals of equal norm inside the ideal class group. Inspired by a recent work on consecutive quadratic fields with large…
Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of…
Let $G$ be a finite group of order $n$, and denote by $\rho(G)$ the product of element orders of $G$. The aim of this work is to provide some upper bounds for $\rho(G)$ depending only on $n$ and on its least prime divisor, when $G$ belongs…
In this paper, we introduce $\mathbb{Z}_{p^r}\mathbb{Z}_{p^r}\mathbb{Z}_{p^s}$-additive cyclic codes for $r\leq s$. These codes can be identified as $\mathbb{Z}_{p^s}[x]$-submodules of $\mathbb{Z}_{p^r}[x]/\langle x^{\alpha}-1\rangle \times…