{"entities":{"Q1372652":{"pageid":1383392,"ns":120,"title":"Item:Q1372652","lastrevid":46976295,"modified":"2025-12-25T23:44:58Z","type":"item","id":"Q1372652","labels":{"en":{"language":"en","value":"Simple involutive quantales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088606"}},"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":"Q1372652$8565D806-6159-451E-99DD-A574E62908CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c39e62dbf270c4a0459de9608ad7d3fe575d863e","datavalue":{"value":{"text":"Simple involutive quantales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372652$64C32535-9156-48A8-B2AE-E7948137F377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"355a15fd26331fc90e63eddcda324326c66eec0a","datavalue":{"value":"0894.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372652$9A504B1C-5F01-4ACB-9BCC-82A7116A3D1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34097c2987185eb97ab3e56da76041871cca1685","datavalue":{"value":{"entity-type":"item","numeric-id":678841,"id":"Q678841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$A97BD099-68CF-4020-A309-9CD087213171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$76042BA8-B730-4B19-883C-07B23EC65B33","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":"Q1372652$515ADCFD-7812-42E5-B1AA-9F1CF9724695","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f887011fbcbd44ba5565d8b530e28c69d99b8d3","datavalue":{"value":{"time":"+1998-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372652$A7EF5A22-9672-4B18-BC39-0EE435B15C81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d4063292ae6e1c956c163b04c4a4fe9ab9a3772","datavalue":{"value":"https://semanticscholar.org/paper/d6909f966597f03d6df05b3c6bf57a5ad62124fb","type":"string"},"datatype":"url"},"type":"statement","id":"Q1372652$8C2BD17E-5675-4EEB-8687-CD6216686C01","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5219848e069c25046d6995df8c99cb454877292e","datavalue":{"value":"A quantale \\(Q\\) is most easily described as a semigroup object in the category \\({\\mathbf S}{\\mathbf L}\\) of suplattices. If it is a monoid object it is called unital. (For more on quantales, see the reviewer's book, Quantales and their applications (1990; Zbl 0703.06007).)   A quantale \\(Q\\) with operation \\(\\&\\) is called involutive iff it has an involution \\((\\;)^0\\) satisfying \\(a^{00}= a\\), \\((a \\& b)^0= b^0 \\& a^0\\). and \\((\\text{sup }a_i)^0= \\sup a^0_i\\) for all \\(a\\), \\(b\\), \\(a_i\\) in \\(Q\\). Among the important examples of involutive quantales are the so-called Gelfand quantales, which are unital, involutive and satisfy \\(a \\& a^0 \\& a= a\\) for all right-sided elements of \\(Q\\) (right-sided means \\(a \\& T= a\\), where \\(T\\) is the top element of \\(Q\\)). Gelfand quantales include the examples of the spectrum \\(\\text{Max }A\\) of a non-commutative \\(C^*\\)-algebra \\(A\\) with identity, as well as the examples \\(\\text{Rel}(X)\\) of relations on a set \\(X\\).   The main object of study in this paper are the simple quantales, where a non-trivial quantale \\(Q\\) is simple iff any surjective homomorphism of involutive quantales from it is either an isomorphism or a constant mapping. The authors proceed to show that various quantales such as the Hilbert quantales are simple and they obtain various characterization theorems. The last section of the paper investigates notions for involutive quantales related to ``spatiality'' and separation of points and characterizes when a Gelfand quantale satisfies that every right-sided element is the intersection of primes in these terms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$5793C37A-5362-4622-BB99-B9DD322A9740","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372652$2B9C4A7D-F104-4E77-A291-30BD7590EE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f37ba5f9d5f460f19960b050f9bcd03ad96f36e","datavalue":{"value":"46L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372652$8C5077F9-C59F-48D6-8CAE-DAFC4CC361CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff205c6cd7d56967a307ff9cc44b27ca80578d2e","datavalue":{"value":"1088606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372652$04AB1859-5865-43E9-81C2-5C60E1763772","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffbf962e1d50c50edcf2de454a1648672bc5b27d","datavalue":{"value":"spatiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$94CF35B8-6375-4A6A-9A62-0DE505E0E71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c84a37522c4b2348089fa82eb7fe34d36063351","datavalue":{"value":"involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$6D9879AE-CA19-4711-82FB-4C9430BB95EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85475279985cb2c56d5ae22e6f4aa3f8f5a3dea8","datavalue":{"value":"involutive quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$C33EFE6A-7909-4B6C-81AA-F87C19F2BF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fadf8392fdfaf478b7fab9f8a8ac5daf0ca236c8","datavalue":{"value":"Gelfand quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$9970B64E-CAF8-49CA-93A5-CC3F3198329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b087bde8dfa50b73b9b64aaa0cc286992814900","datavalue":{"value":"simple quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$12BCB3AF-025A-4B61-B696-132A992B40BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc14a8007614fb027d86b81f1ada1bdf00383f66","datavalue":{"value":"Hilbert quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$DFE85F1F-5C66-4597-B5B0-B63A8A0DD2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15140bc63249f64b157f72d772c46465d06f82f0","datavalue":{"value":"separation of points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$B1CEC55B-E2FB-47B3-9490-5CC2E26237F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f296b1c815bc9677e2cf9f6cda5da1af711d955e","datavalue":{"value":"primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372652$69F2BAE3-6C7B-4F3A-9B5D-584743466105","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$CE0D1ED5-594A-4F7D-BD83-AFA1D3A1DA5E","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":"Q1372652$0F86D060-9175-4ED6-AA5E-48A5D072523F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee93818a0c0edca8e289a32c6efa7c38d3f27385","datavalue":{"value":"W186043453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372652$42EFCF12-82FF-45C4-9D50-CF3ABE4AD549","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d4fd1f08969b87f833c028e2c931fbffa4b757","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$FE407BBA-29FE-4860-A0A1-76B13A173283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$9079DE10-8F98-41E0-91BF-DE54A0EDFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$EC29C9FE-BC8D-410C-8844-A39AFA0F117E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7393fc64fa660281f40c8d7a107a08d952660f","datavalue":{"value":{"entity-type":"item","numeric-id":3290738,"id":"Q3290738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$7F5C2FA0-ECC4-415F-AD5F-70549A950C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$60CA669E-7920-4EA8-912C-D2EEE66C15F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995ae7ed531f742aa26d340cf645b05ca7ccf689","datavalue":{"value":{"entity-type":"item","numeric-id":1256044,"id":"Q1256044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$7E341395-DD6E-4E02-AEC8-B5694A60658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c4033b38184e904130432d02afb5d41b6559fe","datavalue":{"value":{"entity-type":"item","numeric-id":3137162,"id":"Q3137162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$47B03710-B7BE-455D-9D07-B28FBB6359AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad05995f46d32f8024969e9eb05962da54772eb","datavalue":{"value":{"entity-type":"item","numeric-id":5939823,"id":"Q5939823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$3D45BD97-5197-41FF-BF31-E27EDCC70AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8899c8f5fa333332ce57ec1d7b0a1752c83588","datavalue":{"value":{"entity-type":"item","numeric-id":3831512,"id":"Q3831512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$84A8C19B-756E-42DC-A904-F7D385F450DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac721b1d7625c73b434b8eab4993a8f2ed98fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1902527,"id":"Q1902527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$9B1CCF53-BE4C-4D2C-BECA-F26D85D5706F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372652$926DD5A1-9CBC-4640-8624-9866B74B924D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15f87de0acf180c20b2b975d8b36368b48716c54","datavalue":{"value":"10.1006/JABR.1997.7051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372652$7D7B31E2-A800-4D7F-86EE-89FD04BC155D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117b8b639edef71e4298f450a24cbde6274a603e","datavalue":{"value":{"entity-type":"item","numeric-id":4229134,"id":"Q4229134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bcae954f166c22b33a6c0beab9fc151251f8e8e","datavalue":{"value":{"amount":"+0.8231201767921448","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":"Q1372652$E65F4461-C6AA-4E21-9075-0B8F92B3F9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b1d6db2f995eb9f4246faa70a86cfb93e635f0","datavalue":{"value":{"entity-type":"item","numeric-id":1977900,"id":"Q1977900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba00d402212007d42b899d794536ff80dfc7d14","datavalue":{"value":{"amount":"+0.7851086258888245","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":"Q1372652$3395487B-BD42-4088-9B12-7504707AFA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309aa1117e79638ebdeba1e3d532b20d5495cfc9","datavalue":{"value":{"entity-type":"item","numeric-id":3411441,"id":"Q3411441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9377ee560a971ca1266dd9762ba32c089850514","datavalue":{"value":{"amount":"+0.7761576771736145","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":"Q1372652$00206895-0124-4DC3-99D5-1F2CD9769CA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1372652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1372652"}}}}}