Powers of ordered sets. (English) Zbl 0561.06005
For ordered sets P and Q, \(P^ Q\) denotes the set of all order- preserving maps of Q to P with the ordering \(f\leq g\) in \(P^ Q\) if f(x)\(\leq g(x)\) for all \(x\in Q\). This survey article is concerned with efforts to answer two of Birkhoff’s questions [see G. Birkhoff, Duke Math. J. 9, 283-302 (1942; Zbl 0060.126)]: (1) Does \(P^ Q\cong P^ R\) imply \(Q\cong R?\) (2) Does \(P^ R\cong Q^ R\) imply \(P\cong Q?\)
In the paper under review, two results are presented. The first is a theorem of the author and I. Rival [Can. J. Math. 30, 797-807 (1978; Zbl 0497.06004)], settling (1) in the finite case. The second, regarding (2), is due to B. Jónsson and R. McKenzie [Math. Scand. 51, 87-120 (1982; Zbl 0501.06001)]. The author discusses central ideas of these papers. Also, a series of remarks concerning related topics is presented. The paper ends with an extensive list of references.
In the paper under review, two results are presented. The first is a theorem of the author and I. Rival [Can. J. Math. 30, 797-807 (1978; Zbl 0497.06004)], settling (1) in the finite case. The second, regarding (2), is due to B. Jónsson and R. McKenzie [Math. Scand. 51, 87-120 (1982; Zbl 0501.06001)]. The author discusses central ideas of these papers. Also, a series of remarks concerning related topics is presented. The paper ends with an extensive list of references.
Reviewer: E.Fuchs
MSC:
| 06A06 | Partial orders, general |
References:
| [1] | K.Baclawski and A.Bj?rner (1979) Fixed points in partially ordered sets, Adv. Math. 31, 263-287. · Zbl 0417.06002 · doi:10.1016/0001-8708(79)90045-8 |
| [2] | H. Bauer (1981) Garben und Automorphismen geordneter Mengen, PhD Thesis, Darmstadt. · Zbl 0546.06004 |
| [3] | H. Bauer and R. Wille (1983) A proof of Hashimoto’s refinement theorem, preprint. · Zbl 0526.06001 |
| [4] | H.Bauer, K.Keimel, and R.Kohler (1981) Verfeinerungs ? und Kurzungssatze f?r Produkte geordneter topologischer Raume und f?r Funktionen (-Halb-) Verbande, Lecture Notes in Math. 871, 20-44. · doi:10.1007/BFb0089902 |
| [5] | C.Bergman, R.McKenzie, and Sz.Nagy (1982) How to cancel a linearly ordered exponent, Colloq. Math. Soc. Janos Bolyai 21, 87-94. · Zbl 0483.06001 |
| [6] | G.Birkhoff (1937a) Extended arithmetic, Duke Math. J. 3, 311-316. · Zbl 0016.38702 · doi:10.1215/S0012-7094-37-00323-5 |
| [7] | G.Birkhoff (1937b) Rings of sets, Duke Math. J. 3, 443-454. · Zbl 0017.19403 · doi:10.1215/S0012-7094-37-00334-X |
| [8] | G.Birkhoff (1940) Lattice Theory, 1st edn., American Mathematical Society, Providence, Rhode Island. · Zbl 0063.00402 |
| [9] | G.Birkhoff (1942) Generalized arithmetic, Duke Math. J. 9, 283-302. · Zbl 0060.12609 · doi:10.1215/S0012-7094-42-00921-9 |
| [10] | G.Birkhoff (1967) Lattice Theory, 3rd edn., American Mathematical Society, Providence, Rhode Island. · Zbl 0153.02501 |
| [11] | C. C.Chang, B.J?nsson, and A.Tarski (1964) Refinement properties for relational structures, Fund. Math. 55, 249-281. · Zbl 0171.25805 |
| [12] | B. A.Davey and D.Duffus (1982) Exponentiation and duality, in Ordered Sets (ed. I.Rival), D. Reidel, Dordrecht, pp. 43-95. · Zbl 0509.06001 |
| [13] | B. A.Davey, D.Duffus, R. W.Quakenbush, and I.Rival, Exponents of finite simple lattices (1978) J. London Math. Soc. (2) 17, 203-211. · Zbl 0391.06006 · doi:10.1112/jlms/s2-17.2.203 |
| [14] | B. A.Davey and I.Rival (1982) Exponents of lattice-ordered algebras, Alg. Univ. 14, 87-98. · Zbl 0499.06015 · doi:10.1007/BF02483911 |
| [15] | D. Duffus (1984) Automorphisms and products of ordered sets, Alg. Univ. (to appear). · Zbl 0554.06004 |
| [16] | D.Duffus, B.J?nsson, and I.Rival (1978) Structure results for function lattices, Canad. J. Math. 30, 392-400. · Zbl 0381.06006 · doi:10.4153/CJM-1978-034-1 |
| [17] | D.Duffus and I.Rival (1978) A logarithmic property for exponents of partially ordered sets, Canad. J. Math. 30, 797-807. · Zbl 0497.06004 · doi:10.4153/CJM-1978-068-x |
| [18] | D.Duffus and I.Rival (1981) A structure theory for ordered sets, Discrete Math. 35, 53-118. · Zbl 0459.06002 · doi:10.1016/0012-365X(81)90201-6 |
| [19] | D.Duffus and R.Wille (1979) A theorem on partially ordered sets of order preserving mappings, Proc. Amer. Math. Soc. 76, 14-16. · Zbl 0417.06001 · doi:10.1090/S0002-9939-1979-0534380-2 |
| [20] | D.Duffus and R.Wille (1982) Automorphism groups of function lattices, Colloq. Math. Soc. Janos Bolyai 29, 203-207. · Zbl 0484.06001 |
| [21] | E.Fuchs (1965) Isomorphismus der Kardinalpotenzen, Arch. Math (Brno) 1, 83-93. · Zbl 0132.26002 |
| [22] | J.Hashimoto (1948) On the product decomposition of partially ordered sets, Math. Japon. 1, 120-123. · Zbl 0041.37801 |
| [23] | J.Hashimoto (1951) On direct product decomposition of partially ordered sets, Ann. Math. 54, 315-318. · Zbl 0044.27404 · doi:10.2307/1969532 |
| [24] | B.J?nsson (1982a) Arithmetic of ordered sets, in Ordered Sets (ed. I.Rival), D. Reidel, Holland, pp. 3-41. |
| [25] | B.J?nsson (1982b) Powers of partially ordered sets: the automorphism group, Math. Scand. 51 121-141. · Zbl 0501.06002 |
| [26] | B.J?nsson and R.McKenzie (1982) Powers of partially ordered sets: cancellation and refinement properties, Math. Scand. 51, 87-120. · Zbl 0501.06001 |
| [27] | L.Lov?sz (1967) Operations with structures, Acta Math. Acad. Sci. Hungar. 18, 321-328. · Zbl 0174.01401 · doi:10.1007/BF02280291 |
| [28] | R.McKenzie (1971) Cardinal multiplication of structures with a reflexive relation, Fund. Math. 70, 59-101. · Zbl 0228.08002 |
| [29] | R.McKenzie and R.Quackenbush (1981) The spectrum of a lattice-primal algebra, Discrete Math. 35, 157-164. · Zbl 0462.08002 · doi:10.1016/0012-365X(81)90204-1 |
| [30] | M. Novotny (1960) Uber gewisse Eigenschaften von Kardinaloperationen, Spisy Prirod Fac. Univ. Brno, pp. 465-484. |
| [31] | H. A.Priestley (1970) Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2, 186-190. · Zbl 0201.01802 · doi:10.1112/blms/2.2.186 |
| [32] | H. A.Priestley (1972) Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. (3) 24, 507-530. · Zbl 0323.06011 · doi:10.1112/plms/s3-24.3.507 |
| [33] | R.Quackenbush (1982) Enumeration in classes of ordered structures, in Ordered Sets (ed. I.Rival), D. Reidel, Dordrecht, pp. 523-554. · Zbl 0531.06001 |
| [34] | I.Rival (ed.) (1982) Ordered Sets, D. Reidel, Dordrecht. |
| [35] | G.Sabidussi (1960) Graph multiplication, Math. Z. 72, 446-457. · Zbl 0093.37603 · doi:10.1007/BF01162967 |
| [36] | R.Wille (1980) Cancellation and refinement results for function lattices, Houston J. Math. 6, 431-437. · Zbl 0472.06010 |
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.
