群论

Isotropic odd unitary groups generalize Chevalley groups of classical types over commutative rings and their twisted forms. Such groups have root subgroups parameterized by a root system $\mathsf{BC}_\ell$ and may be constructed by…

Steinberg pro-groups are certain pro-groups used to analyze ordinary Steinberg groups locally in Zariski topology. In this paper we show that Steinberg pro-groups associated with general linear groups, odd unitary groups, and Chevalley…

We find an explicit presentation of relative odd unitary Steinberg groups constructed by odd form rings and of relative doubly laced Steinberg groups over commutative rings, i.e. the Steinberg groups associated with the Chevalley group…

We give an explicit description of internal actions in the semi-abelian categories of pro-groups and non-unital pro-rings in terms of actions of group objects and ring objects in $\mathrm{Pro}(\mathbf{Set})$, as well as in some related…

If $A$ is a unital associative ring and $\ell \geq 2$, then the general linear group $\mathrm{GL}(\ell, A)$ has root subgroups $U_\alpha$ and Weyl elements $n_\alpha$ for $\alpha$ from the root system of type $\mathsf A_{\ell - 1}$.…

We use the pro-group approach to show that $\mathrm{StO}(M, q)$ admits van der Kallen's "another presentation", where $M$ is a module over a commutative ring with sufficiently isotropic quadratic form $q$. Moreover, we construct an analog…

We give a unified description of twisted forms of classical reductive groups schemes. Such group schemes are constructed from algebraic objects of finite rank, excluding some exceptions of small rank. These objects, augmented odd form…

Local actions (actions of a vertex stabiliser on the neighbours of that vertex) have become an important approach to group actions on trees since J. Tits' introduction in 1970 of the independence property (P) and especially since a 2000…

A classical result of Schur of 1904 shows that an infinite (discrete) group $E$ with finite central quotient $E/Z(E)$ should have finite derived subgroup $[E,E]$. Schur's Theorem has many important consequences, which have been extensively…

In a binary groupoid $(G, *)$, a Fibonacci sequence is a recurrent sequence defined by $f_1 = a, f_2 = b, \ldots, f_n = f_{n - 2} * f_{n - 1}$. A universal Fibonacci sequence (UFS) is a singly or doubly infinite sequence whose set of…

In this work, we establish connections between the theory of algebraic $n$-valued monoids and groups and the theories of discriminants and projective duality. We show that the composition of projective duality followed by the M\"obius…

We define a new notion of splitting complexity for a group $G$ along a non-trivial integral character $\phi \in H^1(G; \mathbb{Z})$. If $G$ is a one-ended coherent right-angled Artin group, we show that the splitting complexity along an…

The subgroup generated by all solvable normal subgroups in a pseudo-finite group with the descending chain condition on centralizers up to finite index is solvable. Additionally, there is no finitely generated pseudo-finite group whose…

Given a finite group $R$, we investigate the base size of the action of the automorphism group of $R$ on the lattice of subgroups of $R$. Our main result shows that this base size is $1$ if and only if $R$ is cyclic. Our motivation arises…

We identify the simple algebraic groups over number fields that are, in a suitable sense, determined by their finite adele points. Assuming CSP and Grothendieck rigidity, our results essentially characterize higher rank arithmetic groups…

We show that finitely presented groups which admit $k$-planar Cayley graphs contain finite-index subgroups with planar Cayley graphs. More generally, we answer a question of Georgakopoulos and Papasoglu in the special case of coarsely…

This paper introduces gluing diagrams a combinatorial tool to construct homomorphisms between the shift pseudogroups of directed graphs and thus also their full groups of shifts. We will establish which of these diagrams produce…

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset…

The Herzog-Sch\"onheim conjecture states that if $H_1, \ldots, H_k$ are subgroups of a group $G$ and $x_1, \ldots, x_k$ are elements of $G$ such that $H_1x_1, \ldots, H_kx_k$ is a partition of $G$ into cosets, then two of these subgroups…

Using the projection complex machinery, Bestvina-Bromberg-Fujiwara, Hagen-Petyt and Han-Nguyen-Yang prove that several classes of nonpositively-curved groups admit equivariant quasi-isometric embeddings into finite products of quasi-trees,…