Related papers: Classifying groups with a small number of subgroup…

All gradings by abelian groups are classified on the following algebras over an algebraically closed field of characteristic not 2: the simple Lie algebra of type $G_2$ (characteristic not 3), the exceptional simple Jordan algebra, and the…

We consider the problem of classifying gradings by groups on a finite-dimensional algebra $A$ (with any number of multilinear operations) over an algebraically closed field. We introduce a class of gradings, which we call almost fine, such…

We classify closed abelian subgroups of a compact simple Lie group of adjoint type and of type E having centralizer of the same dimension as the dimension of the subgroup and describe Weyl groups of maximal abelian subgroups.

Let $G$ be a finite abelian group. Ferraz, Guerreiro and Polcino Milies prove that the number of $G$-equivalence classes of minimal abelian codes is equal to the number of $G$-isomorphism classes of subgroups for which corresponding…

An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those…

A result of Pyber states that every finite group $G$ contains an abelian subgroup whose order is quasi-polynomially large in $\lvert G\rvert$. We prove a similar result for $K$-approximate subgroups of solvable groups under only modest…

Given a Lie algebra $L$ graded by a group $G$, if $L$ is does not contain orthogonal graded ideals and $G$ is generated by the support of $L$, then $G$ is an abelian group.

Let $\ell$ be a prime divisor of the order of a finite unitary reflection group. We classify up to conjugacy the parabolic and reflection subgroups that are minimal with respect to inclusion, subject to containing an $\ell$-Sylow subgroup.…

For a finite abelian group $G$, let $\beta_{\mathrm{sep}}(G)$ denote its separating Noether number. We determine $\beta_{\mathrm{sep}}(G)$ exactly for every finite abelian group $ G \cong C_{n_1}\oplus \cdots \oplus C_{n_r}$ with $ 1<n_1…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Motivated by their study of pro-p limit groups, D.H. Kochloukova and P.A. Zalesskii formulated a question concerning the minimum number of generators d(N) of a normal subgroup N of prime index p in a non-abelian limit group G (cf.…

We determine the groups of minimal order in which all groups of order n can embedded for 1 < n < 16. We further determine the order of a minimal group in which all groups or order n or less can be embedded, also for 1 < n < 16.

A finite group $G$ is called a Schur group if every Schur ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of the symmetric group $Sym(G)$ that contains all right translations of $G$. The list of all possible…

For a given m>=1, we consider the finite non-abelian groups G for which |C_G(g):<g>|<=m for every g in G\Z(G). We show that the order of G can be bounded in terms of m and the largest prime divisor of the order of G. Our approach relies on…

For any given finite abelian group, we give factorizations of the group determinant in the group algebra of any subgroup. The factorizations are an extension of Dedekind's theorem. The extension leads to a generalization of Dedekind's…

Let p be an odd prime. The lattice of all normal subgroups and the terms of the lower and upper central series are determined for all metabelian p-groups with generator rank d=2 having abelianization of type (p,p) and minimal defect of…

The finite groups having an indecomposable polynomial invariant whose degree is at least half of the order of the group are classified. Apart from four sporadic exceptions these are exactly the groups having a cyclic subgroup of index at…

Given an abelian variety over a field with a discrete valuation, Grothendieck defined a certain open normal subgroup of the absolute inertia group. This subgroup encodes information on the extensions over which the abelian variety acquires…

We finish the classification, begun in two earlier papers, of all simple fusion systems over finite nonabelian $p$-groups with an abelian subgroup of index $p$. In particular, this gives many new examples illustrating the enormous variety…

We show that if a group G is finitely presented and nilpotent-by-abelian-by-finite, then there is an upper bound on the first betti number of M as M runs through all subgroups of finite index in G.