Related papers: The local structure theorem, the non-characteristi…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Let $G$ be a connected reductive group acting on an irreducible normal algebraic variety $X$. We give a slightly improved version of local structure theorems obtained by F.Knop and D.A.Timashev that describe an action of some parabolic…

We give an infinite family of examples that generalise the construction given in arXiv:1811.12074 of a locally finite 2-group $G$ containing a left 3-Engel element $x$ where ${\langle x \rangle}^G$, the normal closure of $x$ in $G$, is not…

In this paper, local well-posedness is shown for the one dimensional cubic nonlinear Schr\"odinger equation in $L^p$-spaces for $2<p<4$, which generalizes a classical result for $p=2$ by Y. Tsutsumi and recent work for $1<p<2$ by Y. Zhou.…

Let G be a group and H be a subgroup of G which is either finite or of finite index in G. In this note, we give some characterizations for normality of H in G. As a consequence we get a very short and elementary proof of the Main Theorem of…

A theorem of A. Weil asserts that a topological group embeds as a (dense) subgroup of a locally compact group if and only if it contains a non-empty precompact open set; such groups are called locally precompact. Within the class of locally…

We show that the finiteness length of an $S$-arithmetic subgroup $\Gamma$ in a noncommutative isotropic absolutely almost simple group $G$ over a global function field is one less than the sum of the local ranks of $G$ taken over the places…

Let $G$ be a finite group. The aim of this paper is to study the number of solutions $S\subseteq G$ of the equation $\mho^{\{n\}}(S)=L$, where $L$ is a non-empty subset of $G$, $n$ is a positive integer and $\mho^{\{n\}}(S)=\{ s^n \ | \…

Let $G$ be the simple algebraic group $SL_2$ defined over an algebraically closed field $K$ of characteristic $p>0$. In this paper, we find the second cohomology of all irreducible representations of $G$

There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…

The main aim of this article is to study the quantitative structure of projective symplectic groups $PSp_{4}(q)$ with $q>2$ even. Indeed, we prove that the groups $PSp_{4}(q)$ with $q>2$ even are uniquely determined by their orders and the…

Viewing higher local fields as ring objects in the category of iterated pro-ind-objects, a definition of open subgroups in Milnor K-groups of the fields is given. The self-duality of the additive group of a higher local field is proved. By…

Let $p$ be a prime number, $G$ be a $p$-solvable finite group and $P$ be a Sylow $p$-subgroup of $G$. We prove that $G$ is $p$-supersolvable if $N_G(P)$ is $p$-supersolvable and if there is a subgroup $H$ of $P$ with $P' \le H \le \Phi(P)$…

The local theory for regular and multi-regular systems was developed in the assumption that these systems are Delone sets, or (r;R)-systems. The requirement for a set to be a (r;R)-system particularly implies that any two points in a Delone…

Let $p$ be a prime number, let $K$ be a $p$-field (a local field with finite residue field of characteristic $p$), let $L$ be a finite galoisian tamely ramified extension of $K$, and let $G=\mathrm{Gal}(L|K)$. Suppose that $L$ is split over…

We study locally conformal symplectic (LCS) structures of the second kind on a Lie algebra. We show a method to build new examples of Lie algebras admitting LCS structures of the second kind starting with a lower dimensional Lie algebra…

We investigate the existence of left-invariant closed G$_2$-structures on seven-dimensional non-solvable Lie groups, providing the first examples of this type. When the Lie algebra has trivial Levi decomposition, we show that such a…

We develop local stable group theory directly from topological dynamics, and extend the main results in this subject to the setting of stability "in a model". Specifically, given a group $G$, we analyze the structure of sets $A\subseteq G$…

We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large…

For any prime $p$ and $S$ a $p$-group isomorphic to a Sylow $p$-subgroup of a rank $2$ simple group of Lie type in characteristic $p$, we determine all saturated fusion systems supported on $S$ up to isomorphism.