A Hopf algebra dual to a polynomial algebra over a commutative ring
type: Item
instance of: scholarly article
title: A Hopf algebra dual to a polynomial algebra over a commutative ring
zbMATH Open document ID: 1027.16022
DOI: 10.1023/A:1015879619768
author: V. L. Kurakin
published in: Mathematical Notes
publication date: 2003-06-15T00:00:00Z
review text: Over a field, the continuous dual \(A^0\) of an algebra \(A\) has several equivalent definitions, and has the structure of a coalgebra. Over a commutative ring \(R\), Artamonov has defined \(A^0\) as those \(f\) in \(A^*\) whose kernel contains an ideal \(I\) of \(A\) such that \(A/I\) is a finitely-generated projective \(R\)-module. When \(R\) is Noetherian, \(A^0\) has the structure of a coalgebra, and will be a bialgebra (resp. Hopf algebra) when \(A\) is a bialgebra (resp. Hopf algebra). For arbitrary commutative rings \(R\), the author shows that \(A^0\) has a coalgebra structure whenever \(A\) satisfies the following property: If \(I\) and \(J\) are ideals of \(A\) such that \(A/I\) and \(A/J\) are finitely-generated projective \(R\)-modules, then \(I\cap J\) contains an ideal \(K\) such that \(A/K\) is a finitely-generated projective \(R\)-module. This result is then used to show that if \(A=R[X]\) or \(R[X,X^{-1}]\) is a polynomial bialgebra (Hopf algebra), where \(X=(x_1,\dots,x_k)\), then \(A^0\) is a bialgebra (Hopf algebra). Finally, an application is given to linearly recursive sequences. Let \(R[x]\) be a polynomial bialgebra in one variable. \(R[x]^0\) is the bialgebra of linearly recursive sequences over \(R\), with convolution product \(*\) dual to the comultiplication in \(R[x]\). For \(f\) and \(g\) in \(R[x]^0\), the author gives an explicit recursive relation for \(f*g\) in terms of recursive relations satisfied by \(f\) and \(g\).
Mathematics Subject Classification ID: 16T05
Mathematics Subject Classification ID: 16T10
Mathematics Subject Classification ID: 16T15
Mathematics Subject Classification ID: 11B37
zbMATH DE Number: 1928204
zbMATH Keywords: Hopf algebras
zbMATH Keywords: continuous duals
zbMATH Keywords: finitely-generated projective modules
zbMATH Keywords: coalgebras
zbMATH Keywords: linearly recursive sequences
zbMATH Keywords: polynomial bialgebras
zbMATH Keywords: convolution products
zbMATH Keywords: comultiplications
reviewed by: Earl J. Taft
MaRDI profile type: Publication
full work available at URL: a:1015879619768
OpenAlex ID: W17654702
Recommended article: Duality and rational modules in Hopf algebras over commutative rings
Recommended article: A duality theorem for hope module algebras over dedekind rings
Recommended article: Polynomial rings over commutative reduced Hopfian local rings
Recommended article: Hopf algebras over commutative rings with arbitrary even antipodal orders
Recommended article: Q3329592
Recommended article: On the Hopficity of the polynomial rings
Recommended article: Polynomial realizations of some combinatorial Hopf algebras
Recommended article: A duality theorem for Hopf module algebras
Recommended article: An Algebra of Exponential Polynomials as the Cofinite Dual of the Hopf Algebra of Polynomials
Recommended article: A commuting pair in Hopf algebras
description: scientific article; zbMATH DE number 1928204