Related papers: Extending structures I: the level of groups

This paper investigates a novel structure of stratified L-convex groups, defined as groups possessing stratified L-convex structures, in which the group operations are L-convexity-preserving mappings. It is verified that stratified L-convex…

Let $G$ be a second countable, locally compact groupoid with Haar system, and let $\mathcal{A}$ be a bundle of $C^{\ast}$-algebras defined over the unit space of $G$ on which $G$ acts continuously. We determine conditions under which the…

Let $\varphi\colon\Gamma\to G$ be a homomorphism of groups. We consider factorizations $\Gamma\xrightarrow{f} M\xrightarrow{g} G$ of $\varphi$ such that either $g$ or $f$ are universal normal maps (namely, crossed modules). These two…

We provide a general sufficient condition for extendability of quasimorphisms on subgroups. This condition recovers the result of Hull--Osin on quasimorphisms on hyperbolically embedded subgroups, and the proof given in this paper is much…

We study smooth higher symmetry groups and moduli $\infty$-stacks of generic higher geometric structures on manifolds. Symmetries are automorphisms which cover non-trivial diffeomorphisms of the base manifold. We construct the smooth higher…

We give explicit axioms for the algebraic theory of the quasivarieties of right-preordered groups and preordered groups. We then look at lattices of effective equivalence relations, which turn out to be similar to the lattices of…

We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…

Let K/k be a finite Galois extension of number fields with Galois group G, S a large set of primes of K, and E the G-module of S-units of K. Previous work has determined the data which is necessary to determine the stable isomorphism class…

We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…

The theory of unified product and extending structures for alternative and pre-alternative algebras are developed. It is proved that the extending structures of these algebras can be classified by using some non-abelian cohomology and…

A type of prolongation structure for several general systems is discussed. They are based on a set of one-forms in which the underlying structure group of the integrability condition corresponds to the Lie-algebra of SL (2,R), O(3), or…

We give a structural description of the normal subgroups of subgroups of finite index in branch groups in terms of rigid stabilizers. This gives further insight into the structure lattices of branch groups introduced by the second author.…

Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and…

We prove that if L is a finite simple group of Lie type and A a symmetric set of generators of L, then A grows i.e |AAA| > |A|^{1+epsilon} where epsilon depends only on the Lie rank of L, or AAA=L. This implies that for a family of simple…

We give an overview of the F-product construction and the corresponding nonstandard constructions for strongly continuous one-parameter semigroups of linear operators, and show that (in the case of bounded ultrapowers) both constructs are…

We show that if $G$ is a sufficiently saturated stable group of finite weight with no infinite, infinite-index, chains of definable subgroups, then $G$ is superstable of finite $U$-rank. Combined with recent work of Palacin and Sklinos, we…

We construct `structure invariants' of a one-ended, finitely presented group that describe the way in which the factors of its JSJ decomposition over two-ended subgroups fit together. For groups satisfying two technical conditions, these…

For a given Hopf algebra $A$ we classify all Hopf algebras $E$ that are coalgebra split extensions of $A$ by $H_4$, where $H_4$ is the Sweedler's 4-dimensional Hopf algebra. Equivalently, we classify all crossed products of Hopf algebras $A…

A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum…

A systematic study is made, for an arbitrary finite relational language with at least one symbol of arity at least 2, of classes of nonrigid finite structures. The well known results that almost all finite structures are rigid and that the…