pith. sign in

arxiv: 2511.13299 · v2 · submitted 2025-11-17 · 🧮 math.FA

Free Banach f-algebras

David Mu\~noz-Lahoz , Pedro Tradacete This is my paper

Pith reviewed 2026-05-17 21:23 UTC · model grok-4.3

classification 🧮 math.FA
keywords free Banach f-algebrassemiprime f-algebrasBanach latticeslattice homomorphismsnormed algebrasrepresentation theoremsf-algebrasnorm completion
0
0 comments X

The pith

The free Banach f-algebra on a space E admits an injective representation in C(B_{E*}) if and only if it is semiprime.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs the free Banach f-algebra FBfA[E] generated by an arbitrary Banach space E, extending earlier work on free Banach lattices to include multiplication that respects the lattice order. It begins with an explicit realization of the free Archimedean f-algebra inside real functions on the dual space and proves a structure theorem that locates the kernel of the largest submultiplicative lattice seminorm as exactly the functions vanishing on the dual unit ball. This produces a concrete representation of the free normed object inside continuous functions on that ball. The main theorem states that the representation extends injectively to the Banach completion precisely when the algebra is semiprime, and this semiprimeness is verified for all finite-dimensional E and for every L1 space. A sympathetic reader cares because the result clarifies when algebraic features such as absence of nilpotents persist under norm completion and supplies a general extension theorem for lattice-algebra homomorphisms.

Core claim

We construct and analyze the free Banach f-algebra FBfA[E] generated by a Banach space E. Starting from the explicit realization of the free Archimedean f-algebra as a sublattice-algebra of R^{E*}, we develop a new structure theorem for normed f-algebras that allows us to identify the kernel of the maximal submultiplicative lattice seminorm as precisely those functions vanishing on the unit ball B_{E*}. This yields a representation of the free normed f-algebra inside C(B_{E*}). We prove that this representation extends to an injective map on the completion FBfA[E] if and only if FBfA[E] is semiprime, and we establish that FBfA[E] is indeed semiprime whenever E is finite-dimensional or E = L1

What carries the argument

The structure theorem for normed f-algebras that identifies the kernel of the maximal submultiplicative lattice seminorm with the functions vanishing on the unit ball of the dual space, producing the representation inside C(B_{E*}).

If this is right

  • FBfA[E] is semiprime whenever E is finite-dimensional.
  • FBfA[E] is semiprime whenever E is an L1 space.
  • There exists a semiprime normed f-algebra whose norm completion fails to be semiprime.
  • Every real-valued lattice-algebra homomorphism defined on a closed sublattice-algebra of a Banach f-algebra extends to the whole algebra.
  • Operators into Banach f-algebras can be approximated by operators into finite-dimensional Banach f-algebras.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Semiprimeness may fail for many infinite-dimensional spaces outside the L1 class, giving systematic counterexamples to preservation of algebraic properties under completion.
  • The homomorphism extension property could be used to classify representations or to study automatic continuity questions in ordered algebras.
  • The construction supplies a test case for whether other algebraic identities besides semiprimeness survive the passage from normed to Banach f-algebras.

Load-bearing premise

The free Archimedean f-algebra embeds as a sublattice-algebra of real-valued functions on the dual space, so that the kernel of the seminorm consists exactly of the functions vanishing on the dual unit ball.

What would settle it

A Banach space E such that the completed free algebra FBfA[E] contains a nonzero element whose square is zero, which would show the representation map fails to be injective.

Figures

Figures reproduced from arXiv: 2511.13299 by David Mu\~noz-Lahoz, Pedro Tradacete.

Figure 1
Figure 1. Figure 1: illustrates the generators and the “weight” 1 ⋆ 1 (where 1 denotes the constant one function) of the free Banach f-algebra generated by ℓ 2 2 . (a) ηe1 (r, u) = u(e1) (b) ηe2 (r, u) = u(e2) (c) (1 ⋆ 1)(r, u) = r [PITH_FULL_IMAGE:figures/full_fig_p028_1.png] view at source ↗
read the original abstract

