Eliminations in Weyl algebras and identities. (Q817239)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Eliminations in Weyl algebras and identities. |
scientific article |
Statements
Eliminations in Weyl algebras and identities. (English)
0 references
8 March 2006
0 references
Consider two operators \(N,K\) on the algebra of polynomials in two variables \(n,k\), namely \[ N(f(n,k))=f(n+1,k),\quad K(f(n,k))=f(n,k+1). \] Denote by \(C\langle N,K,n,k\rangle\) the algebra of operators on polynomials generated by \(N,K,n,k\), where \(n,k\) are identified with operators of multiplication. Given \(P,Q\in C\langle N,K,n,k\rangle\) there exist nontrivial elements \(u,v,r,s\in C\langle N,K,n,k\rangle\) such that \(uP=vQ + R\), \(rP=sQ\) and \(\deg_kR<\deg_kQ\). This result is applied to elimination in Weyl algebras, for verification of termination of some hypergeometric identities, of identities in two variables, and so on.
0 references
generalized Weyl algebras
0 references
Zeilberger algorithm
0 references
Wu method
0 references
computer proofs
0 references
eliminations
0 references
combinatorial identities
0 references
0 references