{"entities":{"Q800488":{"pageid":802336,"ns":120,"title":"Item:Q800488","lastrevid":64467162,"modified":"2026-04-11T20:04:21Z","type":"item","id":"Q800488","labels":{"en":{"language":"en","value":"Equationally complete classes of commutative monoids with monus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875544"}},"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":"Q800488$333B4E17-B08E-42AB-88CA-A3BA3B004B9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9377c95136819b6644f6e71b9273ba6ff73b5d2f","datavalue":{"value":{"text":"Equationally complete classes of commutative monoids with monus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800488$FA8AC5ED-9A2C-45CA-92A6-1C7F1745FF75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfbb6f42692ed9e5887ee095702ba6637c06cfb8","datavalue":{"value":"0549.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800488$3062B6DE-35FD-493E-8813-4B090C4569D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1932095de3588adb32baad1a3271cc084b2e9945","datavalue":{"value":"10.1007/BF01182254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800488$920E3FA4-2421-402A-93F3-A46533A7AFD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d155fad494c7e96a091389218cb2023164b85a7","datavalue":{"value":{"entity-type":"item","numeric-id":800487,"id":"Q800487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800488$FF592FD1-38C9-4597-AE94-768828832200","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800488$467C9A3D-0B6B-4CCA-9A90-90E8188856D9","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":"Q800488$AE1794D4-D56C-460E-889E-0B2CAF108339","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c11868236385b044085fcc9e6d79e90c53e60e43","datavalue":{"value":"Let \\((M,+,0)\\) be a commutative monoid such that the relation \\(a\\leq b\\) iff \\(b=a+c\\) for some \\(c\\in M\\) is a partial order on M. Suppose that for any a,\\(b\\in M\\) there exists a smallest \\(x\\in M\\), \\(x=a\\dot-b\\) with \\(a\\leq b+x\\); then M is called a commutative monoid with monus (CMM). \\textit{B. Bosbach} [Math. Ann. 161, 279-295 (1965; Zbl 0154.017)] has proved that the class of all CMM's forms a variety. The results of this paper are concerned with this variety and are the following:    1) The variety \\(V({\\mathbb{N}})\\) of CMM's generated by the natural numbers \\(({\\mathbb{N}},+,0)\\) with \\(a\\dot-b=a-b\\) if \\(a\\geq b\\) and \\(=0\\) otherwise consists of the positive cones of arbitrary lattice ordered groups.    2) The variety \\(V(2)\\) of CMM's generated by the two element Boolean algebra \\((B,\\wedge,\\vee)\\) with \\(a+b=a\\vee b\\) and \\(a\\dot-b=a\\wedge b'\\) consists of all Boolean algebras and all prime ideals of arbitrary Boolean algebras.    3) \\(V({\\mathbb{N}})\\) and V(2) are the only equational complete varieties of CMM's.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800488$3318F760-6E2F-4576-B729-902F358EEF15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800488$F842A631-7962-4AB1-BCCD-A23A5E8928D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800488$189B78C1-1952-4BCE-8F0A-172FE58FFE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800488$F60CE522-4C0A-4866-9F88-6E905622B125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f3a3dc157e67a663f2c0ead242e937362c47d97","datavalue":{"value":"3875544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800488$26F49D35-2F44-488F-8D34-6D187F9425E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3db6645afc73f4755341124548918c6827dad76a","datavalue":{"value":"commutative monoid with monus","type":"string"},"datatype":"string"},"type":"statement","id":"Q800488$3AD22704-1268-4C58-9510-593E1094C3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0295c937f10e647c5bdcd36e8da1830bb545d63c","datavalue":{"value":"positive cones","type":"string"},"datatype":"string"},"type":"statement","id":"Q800488$E52628E6-FC55-4586-9B62-FC7B6A4AAD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd4e12c84656fb92f68e89dce7e591db3637050","datavalue":{"value":"lattice ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800488$D2388195-2D19-4EB5-82C8-8505C8A6B2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q800488$B556CFCA-9181-431B-8D84-1FF066858304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dd10ab560c1d90dc6b9ad97cb3b102896f713d6","datavalue":{"value":"prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q800488$19B86C50-D15C-4144-A8F2-BFC4140A5ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9331bf9274603e4ea0b9543156550647cde20c2","datavalue":{"value":"equational complete varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q800488$E6225C3E-DD9D-48E4-859F-CC6E2E7F95CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800488$D36EC73C-4AE5-4AEF-A26A-9CDEDDD9E7E5","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":"Q800488$AC69B4C7-17BC-4A43-8545-5D831C510597","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e1a944da08687c3d87f18b45f8a25bd83ce78d","datavalue":{"value":{"entity-type":"item","numeric-id":2526152,"id":"Q2526152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800488$3D0EB969-E818-46A4-B95B-D5D156702C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f860f63200252353267bd06b908c85323ae651","datavalue":{"value":{"entity-type":"item","numeric-id":5181403,"id":"Q5181403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800488$FA995F25-4BC9-499E-801D-EADCDAD6C6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090dc216336675df7c8d5ecad8701149c81baaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2521953,"id":"Q2521953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800488$0E4A6CBF-729B-4F71-B595-EC1082E3060F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb9b56474e8bc9c3050c81f6d5f4f3d89dc42082","datavalue":{"value":"https://doi.org/10.1007/bf01182254","type":"string"},"datatype":"url"},"type":"statement","id":"Q800488$969164C4-0E7B-4D36-8BF0-D8AE70038736","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"062caf251131d3634920f78ee73f8eb718ba85e8","datavalue":{"value":"W2069545812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800488$5BE79C25-0D34-4DED-86F5-0699AD9EE1D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1df97cee4d418e50b631c5ca41c0929bfa3d20","datavalue":{"value":{"entity-type":"item","numeric-id":3342629,"id":"Q3342629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af7cc5dc8342019c731fec9f36090a874c05ae1","datavalue":{"value":{"amount":"+0.7351282835006714","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":"Q800488$A1BBC245-2DD9-4D13-9A83-C1238511C064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1ef9422e2a44e116b727bc21a707320ba2bd79","datavalue":{"value":{"entity-type":"item","numeric-id":4038360,"id":"Q4038360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6226f4552d9a6a0eb9988a4d70b216469f0a232f","datavalue":{"value":{"amount":"+0.7151457667350769","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":"Q800488$B5AAFCA9-EF2F-4C07-B2C7-BF1C3338BC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44dc856c1a45e971aa08037ee9584b3082e8e86","datavalue":{"value":{"entity-type":"item","numeric-id":1652861,"id":"Q1652861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee08bf173134b8ae10eaed617fda3c59e4b26b0","datavalue":{"value":{"amount":"+0.7148870229721069","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":"Q800488$D0DF1E18-BCC3-4A77-9C90-1831E7C9485E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0753e4ea6316ed270d82428ba9f56c69767999d8","datavalue":{"value":{"entity-type":"item","numeric-id":5958852,"id":"Q5958852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a7292f78184a6f3e85b03b6ace58fd679a8c20","datavalue":{"value":{"amount":"+0.7136295437812805","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":"Q800488$723BBED6-ADBB-43AC-97B6-DC9B6734E150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015b4154c7f16b73d94035408855277d258b3348","datavalue":{"value":{"entity-type":"item","numeric-id":1826931,"id":"Q1826931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b7c093e153951bb39aa1797eee884be3427f6f","datavalue":{"value":{"amount":"+0.7125194668769836","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":"Q800488$D17B5808-83B2-4326-9317-7E09215056D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equationally complete classes of commutative monoids with monus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equationally_complete_classes_of_commutative_monoids_with_monus"}}}}}