A special class of infinite matrices (Q1091451)

An infinite complex matrix \(B=[B^ k_ c]_{c,k\geq 0}\) satisfying \(B^ k_{c+d}=\sum^{k}_{j=0}B^ j_ cB_ d^{k-j}\) and \(B^ k_ 0=\delta_{k0}\) (Kronecker-delta) is called BFM (binomial function matrix). If moreover \(B^ 0_ 1=0\) and \(B^ 1_ 1\neq 0\), then B is called BFMSP (BFM mit Stirling property). An infinite complex matrix \(C=[C^ k_ c]_{c,k\geq 0}\) with \(C^ k_{c+d}=\sum^{k}_{j=0}C^ j_ cB_ d^{k-j}\) for some B BFM or B BFMSP is called SFM (Sheffer function matrix) or SFMSP (SFM with Stirling property), and is denoted by \(C=C_ B\). The identity matrix \(I=[\delta^ k_ c]_{c,k\geq 0}\) is BFMSP, and any BFMSP matrix B is also SFMSP. The author proves: (a) The set \(\{\) B: B BFMSP\(\}\) is a group with respect to matrix multiplication (the binomial group); (b) The set \(\{\) C: C SFMSP and \(C^ 0_ 0\neq 0\}\) is a group with respect to matrix multiplication (the Sheffer group); (c) The set \(\{\) \(C: C=C_ I\}\) is an integral domain isomorphic to the integral domain of all complex formal power series; (d) Theset \(\{\) \(C: C=C_ B\) for a fixed B BFMSP\(\}\) is a module over \(\{\) \(C: C=C_ I\}\).