×

Left linear theories – a generalization of module theory. (English) Zbl 0810.18004

For a ring \(R\) with unit, let \(R^{(\mathbb{N})}\) be the set of all \(R\)- sequences with finite support, and let \(\delta^ j_ * = (\delta^ j_ 1, \delta^ j_ 2, \dots) \in R^{(\mathbb{N})}\), where \(\delta^ j_ k\) be the familiar Kronecker symbol \((j,k \in \mathbb{N})\). Each \(r_ * \in R^{(\mathbb{N})}\) induces an operation \(\sigma (r_ *) : (R^{(\mathbb{N})})^ \mathbb{N} \to R^{(\mathbb{N})}\) defined by \[ \sigma (r_ *) (s^ 1_ *, s^ 2_ *, \dots) = \sum_{i \in \mathbb{N}} r_ i s^ i_ *. \] The exponential transpose \(R^{(\mathbb{N})} \times (R^{(\mathbb{N})})^ \mathbb{N} \to R^{(\mathbb{N})}\) of the corresponding map \(\sigma\) now can be lifted to a multiplication \((R^{(\mathbb{N})})^ \mathbb{N} \times (R^{(\mathbb{N})})^ \mathbb{N} \to (R^{(\mathbb{N})})^ \mathbb{N}\), which together with the unit \(\delta = (\delta^ 1_ *, \delta^ 2_ *, \dots)\) comprises a monoid structure on \((R^{(\mathbb{N})})^ \mathbb{N}\).
The existence, for a fixed set \(X\), of a bijective correspondence between left-\(R\)-module structures \(R \times X \to X\) on \(X\) and those left- \((R^{(\mathbb{N})} )^ \mathbb{N}\)-module structures \((R^{(\mathbb{N})})^ \mathbb{N} \times X^ \mathbb{N} \to X^ \mathbb{N}\) on \(X^ \mathbb{N}\) that arise from maps \(R^{(\mathbb{N})} \times X^ \mathbb{N} \to X\) motivates this paper. Instead of rings with unit, the authors introduce functions \({\mathcal L} \times {\mathcal L}^ N \to {\mathcal L}\), so-called left linear theories, as basis for modules. Here \(N\) is a fixed set with more than two elements intended to replace \(\mathbb{N}\), the arbitrary set \({\mathcal L}\) plays the role of \(R^{(\mathbb{N})}\), and the function, expressed by concatenation, has to satisfy \((l\lambda) \mu = l (\lambda \mu)\) for any \(l \in {\mathcal L}\) and all \(\lambda, \mu \in {\mathcal L}^ N\). (Here \(\lambda \mu\) has to be interpreted by lifting the original function to \({\mathcal L}^ N \times {\mathcal L}^ N \to {\mathcal L}^ N\).) Unital left linear theories have in addition a distinguished element \(\delta \in {\mathcal L}^ N\) that satisfies \(l \delta = l\) for all \(l \in {\mathcal L}\), and \(\delta (i) \lambda = \lambda (i)\) for every \(\lambda \in {\mathcal L}^ N\) and each \(i \in N\).
This notion of left linear theory is flexible enough to encompass, e.g., the barycentric calculus, and various convexity theories, which particularly the second author has an active interest in. Left linear theories as well as (unital) left-, right-, and bimodules over fixed left linear theories can readily be organized into nice algebraic categories. The paper contains explicit descriptions of the free left-\({\mathcal L}\)- module, right-\({\mathcal M}\)-module, and \({\mathcal L}\)-\({\mathcal M}\)-bimodule over a given set.
In the (bi-) category of all bimodules, the authors define a (non- symmetric) tensor product by means of a universal property with respect to “bilinear” maps. [Reviewer’s remark: The notion of bilinearity chosen here when restricted to the variety of \({\mathcal L}\)-bimodules for fixed \({\mathcal L}\) does not reduce to the usual one for varieties, cf., e.g., B. A. Davey and G. Davis, Algebra Univers. 21, 68-88 (1985; Zbl 0604.08004). In fact, it is not at all clear that in this variety the resulting tensor product is symmetric. Furthermore, the category of \({\mathcal L}\)-\({\mathcal M}\)-bimodules is a variety as well, hence carries a standard notion of bilinearity. The authors’ version cannot even be restricted to this variety.] It is then shown in detail that the (bi-) category of bimodules is monoidal right-closed with respect to this tensor product, however, the associativity of the tensor product is left as an open problem. The natural candidate for the associativity morphism turns out to be surjective; the authors even conjecture that in general it may not be an isomorphism. The equally interesting question (that would also settle the associativity issue), whether the (bi-) category of bimodules is monoidal left-closed, is not addressed.

MSC:

18B99 Special categories
18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
08C05 Categories of algebras
18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010)
16D10 General module theory in associative algebras
16D20 Bimodules in associative algebras
52A01 Axiomatic and generalized convexity

Citations:

Zbl 0604.08004
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bos, W. and Wolff, G.: Affine R?ume I,Mitt. Math. Sem. Gie?en 129, 1978, 1-115. · Zbl 0374.50004
[2] Bos, W. and Wolff, G.: Affine R?ume II,Mitt. Math. Sem. Gie?en 130, 1978, 1-83. · Zbl 0398.51011
[3] Gudder, S.P. and Schroeck, F.: Generalized convexity.SIAM J. Math. Anal. 11, 1980, 984-1001. · Zbl 0449.46019 · doi:10.1137/0511087
[4] Kneser, H.: Konvexe Ra?me,Arch. d. Matth. 3, 1952, 198-206. · Zbl 0048.08601 · doi:10.1007/BF01899364
[5] Ostermann, F. and Schmidt, J.: Der baryzentrische Kalk?l als axiomatische Grundlage der affinen Geometrie,J. Reine u. Angew. Math. 224, 1966, 44-57. · Zbl 0146.16202 · doi:10.1515/crll.1966.224.44
[6] Pareigis, B.:Categories and Functors. Academic Press, New York-London, 1970. · Zbl 0211.32402
[7] Pareigis, B.: Non-additive ring and module theory I. General theory of monoids,Publ. Math. (Debrecen) 24, 1977, 189-204. · Zbl 0377.16021
[8] Pumpl?n, D.: Regularly ordered Banach spaces and positively convex spaces,Results in Math. 7, 1984, 85-112. · Zbl 0587.46059
[9] Pumpl?n, D. and R?hrl, H.: Banach spaces and totally convex spaces I,Comm. in Alg. 12, 1984, 953-1019. · Zbl 0552.46042 · doi:10.1080/00927878408823035
[10] Pumpl?n, D. and R?hrl, H.: Banach spaces and totally convex spaces II,Comm. in Alg. 13, 1985, 1047-1113. · Zbl 0574.46054 · doi:10.1080/00927878508823205
[11] Rod?, G.: Superkonvexe Analysis,Arch. Math. 34, 1980, 452-462. · Zbl 0426.46007 · doi:10.1007/BF01224984
[12] R?hrl, H.: Convexity theories I. ?-convex spaces, In:Constantin Carath?odory. An International Tribute. World Scientific Publ., pp. 1175-1209, 1991.
[13] Semadeni, Z.: Monads and their Eilenberg-Moore algebras in functional analysis,Queen’s Papers Pure Appl. Math. 33, 1973. · Zbl 0272.46049
[14] Stone, M.H.: Postulates for the barycentric calculus,Ann. Mat. Pura Appl. 29, 1949, 25-30. · Zbl 0037.25002 · doi:10.1007/BF02413910
[15] Wickenh?user, A.: Positively convex spaces, Diplomarbeit FU Hagen, 1987.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.