<p>We introduce an <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-operator algebraic analogue of Hilbert C*-modules. We present the theory of concrete <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-modules, their morphisms, and basic constructions including countable direct sums and tensor products. We then define <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-correspondences and the interior tensor product of these.</p>
We introduce an \(L^p\)-operator algebraic analogue of Hilbert C*-modules. We present the theory of concrete \(L^p\)-modules, their morphisms, and basic constructions including countable direct sums and tensor products. We then define \(L^p\)-correspondences and the interior tensor product of these.