{"entities":{"Q281741":{"pageid":283508,"ns":120,"title":"Item:Q281741","lastrevid":60628707,"modified":"2026-04-10T18:09:24Z","type":"item","id":"Q281741","labels":{"en":{"language":"en","value":"Every simple compact semiring is finite."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6579178"}},"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":"Q281741$6D3EA8A7-9BA5-4641-8191-5B39B7A43185","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fa0bd7584eccfa25f0c18041b7fd49423425f37","datavalue":{"value":{"text":"Every simple compact semiring is finite.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281741$1835FE87-98CE-4643-9BD2-E81821716811","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53f32c1ffa99e01ac6908167132e204f3e38bcbb","datavalue":{"value":"1343.16045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281741$A3DCF6EA-C9BA-48E1-96C2-6386BC4528F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47f57c7ef830e9a5b6aa34bced3615f3693fdb20","datavalue":{"value":{"entity-type":"item","numeric-id":280193,"id":"Q280193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$D57DC8AD-CA33-43D4-962F-9A8819DB82BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0d1152ad10070dfb8451db7e2731e19573476ab","datavalue":{"value":{"entity-type":"item","numeric-id":281740,"id":"Q281740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$E753F09C-6C22-4727-81EB-B918083F9D3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$5C904367-6FD7-43A7-9392-BAD5B1755555","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39aa9fdf5ab62c801ce885c7d8f139e97b3cfa9f","datavalue":{"value":{"time":"+2016-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281741$8E4C33D2-E021-4624-AF8F-C101755FE5A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34baf21b623528431e1c919bb2e015da12b26f2b","datavalue":{"value":"https://arxiv.org/abs/1509.01133","type":"string"},"datatype":"url"},"type":"statement","id":"Q281741$D8F2EB22-53CB-4DD0-B602-5E0E12CFA250","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"abed4e95f298fbf10295a7a9f9a26a3d2b59173d","datavalue":{"value":{"entity-type":"item","numeric-id":273456,"id":"Q273456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$4F5D5C71-C796-4CFC-9EB6-554F06EDF49F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281741$05A0FECE-9D36-40EA-9C1A-80CB74DD25E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e0d0f659dce4fa94cf1a9f1c1ef49e032dc9cc1","datavalue":{"value":"54H13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281741$BC0CC681-23B7-4CC0-A0C5-A2BC05804474","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d16db2511db60ca0f24b0b69fdac33c1d88c2d85","datavalue":{"value":"6579178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281741$5B113C86-CFCD-49E2-A6E2-84C134CE63FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c40f8ebf542bd37ae225aae72b35019a1028a6","datavalue":{"value":"simple semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q281741$DBDFBF23-9E6F-4525-8118-1A11167C07CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e257a01b0179ae652f32911dddbcb1dcb755725","datavalue":{"value":"topological semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q281741$69186C49-6DB2-4147-B773-7672E299383C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"093ff28438ec43b42b30b459acfad20919afcdaa","datavalue":{"value":"compact semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q281741$CE6A7645-B0EE-44E4-A2E9-17652D6FC2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcd0bbacab22bc3723d741f7bb0f1695a821bc3","datavalue":{"value":"finiteness conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q281741$41F4D60C-414D-496C-A94B-C9B25A533367","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":"Q281741$66623B4D-E882-4953-A965-0A980C96622F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e97e949565cc30a0d8258b94a2e9154a5ce7ea7c","datavalue":{"value":"W2118126277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281741$8CCC64D3-1ACB-47DD-82C3-ECC6D40BCDE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1eacbcfa82f491558242b24d1ff6ce983cfadc","datavalue":{"value":{"entity-type":"item","numeric-id":5841691,"id":"Q5841691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$93F7D8A8-AD70-4A15-8D7C-5F8E756190D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9786ce7e2ea1ac7f389f76f4a347bf09e52aa3a","datavalue":{"value":{"entity-type":"item","numeric-id":931626,"id":"Q931626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$DAA23405-C4BF-4804-AF70-E551BCC0753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5487da9a0dabe392d3b2be8e3512112c4ad816c7","datavalue":{"value":{"entity-type":"item","numeric-id":5803318,"id":"Q5803318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$97C2A0E6-99D2-4847-A1EC-0C2308F9B4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229af8863bec83cc94cb59a2069c4eeef099461a","datavalue":{"value":{"entity-type":"item","numeric-id":3267466,"id":"Q3267466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$47684479-AC2E-4969-A931-3491EF564AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0946f92d88823bb14b87de36d2267a5714dbce3a","datavalue":{"value":{"entity-type":"item","numeric-id":3282981,"id":"Q3282981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$FA54449E-ACAB-4339-B488-867F420562A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da6101050d85eeed7f9e6b31fccff82089c3ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4056675,"id":"Q4056675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$AA732A20-5D24-4236-B25D-46F3DBEF8039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f8d8c17995a4ff1c8c9a7c6cac19c34ba757fc","datavalue":{"value":{"entity-type":"item","numeric-id":5791678,"id":"Q5791678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$8BC86885-A11C-4E86-A5F0-BB927086CB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c567e6d38615ec7208df1f244bb8a4a457be69e","datavalue":{"value":{"entity-type":"item","numeric-id":4519571,"id":"Q4519571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$B3A2FC27-DD65-4530-9D5F-D81C86CCAB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3bf00be569f5793f4110d9a07b01a28d23556f5","datavalue":{"value":{"entity-type":"item","numeric-id":340419,"id":"Q340419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$6D1D8A1F-2A59-4C52-B9B6-AF80EFB93626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bbe7ffa25e74f2bbcd3ff2c9b7b434eef8d1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3521671,"id":"Q3521671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281741$9C2DD437-C8DA-45A3-ACF9-2550D7A857B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bea5c0cd34378b38d26f49b79a6492eef199b09","datavalue":{"value":"10.1016/J.TOPOL.2016.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281741$5B2A9FA5-0E65-44A8-90D4-65A1B3E73E90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08ec30fbb48e0674fedc8a350ad81d247622fc9b","datavalue":{"value":"The authors study compact Hausdorff topological semirings (not necessarily commutative). Such a semiring \\(S\\) is \\textit{simple} if every non-zero continuous homomorphism \\(f\\colon S\\to R\\) to another Hausdorff topological semiring \\(R\\) is injective, which is shown to be equivalent to the condition that \\(S\\) has no non-trivial closed congruences.NEWLINENEWLINE The main theorem states that each simple compact semiring is finite, generalizing a classical result of \\textit{I. Kaplansky} [Am. J. Math. 69, 153-183 (1947; Zbl 0034.16604)] that concerns finiteness of simple compact rings. Among other things, the proof uses properties of the (pre-)order \\(\\leq\\) on \\(S\\) defined by \\(a\\leq b\\) if \\(a+c=b\\) for some \\(c\\), and of congruences generated by subtractive ideals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q281741$2C73E6CA-0D25-4062-8295-FE9FD8C23EB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d589bccf52b6bffa916427b5a6408703d889e255","datavalue":{"value":{"entity-type":"item","numeric-id":4519571,"id":"Q4519571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065be40cb1aa8639186181cb5adf17a27742c875","datavalue":{"value":{"amount":"+0.823819100856781","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":"Q281741$68D7E444-D2DC-422A-9C7D-DA310584BEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba62fa7324d4689ce98f06fecd03afce537b1456","datavalue":{"value":{"entity-type":"item","numeric-id":2464349,"id":"Q2464349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065be40cb1aa8639186181cb5adf17a27742c875","datavalue":{"value":{"amount":"+0.823819100856781","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":"Q281741$A7223BFC-AACD-4736-B27B-0149E9B613E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2d9694da6fc6abc9ad3a5f8dca1ee9ca792bca","datavalue":{"value":{"entity-type":"item","numeric-id":1421830,"id":"Q1421830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ecd333126a423f86e9fa40e728a251e32e682b","datavalue":{"value":{"amount":"+0.8075807690620422","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":"Q281741$FE2B0ACB-700F-4498-83B6-E8CA5CF492B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2303e2e3d8f407584a88ba87f48cfb2a5061b4","datavalue":{"value":{"entity-type":"item","numeric-id":4546481,"id":"Q4546481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63e6180936cbd32eb2d675bc1f7afe153a30f4c","datavalue":{"value":{"amount":"+0.8016620874404907","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":"Q281741$5EFDAE79-C981-47BB-B242-335015C28932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dccd8fde47fb643347ca86ad93c9ac882a5531c","datavalue":{"value":{"entity-type":"item","numeric-id":4382450,"id":"Q4382450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ae916c20f3c77b3b23dbe3f7e41d7d0112faf6","datavalue":{"value":{"amount":"+0.7711735367774963","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":"Q281741$C0C7FA8F-5A42-438F-ADAF-E03A33C797E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every simple compact semiring is finite.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Every_simple_compact_semiring_is_finite."}}}}}