The last chapter of the Disquisitiones of Gauss

This exposition reviews what exactly Gauss asserted and what did he prove in the last chapter of {\sl Disquisitiones Arithmeticae} about dividing the circle into a given number of equal parts. In other words, what did Gauss claim and actually prove concerning the roots of unity and the construction of a regular polygon with a given number of sides. Some history of Gauss's solution is briefly recalled, and in particular many relevant classical references are provided which we believe deserve to be better known.

Power partitions and a generalized eta transformation property

In their famous paper on partitions, Hardy and Ramanujan also raised the question of the behaviour of the number $p_s(n)$ of partitions of a positive integer~$n$ into $s$-th powers and gave some preliminary results. We give first an asymptotic formula to all orders, and then an exact formula, describing the behaviour of the corresponding generating function $P_s(q) = \prod_{n=1}^\infty \bigl(1-q^{n^s}\bigr)^{-1}$ near any root of unity, generalizing the modular transformation behaviour of the Dedekind eta-function in the case $s=1$. This is then combined with the Hardy-Ramanujan circle method to give a rather precise formula for $p_s(n)$ of the same general type of the one that they gave for~$s=1$. There are several new features, the most striking being that the contributions coming from various roots of unity behave very erratically rather than decreasing uniformly as in their situation. Thus in their famous calculation of $p(200)$ the contributions from arcs of the circle near roots of unity of order 1, 2, 3, 4 and 5 have 13, 5, 2, 1 and 1 digits, respectively, but in the corresponding calculation for $p_2(100000)$ these contributions have 60, 27, 4, 33, and 16 digits, respectively, of wildly varying sizes

Quantum q-series identities

As analytic statements, classical $q$-series identities are equalities between power series for $|q|<1$. This paper concerns a different kind of identity, which we call a quantum $q$-series identity. By a quantum $q$-series identity we mean an identity which does not hold as an equality between power series inside the unit disk in the classical sense, but does hold on a dense subset of the boundary -- namely, at roots of unity. Prototypical examples were given over thirty years ago by Cohen and more recently by Bryson-Ono-Pitman-Rhoades and Folsom-Ki-Vu-Yang. We show how these and numerous other quantum $q$-series identities can all be easily deduced from one simple classical $q$-series transformation. We then use other results from the theory of $q$-hypergeometric series to find many more such identities. Some of these involve Ramanujan's false theta functions and/or mock theta functions.

Roots of Elliptic Scator Numbers

The Victoria equation, a generalization of De Moivre’s formula in 1+n dimensional scator algebra, is inverted to obtain the roots of a scator. For the qth root in S1+n of a real or a scator number, there are qn possible roots. For n=1, the usual q complex roots are obtained with their concomitant cyclotomic geometric interpretation. For n≥2, in addition to the previous roots, new families arise. These roots are grouped according to two criteria: sets satisfying Abelian group properties under multiplication and sets catalogued according to director conjugation. The geometric interpretation is illustrated with the roots of unity in S1+2.

LINEAR DIFFERENTIAL POLYNOMIALS WEIGHTED-SHARING A SET OF ROOTS OF UNITY

In this paper, we study the uniqueness of linear diFFerential polynomials of meromorphic functions when they share a set of roots of unity. Our results shall generalize recent results.

On theory of finite subsets monoid for one torsion abelian group

Ранее был доказан следующий результат: если абелева группа $\gG$ не является группой кручения, то теория моноида ее конечных подмножеств позволяет интерпретировать элементарную арифметику. В настоящей работе мы приводим пример, который показывает, что аналогичный результат можно получить и, по крайней мере, для некоторых групп кручения. Earlier it was proved the following claim. Let $\gG$ be a non-torsion abelian group and $\gG$ be the semigroup of finite subsets of $\gG$. Then elementary arithmetic can be interpreted in $\gG^*$, so the theory of $\gG^*$ is undecidable. Here we prove the same result for one torsion group, the multiplicative group of all roots of unity.