Related papers: Pseudofinite H-structures and groups definable in …

We show that a hypersimple unidimensional theory that has a club of reducts, in the partial order of all countable reducts, that are coordinatized in finite rank, is supersimple.

We investigate unbounded domains in hierarchically hyperbolic groups and obtain constraints on the possible hierarchical structures. Using these insights, we characterise the structures of virtually abelian HHGs and show that the class of…

We develop a structure theory of connected solvable spherical subgroups in semisimple algebraic groups. Based on this theory, we obtain an explicit classification of all such subgroups up to conjugation.

Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies $ \mathscr L $-$ \Pi $-property in $ G $ if $ | G / K : N _{G / K} (HK/K)| $ is a $ \pi (HK/K) $-number for all maximal $ G $-invariant subgroup $ K $ of $ H^{G}…

We develop the theory of $H$-graded manifolds for any finitely generated abelian group, using tools from representation theory. Furthermore, we introduce and investigate the notion of $H$-graded coverings of supermanifolds in the case where…

Let M be ternary, homogeneous and simple. We prove that if M is finitely constrained, then it is supersimple with finite SU-rank and dependence is $k$-trivial for some $k < \omega$ and for finite sets of real elements. Now suppose that, in…

Let G be the homeomorphism group of a dendrite. We study the normal subgroups of G. For instance, there are uncountably many non-isomorphic such groups G that are simple groups. Moreover, these groups can be chosen so that any isometric…

Let $H\leq K$ be subgroups of a group G. We say that H is strongly closed in K with respect to G if whenever $a^g \in K$ where $a \in H, g \in G,$ then $a^g \in H.$ In this paper, we investigate the structure of a group G under the…

PseudoH-type is a natural generalization of H-type to geometries with indefinite metric tensors. We give a complete determination of the conjugate locus including multiplicities. We also obtain a partial characterization in terms of the…

We construct a nonuniform lattice and an infinite family of uniform lattices in the automorphism group of a hyperbolic building with all links a fixed finite building of rank 2 associated to a Chevalley group. We use complexes of groups and…

Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from…

We analyze Fourier hyperfunction and hyperfunction semigroups with non-densely defined generators and their connections with local convoluted $C$-semigroups. Structural theorems and spectral characterizations give necessary and sufficient…

We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…

Concepts and techniques from the theory of G-structures of higher order are applied to the study of certain structures (volume forms, conformal structures, linear connections and projective structures) defined on a pseudo-Riemanniann…

An affine hypersurface M is said to admit a pointwise symmetry, if there exists a subgroup G of Aut(T_p M) for all p in M, which preserves (pointwise) the affine metric h, the difference tensor K and the affine shape operator S. Here, we…

The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, identifications of…

We introduce the notion of finite stature of a family $\{H_i\}$ of subgroups of a group $G$. We investigate the separability of subgroups of a group $G$ that splits as a graph of hyperbolic special groups with quasiconvex edge groups. We…

I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…

We establish the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups in case $\mathfrak{F}$ is a subgroup-closed saturated superradical formation containing all nilpotent groups.

We prove that if the group of fixed points of a generic automorphism of a simple group of finite Morley rank is pseudofinite, then this group is an extension of a (twisted) Chevalley group over a pseudofinite field. On the way to obtain…