Related papers: Wilson's theorem

We prove that the theory of all modules over the ring of algebraic integers is decidable.

We obtain a bounded generation theorem over $\mathcal O/\mathfrak a$, where $\mathcal O$ is the ring of integers of a number field and $\mathfrak a$ a general ideal of $\mathcal O$. This addresses a conjecture of Salehi-Golsefidy. Along the…

We give a new demonstration of Loewner's characterization of polynomials, solving in the positive a conjecture proposed by Laird and McCann in 1984.

Let A be the integral closure of the ring of polynomials CC[t], within the field of algebraic functions in one variable. We show that A interprets the ring of integers. This contrasts with the analogue for finite fields, proved to have a…

Polytopes are ubiquitous in different areas of mathematics. Gleason and Hubard established a factorisation theorem, stating that every abstract polytope has a unique factorisation into prime polytopes. We compute the automorphism group of a…

We give positive answer to two conjectures posed by M. E. H Ismail in his monograph [Classical and quantum orthogonal polynomials in one variable, Cambridge University Press, 2005].

The Euclidean algorithm makes possible a simple but powerful generalization of Taylor's theorem. Instead of expanding a function in a series around a single point, one spreads out the spectrum to include any number of points with given…

We analyse linear maps of operator algebras $\mathcal{B}_H(\mathcal{H})$ mapping the set of rank-$k$ projectors onto the set of rank-$l$ projectors surjectively. We give a complete characterisation of such maps for prime $n =…

We state and prove a realization of King's Conjecture for a category glued from the derived categories of all of the toric varieties arising from a given Cox ring. Our perspective extends ideas of Beilinson and Bondal to all semiprojective…

The Wigner's theorem, which is one of the cornerstones of the mathematical formulation of quantum mechanics, asserts that every symmetry of quantum system is unitary or anti-unitary. This classical result was first given by Wigner in 1931.…

Let S be a polynomial ring over a field of characteristic zero in finitely may variables. Let T be an unramified, finitely generated extension of S with $T^\times = k^\times$. Then T = S.

It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories…

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…

We prove an explicit formula to count the partitions of $n$ whose product of the summands is at most $n$. In the process, we also deduce a result to count the multiplicative partitions of $n$.

We explain how to use representation theory to give a lower bound on the dimension of the quotient ring by type $B_n$ diagonal invariants that improves upon the current known lower bound $(2n+1)^n$ by a quadratic polynomial in $n$.

We express the discriminant of the polynomial relations of the fusion ring, in any conformal field theory, as the product of the rows of the modular matrix to the power -2. The discriminant is shown to be an integer, always, which is a…

We adapt Quillen's calculation of graded K-groups of Z-graded rings with support in N to graded K-theory, allowing gradings in a product Z \times G with G an arbitrary group. This in turn allows us to use inductions and calculate graded…

Keller proposed a combinatorial conjecture on construction of an n-by-infinite matrix, which comes from showing the existence of many orbits of different sizes in certain linear group actions. He proved it for the case n=4, and we show that…

Let $R = Z[C]$ be the integral group ring of a finite cyclic group $C$. Dennis and al. proved that $R$ is a generalized Euclidean ring in the sense of P. M. Cohn, i.e., $SL_n(R)$ is generated by the elementary matrices for all $n$. We prove…

Let $\mathcal{N}[k]$ be the multiset containing the $\binom{n-1}{k}$ products of $k$-subsets of $\{1,\ldots, n-1\}$. We show that if $n\geq (2c+3)^2$, then \begin{gather*}\left((-1)^c+\sum_{M\in \mathcal{N}[n-1-c]}M\right)\cdot(c+1)\equiv…