{"entities":{"Q711604":{"pageid":713453,"ns":120,"title":"Item:Q711604","lastrevid":51112865,"modified":"2026-01-16T18:06:14Z","type":"item","id":"Q711604","labels":{"en":{"language":"en","value":"Congruence-simple subsemirings of \\(\\mathbb{Q}^+\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5806757"}},"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":"Q711604$D695CF31-222F-4BA3-A623-A4829F828838","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d630652d8ba53a0bd1cdd24ee58d65043254b9d1","datavalue":{"value":{"text":"Congruence-simple subsemirings of \\(\\mathbb{Q}^+\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q711604$1B026472-50DC-4E3A-9EF9-B8FC81E12424","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74927f299e86b8392ca76228fd3f320032156823","datavalue":{"value":"1214.16038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711604$0F30412E-1341-42DC-B94A-603A9DD071A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02b9f92d297cf2a99b3b9f4b0ab82a38c5596b71","datavalue":{"value":{"entity-type":"item","numeric-id":273456,"id":"Q273456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$627DB0C3-463F-4430-A18B-3EAA866CCFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0edc921c2f40c0477f8d10e2f76e4c2313bb84","datavalue":{"value":{"entity-type":"item","numeric-id":501750,"id":"Q501750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$B8FE4AC1-48E9-4FCB-8CE4-007B827C990A","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":"Q711604$8C33BA34-77B7-4EE0-86C2-BDB3BEE3C596","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09144b649555c784d4a38ccd8313b58ed480e0c2","datavalue":{"value":{"time":"+2010-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q711604$CEC5426E-34AC-456F-AC08-36AA1CBE1B37","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b318d3cc939cd608923426b03e4c3ba6d863bd14","datavalue":{"value":"For \\(\\widetilde\\mathbb{R}_0^+=\\mathbb{R}_0^+\\cup\\{\\infty\\}\\) define \\(a<\\infty\\) and \\(a+\\infty=\\infty+a=\\infty+\\infty=a\\cdot\\infty=\\infty\\cdot a=\\infty\\cdot\\infty=\\infty\\) for all \\(a\\in\\mathbb{R}_0^+\\). Denote by \\(\\overline R\\) the set of all sequences \\(\\mathbf r=(r_n)_{n\\in\\mathbb{Z}}\\) over \\(\\widetilde\\mathbb{R}_0^+\\) such that \\(r_m\\leq r_n\\) for all \\(n\\leq m\\) and \\(r_{n+m}\\leq r_n\\cdot r_m\\) for all \\(n,m\\in\\mathbb{Z}\\), and by \\(R^0\\) the set of all sequences \\(\\mathbf r\\in\\overline R\\) such that \\(r_n<\\infty\\) for all \\(n\\in\\mathbb{Z}\\) and \\(\\lim_{n\\to\\infty}r_n=0\\). For each prime \\(p\\) let \\(v_p\\colon\\mathbb{Q}^+\\to\\mathbb{Z}\\) be the usual valuation at \\(p\\), and define \\(V^0(p,\\mathbf r)=\\{x\\in\\mathbb{Q}^+\\mid r_{v_{p(x)}}<x\\}\\) for every \\(\\mathbf r\\in\\overline R\\).   It is shown that if \\(p_1,\\dots,p_n\\) are prime numbers and \\(\\mathbf r_1,\\dots,\\mathbf r_n\\in R^0\\) then \\(S=\\bigcap_{i=1}^n V^0(p_i,\\mathbf r_i)\\) is a congruence-simple subsemiring of \\(\\mathbb{Q}^+\\). Moreover, if \\(p\\) is prime and \\(a\\in(0,1)\\) then \\(T_p(a)=\\{x\\in\\mathbb{Q}^+\\mid a^{v_p(x)}<x\\}\\) is a maximal congruence-simple subsemiring of \\(\\mathbb{Q}^+\\), and every congruence-simple subsemiring \\(S\\neq\\mathbb{Q}^+\\) is contained in at least one of them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q711604$F309A822-26E3-49D2-8D24-8911684FE3E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25d14f9be0f112f56e2e224659a17e1e16a871a7","datavalue":{"value":{"entity-type":"item","numeric-id":213088,"id":"Q213088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$B8D0D066-C393-4892-9FA9-B763970BCE95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711604$EA3EB11A-1D60-4910-BB38-C0855F2765B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bce8ceff2edbd3381320f20d9c63522e95b0b309","datavalue":{"value":"12K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711604$3CE1BA16-88C9-487C-91B6-602B82CFE143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3aa90fd9f55b9c8509dd8e4ff44a32edd6686bd6","datavalue":{"value":"5806757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711604$FB92E747-EB81-4022-86BB-0E5B7C71DF0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa825aceb6ce43a94231d702a0f5430945d5d8ed","datavalue":{"value":"congruence-simple semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q711604$50A02A07-57E0-4D5F-A8D8-89F17E7B39F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8b49d4296d1d1bb6a846f657357c3f0aa16481","datavalue":{"value":"rational numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q711604$CFA0D9BE-3DA5-4363-A116-E72231379E5A","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":"Q711604$D527C14D-0237-46B4-9DBD-767F4AE5508B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85663bf21d270ad30ef675ab54bcb9e446089c03","datavalue":{"value":"https://doi.org/10.1007/s00233-010-9222-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q711604$B0EBC383-8204-401B-BFCE-335D47CA239F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2d43e7775db209d6d9adc695883bdb8aa3c8bff","datavalue":{"value":"W1967782790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711604$73379377-5AF6-43E3-919A-40B3E48555B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c9e51543c82ae8fe323143a502b715f4f2ab83","datavalue":{"value":{"entity-type":"item","numeric-id":5929451,"id":"Q5929451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$75905091-1A16-49F9-86C3-477B6C6E169E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92af400f0ed2ca96524ddd8a70626fa4f9ba2099","datavalue":{"value":{"entity-type":"item","numeric-id":4449426,"id":"Q4449426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$90943BE6-B331-4C4C-B4B5-342D72B98873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$5142CAD7-5474-410A-8B8A-3331628AA3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbfb5b1a9eb9d6e1f0194cb3faba8a912f8e813","datavalue":{"value":{"entity-type":"item","numeric-id":4433737,"id":"Q4433737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$068E41DB-EF98-46A9-9F4D-CE1E5FEB8723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6668bb28aba0531e55505d58f6fa01634e19c3","datavalue":{"value":{"entity-type":"item","numeric-id":4893205,"id":"Q4893205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$C1176860-10DE-4EBF-A13B-14AF46D7A1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fc8077db89d38bafb9838b3acb2fe6f6af564e","datavalue":{"value":{"entity-type":"item","numeric-id":4229053,"id":"Q4229053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$2C3F2A0A-2F6D-4883-808F-BD37A15B49DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90f257a460ffaef2e61d2b336379993837fc52e","datavalue":{"value":{"entity-type":"item","numeric-id":3647052,"id":"Q3647052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$23701DE6-30AB-4D3A-8D08-71EFC77A9177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9580da5607c0b89bbfa71c5a1d3b3e93b20d0008","datavalue":{"value":{"entity-type":"item","numeric-id":1097949,"id":"Q1097949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$DD2BF790-0C53-4323-BA3C-8F0E7696F3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f31ab1516f5e6fb20130f4cf571455836dc337","datavalue":{"value":{"entity-type":"item","numeric-id":4760197,"id":"Q4760197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q711604$23AFA678-61CD-43CF-9800-DF556A039ACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21e33c43485d5f171a66458bd55783e2113fe910","datavalue":{"value":"10.1007/S00233-010-9222-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q711604$92F78A19-3C64-4289-930B-65D31154E029","rank":"normal"}],"P1643":[{"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":"914ae33f008ceda65014e084aa2a6068bd8791b9","datavalue":{"value":{"amount":"+0.7525519132614136","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":"Q711604$0A8BE656-D26C-4324-847F-FBF2AA7E106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a3c32ea14a1aa6cb42888d97deb8c9dd0e9064","datavalue":{"value":{"entity-type":"item","numeric-id":3647052,"id":"Q3647052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e8e0593dde8f30a6efcc1a748c0886c8d58f49","datavalue":{"value":{"amount":"+0.7427812218666077","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":"Q711604$92EF4440-E399-49DE-8CDA-6355C1491CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42418b441aec2b2bbcdc711bcd49ad3fd85e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":4638608,"id":"Q4638608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d8068fc52c068c3025361221d411782fd1fcc0","datavalue":{"value":{"amount":"+0.7344566583633423","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":"Q711604$46BC5429-79D5-4854-8655-44E67D6197B8","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":"b8ab375da41a5a6c82db3aa09a9401db4e60f1c0","datavalue":{"value":{"amount":"+0.7341868281364441","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":"Q711604$98A0EE0E-F6CE-4E90-8A0D-B273F32AC40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81bdf27b9ebf5c019a74d1d3a63c4bf73519ab51","datavalue":{"value":{"entity-type":"item","numeric-id":538046,"id":"Q538046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212505bac00fcf2ea0cd1614118c4f822deb6048","datavalue":{"value":{"amount":"+0.7336264252662659","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":"Q711604$B6C37AE8-D65F-40AA-BFA2-F10196A39465","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:711604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:711604"}}}}}