Dancing samba with Ramanujan partition congruences

The article presents an algorithm to compute a C[t]-module basis G for a given subalgebra A over a polynomial ring R=C[x] with a Euclidean domain C as the domain of coefficients and t a given element of A. The reduction modulo G allows a subalgebra membership test. The algorithm also works for more...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of symbolic computation Ročník 84; s. 14 - 24
Hlavní autor:	Hemmecke, Ralf
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.01.2018
Témata:	Number theoretic algorithm Partition identities Subalgebra basis Number theoretic algorithm Partition identities Subalgebra basis
ISSN:	0747-7171, 1095-855X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
Shrnutí:	The article presents an algorithm to compute a C[t]-module basis G for a given subalgebra A over a polynomial ring R=C[x] with a Euclidean domain C as the domain of coefficients and t a given element of A. The reduction modulo G allows a subalgebra membership test. The algorithm also works for more general rings R, in particular for a ring R⊂C((q)) with the property that f∈R is zero if and only if the order of f is positive. As an application, we algorithmically derive an explicit identity (in terms of quotients of Dedekind η-functions and Klein's j-invariant) that shows that p(11n+6) is divisible by 11 for every natural number n where p(n) denotes the number of partitions of n.
ISSN:	0747-7171 1095-855X
DOI:	10.1016/j.jsc.2017.02.001