We construct and analyze the free Banach $f\!$-algebra $\operatorname{FB{\it f}A}[E]$ generated by a Banach space $E$, extending recent developments on free Banach lattices to the setting of Banach $f\!$-algebras, where multiplication interacts with the lattice structure. Starting from the explicit realization of the free Archimedean $f\!$-algebra as a sublattice-algebra of $\mathbb{R}^{E^*}$, we develop a new structure theorem for normed $f\!$-algebras that allows us to identify the kernel of the maximal submultiplicative lattice seminorm as precisely those functions vanishing on the unit ball $B_{E^*}$. This yields a representation of the free normed $f\!$-algebra inside $C(B_{E^*})$. We prove that this representation extends to an injective map on the completion $\operatorname{FB{\it f}A}[E]$ if and only if $\operatorname{FB{\it f}A}[E]$ is semiprime, and we establish that $\operatorname{FB{\it f}A}[E]$ is indeed semiprime whenever $E$ is finite-dimensional or $E = L_1(\mu)$. This is closely related to approximating operators into a Banach $f\!$-algebra by operators into finite-dimensional Banach $f\!$-algebras. We also use the newly constructed free objects to provide an example of a semiprime normed $f\!$-algebra whose norm completion is not semiprime. Using the tools developed for the study of free objects, we show the following extension property: if $A$ is a closed sublattice-algebra of a Banach $f\!$-algebra $B$, then every real-valued lattice-algebra homomorphism on $A$ extends to a real-valued lattice-algebra homomorphism on $B$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper constructs the free Banach f-algebra FBfA[E] generated by a Banach space E. It begins with the explicit realization of the free Archimedean f-algebra as a sublattice-algebra of R^{E*}, develops a new structure theorem for normed f-algebras that identifies the kernel of the maximal submultiplicative lattice seminorm precisely as the functions vanishing on B_{E*}, and obtains a representation inside C(B_{E*}). The paper proves that this representation extends to an injective map on the completion FBfA[E] if and only if FBfA[E] is semiprime, establishes semiprimeness when E is finite-dimensional or E = L_1(μ), provides an example of a semiprime normed f-algebra whose norm completion is not semiprime, and proves an extension property for real-valued lattice-algebra homomorphisms from closed sublattice-algebras.

Significance. If the central claims hold, the work extends the theory of free Banach lattices to the f-algebra setting with multiplication interacting with the lattice operations. The explicit structure theorem and kernel identification, together with the semiprimeness results for concrete cases and the counterexample separating normed and Banach semiprimeness, supply concrete tools for studying representations and approximations by finite-dimensional f-algebras. The homomorphism extension property is a useful byproduct. The construction is grounded in an explicit function-space realization rather than abstract universal properties alone.

major comments (2)
  1. [§3] §3 (new structure theorem): The identification of the kernel of the maximal submultiplicative lattice seminorm as functions vanishing on B_{E*} is established for the dense normed f-algebra realized inside R^{E*}. The proof that this representation extends injectively to the completion FBfA[E] (the central iff statement) requires explicit verification that the lattice operations and multiplication remain continuous with respect to the completed norm and that no new elements enter the kernel while satisfying x^2 = 0. The current summary leaves open whether density alone suffices or whether additional uniform continuity or approximation arguments are supplied.
  2. [§5] §5 (semiprimeness for finite-dimensional E and E = L_1(μ)): The argument that FBfA[E] is semiprime must show that any element of the completion whose square is zero is already zero in the representation. If the structure theorem controls only the dense subalgebra, the proof needs to confirm that completion does not introduce nonzero nilpotents lying in the kernel; otherwise the iff direction fails. Concrete estimates or direct verification for the L_1 case are required.
minor comments (2)
  1. [Introduction] The connection between the free-object construction and the approximation of operators by finite-dimensional ones is mentioned in the abstract but would benefit from a short dedicated paragraph in the introduction.
  2. [§2] Notation for the maximal submultiplicative lattice seminorm is introduced after the structure theorem; an earlier explicit formula would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The points raised concern the level of detail in the continuity arguments for the completion and the verification that no new nilpotents appear. We address each major comment below and will revise the manuscript to make the relevant steps fully explicit.

