Related papers: Abelian Schur groups of odd order

Let $(G,\{\rho_0, \rho_1, \rho_2\})$ be a string C-group of order $4p^m$ with type $\{k_1, k_2\}$ for $m \geq 2$, $k_1, k_2\geq 3$ and $p$ be an odd prime. Let $P$ be a Sylow $p$-subgroup of $G$. We prove that $G \cong P \rtimes…

Let $p$ be an odd prime. For nontrivial proper subsets $A,B$ of $\mathbb{Z}_p$ of cardinality $s,t$, respectively, we count the number $r(A,B,B)$ of additive triples, namely elements of the form $(a, b, a+b)$ in $A \times B \times B$. For…

A group $G$ is said to be cut if, for every $g \in G$, each generator of $< \! g \! >$ is conjugated to either $g$ or $g^{-1}$. It is conjectured that a Sylow 3-subgroup $P$ of a cut group $G$ is cut. We prove that this is true if $|G|$ is…

Let $p$ be a prime and $F$ be a finite field of characteristic $p$. Suppose that $FG$ is the group algebra of the finite $p$-group $G$ over the field $F$. Let $V(FG)$ denote the group of normalized units in $FG$ and let $V_*(FG)$ denote the…

A finite group $G$ is called monomial if every irreducible character of $G$ is induced from a linear character of some subgroup of $G$. One of the main questions regarding monomial groups is whether or not a normal subgroup $N$ of a…

We consider the question: When do two finite abelian groups have isomorphic lattices of characteristic subgroups? An explicit description of the characteristic subgroups of such groups enables us to give a complete answer to this question…

In this paper, we prove that if $G$ is a finite group in which elements of the same order outside the center are conjugate, then $G$ is abelian or is isomorphic to $S_3$, the symmetry group of degree 3.

A finite group $G$ is called uniformly semi-rational if there exists an integer $r$ such that the generators of every cyclic sugroup $\langle x \rangle$ of $G$ lie in at most two conjugacy classes, namely $x^G$ or $(x^r)^G$. In this paper,…

One of the classic results of group theory is the so-called Schur theorem. It states that if the central factor-group $G/\zeta(G)$ of a group $G$ is finite, then its derived subgroup $[G,G]$ is also finite. This result has numerous…

Let $G$ be a non-abelian $p$-group of order $p^n$ and $M(G)$ denote the Schur multiplier of $G$. Niroomand proved that $|M(G)| \leq p^{\frac{1}{2}(n+k-2)(n-k-1)+1}$ for non-abelian $p$-groups $G$ of order $p^n$ with derived subgroup of…

A finite group of order divisible by 3 in which centralizers of 3-elements are 3-subgroups will be called a C{\theta}{\theta}-group. The prime graph (or Gruenberg-Kegel graph) of a finite group G is denoted by {\Gamma}(G) (or GK(G)) and its…

Let $G$ be a finite $p$-group and $N$ be a normal subgroup of $G$, with $|N|=p^n$ and $|G/N|=p^m$. A result of Ellis (1998) shows that the order of the Schur multiplier of such a pair $(G,N)$ of finite $p$-groups is bounded by $…

Let KG be a group algebra of a finite p-group G over a finite field K of characteristic p. We compute the order of the unitary subgroup of the group of units when G is either an extraspecial 2-group or the central product of such a group…

A finite group $G$ is a called a DCI-group if any two isomorphic Cayley digraphs of $G$ are also isomorphic via an automorphism of $G$. If $G$ is a non-abelian generalised dihedral DCI-group, then Dobson, Muzychuk, and Spiga proved that $G$…

Let $G$ be a non-abelian $p$-group of order $p^n$ and $M(G)$ be its Schur multiplier. It is well known result by Green that $|M(G)| \leq p^{\frac{1}{2}n(n-1)}$. So $|M(G)|= p^{\frac{1}{2}n(n-1)-t(G)}$ for some $t(G) \geq 0$. The groups has…

For any finite group $G$ and a positive integer $m$, we define andstudy a Schur ring over the direct power $G^m$, which gives an algebraic interpretation of the partition of $G^m$ obtained by the $m$-dimensional Weisfeiler-Leman algorithm.…

Any Schur ring is uniquely determined by a partition of the elements of the group. An open question in the study of Schur rings is determining which partitions of the group induce a Schur ring. Although a structure theorem is available for…

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

It is known that any locally graded group with finitely many derived subgroups of non-normal subgroups is finite-by-abelian. This result is generalized here, by proving that in a locally graded group $G$ the subgroup $\gamma_{k}(G)$ is…

Let $k$ be a field and $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $k$-automorphisms defined as $h(x_g)=x_{hg}$ for any $g,h\in G$. We denote the fixed field $k(x_g : g\in G)^G$ by $k(G)$. Noether's…