Related papers: Lifting all elements in $\mathrm{SL}_n(\mathbb{Z}/…

Let $\pi:sl(n|n)\to A(n-1,n-1)$ be the natural epimorphism of Lie superalgebra. Then $\dim\ker\pi=1$. Let $\pi^{(t)}:sl^{(t)}(n|n)\to A^{(t)}(n-1,n-1)$ be the natural epimorphism, where $t=1,2,4$. Let $\{e_k|k\in{\mathbb{Z}}\}$ be the basis…

In the case of Uq(sl(2,R)) at root of unity q-deformed analogues are proposed for the generator of the maximal compact subalgebra, J, and for the raising and lowering operators. We prove an algebraic identity which implies that J has…

Given commuting elements a, b of a group G and a group epimorphism q : G' \to G with finite kernel, the set of commuting lifts of a, b to G' is finite (possibly, empty). The second named author obtained a formula for the number of such…

We give an elementary proof that for a ring homomorphism A -> B, satisfying the property that every ideal in A is contracted from B, the following property holds: for every chain of prime ideals p_0 \subset ... \subset p_r in A there exists…

Let $\mathcal{O}$ be a maximal order in the quaternion algebra over $\mathbb{Q}$ ramified at $p$ and $\infty$. We prove two theorems that allow us to recover the structure of $\mathcal{O}$ from limited information. The first says that for…

A word on $q$ symbols is a sequence of letters from a fixed alphabet of size $q$. For an integer $k\ge 1$, we say that a word $w$ is $k$-universal if, given an arbitrary word of length $k$, one can obtain it by removing entries from $w$. It…

Quantum groups at roots of unity have the property that their centre is enlarged. Polynomial equations relate the standard deformed Casimir operators and the new central elements. These relations are important from a physical point of view…

We observe that the group of all lifts of elements of Thompson's group $T$ to the real line is finitely presented and contains the additive group $\mathbb{Q}$ of the rational numbers. This gives an explicit realization of the Higman…

It is well known that the proportion of pairs of elements of $\operatorname{SL}(n,q)$ which generate the group tends to $1$ as $q^n\to \infty$. This was proved by Kantor and Lubotzky using the classification of finite simple groups. We give…

We prove that the poset of $q$-decreasing words equipped with the componentwise order forms a lattice. We enumerate the join-irreducible elements for arbitrary $q>0$, and for any positive rational number $q$, we determine the number of…

Given a prime $p \ge 5$ and an abstract odd representation $\rho_n$ with coefficients modulo $p^n$ (for some $n \ge 1$) and big image, we prove the existence of a lift of $\rho_n$ to characteristic $0$ whenever local lifts exist (under some…

We show that ${\mathbb Z}$ is definable in ${\mathbb Q}$ by a universal first-order formula in the language of rings. We also present an $\forall\exists$-formula for ${\mathbb Z}$ in ${\mathbb Q}$ with just one universal quantifier. We…

We describe all of the irreducible polynomial $\mathbb{F}_p\mathrm{SL}_2(p^r)$ representations which lift to $(\mathbb{Z}/p^s\mathbb{Z})\mathrm{SL}_2(p^r)$ representations for $s>1$, observing that they almost never do. We also show that…

We prove that every subset of $\{1,\dots, N\}$ which does not contain any solutions to the equation $x+y+z=3w$ has at most $\exp(-c(\log N)^{1/5+o(1)})N$ elements, for some $c>0$. This theorem improves upon previous estimates. Additionally,…

For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing…

Given a differential or $q$-difference equation $P$ of order $n$, we prove that the set of exponents of a generalized power series solution has its rational rank bounded by the rational rank of the support of $P$ plus $n$. We also prove…

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…

The purpose of this article is to describe a reduction of the slicing problem to the study of the parameter I_1(K,Z_q^o(K))=\int_K ||< :, x> ||_{L_q(K)}dx. We show that an upper bound of the form I_1(K,Z_q^o(K))\leq C_1q^s\sqrt{n}L_K^2,…

We prove that all endo-$p$-permutation modules for a finite group are liftable from characteristic $p>0$ to characteristic $0$.

For valued fields $K$ of rank higher than 1, we describe how elements in the henselization $K^h$ of $K$ can be approximated from within $K$; our result is a handy generalization of the well-known fact that in rank 1, all of these elements…