read point-by-point responses

  1. Referee: [§3] §3 (new structure theorem): The identification of the kernel of the maximal submultiplicative lattice seminorm as functions vanishing on B_{E*} is established for the dense normed f-algebra realized inside R^{E*}. The proof that this representation extends injectively to the completion FBfA[E] (the central iff statement) requires explicit verification that the lattice operations and multiplication remain continuous with respect to the completed norm and that no new elements enter the kernel while satisfying x^2 = 0. The current summary leaves open whether density alone suffices or whether additional uniform continuity or approximation arguments are supplied.

    Authors: The structure theorem defines the norm via the maximal submultiplicative lattice seminorm on the dense subalgebra inside R^{E*}. Lattice operations and multiplication are uniformly continuous on this dense subalgebra with respect to the sup-norm on B_{E*}. By the universal property of completion, they extend continuously to FBfA[E]. For the kernel: any element of the completion with square zero is the limit of a sequence from the dense subalgebra; the representation map is continuous, so the limit function satisfies f^2 = 0 pointwise on B_{E*}, hence f = 0. We will insert a new paragraph after the structure theorem that spells out these uniform-continuity and approximation steps explicitly. revision: yes

  2. Referee: [§5] §5 (semiprimeness for finite-dimensional E and E = L_1(μ)): The argument that FBfA[E] is semiprime must show that any element of the completion whose square is zero is already zero in the representation. If the structure theorem controls only the dense subalgebra, the proof needs to confirm that completion does not introduce nonzero nilpotents lying in the kernel; otherwise the iff direction fails. Concrete estimates or direct verification for the L_1 case are required.

    Authors: For finite-dimensional E the algebra is already complete, so the dense subalgebra coincides with the completion and semiprimeness follows directly from the structure theorem. For E = L_1(μ) we use the explicit representation and the fact that the norm is equivalent to the sup-norm on B_{E*}. If x in the completion satisfies x^2 = 0, approximate x by a sequence x_n in the dense subalgebra; then ||x_n^2|| → 0, and the structure theorem implies ||x_n|| → 0, hence x = 0. We will add a short subsection with these norm estimates and the approximation argument for the L_1 case to make the absence of new nilpotents fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from explicit starting realization

full rationale

The paper starts from an explicit function-space realization of the free Archimedean f-algebra inside R^{E*}, introduces a new structure theorem identifying the kernel of the maximal submultiplicative lattice seminorm with functions vanishing on B_{E*}, obtains a representation in C(B_{E*}), and then proves the extension to the norm completion is injective precisely when the object is semiprime, with direct arguments establishing semiprimeness for finite-dimensional E and E = L1(μ). No equations or steps reduce the target objects or claims to fitted parameters, self-definitions, or load-bearing self-citations by construction. The central results consist of independent proofs rather than tautological renamings or ansatzes imported from prior author work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper relies on standard background from Banach space theory and f-algebra axioms; the main new entity is the free object itself, defined via universal property and explicit construction.

axioms (2)
  • domain assumption Free Archimedean f-algebra generated by E exists and embeds as a sublattice-algebra of R^{E*}
    Explicit starting point stated in the abstract for the subsequent normed construction.
  • domain assumption Every normed f-algebra admits a maximal submultiplicative lattice seminorm whose kernel consists exactly of functions vanishing on the unit ball of the dual
    Invoked as the new structure theorem that yields the representation inside C(B_{E*}).
invented entities (1)
  • Free Banach f-algebra FBfA[E] no independent evidence
    purpose: Universal normed f-algebra generated by the Banach space E
    Defined and constructed in the paper; no independent external evidence supplied beyond the universal property.

pith-pipeline@v0.9.0 · 5637 in / 1560 out tokens · 47393 ms · 2026-05-17T21:23:28.699699+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the free Banach lattice generated by a lattice

    math.FA 2026-04 unverdicted novelty 6.0

    FBL generated by distributive lattice L has characterized strong units and density characters, with FBL<L> lattice isometric to FBL<L^op>.

