Abstract
The set of natural integers is fundamental for at least two reasons: it is the free induction algebra over the empty set (and at such allows definitions of maps by primitive recursion) and it is the free monoid over a one-element set, the latter structure being a consequence of the former. In this contribution, we study the corresponding structure in the linear setting, i.e. in the category of modules over a commutative ring rather than in the category of sets, namely the free module generated by the integers. It also provides free structures of induction algebra and of monoid (in the category of modules). Moreover we prove that each of its linear endomorphisms admits a unique normal form, explicitly constructed, as a non-commutative formal power series.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arens, R.: Topologies for homeomorphism groups. American Journal of Mathematics 68(4), 593–610 (1946)
Cohn, P.M.: Skew fields - Theory of general division rings. Encyclopedia of Mathematics and its Applications, vol. 57. Cambridge University Press (1995)
Bergman, G.M.: The diamond lemma for ring theory. Advances in Mathematics 29, 178–218 (1978)
Björk, J.-E.: Rings of differential operators. North-Holland Publishing Company (1979)
Bourbaki, N.: Elements of mathematics - Algebra, ch. 1-3. Springer (1998)
Duchamp, G.H.E., Poinsot, L., Solomon, A.I., Penson, K.A., Blasiak, P., Horzela, A.: Ladder operators and endomorphisms in combinatorial physics. Discrete Mathematics and Theoretical Computer Science 12(2), 23–46 (2010)
Eilenberg, S.: Sur les groupes compacts d’homéomorphies. Fundamenta Mathematicae 28, 75–80 (1937)
Farb, B., Dennis, R.K.: Noncommutative algebra. Graduate Texts in Mathematics, vol. 144. Springer (1993)
Kurbanov, S.G., Maksimov, V.M.: Mutual expansions of differential operators and divided difference operators. Dokl. Akad. Nauk. UzSSR 4, 8–9 (1986)
Mac Connell, J.C., Robson, J.C., Small, L.W.: Noncommutative Noetherian rings. Graduate studies in mathematics, vol. 30. American Mathematical Society (2001)
Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5. Springer (1971)
Poinsot, L.: Contributions à l’algèbre, à l’analyse et à la combinatoire des endomorphismes sur les espaces de séries. Habilitation à diriger des recherches en Mathématiques. Université Paris 13, Sorbonne Paris Cité (2011), http://lipn.univ-paris13.fr/~poinsot/HDR/HDR.pdf
Poinsot, L.: Generalized powers of substitution with pre-function operators. To be published in Applied Mathematics, special issue on Fractional Calculus Theory and Applications (2013)
Roman, S.: The umbral calculus. Pure and Applied Mathematics, vol. 111. Academic Press Inc. (1984)
Rota, G.-C., Kahaner, D., Odlyzko, A.: On the foundations of combinatorial theory VIII: Finite Operator Calculus. Journal of Mathematical Analysis and its Applications 42(3), 684–750 (1973)
Soare, R.I.: Recursively enumerable sets and degrees. Perspective in Mathematic Logic. Springer (1987)
Warner, S.: Topological rings. North-Holland Mathematics Studies, vol. 178. Elsevier (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poinsot, L. (2013). Linear Induction Algebra and a Normal Form for Linear Operators. In: Muntean, T., Poulakis, D., Rolland, R. (eds) Algebraic Informatics. CAI 2013. Lecture Notes in Computer Science, vol 8080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40663-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-40663-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40662-1
Online ISBN: 978-3-642-40663-8
eBook Packages: Computer ScienceComputer Science (R0)