Abstract
Let A, P, and Q ≠ ∅ be posets and consider Professor Garrett Birkhoff’s exponentiation operator PQ. McKenzie defined a new operator
He implied without proof that \(\mathcal C\left (A^{P\times Q}\right )\cong \mathcal C\left (\mathcal C\left (A^{P}\right )^{Q}\right )\), stating explicitly that this isomorphism was via the canonical order-isomorphism \({\Psi }:A^{P\times Q}\cong \left (A^{P}\right )^{Q}\) when A was connected. In this note, it is shown that the restriction of Ψ does not in general give an order-isomorphism from \(\mathcal C\left (A^{P\times Q}\right )\) to \(\mathcal C\left (\mathcal C\left (A^{P}\right )^{Q}\right )\), not even for A connected, although it does if AP has finite diameter or if Q has finitely many components. In his 1942 article on the arithmetic of ordered sets, Professor Birkhoff proved that if P embeds in Q and A is a complete lattice, then AP embeds in AQ. He said, “The author has no counterexample to [this theorem] for [posets] not complete lattices….” In this note, counterexamples where A, P, and Q are lattices are found.
Similar content being viewed by others
References
Birkhoff, G.: Generalized arithmetic. Duke Math. J. 9, 283–302 (1942)
Birkhoff, G.: Lattice Theory (American Mathematical Society, Providence, Rhode Island) (1967)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)
Farley, J.D.: The number of order-preserving maps between fences and crowns. Order 12, 5–44 (1995)
Lang, S.: Algebra, Revised Third Edition. Springer, New York (2002)
McKenzie, R.: Arithmetic of finite ordered sets: Cancellation of exponents, II. Order 17, 309–332 (2000)
McKenzie, R.: The zig-zag property and exponential cancellation of ordered sets. Order 20, 185–221 (2003)
Schröder, B.S.W.: Ordered Sets: An Introduction, 1st edn. Birkhäuser, Boston (2003)
Acknowledgements
The author would like to thank Dr. Dominic van der Zypen of the Swiss Armed Forces, and the author thanks the referee for his or her remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Farley, J.D. Poset Exponentiation and a Counterexample Birkhoff Said in 1942 He Did Not Have. Order 39, 243–250 (2022). https://doi.org/10.1007/s11083-021-09564-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-021-09564-5