Related papers: Comments on a Theorem by Olivier Fr\'econ

We investigate topologies on groups which arise naturally from their algebraic structure, including the Frech\'et-Markov, Hausdorff-Markov, and various kinds of Zariski topologies. Answering a question by Dikranjan and Toller, we show that…

In this note, we show that the epimorphic subgroups of an algebraic group are exactly the pull-backs of the epimorphic subgroups of its affinization. We also obtain epimorphicity criteria for subgroups of affine algebraic groups, which…

Given a group $G$ and an integer $n\geq 0$ we consider the family $\mathcal{F}_n$ of all virtually abelian subgroups of $G$ of rank at most $n$. In this article we prove that for each $n\ge2$ the Bredon cohomology, with respect to the…

We prove that virtually torsion-free, residually finite groups that are inner-amenable and non-amenable have the cheap 1-rebuilding property, a notion recently introduced by Ab\'ert, Bergeron, Fr\k{a}czyk and Gaboriau. As a consequence, the…

A celebrated theorem of Selberg states that for congruence subgroups of SL(2,Z) there are no exceptional eigenvalues below 3/16. We prove a generalization of Selberg's theorem for infinite index "congruence" subgroups of SL(2,Z).…

We investigate the configuration where a group of finite Morley rank acts definably and generically $m$-transitively on an elementary abelian $p$-group of Morley rank $n$, where $p$ is an odd prime, and $m\geqslant n$. We conclude that…

For which groups $G$ is it true that for all fields $k$, every non-monomial element of the group algebra $k\,G$ generates a proper $2$-sided ideal? The only groups for which we know this are the torsion-free abelian groups. We would like to…

In this paper we prove non-existence of nontrivial partial difference sets in Abelian groups of order 8p^3, where p \geq 3 is a prime number.

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…

We develop the theory of matroids over one-dimensional algebraic groups, with special emphasis on positive characteristic. In particular, we compute the Lindstr\"om valuations and Frobenius flocks of such matroids. Building on work by Evans…

The subspace of the moduli space of F-theory on K3 over which the coupling remains constant develops new branches at special values of this coupling. These values correspond to fixed points under the SL(2,Z) duality group of the type IIB…

For every $p$-group of order $p^n$ with the derived subgroup of order $p^m$, Rocco in \cite{roc} has shown that the order of tensor square of $G$ is at most $p^{n(n-m)}$. In the present paper not only we improve his bound for non-abelian…

We investigate the Whiteheadness of Borel abelian groups (aleph_1-free, wlog, as otherwise this is trivial). We show that CH (and even WCH) implies any such abelian group is free, and always aleph_2-free.

The aim of the paper is to give a full classification of factorizations of groups in terms of descent cohomology (pointed) sets introduced in [5]. We show that descent cohomology includes Serre's non-abelian group cohomology as a special…

We study group gradings on the Albert algebra and on the simple exceptional Lie algebra $\frak{f}_4$ over algebraically closed fields of characteristic zero. There are eight nontoral nonequivalent gradings on the Albert algebra (three of…

We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively…

In this paper we consider gradings by a finite abelian group $G$ on the Lie algebra $\mathfrak{sl}_n(F)$ over an algebraically closed field $F$ of characteristic different from 2 and not dividing $n$.

In this work, we give two characterisations of the general linear group as a group $G$ of finite Morley rank acting on an abelian connected group $V$ of finite Morley rank definably, faithfully and irreducibly. To be more precise, we prove…

In the first paper we proved that on the cyclic groups of odd order d, there exist non zero functions whose convolution square f*f(2t) is proportional to their square f(t)^2 when the proportionality constant is an odd algebraic integer of…

An abelian group is said to be aleph_1-free if all its countable subgroups are free. Our main result is: If R is a ring with R^+ free and |R|<lambda <= 2^{aleph_0}, then there exists an aleph_1-free abelian group G of cardinality lambda…