Reference graph

Works this paper leans on

72 extracted references · 72 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Y. A. Abramovich and C. D. Aliprantis.An invitation to operator theory. Vol. 50. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2002, pp. xiv+530. MR:1921782

    work page 2002

  2. [2]

    C. D. Aliprantis and O. Burkinshaw.Positive operators. Reprint of the 1985 original. Springer, Dordrecht, 2006, pp. xx+376. MR:2262133

    work page 1985

  3. [3]

    Lattice embeddings in free Banach lattices over lattices

    A. Avil´ es, G. Mart´ ınez-Cervantes, J. D. Rodr´ ıguez Abell´ an, and A. R. Zoca. “Lattice embeddings in free Banach lattices over lattices”. In:Math. Inequal. Appl.25.2 (2022), pp. 495–509. MR:4428584

    work page 2022

  4. [4]

    Lin- ear versus lattice embeddings between Banach lattices

    A. Avil´ es, G. Mart´ ınez-Cervantes, A. Rueda Zoca, and P. Tradacete. “Lin- ear versus lattice embeddings between Banach lattices”. In:Adv. Math.406, article no. 108574 (2022), p. 14. MR:4452664

    work page 2022

  5. [5]

    Chain conditions in free Banach lattices

    A. Avil´ es, G. Plebanek, and J. D. Rodr´ ıguez Abell´ an. “Chain conditions in free Banach lattices”. In:J. Math. Anal. Appl.465.2 (2018), pp. 1223–1229. MR:3809354. REFERENCES 57

    work page 2018

  6. [6]

    The free Banach lattice generated by a Banach space

    A. Avil´ es, J. Rodr´ ıguez, and P. Tradacete. “The free Banach lattice generated by a Banach space”. In:J. Funct. Anal.274.10 (2018), pp. 2955–2977. MR: 3777636

    work page 2018

  7. [7]

    The free Banach lattice generated by a lattice

    A. Avil´ es and J. D. Rodr´ ıguez Abell´ an. “The free Banach lattice generated by a lattice”. In:Positivity23.3 (2019), pp. 581–597. MR:3977585

    work page 2019

  8. [8]

    Amalgamation and injectivity in Banach lat- tices

    A. Avil´ es and P. Tradacete. “Amalgamation and injectivity in Banach lat- tices”. In:Int. Math. Res. Not.2023.2 (2023), pp. 956–997. MR:4537317

    work page 2023

  9. [9]

    The free Banach lattices generated byℓ p andc 0

    A. Avil´ es, P. Tradacete, and I. Villanueva. “The free Banach lattices generated byℓ p andc 0”. In:Rev. Mat. Complut.32.2 (2019), pp. 353–364. MR:3942920

    work page 2019

  10. [10]

    Azouzi and W

    Y. Azouzi and W. Dhifaoui.Order denseness in free Banach lattices. Preprint, arXiv:2508.11648 [math.FA]. 2025

    work page arXiv 2025

  11. [11]

    Free vector lattices

    K. A. Baker. “Free vector lattices”. In:Canadian J. Math.20 (1968), pp. 58–

    work page 1968

  12. [12]

    Almostf-algebras andd-algebras

    S. J. Bernau and C. B. Huijsmans. “Almostf-algebras andd-algebras”. In: Math. Proc. Cambridge Philos. Soc.107.2 (1990), pp. 287–308. MR:1027782

    work page 1990

  13. [13]

    On the positivity of the unit element in a normed lattice ordered algebra

    S. J. Bernau and C. B. Huijsmans. “On the positivity of the unit element in a normed lattice ordered algebra”. In:Studia Math.97.2 (1990), pp. 143–149. MR:1083344

    work page 1990

  14. [14]

    The order bidual of almostf-algebras andd-algebras

    S. J. Bernau and C. B. Huijsmans. “The order bidual of almostf-algebras andd-algebras”. In:Trans. Amer. Math. Soc.347.11 (1995), pp. 4259–4275. MR:1308002

    work page 1995

  15. [15]

    Sur les endomorphismes conservant les polaires d’un groupe r´ eticul´ e archim´ edien

    A. Bigard and K. Keimel. “Sur les endomorphismes conservant les polaires d’un groupe r´ eticul´ e archim´ edien”. In:Bull. Soc. Math. France97 (1969), pp. 381–398. MR:262137

    work page 1969

  16. [16]

    Bigard, K

    A. Bigard, K. Keimel, and S. Wolfenstein.Groupes et anneaux r´ eticul´ es. Vol. 608. Lecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1977, pp. xi+334. MR:552653

    work page 1977

  17. [17]

    Norm-attaining lattice homomorphisms and renormings of Banach lattices

    E. Bilokopytov, E. Garc´ ıa-S´ anchez, D. de Hevia, G. Mart´ ınez-Cervantes, and P. Tradacete. “Norm-attaining lattice homomorphisms and renormings of Banach lattices”. In:J. Funct. Anal.290.4, article no. 111250 (2026). MR: 4983374

    work page 2026

  18. [18]

    Birkhoff.Lattice theory

    G. Birkhoff.Lattice theory. Vol. XXV. American Mathematical Society Collo- quium Publications. Revised ed. American Mathematical Society, Providence, RI, 1961, pp. xiii+283. MR:123490

    work page 1961

  19. [19]

    On the structure of abstract algebras

    G. Birkhoff. “On the structure of abstract algebras”. In:Proc. Camb. Philos. Soc.31 (1935), pp. 433–454

    work page 1935

  20. [20]

    Lattice-ordered rings

    G. Birkhoff and R. S. Pierce. “Lattice-ordered rings”. In:An. Acad. Brasil. Ci.28 (1956), pp. 41–69. MR:80099

    work page 1956

  21. [21]

    Free vector lattices

    R. D. Bleier. “Free vector lattices”. In:Trans. Amer. Math. Soc.176 (1973), pp. 73–87. MR:311541

    work page 1973

  22. [22]

    Results inf-algebras

    K. Boulabiar, G. Buskes, and A. Triki. “Results inf-algebras”. In:Positivity. Trends Math. Birkh¨ auser, Basel, 2007, pp. 73–96. MR:2382215

    work page 2007

  23. [23]

    The range of lattice homomorphisms onf-algebras

    K. Boulabiar. “The range of lattice homomorphisms onf-algebras”. In:Or- dered algebraic structures. Vol. 7. Dev. Math. Kluwer Acad. Publ., Dordrecht, 2002, pp. 179–188. MR:2083038

    work page 2002

  24. [24]

    Vector lattice powers:f-algebras and functional calculus

    K. Boulabiar and G. Buskes. “Vector lattice powers:f-algebras and functional calculus”. In:Comm. Algebra34.4 (2006), pp. 1435–1442. MR:2224884. 58 REFERENCES

    work page 2006

  25. [25]

    Functional calculus on Riesz spaces

    G. Buskes, B. de Pagter, and A. van Rooij. “Functional calculus on Riesz spaces”. In:Indag. Math. (N.S.)2.4 (1991), pp. 423–436. MR:1149692

    work page 1991

  26. [26]

    Tensor products off-algebras

    G. J. H. M. Buskes and A. W. Wickstead. “Tensor products off-algebras”. In:Mediterr. J. Math.14.2, article no. 63 (2017), p. 10. MR:3619425

    work page 2017

  27. [27]

    The ring of polar preserving endomorphisms of an abelian lattice-ordered group

    P. F. Conrad and J. E. Diem. “The ring of polar preserving endomorphisms of an abelian lattice-ordered group”. In:Illinois J. Math.15 (1971), pp. 222–

    work page 1971

  28. [28]

    Norm-attaining lattice homomorphisms

    S. Dantas, G. Mart´ ınez-Cervantes, J. D. Rodr´ ıguez Abell´ an, and A. Rueda Zoca. “Norm-attaining lattice homomorphisms”. In:Rev. Mat. Iberoam.38.3 (2022), pp. 981–1002. MR:4413761

    work page 2022

  29. [29]

    Octahedral norms in free Banach lattices

    S. Dantas, G. Mart´ ınez-Cervantes, J. D. Rodr´ ıguez Abell´ an, and A. Rueda Zoca. “Octahedral norms in free Banach lattices”. In:Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. RACSAM115.1, article no. 6 (2021), p. 20. MR:4165729

    work page 2021

  30. [30]

    De Pagter.f-algebras and orthomorphisms

    B. De Pagter.f-algebras and orthomorphisms. PhD Dissertation (Universiteit Leiden). 1981

    work page 1981

  31. [31]

    Free dual spaces and free Banach lat- tices

    E. Garc´ ıa-S´ anchez and P. Tradacete. “Free dual spaces and free Banach lat- tices”. In:J. Math. Anal. Appl.532.2, article no. 127931 (2024), p. 22. MR: 4677159

    work page 2024

  32. [32]

    Free objects in Banach space theory

    E. Garc´ ıa-S´ anchez, D. de Hevia, and P. Tradacete. “Free objects in Banach space theory”. In:Cutting-edge mathematics. Vol. 13. RSME Springer Ser. Springer, Cham, 2024, pp. 100–124. MR:4823784

    work page 2024

  33. [33]

    On the structure of a class of archimedean lattice-ordered algebras

    M. Henriksen and D. G. Johnson. “On the structure of a class of archimedean lattice-ordered algebras”. In:Fund. Math.50 (1961/62), pp. 73–94. MR: 133698

    work page 1961

  34. [34]

    A survey off-rings and some of their generalizations

    M. Henriksen. “A survey off-rings and some of their generalizations”. In: Ordered algebraic structures (Cura¸ cao, 1995). Kluwer Acad. Publ., Dordrecht, 1997, pp. 1–26. MR:1445106

    work page 1995

  35. [35]

    Lattice-ordered rings and function rings

    M. Henriksen and J. R. Isbell. “Lattice-ordered rings and function rings”. In: Pacific J. Math.12 (1962), pp. 533–565. MR:153709

    work page 1962

  36. [36]

    Complemented subspaces of Banach lattices

    D. de Hevia and P. Tradacete. “Complemented subspaces of Banach lattices”. In:Banach J. Math. Anal.19.4, article no. 60 (2025), p. 33. MR:4940175

    work page 2025

  37. [37]

    Free complex Banach lattices

    D. de Hevia and P. Tradacete. “Free complex Banach lattices”. In:J. Funct. Anal.284.10, article no. 10988 (2023), p. 26. MR:4552375

    work page 2023

  38. [38]

    An inequality in complex Riesz algebras

    C. B. Huijsmans. “An inequality in complex Riesz algebras”. In:Studia Sci. Math. Hungar.20.1-4 (1985), pp. 29–32. MR:886000

    work page 1985

  39. [39]

    Lattice-ordered algebras andf-algebras: a survey

    C. B. Huijsmans. “Lattice-ordered algebras andf-algebras: a survey”. In:Pos- itive operators, Riesz spaces, and economics (Pasadena, CA, 1990). Springer, Berlin, 1991, pp. 151–169. MR:1307423

    work page 1990

  40. [40]

    The order bidual of lattice ordered algebras. II

    C. B. Huijsmans. “The order bidual of lattice ordered algebras. II”. In:J. Operator Theory22.2 (1989), pp. 277–290. MR:1043728

    work page 1989

  41. [41]

    Ideal theory inf-algebras

    C. B. Huijsmans and B. de Pagter. “Ideal theory inf-algebras”. In:Trans. Amer. Math. Soc.269.1 (1982), pp. 225–245. MR:637036

    work page 1982

  42. [42]

    Subalgebras and Riesz subspaces of an f-algebra

    C. B. Huijsmans and B. de Pagter. “Subalgebras and Riesz subspaces of an f-algebra”. In:Proc. London Math. Soc. (3)48.1 (1984), pp. 161–174. MR: 721777

    work page 1984

  43. [43]

    On Wigner’s theorem in smooth normed spaces

    D. Iliˇ sevi´ c and A. Turnˇ sek. “On Wigner’s theorem in smooth normed spaces”. In:Aequationes Math.94.6 (2020), pp. 1257–1267. MR:4171843. REFERENCES 59

    work page 2020

  44. [44]

    The Fremlin projective tensor product of Banach lattice algebras

    J. Jaber. “The Fremlin projective tensor product of Banach lattice algebras”. In:J. Math. Anal. Appl.488.2, article no. 123993 (2020), p. 9. MR:4081548

    work page 2020

  45. [45]

    Free Banach lattices under convexity conditions

    H. Jard´ on-S´ anchez, N. J. Laustsen, M. A. Taylor, P. Tradacete, and V. G. Troitsky. “Free Banach lattices under convexity conditions”. In:Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. RACSAM116.1, article no. 15 (2022), p. 25. MR:4326041

    work page 2022

  46. [46]

    Free vector lattices and free vector lattice algebras

    M. de Jeu. “Free vector lattices and free vector lattice algebras”. In:Posi- tivity and its applications. Trends Math. Birkh¨ auser/Springer, Cham, 2021, pp. 103–139. MR:4383622

    work page 2021

  47. [47]

    Jiang, J

    X. Jiang, J. H. van der Walt, and M. Wortel.L-valued integration. Preprint, arXiv:2408.17306 [math.FA]. 2024

    work page arXiv 2024

  48. [48]

    Some trends in lattice-ordered groups and rings

    K. Keimel. “Some trends in lattice-ordered groups and rings”. In:Lattice theory and its applications (Darmstadt, 1991). Vol. 23. Res. Exp. Math. Hel- dermann, Lemgo, 1995, pp. 131–161. MR:1366870

    work page 1991

  49. [49]

    Kikianty, M

    E. Kikianty, M. Messerschmidt, L. Naude, M. Roelands, C. Schwanke, W. van Amstel, J. H. van der Walt, and M. Wortel.L-functional analysis. Preprint, arXiv:2403.10222 [math.FA]. 2024

    work page arXiv 2024

  50. [50]

    Lindenstrauss and L

    J. Lindenstrauss and L. Tzafriri.Classical Banach spaces. II. Vol. 97. Ergeb- nisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas]. Function spaces. Springer-Verlag, Berlin-New York, 1979, pp. x+243. MR:540367

    work page 1979

  51. [51]

    On the Pierce-Birkhoff conjec- ture

    F. Lucas, D. Schaub, and M. Spivakovsky. “On the Pierce-Birkhoff conjec- ture”. In:J. Algebra435 (2015), pp. 124–158. MR:3343214

    work page 2015

  52. [52]

    Henriksen and Isbell onf-rings

    J. J. Madden. “Henriksen and Isbell onf-rings”. In:Topology Appl.158.14 (2011), pp. 1768–1773. MR:2823688

    work page 2011

  53. [53]

    On the Pierce-Birkhoff conjecture in three variables

    L. Mah´ e. “On the Pierce-Birkhoff conjecture in three variables”. In:J. Pure Appl. Algebra211.2 (2007), pp. 459–470. MR:2340463

    work page 2007

  54. [54]

    Banachf-algebras and Banach lattice algebras with unit

    L. Martignon. “Banachf-algebras and Banach lattice algebras with unit”. In:Bol. Soc. Brasil. Mat.11.1 (1980), pp. 11–17. MR:607012

    work page 1980

  55. [55]

    Meyer-Nieberg.Banach lattices

    P. Meyer-Nieberg.Banach lattices. Universitext. Springer-Verlag, Berlin, 1991, pp. xvi+395. MR:1128093

    work page 1991

  56. [56]

    $f$-algebra products on AL and AM-spaces

    D. Mu˜ noz-Lahoz.f-algebra products on AL and AM-spaces. Preprint, arXiv:2507.08435 [math.FA]. 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  57. [57]

    Band projections and order idempotents in Banach lattice algebras

    D. Mu˜ noz-Lahoz. “Band projections and order idempotents in Banach lattice algebras”. In:J. Math. Anal. Appl.543.2, article no. 129045 (2025), p. 27. MR:4824648

    work page 2025

  58. [58]

    Free Banach lattices

    T. Oikhberg, M. A. Taylor, P. Tradacete, and V. G. Troitsky. “Free Banach lattices”. In:J. Eur. Math. Soc.(2024)

    work page 2024

  59. [59]

    The space of extended orthomorphisms in a Riesz space

    B. de Pagter. “The space of extended orthomorphisms in a Riesz space”. In: Pacific J. Math.112.1 (1984), pp. 193–210. MR:739146

    work page 1984

  60. [60]

    Free and projective Banach lattices

    B. de Pagter and A. W. Wickstead. “Free and projective Banach lattices”. In: Proc. Roy. Soc. Edinburgh Sect. A145.1 (2015), pp. 105–143. MR:3304578

    work page 2015

  61. [61]

    Products of separable spaces

    K. A. Ross and A. H. Stone. “Products of separable spaces”. In:Amer. Math. Monthly71 (1964), pp. 398–403. MR:164314

    work page 1964

  62. [62]

    Der Bidual vonF-Banachverbandsalgebren

    E. Scheffold. “Der Bidual vonF-Banachverbandsalgebren”. In:Acta Sci. Math. (Szeged)55.1-2 (1991), pp. 167–179. MR:1124955

    work page 1991

  63. [63]

    FF-Banachverbandsalgebren

    E. Scheffold. “FF-Banachverbandsalgebren”. In:Math. Z.177.2 (1981), pp. 193–

    work page 1981

  64. [64]

    60 REFERENCES

    MR:612873. 60 REFERENCES

    work page

  65. [65]

    ¨Uber den ordnungsstetigen Bidual vonF F-Banachverbandsalgebren

    E. Scheffold. “ ¨Uber den ordnungsstetigen Bidual vonF F-Banachverbandsalgebren”. In:Arch. Math. (Basel)60.5 (1993), pp. 473–477. MR:1213518

    work page 1993

  66. [66]

    Simple constructions of FBL(A) and FBL[E]

    V. G. Troitsky. “Simple constructions of FBL(A) and FBL[E]”. In:Positivity 23.5 (2019), pp. 1173–1178. MR:4011244

    work page 2019

  67. [67]

    On the Pierce-Birkhoff conjecture for smooth affine surfaces over real closed fields

    S. Wagner. “On the Pierce-Birkhoff conjecture for smooth affine surfaces over real closed fields”. In:Ann. Fac. Sci. Toulouse Math. (6)19 (2010), pp. 221–

    work page 2010

  68. [68]

    Banach lattice algebras: some questions, but very few answers

    A. W. Wickstead. “Banach lattice algebras: some questions, but very few answers”. In:Positivity21.2 (2017), pp. 803–815. MR:3656022

    work page 2017

  69. [69]

    Extensions of orthomorphisms

    A. W. Wickstead. “Extensions of orthomorphisms”. In:J. Austral. Math. Soc. Ser. A29.1 (1980), pp. 87–98. MR:566279

    work page 1980

  70. [70]

    Ordered Banach algebras and multi-norms: some open problems

    A. W. Wickstead. “Ordered Banach algebras and multi-norms: some open problems”. In:Positivity21.2 (2017), pp. 817–823. MR:3656023

    work page 2017

  71. [71]

    Representation and duality of multiplication operators on Archimedean Riesz spaces

    A. W. Wickstead. “Representation and duality of multiplication operators on Archimedean Riesz spaces”. In:Compositio Math.35.3 (1977), pp. 225–238. MR:454728

    work page 1977

  72. [72]

    The injective hull of an Archimedeanf-algebra

    A. W. Wickstead. “The injective hull of an Archimedeanf-algebra”. In:Com- positio Math.62.3 (1987), pp. 329–342. MR:901395. Instituto de Ciencias Matem´aticas (CSIC-UAM-UC3M-UCM), Universidad Aut´onoma de Madrid, C/ Nicol ´as Cabrera, 13–15, Campus de Cantoblanco UAM, 28049 Madrid, Spain. Email address:david.munnozl@uam.es Instituto de Ciencias Matem ´ati...

    work page 1987