{"entities":{"Q910674":{"pageid":912522,"ns":120,"title":"Item:Q910674","lastrevid":65311452,"modified":"2026-04-12T01:43:30Z","type":"item","id":"Q910674","labels":{"en":{"language":"en","value":"An application of Dye's theorem on projection lattices to orthogonally decomposable isomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4140553"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910674$103EFD8C-DE6C-44BD-AE82-76F2D86BEED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24613a080408f39cefb967cf76f37a149d8e363b","datavalue":{"value":{"text":"An application of Dye's theorem on projection lattices to orthogonally decomposable isomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910674$54000304-2516-45F3-92E9-8BEB4D71E8C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d537bc96fd31db853961387a142c39f9963bbd3b","datavalue":{"value":"0696.46044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910674$CB3AA745-C596-43DF-A7C1-41914D25C38C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910674$D46F2107-4F5D-4EAA-AF73-0E66D2BADC0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q910674$1F388A70-A55A-45BE-98D3-02EC28F43403","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92041c1e2474895615b946fb22a8cada8873d0a5","datavalue":{"value":"The predual \\(M_*\\) of a von Neumann algebra M is an orthogonal decomposable complex Banach space in the sense of \\textit{S. Yamamoto} [Bull. Austral. Math. Soc. 30, 357-380 (1984; Zbl 0578.46008)]. The relevant orthogonal decomposition of a selfadjoint \\(\\omega \\in M_*\\) is given by the Jordan decomposition, i.e. there exist two unique positive elements \\(\\omega_{\\pm}\\in M^+_*\\) such that \\(\\omega =\\omega_+- \\omega_-\\) and the support projections supp \\(\\omega_{\\pm}\\) are orthogonal.    The author investigates orthogonally decomposable homomorphisms of \\(M_*\\), i.e. order preserving homomorphisms which also preserves the orthogonal decomposability of \\(M_*\\). His main result is the following theorem:   1.1 Let \\(M_ i\\) \\((i=1,2)\\) be \\(W^*\\)-algebras with one of them of type I having no direct summands of type \\(I_ 2\\) in the large.    1.2 A map \\(\\alpha\\) is orthogonally decomposable isomorphism of \\((M_ 1)_*\\) onto \\((M_ 2)_*\\), if and only if there exists a positive central element \\(\\lambda_{\\alpha}\\) of \\(M_ 2\\) with a bounded inverse and a Jordan isomorphism \\(\\beta_{\\alpha}\\) of \\(M_ 2\\) onto \\(M_ 1\\) such that  \\[  \\alpha \\omega =\\omega \\beta_{\\alpha}\\lambda_{\\alpha}\\quad (\\omega \\in (M_ 1)_*).  \\]  Specializing this main theorem to a norm preserving \\(\\alpha\\), the author obtains a nice generalization of the theorem of \\textit{E. P. Wigner} [Group theory and its applications to quantum theory of atomic spectra, Academic Press (1959; Zbl 0085.379)] to type I von Neumann algebras with a possibly nontrivial center:    2.1 Assume that 1.1 holds, then a bijective map \\(\\alpha\\) of \\((M_ 1)_*\\) onto \\((M_ 2)_*\\) is affine and preserves orthogonality of states, if and only if there exists a Jordan isomorphism \\(\\beta_{\\alpha}\\) of \\(M_ 2\\) onto \\(M_ 1\\) such that  \\[  \\alpha \\omega =\\omega \\beta_{\\alpha}\\quad (\\omega \\in (M_ 1)^+_{*_ 1}).  \\]  The authors' main theorem is related to an isomorphism between the lattices \\(P(M_ 1)\\) and \\(P(M_ 2)\\) of orthogonal projections in \\(M_ 1\\) and \\(M_ 2:\\)    3.1 If \\(\\alpha\\) is an orthogonally decomposable isomorphism of \\((M_ 1)_*\\) onto \\((M_ 2)_*\\), then there exists a unique isomorphism \\(\\gamma_{\\alpha}\\) of the orthocomplemented lattice \\(P(M_ 1)\\) onto \\(P(M_ 2)\\) such that  \\[  \\gamma_{\\alpha}(\\sup p \\omega)=\\sup p(\\alpha \\omega)\\quad (\\omega \\in (M_ 1)^+_*).  \\]     3.2 Assume that \\(M_ 1\\) does not have any type \\(I_ 2\\) direct summand in the large. If \\(\\gamma\\) is an isomorphism of the complete orthocomplemented lattice \\(P(M_ 1)\\) onto \\(P(M_ 2)\\), then there exists a unique orthogonally decomposable isomorphism \\(\\alpha_{\\gamma}\\) of \\((M_ 1)_*\\) onto \\((M_ 2)_*\\) such that  \\[  (\\gamma_{\\alpha}(\\omega))(\\gamma p)=\\omega (p)\\quad (p\\in P(M_ 1),\\quad \\omega \\in (M_ 1)_*).  \\]  By an application of a theorem of \\textit{H. A. Dye} [Ann. Math. 61, 73-89 (1955; Zbl 0064.110)] on projection lattices, the author shows that an orthogonally decomposable isomorphism is implemented by a Jordan isomorphism of M, if the von Neumann algebra M is of type I without direct summands of type \\(I_ 2\\) in the large.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910674$AC9E46DE-086E-432C-982C-E0591E696745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f635262d80b27d14ad06547ee541f8648c0766da","datavalue":{"value":"46L10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910674$38E05A35-0329-42EE-816A-FB2CFAE731D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7939a61c52a0771f4f1dffa1eab767a91d49431a","datavalue":{"value":"4140553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910674$68584113-54FD-49D9-8E60-9AFD4A396A9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250d468a8aa1c0d4c7831ed2beb564c74b0016aa","datavalue":{"value":"Jordan decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q910674$3F0171B4-B25C-47B4-8E7F-309B738152B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f6c960e882575a1df3869020b6929d94371e26","datavalue":{"value":"orthogonally decomposable homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q910674$141F400C-C4EF-4EB8-A1E0-647875FCF7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31102db63fdc0fc865cbfa1169ebc1869106501","datavalue":{"value":"direct summands","type":"string"},"datatype":"string"},"type":"statement","id":"Q910674$9ADDAACF-6139-4396-A6E1-0894CBEE9FF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05d28abef5e215e2c6cb7bd229fd10cbc7e9f393","datavalue":{"value":{"entity-type":"item","numeric-id":917877,"id":"Q917877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910674$01983A38-1455-46FC-8EAD-4869930AB5CA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910674$05CA6949-FE95-45FB-9EA8-FEA1D60D3D49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60bf445542f8ce1eabdc4612aa9eb3554424860d","datavalue":{"value":"https://doi.org/10.2140/pjm.1989.137.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q910674$BF9C06CD-D4ED-4D64-B440-8AD108E24EEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6caf160617453480493ad88307fb8444eafccbe0","datavalue":{"value":"W2062711572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910674$0219576B-1836-42DB-A2BB-E270F78DF903","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0add672388964ae30e35152c23ff99b88cbfa4d","datavalue":{"value":"10.2140/PJM.1989.137.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910674$23C0207A-A54E-4A7D-8481-F267C5FE3344","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcd9e20192107c900a465a9ba8e3a90ab9cdc39","datavalue":{"value":{"entity-type":"item","numeric-id":1314974,"id":"Q1314974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c251159351c6555e390400c39099dc22642686c","datavalue":{"value":{"amount":"+0.8213198781013489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910674$8BE23E54-1BD4-49BD-AD62-087F048101CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d57b117356d784d70b50cb6889e5c931f94056","datavalue":{"value":{"entity-type":"item","numeric-id":3831511,"id":"Q3831511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e709f520b67b576dae94bc731755fc52baab48","datavalue":{"value":{"amount":"+0.8178092837333679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910674$AAA2CA10-EBD2-41D6-9A22-5B528BA3C7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68805faf395739f65a912434e1573fdeb2198a0","datavalue":{"value":{"entity-type":"item","numeric-id":1738996,"id":"Q1738996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96ec6447f83be223713762e395fb20897182a77","datavalue":{"value":{"amount":"+0.8009313941001892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910674$A721D31C-0011-4C04-9BF3-E49308580238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6deefc93a21b3416169cac133708cdfb65140b0","datavalue":{"value":{"entity-type":"item","numeric-id":2029187,"id":"Q2029187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b92c35874af6819fed7ec03b459037c72d80ac2","datavalue":{"value":{"amount":"+0.7915655374526978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910674$BDC0499B-0112-4F85-A62E-7C5A3EB2575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c570b245fa610ffd54b442eabf04aa38e3c1a5c3","datavalue":{"value":{"entity-type":"item","numeric-id":1803504,"id":"Q1803504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3e94ef1ae5a81cf9ad5e9fbe7b0225551d755d","datavalue":{"value":{"amount":"+0.7897913455963135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910674$E88F5F94-2376-48CE-8E25-1A9E03802DE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of Dye's theorem on projection lattices to orthogonally decomposable isomorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_application_of_Dye%27s_theorem_on_projection_lattices_to_orthogonally_decomposable_isomorphisms"}}}}}