Modules over infinite-dimensional algebras

Abstract

Let A be an infinite-dimensional K-algebra, where K is a field and let be a basis for A. We explore when (the direct product indexed by of copies of the field K) can be made into an A-module in a natural way. We call a basis satisfying that property ‘amenable,’ and we explore when amenable bases yield isomorphic A-modules. For the latter purpose, we consider a relation, which we name congeniality, that guarantees that two different bases yield (naturally) isomorphic A-module structures on . While amenability depends on the algebra structure, congeniality of bases depends only on the vector space structure and is thus independent from the specific algebra structure chosen. Among other results, we show that every algebra of countable infinite dimension has at least one amenable basis. Most of our examples will be within the familiar settings of the algebra K[x] of polynomials with coefficients in K. We show that the relation of proper congeniality (when congeniality is not symmetric) yields several natural interesting questions; among these questions we highlight those related to a natural notion of simplicity of bases. We show that the algebra of polynomials with coefficients in K has at least as many truly distinct (so-called discordant) simple bases as there are elements in the base field K.

Keywords:

• Amenable bases
• congeniality of bases
• proper congeniality
• simple bases
• infinite-dimensional algebras
• algebra of polynomials

Notes

No potential conflict of interest was reported by the authors.

Additional information

Funding

This work was supported by King Abdulaziz City for Science and Technology [grant number 2216-2013].