Ordered algebra¶

A real unital algebra with a compatible Archimedean partial order whose positive elements include the unit and are closed under multiplication.

Version: v1 · 2026-10-31 · History
Domain-specific #: 14545
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Ordered Algebra, Functional Analysis → Mathematics

Core Idea¶

In the class described here, an ordered algebra is a real associative algebra with a unit and a compatible partial order. The unit is positive, products of positive elements are positive, and the underlying ordered vector space is Archimedean: if every positive integer multiple of an element has a common upper bound, that element is at most zero. Different authors use different conditions under the same name.^[1]

How would you explain it like I'm…

No faithful explanation at this level. All three agree a five-year-old picture uses numbers on a line, collapsing the partial order into a total order and implying the unit bounds everything.

Algebra With a Fair Order

An algebra in math is a system where you can add things, multiply them, and scale them by ordinary numbers. An ordered algebra also has a way to say one thing is 'at least as big' as another, but not every pair has to be comparable. The order has to play nicely with the math: adding keeps the order, the special 'one' element counts as positive, and multiplying two positive things gives a positive thing. There's also a rule that nothing positive can be added to itself forever while staying under some fixed limit.

Archimedean Partially Ordered Algebra

An ordered algebra combines algebra operations with an order that respects them. In the version described here, it's a real associative algebra with a unit (a 'one' element) and a partial order — not every two elements need to be comparable. The order works with addition and with multiplying by nonnegative real numbers, the unit is positive, and the product of two positive elements is positive. It's also Archimedean: if every multiple na of an element stays below some bound, then a ≤ 0. Other authors use 'ordered algebra' with different rules, and in particular the positive unit doesn't automatically bound every element, so it isn't automatically an 'order unit'.

In the class considered here, an ordered algebra is a real associative unital algebra equipped with a partial order compatible with addition and with multiplication by nonnegative scalars, such that the unit is positive and the product of two positive elements is positive. The underlying ordered vector space is Archimedean in the bounded-multiples sense: if na is bounded above for every positive integer n, then a ≤ 0. These are the conditions of this specific account; the term 'ordered algebra' is used elsewhere with different hypotheses, so results for another class must be checked against its own definition. In particular, a positive unit need not dominate every element and therefore is not automatically an order unit.

How It Works¶

A proper positive cone determines the order: \(a\le b\) when \(b-a\) is in the cone. Closure under addition and nonnegative scaling makes it compatible with the vector-space operations. Requiring the unit and products of positive elements to be in the cone links the order with multiplication. The Archimedean bounded-multiples condition is separate from an order unit, which must bound every element between two of its scalar multiples.^[1]^[2]

Examples¶

Continuous real functions on \([0,1]\), with pointwise operations and order, meet each condition. The cone consists of nonnegative functions; products of such functions remain nonnegative, and the Archimedean test follows at each point. Compactness makes the constant unit an order unit in this case.

Bounded real sequences with coordinatewise operations and order also meet the conditions; their unit is an order unit because each sequence is bounded. Their carrier differs from the continuous-function example: coordinate indicators are nontrivial idempotents, while connectedness forces continuous idempotents on \([0,1]\) to be constant. Bounded sequences also have a compact-space function representation, so the two are not claimed to belong to unrelated representation families. These are directly checked constructions, not examples attributed to a particular source.^[1]

Boundaries¶

A nonproper cone may define only a preorder, and positive semidefinite matrix factors need not have a positive product. Ordering \(\mathbb R[x]\) pointwise on all of \(\mathbb R\) gives a vector-Archimedean example whose positive unit is not an order unit, since \(x\) is unbounded. Buck's function-algebra representation uses extra conditions, including a generating linearly closed cone and an order unit; it does not follow from the weaker class definition alone.^[3]

An arbitrary normalized positive functional need not be multiplicative: uniform integration of \(x^2\) is \(1/3\), while the square of the integral of \(x\) is \(1/4\). The exact historical definition and representation claims in Schaefer and Wolff's relevant pages remain to be checked.^[4]

Neighborhood in Abstraction Space¶

Ordered algebra sits in a sparse region of the domain-specific corpus (90^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2835 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-31

References¶

[1] Josse van Dobben de Bruyn, “The Archimedean order unitization of seminormed ordered vector spaces,” Positivity 30 (2026), article 23, §2.2. The directly inspected definitions distinguish the bounded-multiples condition from an order unit. The examples and polynomial counterexample in this article are elementary derivations rather than examples attributed to that paper. registry ↩a ↩b ↩c

[2] Konrad Schmüdgen and Matthias Schötz, “Positivstellensätze for semirings,” Mathematische Annalen 389 (2024), 947–985, §2, Definitions 2.1 and 2.3. The directly inspected article assumes a commutative unital real algebra; its cone initially defines a preorder, and its use of “Archimedean” is the stronger unit-bounded condition described above. registry ↩

[3] R. Creighton Buck, “Multiplication operators,” Pacific Journal of Mathematics 11 (1961), 95–104, printed pp. 95–96 and Theorem 2 at p. 99. Its ordered-algebra representation uses the additional hypotheses stated above. Formula extraction was read with mathematical OCR limitations. registry ↩

[4] H. H. Schaefer and M. P. Wolff, “Order Structures,” in Topological Vector Spaces, 2^nd ed. (1999), chapter pp. 203–257. Publisher metadata and abstract were inspected; the relevant pp. 250–257 were not accessible. Library follow-up: check the exact definition and hypotheses for claims about extreme positive functionals, character-space representation, density and any onto conclusion before attributing those claims to this work. registry ↩