{"entities":{"Q1320548":{"pageid":1331298,"ns":120,"title":"Item:Q1320548","lastrevid":68458542,"modified":"2026-04-12T23:51:11Z","type":"item","id":"Q1320548","labels":{"en":{"language":"en","value":"Fully idempotent semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 556449"}},"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":"Q1320548$2D415C1F-567D-4AD3-8357-3F35611EED01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89fedc5400715483a72fe3d8b005eca908ffa26c","datavalue":{"value":{"text":"Fully idempotent semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320548$2AADE3EA-CBAD-477B-AE14-5FA987A0F831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40b633b6503cfe13ecb8032d3b997336bf847a6e","datavalue":{"value":"0799.16035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320548$B62F4F93-E435-4CC2-9397-26D04AF9B498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$1EABA021-DB05-4823-B1E6-80686E1E3CC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3816e5ad4c8d1e2e98cee6e1e740e168fa32f19b","datavalue":{"value":{"time":"+1994-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320548$6AB74DBA-20CC-441E-A72D-F79E83DF7CE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f0c7cac121a80fb20c85ae77e1dce6da0ea00dee","datavalue":{"value":"The paper deals with semirings \\((A,+,\\cdot)\\) which are additively commutative and contain an absorbing zero. Such a semiring is called fully idempotent if \\(I^ 2 = I\\) holds for each ideal \\(I\\) of \\((A,+,\\cdot)\\). As for rings, this is equivalent with \\(I\\cap J = IJ\\) for all ideals \\(I\\) and \\(J\\), and the author shows that the lattice of all ideals of a fully idempotent semiring is Brouwerian and hence distributive. The main result states that \\((A,+,\\cdot)\\) is fully idempotent iff each ideal \\(I\\) of \\((A,+,\\cdot)\\) is the intersection of all prime ideals containing \\(I\\). Similar statements are proved for ideals of a semigroup \\((S,\\cdot)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320548$F10853A8-73AF-4A23-AA36-58FAC95730B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320548$594142BA-2F58-4DF3-9590-E5BF14BB308B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320548$5DE151F5-BD72-42C6-9012-F14E3F285A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320548$95E047DA-2133-43D2-ADAA-F6CBD81FEC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320548$258E6769-04DC-40CE-8260-729F28D1910F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30be02eac1e6231460249c7c28c46da2da861db2","datavalue":{"value":"556449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320548$5037327B-8A63-4097-BB7D-53799830E680","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d554382156d7bc8b129ada6a3424bbe70374ba4e","datavalue":{"value":"lattice of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320548$7E1E3E95-C38A-40DB-8D2F-13160EFE2203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e2453265f2136bbcb50b35bd214e36214b0913","datavalue":{"value":"intersection of prime ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320548$BC29CF52-51C0-484C-BF90-EF00C3372665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320548$181764A7-083A-480E-B298-B084083CA26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c3e158d0a71f7421dd5511107da7ff77546b77","datavalue":{"value":"fully idempotent semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320548$4080B15F-0E15-4BF4-8D29-0935A345D42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62383a3c36a860845a3c193ac67738e1e04e9d8","datavalue":{"value":"Brouwerian","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320548$375651C2-342B-4FEB-9BCE-642BBBFE0378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77cd101e731d7e0f2881cf27118d1192e9bb444","datavalue":{"value":"distributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320548$CE71A95C-877F-4EB1-AD12-74A11A89180B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efef849c1ecdb598b212b6ec028ea1fa1bdc71d0","datavalue":{"value":{"entity-type":"item","numeric-id":162012,"id":"Q162012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$70C2EF25-A5EC-46B9-B7C5-B1DE4E70CA99","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17d763e4106f5511b63cdd9de288fe713908fa19","datavalue":{"value":{"entity-type":"item","numeric-id":594987,"id":"Q594987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$320AF3AD-3313-4704-9C63-988F6F763E54","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":"Q1320548$E0E5DE1A-E76B-419C-AA95-CD82AB3B915F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9cc88dec032068f2ab7b5ade6bc9f5a11b9ab94","datavalue":{"value":"https://doi.org/10.3792/pjaa.69.185","type":"string"},"datatype":"url"},"type":"statement","id":"Q1320548$48FD3BC3-6C66-49B9-9DAE-35B5B1D36760","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b45f1a99706c9027e23c0f18dca0bb561944bf0a","datavalue":{"value":"W2066837225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320548$37C46A43-B398-4002-A986-0EFFA250BF60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$92C9F4B4-4EBF-4229-BE14-F25E9D299B09","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":"Q1320548$60191C4B-75E7-4298-B57F-0C9AE44A4A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$4B3E12D9-DA11-432B-8C2D-C767F65C165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e264598a0394ed4c75e052eaad77fb153453b09","datavalue":{"value":{"entity-type":"item","numeric-id":5577225,"id":"Q5577225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$465C65B6-C461-4ECF-A2E7-968F91CD4F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5a587e490ba4d1a3619f2fc6508f2b93e00627","datavalue":{"value":{"entity-type":"item","numeric-id":3235824,"id":"Q3235824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$A9E20629-7D62-4107-B9E3-12689AC3ACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c42356ed07b1b981783f2c1118dd8d92ef0c051","datavalue":{"value":{"entity-type":"item","numeric-id":3254365,"id":"Q3254365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$2CC1685F-8767-44A2-AE4F-DEDB19D2241B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f6339fa677fdac1a088159c53b2d397fb60c26","datavalue":{"value":{"entity-type":"item","numeric-id":5605275,"id":"Q5605275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$D052A79A-21A9-41AC-BA63-BCA82E82156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00aeb93ea05efd4da8c26a874c10c491f8b434ef","datavalue":{"value":{"entity-type":"item","numeric-id":5620703,"id":"Q5620703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$F039FC1F-5F03-48A6-9EF5-C5824A81108D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cb1641fb870bcd626eff0785d76fae0edf2444","datavalue":{"value":{"entity-type":"item","numeric-id":3794350,"id":"Q3794350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$292CD8BE-CC0B-4427-AD09-453FA0D1BF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7923d564edc70d24e2e2de380c4936e8e2d6c582","datavalue":{"value":{"entity-type":"item","numeric-id":1158504,"id":"Q1158504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320548$529A84E3-DA77-4E5A-ADDE-224517FD33A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6645b2bc16cd58e00ee9daba77dcbd8a86740e9","datavalue":{"value":"10.3792/PJAA.69.185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320548$E749D177-1657-4955-B2F7-F11C3EA7B7B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0b54c02a63c78fa5218c8fadff72ae32947633","datavalue":{"value":{"entity-type":"item","numeric-id":2718036,"id":"Q2718036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2cca73d895da0505daac77b7db3a1c2941f39de","datavalue":{"value":{"amount":"+0.8699251413345337","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":"Q1320548$D8239F54-D53A-405C-B9EE-1E6BA1D0D949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b6db4ac1ab6579d832c42a8c599614c66f10be","datavalue":{"value":{"entity-type":"item","numeric-id":4527161,"id":"Q4527161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5abc500fe914c10f41c54137d4ace5f2851ca4","datavalue":{"value":{"amount":"+0.846179187297821","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":"Q1320548$EA8066B8-F46D-464F-8ADE-498A846711F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4f3812f8a30c855af0652bf27ef52d2edaac9d","datavalue":{"value":{"entity-type":"item","numeric-id":2133834,"id":"Q2133834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1aba68194fe668a266f544d107da51608e7275f","datavalue":{"value":{"amount":"+0.845466673374176","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":"Q1320548$73F00ABC-C90A-4A04-A9A2-55635A92146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd164ecee6b7cae3873303608de08357bec16bef","datavalue":{"value":{"entity-type":"item","numeric-id":2887192,"id":"Q2887192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03828cc22bef065d6732e7f925eccfd571689ec6","datavalue":{"value":{"amount":"+0.8189332485198975","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":"Q1320548$DE10E499-8A11-4175-8306-CBD406DA5598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2590cc374ecf6fbd797109f6f847a8d8f5d03c0","datavalue":{"value":{"entity-type":"item","numeric-id":5203994,"id":"Q5203994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f683ab2aa5222fc9c6a9f22251761ea138b0715e","datavalue":{"value":{"amount":"+0.8067557215690613","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":"Q1320548$A7F60E1D-9A67-4B5C-8A63-78B06A285E59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully idempotent semirings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fully_idempotent_semirings"}}}}}