Related papers: A note on abelian subgroups of maximal order

We prove the following results: (1) Every group is a maximal subgroup of some free idempotent generated semigroup. (2) Every finitely presented group is a maximal subgroup of some free idempotent generated semigroup arising from a finite…

In 1934, Garrett Birkhoff has shown that the number of isomorphism classes of finite metabelian groups of order $p^{22}$ tends to infinity with $p$. More precisely, for each prime number $p$ there is a family…

Given an Abelian groups $G$, denote $\mu(G)$ the size of its largest sum-free subset and $f_{\max}(G)$ the number of maximal sum-free sets in $G$. Confirming a prediction by Liu and Sharifzadeh, we prove that all even-order $G\ne…

Given an arbitrary group $G$ we construct a semigroup of idempotents (band) $B_G$ with the property that the free idempotent generated semigroup over $B_G$ has a maximal subgroup isomorphic to $G$. If $G$ is finitely presented then $B_G$ is…

For a semisimple algebraic group $G$ of adjoint type with Lie algebra $\mathfrak g$ over the complex numbers, we establish a bijection between the set of closed orbits of the group $G \ltimes \mathfrak g^{\ast}$ acting on the variety of…

In this paper we study sum-free sets of order $m$ in finite Abelian groups. We prove a general theorem on 3-uniform hypergraphs, which allows us to deduce structural results in the sparse setting from stability results in the dense setting.…

Let $A$ be a nonempty subset of finite abelian group $G$ of order $n$. For an integer $h \geq 2$, the restricted $h$-fold sumset $h^\wedge A$ is the set of all sums of $h$ distinct elements of $A$. It is known that if $G$ is a group of…

Let $G$ be a finite group and $K$ a field containing an element of multiplicative order $|G|$. It is shown that if $G$ has a cyclic subgroup of index at most $2$, then the separating Noether number over $K$ of $G$ coincides with the Noether…

Let A be an associative algebra over an algebraically closed field F of characteristic zero and let G be a finite abelian group. Regev and Seeman introduced the notion of a regular G-grading on A, namely a grading A= {\Sigma}_{g in G} A_g…

We find an upper bound for the number of groups of order $n$ up to isomorphism in the variety $G = A_pA_qA_r$, where $p$, $q$ and $r$ are distinct primes. We also find a bound on the orders and on the number of conjugacy classes of…

For every finite $p$-group $G$ of order $p^n$ with derived subgroup of order $p^m$, Rocco in \cite{roc} proved that the order of tensor square of $G$ is at most $p^{n(n-m)}$. This upper bound has been improved recently by author in…

For odd primes we prove some structure theorems for finite $p$-groups $G$, such that $G''\neq 1$ and $|G'/G''|=p^3$. Building on results of Blackburn and Hall, it is shown that $\lcs G3$ is a maximal subgroup of $G'$, the group $G$ has a…

We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and…

Let $G$ be a finite group, and let $V$ be a completely reducible faithful $G$-module. By a result of Glauberman it has been known for a long time that if $G$ is nilpotent of class 2, then $|G| < |V|$. In this paper we generalize this result…

A number is perfect if it is the sum of its proper divisors; here we call a finite group `perfect' if its order is the sum of the orders of its proper normal subgroups. (This conflicts with standard terminology but confusion should not…

A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads…

Denote the sum of element orders in a finite group $G$ by $\psi(G)$ and let $C_n$ denote the cyclic group of order $n$. Suppose that $G$ is a non-cyclic finite group of order $n$ and $q$ is the least prime divisor of $n$. We proved that…

Consider a finite group $G$ of order $n$ with a prime divisor $p$. In this article, we establish, among other results, that if the Sylow $p$-subgroup of $G$ is neither cyclic nor generalized quaternion, then there exists a bijection $f$…

We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidability. We also obtain a…

This work introduces the first in-depth study of h-free and h-full elements in abelian monoids, providing a unified approach for understanding their role in various mathematical structures. Let m be an element of an abelian monoid, with…