{"entities":{"Q1013984":{"pageid":1015832,"ns":120,"title":"Item:Q1013984","lastrevid":69420837,"modified":"2026-04-13T06:53:17Z","type":"item","id":"Q1013984","labels":{"en":{"language":"en","value":"Komori's characterization and top varieties of GMV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547245"}},"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":"Q1013984$810DC1EC-95E3-4B24-9613-38CED61AD3E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"603c0ca048eb4ef47c28dc08e44ee8872566efa5","datavalue":{"value":{"text":"Komori's characterization and top varieties of GMV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1013984$3B96B707-3E1B-447F-A288-DD46A758FE57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6682802a6def12cdbe0a4ec5645cdaa1108ef7ad","datavalue":{"value":"1168.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$7C69F778-4173-4960-9062-96FB2BFA1C8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"359c0df30f5ebfb148ed65afc8a013219b3ae9dd","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013984$AD1435C8-9333-4D82-941E-BFA66682F9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90929c5ae9fe72a300f6db979e6346ff9c86db33","datavalue":{"value":{"entity-type":"item","numeric-id":382345,"id":"Q382345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013984$50BBC89E-C982-4C4B-9428-D5B0B02FD87F","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":"Q1013984$FB62963C-4821-473B-9631-65112E48D0AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d8f72b1020afd83d4654c37051e1faed59ff3b","datavalue":{"value":{"time":"+2009-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1013984$04F14897-669C-4D24-9523-89A192696F48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"10fac2b338299ab8cad9ebe6ba717d6b75cc92f5","datavalue":{"value":"Chang invented MV-algebras to give an algebraic proof of the completeness of \u0141ukasiewicz infinite-valued propositional logic, GMV-algebras were introduced by Georgescu and Iorgulescu and, independently, by Rach\u016fnek as a noncommutative generalization of MV-algebras. In his paper [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)], the present reviewer proved that MV-algebras are categorically equivalent to unital lattice-ordered abelian groups. This result was extended by \\textit{A. Dvure\u010denskij} [J. Aust. Math. Soc. 72, No. 3, 427--445 (2002; Zbl 1027.06014)]. He proved that unital lattice-ordered groups are categorically equivalent to GMV-algebras. One can now naturally speak of ``varieties'' of unital \\(l\\)-groups via their GMV-algebraic counterparts. The classification of varieties of MV-algebras was achieved by Komori (see, e.g., the monograph [\\textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \\textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]). The present paper is a generalization of Komori's classification: within the variety of GMV-algebras such that every maximal ideal is normal, the authors characterize the proper top varieties and provide equational bases for these varieties. They also show that there are only countably many such top varieties, each of them having uncountably many subvarieties. Using coproducts, the amalgamation property is shown to fail for those GMV-algebras that can be split into \\(n+1\\) comparable slices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$BDA554BD-594D-4087-972F-730151D5C2B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013984$E458CF76-2F75-464A-A516-824E2E7C7678","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$EC5CFE15-9ED6-430E-B184-1D97A6097362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$16147D75-C420-4228-BABC-1D89754901AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$D934B323-1941-4A2E-B415-F70767401588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$BE94E469-E866-45E9-A1B8-BDFA5C7DD1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$A827B4B5-4CC7-4606-BC76-87281ACF9685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf4c8b94e99742e41c9a989988f2a0dd0afdf219","datavalue":{"value":"5547245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$4E4976BC-38B2-4126-8B4A-35DEB504CD25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$858B25E3-2617-4CDA-8F62-573315BCE18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c5b1e7cfeb804aad8f9a0ea04cf850d5d409ab","datavalue":{"value":"GMV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$D4E9C14F-79B9-4AA2-BC25-F801A711A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b145e599e1d5db900b4e4a27ed3b072eb54354","datavalue":{"value":"unital \\(\\ell \\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$21606BF5-E8EC-4D89-A82B-22DA76718E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$4151D968-D25D-41C7-84C4-4F7DB49EAB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423ea4d0e2be16145702233b5f78fdc515ee981b","datavalue":{"value":"categorical equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$DA973F47-62B2-438F-ADF9-7D3DC9B36533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298966182f6df4285262d625580d02c96ac08284","datavalue":{"value":"top variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$FF393B89-33B7-46DA-9C3B-EB248C32D736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$64E30F8F-D3BF-4027-ADA2-50A014001F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203dd52111dd4551687ef36064692d6249622a57","datavalue":{"value":"Komori's characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013984$AD3088A8-906E-4A90-8FBE-CD5E139B132A","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":"Q1013984$11E318EB-7B9D-4EF1-908E-0ED452008F62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e91fbc0548a45e59704ddcd424ce281f13864cfe","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2085-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1013984$61FF7161-F755-418A-9C7A-0B808A8E05E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cd3d9757e65fbbf52c8e6f33b8b3ad9e9a8cf04","datavalue":{"value":"W2073699586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$3F6EDF7E-2EE2-46F8-80CE-5B2136655A20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cad96d0e2f860a80340e1e0584eef7c34e20db37","datavalue":{"value":"10.1007/S00012-008-2085-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013984$D34678DA-7075-4456-A7F4-C76E11CD93FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770742cea05d5ce536e083b3892dbe612ab15ef7","datavalue":{"value":{"entity-type":"item","numeric-id":3510084,"id":"Q3510084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fee29bdcc85ebe2a88f803460287e59a0c1e992","datavalue":{"value":{"amount":"+0.8285146951675415","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":"Q1013984$06EC293E-335B-49CF-A61B-61203502C2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b24f7ed2db4733df3d233d918c485dafe19a76","datavalue":{"value":{"entity-type":"item","numeric-id":934035,"id":"Q934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b99cec04a135b99c8a6f0716d126ed023c409b","datavalue":{"value":{"amount":"+0.8281480073928833","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":"Q1013984$93B15C56-348B-4FDF-9905-272D497C2B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e843efafc15cf354f1dbbc39c8601beee9ec4867","datavalue":{"value":{"entity-type":"item","numeric-id":976750,"id":"Q976750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c19fcbef97ae5f4eb838ff043786e7fd67bc21","datavalue":{"value":{"amount":"+0.8278293609619141","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":"Q1013984$C69C6C09-4E27-4692-A798-979DFEB81BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d21b5807d81f5af773d3606e0ea5c67dfc0491","datavalue":{"value":{"entity-type":"item","numeric-id":3653334,"id":"Q3653334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d69e979db5ec340c758c00d96c198a676099999","datavalue":{"value":{"amount":"+0.8157258629798889","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":"Q1013984$49648571-D505-4CF5-8D6B-261B3288CA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b225f7e5778d11a47b606e272a1c1be60663d1","datavalue":{"value":{"entity-type":"item","numeric-id":5293266,"id":"Q5293266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a5d2c9b0b2ab80f00806fa159ed6624be3bda0","datavalue":{"value":{"amount":"+0.8114824891090393","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":"Q1013984$92A1E65C-940A-47F8-909B-FEF172E4E94B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Komori's characterization and top varieties of GMV-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Komori%27s_characterization_and_top_varieties_of_GMV-algebras"}}}}}