{"entities":{"Q1097946":{"pageid":1108698,"ns":120,"title":"Item:Q1097946","lastrevid":66715992,"modified":"2026-04-12T12:21:14Z","type":"item","id":"Q1097946","labels":{"en":{"language":"en","value":"Monoides et semi-anneaux complets. (Complete monoids and semirings)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4036023"}},"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":"Q1097946$8CC5B9E2-62F7-4FAE-AB33-A3E29D4FDD0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1343f66602423d186796df67e7f5f201aa903cc","datavalue":{"value":{"text":"Monoides et semi-anneaux complets. (Complete monoids and semirings)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097946$2729DDA3-DD14-43B2-93A6-E2B62880B138","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b197799c9cd2529307b1b6bc6f999cf9386432d9","datavalue":{"value":"0636.16019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097946$290E7D61-12D4-47E5-98DF-5EA37453D42F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33f568aec255d144ec7519fc4e6d59fc4ecdc1d6","datavalue":{"value":"10.1007/BF02575025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097946$1C6F1B7E-A50B-4340-88DB-A892FE696BF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"735ee5984b9b62ee30fa6c117eb197a65dd5cb17","datavalue":{"value":{"entity-type":"item","numeric-id":216237,"id":"Q216237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097946$BEFA079F-89FF-4DB0-A991-9E28F0281099","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097946$C8910D67-77A1-4459-88C9-0EE4CA0CDD9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1097946$681F1133-4935-43F9-8952-E2240332E1B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cd9cc376df83bf9002b936939f17d20da9df17b","datavalue":{"value":"https://eudml.org/doc/134905","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097946$21268E56-D2A8-48E2-97CD-11A8B1D26D64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2818e97d04b68f7345ba19f7ed221ebd2461d15b","datavalue":{"value":"Let \\((M,+)\\) be a commutative monoid and assume that \\(\\sum_ Ix_ i\\in M\\) is defined for each family \\((x_ i|\\) \\(i\\in I)\\) of elements \\(x_ i\\in M\\), where I is any set [any at most countably finite set]. Then \\((M,+,\\sum)\\) is called a complete [c-complete] monoid iff \\(\\sum\\) extends all finite sums already defined in \\((M,+)\\) and (P)\\(\\sum_ Ix_ i=\\sum_ J(\\sum_{I_ j}x_ i)\\) holds for each partition \\(I=\\cup (I_ j|\\) \\(j\\in J)\\) of I. Correspondingly, let \\((M,+,\\cdot)\\) be a semiring which need not have an identity, but an additive neutral 0 which is multiplicatively absorbing. Then \\((M,+,\\cdot,\\sum)\\) is called a complete [c-complete] semiring iff \\((M,+,\\sum)\\) is a complete [c- complete] monoid and z(\\(\\sum_ ix_ i)=\\sum_ i(zx_ i)\\) as well as \\((\\sum_ Ix_ i)z=\\sum_ I(x_ iz)\\) are satisfied for all \\(z\\in M\\) and all families \\((x_ i|\\) \\(i\\in I)\\) under consideration. Moreover, a suitable topology \\({\\mathcal T}\\) on \\((M,+)\\) can be used to define \\(\\sum_ Ix_ i\\) such that \\((M,+,\\sum)\\) is a complete [c-complete] monoid, then called t-complete [tc-complete], and likewise for semirings \\((M,+,\\cdot).\\)    Various statements concerning these eight concepts and corresponding (counter-)examples are given. For instance, complete [c-complete] does not imply t-complete [tc-complete], each complete monoid has an additively absorbing element, and each tc-complete monoid (semiring) has a natural partial order.    Referee's remarks: 1) The paper refers to \\textit{S. Eilenberg} [Automata, Languages and Machines (1974; Zbl 0317.94045)] and \\textit{W. Kuich} [Lect. Notes Comput. Sci. 267, 212-225 (1987; Zbl 0625.16026)]. But there and elsewhere (cf. below) complete [c-complete] has another meaning, since instead of the axiom (P) above a stronger one, say (GP), is assumed where partitions (all \\(I_ j\\neq \\emptyset)\\) are replaced by generalized partitions \\((I_ j=\\emptyset\\) may occur). In fact, t-complete [tc- complete] monoids and semirings satisfy (GP) as well. 2) There are also papers dealing with complete [c-complete] monoids and semirings as a special case of partial complete monoids and semirings. Corresponding hints and references are given in \\textit{H. J. Weinert} [Lect. Notes Math. 1320, 380-416 (1988)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097946$7E31C3A4-E15E-4FB0-B4C0-7436FA55AD3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097946$AE0A824E-51E6-4CFD-AB9B-461C37A8768E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097946$2A8C88DE-90A9-4704-B673-2DBD9EB5CF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097946$43E85917-7C79-44CF-B172-C67D8E54E551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8110d9803e4b2aad411f3877567f31b3c60e123","datavalue":{"value":"40A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097946$155807FE-05FA-4154-95E4-A4ACA2BB39B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51e275fe7c6b1b7362357445f9974ebed720896e","datavalue":{"value":"4036023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097946$764F5036-37EC-4994-8D43-438999BCFB01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"026d3f1870c6734251062e49fd2e000295c07f88","datavalue":{"value":"countable complete semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097946$E7DEFEA7-D7CB-4F8F-BEBB-4BB0C0F2A456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd03f3092e5d894fc8db7cfaf93acc92b63eaa26","datavalue":{"value":"infinite sums defined by topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097946$35451647-206D-4DB2-8071-9562DC644F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cce6d341d819e09322510961aab563a2fb1bcf8","datavalue":{"value":"commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097946$501CB200-B7D1-43A6-B9AE-F11D3E37EBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b705a585c557ef0257c856b7b28a4d35248461f","datavalue":{"value":"complete monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097946$A2125A7F-7DD3-47EF-BC17-D5862F32CE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f6e48720685c87dc05b7a457bf8d000ee6bd8c","datavalue":{"value":"tc-complete monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097946$D464C7EF-4F72-43E9-9910-EB054EBF267B","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":"Q1097946$99339C71-3712-4789-B7C0-36AE109DFB54","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":"Q1097946$930769D3-E2D0-4122-8631-5620C28263D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b692bb715546129f13b8782050696278d61779d2","datavalue":{"value":"W2086115527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097946$ED4F27B3-E1E4-4E02-B045-4385755D22B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fc7b8966379e121f0d051d30472676d89385f0","datavalue":{"value":{"entity-type":"item","numeric-id":1105674,"id":"Q1105674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f898c082334084e903478ebc7818a5d33d6707","datavalue":{"value":{"amount":"+0.9333457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$741C8173-DEAD-47B4-834F-95C71C390356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcbd0cdb615a280a08b8b601ddd78032ee24364f","datavalue":{"value":{"entity-type":"item","numeric-id":3021615,"id":"Q3021615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0bf26bf7e235f0be873f791727aacf4916cc08e","datavalue":{"value":{"amount":"+0.8994351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$7033FD34-7AB3-4D57-9C65-85D189A3F16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3988b6c3147e371e5a916c2106e85604bfc851","datavalue":{"value":{"entity-type":"item","numeric-id":1262397,"id":"Q1262397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb84a65d63ac6bf812a001214ccf2923cae59744","datavalue":{"value":{"amount":"+0.88278544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$E6BAD5EF-A882-4725-A9D3-54BB87AA8265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a611683ca43acb5ff9a821f3124817988aebc8ac","datavalue":{"value":{"entity-type":"item","numeric-id":4284203,"id":"Q4284203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385ef1f5a30ebc529c502ad7bfd081886689ab46","datavalue":{"value":{"amount":"+0.87796086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$4F473A44-9FE2-41AF-BCE9-9CB7D335C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6363a522cc8ae1acc4933acfeb5dc02748591c6","datavalue":{"value":{"entity-type":"item","numeric-id":4006421,"id":"Q4006421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385ef1f5a30ebc529c502ad7bfd081886689ab46","datavalue":{"value":{"amount":"+0.87796086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$2A4D606D-6C31-44E1-A466-46C878F04BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c011aca6c893c45d207898ecf5c5549181856927","datavalue":{"value":{"entity-type":"item","numeric-id":852679,"id":"Q852679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60d85a43cfc0f106c5c9b549746e26a9cf4027f","datavalue":{"value":{"amount":"+0.8779531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$794EC3F3-2E84-4C1C-A207-202CBCDE2E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9e536903332b463dfc29ba0553ddf20a7b39aa","datavalue":{"value":{"entity-type":"item","numeric-id":3808145,"id":"Q3808145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87585d252c500ca07aacd01b73273dcf3375a77","datavalue":{"value":{"amount":"+0.8751863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$190387F1-D42C-49E7-BBC8-78C706D25EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d60f969af9f82ca6cfb255d22eac863d28e899d","datavalue":{"value":{"entity-type":"item","numeric-id":596031,"id":"Q596031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae9f0725838ebec6af384d9565b48674a10b076","datavalue":{"value":{"amount":"+0.87308216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$0D4512FE-5FD2-437D-BC2A-62E384B35F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a308f33944622d032e626b6dd48008712dd33f3","datavalue":{"value":{"entity-type":"item","numeric-id":4294065,"id":"Q4294065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69ce112fbfedeada3725600cf7b69f2e0e565ba","datavalue":{"value":{"amount":"+0.87200034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$9458D42A-5485-4C55-A2BB-C79082660059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1660f94d627e3cc2cdd22effc71ceb1067660f34","datavalue":{"value":{"entity-type":"item","numeric-id":1406863,"id":"Q1406863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d953c99c92720039624cade400a971ce04b01009","datavalue":{"value":{"amount":"+0.87049115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1097946$0A7EC62A-8D8A-4655-B5E2-B59AB4092E55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monoides et semi-anneaux complets. (Complete monoids and semirings)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monoides_et_semi-anneaux_complets._(Complete_monoids_and_semirings)"}}}}}