Algebraic independence of sequences generated by (cyclotomic) harmonic sums (Q1653307)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic independence of sequences generated by (cyclotomic) harmonic sums |
scientific article |
Statements
Algebraic independence of sequences generated by (cyclotomic) harmonic sums (English)
0 references
3 August 2018
0 references
Let \(\mathbb A\) be a polynomial ring and \(\sigma\) be an automorphism. Set \(\mathbb K=\{ c\in\mathbb A; \sigma(c)=c\}\) and \[ A=\{ (a,b,c,z); a, c\in\mathbb N, b\in\mathbb N_0, z\in\mathbb K\setminus \{ 0\}, b<a, \gcd(a,b)=1 \}. \] Let \(H\) be \(A\cap (\{ 1\} ,\{ 0\} ,\mathbb N, \{ 1\} )\) or \(A\cap (\{ 1\} ,\{ 0\} ,\mathbb N, \{ 1,-1\} )\) or \(A\cap (\mathbb M ,\mathbb N_0 ,\mathbb N, \{ 1,-1\} )\) where \(\mathbb M\) is a finite subset of \(\mathbb N\). Then, the authors prove that for every \(d\in\mathbb N\) we have that \(\mathbb E_d^H\) with \(\mathbb E_d^H=\mathbb K(n)[x][t_1^{(1)},\dots ,t_{m_1}^{(1)}],\dots [t_1^{(d)},\dots ,t_{m_d}^{(d)}]\) is a \(\Sigma^*\)-extension of \((\mathbb K(n)[x],\sigma)\).
0 references
cyclotomic harmonic sums
0 references
quasi-shuffle algebra
0 references
algebraic independence
0 references
difference rings
0 references
ring of sequences
0 references
0 references
0 references
0 references