{"entities":{"Q795854":{"pageid":797702,"ns":120,"title":"Item:Q795854","lastrevid":64399173,"modified":"2026-04-11T19:36:32Z","type":"item","id":"Q795854","labels":{"en":{"language":"en","value":"On reversing the order of a lattice ordered group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3863261"}},"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":"Q795854$AD2187A8-B3B0-4455-9C65-047BE5EC796E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3090f48ccc31c9e58b3db4ef556d4c971e3a9644","datavalue":{"value":{"text":"On reversing the order of a lattice ordered group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795854$834F0575-E410-40EE-8530-F57D6C24CC83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40e6a1437e9a978809ab0b574ed9512c546e17b3","datavalue":{"value":"0543.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795854$3C6894EE-E915-4061-993D-91C730F48087","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c8b4564bb7421a8837d85b091ec525d603e5ebb","datavalue":{"value":"10.1016/0021-8693(84)90133-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795854$47A445CE-40B0-426B-8AC7-8AB6AB17C2E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf048f8734c9449fc87e79b14cc7bdb23ee647c","datavalue":{"value":{"entity-type":"item","numeric-id":795853,"id":"Q795853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$86C6086C-EEBC-4898-A130-52BFF655B7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ef56f84518542c07ad0eea15904bfcf3f5fa59","datavalue":{"value":{"entity-type":"item","numeric-id":415548,"id":"Q415548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$20B2E31E-6EDC-4221-8B96-717AD115D546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$F06EA535-5480-45D0-9CB6-0A713131B057","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q795854$7DCDDEA0-D759-4A5B-BFD1-500836257ED6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff5557c3d754140805337781ac711c5ef1f0297a","datavalue":{"value":"If G is a lattice-ordered group, let \\(G_ R\\) and \\(G_ W\\) be the lattice-ordered groups obtained by reversing the order and the multiplication \\((a*b=ba)\\) respectively. Then \\(g\\mapsto g^{-1}\\) is an isomorphism between \\(G_ R\\) and \\(G_ W\\). Hence if V is a variety of lattice-ordered groups, then \\(V_ R=\\{G_ R:\\quad G\\in V\\}=\\{G_ W:\\quad G\\in V\\}=V_ W.\\) Moreover, the defining identities for \\(V_ R\\) are obtained from those for V by interchanging all meets and joins. The map \\(V\\mapsto V_ R\\) is shown to be a lattice semigroup automorphism of the lattice-ordered semigroup of all varieties of lattice-ordered groups. If \\(F=\\{V:\\quad V_ R=V\\},\\) then F includes all varieties defined by group laws and both F and its complement are shown to have size the continuum. Certain favourite varieties are examined to see if they belong to F or its complement; in particular, F includes all varieties that contain the variety of lattice-ordered groups generated by totally ordered groups. The techniques are elementary and quite computational.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795854$572D683C-10EF-42CB-A4E3-B2B762B8D046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795854$18EF537F-0545-436F-96F1-E30674EF60A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795854$10A0E45C-2558-4D76-9A81-B44D85A80D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795854$EB732C2B-F419-42BE-9A6B-B40CBDE82F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae04736b2c7c428b0f5dd6c62837b30a8b129498","datavalue":{"value":"3863261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795854$A616C5C5-EF9A-4392-9DEC-820FFD96006B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b385a130265e55abb6b6cbd10433ddc324bab7","datavalue":{"value":"variety of lattice-ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q795854$586EF485-B396-4986-8C0F-808A4CAB8092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013ccd9fdfd48c6535f8b0c573de2274611ab041","datavalue":{"value":"totally ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q795854$3590D88B-8CFE-437C-946B-FD1F063920FA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"281f61f622ad88f62da56414296e2c40a4498f8e","datavalue":{"value":{"entity-type":"item","numeric-id":251978,"id":"Q251978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$2E9433D4-29E1-4D56-9705-DEA221890025","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":"Q795854$00CF7371-743D-4799-B267-00AE2CDAA3FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c572297032c71b1b7485982be0294c9a3749240","datavalue":{"value":"https://doi.org/10.1016/0021-8693(84)90133-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q795854$5721EB52-3250-49FE-B1C5-922AA9704BF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2281a40108bfb5fea4080c3c322655669f9721bf","datavalue":{"value":"W2024671503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795854$5FC8A960-B93C-4566-B3B3-C87049322B72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$8B433AA9-40F2-46FF-8D97-E497EA4ADA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede202ae43a8fb2b5873536440ca6e998ed299e5","datavalue":{"value":{"entity-type":"item","numeric-id":4046262,"id":"Q4046262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$EB638ED3-E581-4C53-BD78-0DFB57DC78A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad32a2cc3d9506a9e42a46e383d758314a5ad02","datavalue":{"value":{"entity-type":"item","numeric-id":1141668,"id":"Q1141668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$511D4D3D-162A-4EDD-8273-2F0566CAD2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8400a42cfe5d358d32fa0b859522d2b349b62356","datavalue":{"value":{"entity-type":"item","numeric-id":1142235,"id":"Q1142235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$96B62119-F152-4A9E-99A9-950A20DF8BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83bbf249f0d3f8a67755aed5720b42a73b5de6d","datavalue":{"value":{"entity-type":"item","numeric-id":4106253,"id":"Q4106253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$687F13F0-9876-4730-86DA-E9264FB067F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1268adc8cc60258b33131df9fb8222e0ea01328c","datavalue":{"value":{"entity-type":"item","numeric-id":5659612,"id":"Q5659612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$DF5637E1-F546-4B20-BF31-675141C1C77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f02420f42fdd4789e941240c7689850849533cb","datavalue":{"value":{"entity-type":"item","numeric-id":5919198,"id":"Q5919198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$954CC177-724F-4AEB-8D73-C56540C901C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eee7316eac0e40d06fead3ba22be2b45c73af6","datavalue":{"value":{"entity-type":"item","numeric-id":1252875,"id":"Q1252875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$39A61397-C5E0-40D9-B80B-31135C8CE014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343983dc02cb6260d36b61ddb20210bf61de371d","datavalue":{"value":{"entity-type":"item","numeric-id":3897090,"id":"Q3897090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$CE533B5C-4C80-46D4-A386-D1F426F558BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388abfa2b7016304b0eafce539c550e3f0fd4ca3","datavalue":{"value":{"entity-type":"item","numeric-id":4071287,"id":"Q4071287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795854$5FE2E661-0EF9-49C7-9FE0-08F49C511B68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394456cb0dcf6a3822ab2f06038d0a72148c3018","datavalue":{"value":{"entity-type":"item","numeric-id":3697075,"id":"Q3697075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf36f3420b69ab63ea70ff3522888cd72a65d11","datavalue":{"value":{"amount":"+0.912546932697296","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":"Q795854$79AF0008-9E12-49D2-A83A-5403C927A93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bff0eb28a35aac504c51e6f55446146ff55b699","datavalue":{"value":{"entity-type":"item","numeric-id":3484896,"id":"Q3484896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8159fdf94081d888867a99d1a8db8cf7b85e787e","datavalue":{"value":{"amount":"+0.7870562672615051","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":"Q795854$E9B8FF9E-C6F1-449E-B497-D8344E25F966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4902b94653452eb75cf62fbe76721dd02da98987","datavalue":{"value":{"entity-type":"item","numeric-id":1921817,"id":"Q1921817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e243cdf820cbe7226b78cfdff96097b0b4f3e86","datavalue":{"value":{"amount":"+0.7863698601722717","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":"Q795854$97CC800A-87AC-405D-BC58-69D834BAA861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9eb91f6e31eea3c3c3c320d60dca89d91dcfb3","datavalue":{"value":{"entity-type":"item","numeric-id":3689230,"id":"Q3689230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c98d6f9fc9008710ce16ab160a566146091c367","datavalue":{"value":{"amount":"+0.7832807898521423","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":"Q795854$3D668999-715A-44E7-B309-0657DC0DB6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e59e2cf6385ed49ecb66032773aefa0b0f076fc","datavalue":{"value":{"entity-type":"item","numeric-id":790858,"id":"Q790858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4783a1971222b204c97a3161e62bb68488a5f0d4","datavalue":{"value":{"amount":"+0.7687441110610962","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":"Q795854$C206856D-E595-48F0-9452-0156F6905E4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reversing the order of a lattice ordered group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reversing_the_order_of_a_lattice_ordered_group"}}}}}