相关论文: Comments on a Theorem by Olivier Fr\'econ

Any group that has a subnormal series, in which all factors are abelian and all except the last one are $p'$-torsion-free, can be embedded into a group with a subnormal series of the same length, with the same properties and such that any…

A theorem of Galvin asserts that if the unordered pairs of reals are partitioned into finitely many Borel classes then there is a perfect set P such that all pairs from P lie in the same class. The generalization to n-tuples for n >= 3 is…

Let $p$ be a prime number and $q=p^m$, with $m \geq 1$ if $p \neq 2,3$ and $m>1$ otherwise. Let $\Omega$ be any non-trivial twist for the complex group algebra of $\mathbf{PSL}_2(q)$ arising from a $2$-cocycle on an abelian subgroup of…

We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense.…

We prove that for a countable, commutative ring $R$, the class of countable $R$-modules either has only countably many isomorphism types, or else it is Borel complete. The machinery gives a succinct proof of the Borel completeness of TFAB,…

We discuss the decomposability of torsion-free abelian groups. We show that among computable groups of finite rank this property is $\Sigma^0_3$-complete. However, when we consider groups of infinite rank, it becomes $\Sigma^1_1$-complete,…

In this article we explore a non-abelian torsion theory in the category of preordered groups: the objects of its torsion-free subcategory are the partially ordered groups, whereas the objects of the torsion subcategory are groups (with the…

Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the trivial element, then $g$ is called a generalized torsion element. To the best of our knowledge, we have no…

Let $A$ be a finite abelian $p$ group of rank at least $2$. We show that $E^0(BA)/I_{tr}$, the quotient of the Morava $E$-cohomology of $A$ by the ideal generated by the image of the transfers along all proper subgroups, contains…

The question of existence of a maximal subgroup in the multiplicative group D* of a division algebra D finite dimensional over its center F is investigated. We prove that if D* has no maximal subgroup, then deg(D) is not a power of 2,…

We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not $\forall$-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated…

If the group of a 2-knot group $K$ has an abelian normal subgroup of rank $\geq1$ which is not finitely generated then either $K$ has no minimal Seifert hypersurface or $K$ is topologically equivalent to Example 10 of Ralph Fox's``{\it A…

We deal with two forms of the "uniqueness cases" in the classification of large simple $K^*$-groups of finite Morley rank of odd type, where large means the $m_2(G)$ at least three. This substantially extends results known for even larger…

A theorem of Serre states that almost all plane conics over $\mathbb{Q}$ have no rational point. We prove an analogue of this for families of conics parametrised by elliptic curves using elliptic divisibility sequences and a version of the…

We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…

We prove several new results on the structure of the subgroup generated by a small doubling subset of an ordered group, abelian or not. We obtain precise results generalizing Freiman's 3k-3 and 3k-2 theorems in the integers and several…

Consider the kernel Mag_g of the Magnus representation of the Torelli group and the kernel Bur_n of the Burau representation of the braid group. We prove that for g >= 2 and for n >= 6 the groups Mag_g and Bur_n have infinite rank first…

We consider groups of finite Morley rank with solvable local subgroups of even and mixed types. We also consider miscellaneous aspects of small groups of finite Morley rank of odd type.

Generalising Solomon's theorem, C. Gordon and F. Rodriguez-Villegas have proven recently that, in any group, the number of solutions to a system of coefficient-free equations is divisible by the order of this group whenever the rank of the…

We exhibit the isogeny classes of supersingular abelian threefolds over F_{2^n} containing the Jacobian of a genus 3 curve. In particular, we prove that for even n>6 there always exist a maximal and a minimal curve over F_{2^n}. All the…