Related papers: Aschbacher's Theorem for the General Linear Group

This work provides five explicit constructions of the exceptional Lie algebra $\mathfrak{e}_8$, based on its semisimple subalgebras of maximal rank. Each of these models is graded by an abelian group, namely, $\mathbb{Z}_4$, $\mathbb{Z}_5$,…

A class of generalized nonlinear Kolmogorov equations is investigated. We present the group classification of Lie symmetries of the class with respect to the group of equivalence transformations. We find a number of exact solutions of…

In 2006 Z. Sela and independently O. Kharlampovich and A. Myasnikov gave a solution to the Tarski problems by showing that two non-abelian free groups have the same elementary theory. Subsequently Z. Sela generalized the techniques used in…

In this paper we prove that for each dimension $n$ there are only finitely many isomorphism classes of pairs of groups $(\Gamma,\mathrm{N})$ such that $\Gamma$ is an $n$-dimensional crystallographic group and $\mathrm{N}$ is a normal…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

We investigate the class $\mathcal{MN}$ of groups with the property that all maximal subgroups are normal. The class $\mathcal{MN}$ appeared in the framework of the study of potential counter-examples to the Andrews-Curtis conjecture. In…

Let $V$ be a vector space of dimension $d$ over $F_q$, a finite field of $q$ elements, and let $G \le GL(V) \cong GL_d(q)$ be a linear group. A base of $G$ is a set of vectors whose pointwise stabiliser in $G$ is trivial. We prove that if…

One of the classic results of group theory is the so-called Schur theorem. It states that if the central factor-group $G/\zeta(G)$ of a group $G$ is finite, then its derived subgroup $[G,G]$ is also finite. This result has numerous…

Approximate lattices are aperiodic generalisations of lattices of locally compact groups that were first studied in seminal work of Yves Meyer. They are defined as those uniformly discrete approximate subgroups (symmetric subsets stable…

We prove a product theorem for sublinear bilipschitz equivalences which generalizes the classical work of Kapovich, Kleiner and Leeb on quasiisometries between product spaces. We employ our product theorem to distinguish up to quasiisometry…

In 1955 Dye proved that two von Neumann factors not of type I_2n are isomorphic (via a linear or a conjugate linear *-isomorphism) if and only if their unitary groups are isomorphic as abstract groups. We consider an analogue for…

The group classification problem for the class of (1+1)-dimensional linear $r$th order evolution equations is solved for arbitrary values of $r>2$. It is shown that a related maximally gauged class of homogeneous linear evolution equations…

We study admissible and equivalence point transformations between generalized multidimensional nonlinear Schr\"odinger equations and classify Lie symmetries of such equations. We begin with a wide superclass of Schr\"odinger-type equations,…

This paper contains a complete description of classes of the unitary equivalence of the admissible representations of infinite-dimensional classic matrix groups paper.

It is shown that the world-line can be eliminated in the matrix quantum mechanics conjectured by Banks, Fischler, Shenker and Susskind to describe the light-cone physics of M theory. The resulting matrix model has a form that suggests…

A derived version of Maschke's theorem for finite groups is proved: the derived categories, bounded or unbounded, of all blocks of the group algebra of a finite group are simple, in the sense that they admit no nontrivial recollements. This…

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…

Landau's theorem on conjugacy classes asserts that there are only finitely many finite groups, up to isomorphism, with exactly $k$ conjugacy classes for any positive integer $k$. We show that, for any positive integers $n$ and $s$, there…

On a non-compact, smooth, connected, boundaryless, complete Riemannian manifold $(M,g)$, one can define its ideal boundary by rays (or equivalently, Busemann functions). From the viewpoint of Mather theory, boundary elements could be…

An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial…