Related papers: A characterization of strongly dependent ordered A…

Let $A$ be an abelian variety over a field finitely generated over $\mathbb{Q}$. We show that the finiteness of the $\ell$-primary torsion subgroup of the higher Brauer group is a sufficient criterion for the Tate conjecture to hold.…

We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.

Continuing recent studies of both the hereditary and super properties of certain classes of Abelian groups, we explore in-depth what is the situation in the quite large class consisting of directly finite Abelian groups. Trying to connect…

E. Hrushovski proved that the theory of difference-differential fields of characteristic zero has a model-companion. We denote it DCFA. In this paper we study definable groups in a model of DCFA. First we prove that such a group is embeds…

Finite groups with very few character values are characterized. The following is the main result of this article: a finite non-abelian group has precisely four character values if and only if it is the generalized dihedral group of a…

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

In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. Our goal is to create a path towards a general theory of…

We give a characterization of the finite groups having nilpotent or abelian Hall $\pi$-subgroups which can easily be verified from the character table.

We study relations between subsets of integers that are large, where large can be interpreted in terms of size (such as a set of positive upper density or a set with bounded gaps) or in terms of additive structure (such as a Bohr set). Bohr…

We define a class of discrete abelian group extensions of rank-one transformations and establish necessary and sufficient conditions for these extensions to be power weakly mixing. We show that all members of this class are multiply…

Every infinite group $G$ of regular cardinality can be partitioned $G=A_1\cup A_2$ so that $G\neq FA_1$, $G\neq FA_2$ for every subset $F\subset G$ of cardinality $|F|<|G|$. The first author asked whether the same is true for each group $G$…

Let $(\Omega, \leq)$ be a totally ordered set. We prove that if $\Aut(\Omega,\leq)$ is transitive and satisfies the same first-order sentences as $\Aut(\RR,\leq)$ (in the language of lattice-ordered groups) then $\Omega$ and $\RR$ are…

We consider a language together with the subword relation, the cover relation, and regular predicates. For such structures, we consider the extension of first-order logic by threshold- and modulo-counting quantifiers. Depending on the…

The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We characterise dependently typed algebraic theories as finitary…

Trivial second-order Lagrangians are studied and a complete description of the dependence on the second-order derivatives is given. This extends previous work of Olver and others. In particular, this description involves some polynomial…

We introduce a new class of Abelian groups which lies strictly between the classes of co-Hopfian groups and Dedekind-finite groups, calling these groups {\it Bassian-finite}. We prove the surprising fact that in the torsion case the…

Let $X$ be a locally compact Abelian group, $Y$ be its character group. Following A. Kagan and G. Sz\'ekely we introduce a notion of $Q$-independence for random variables with values in $X$. We prove group analogues of the Cram\'er,…

One of the classical problems in group theory is determining the set of positive integers $n$ such that every group of order $n$ has a particular property $P$, such as cyclic or abelian. We first present the Sylow theorems and the idea of…

The main purpose of this paper is to describe the abelian part $\mathcal G^{ab}_{K}$ of the absolute Galois group of a global function field $K$ as pro-finite group. We will show that the characteristic $p$ of $K$ and the non $p$-part of…

In this article we extend independent results of Lusztig and H\'ezard concerning the existence of irreducible characters of finite reductive groups, (defined in good characteristic and arising from simple algebraic groups), satisfying a…