{"entities":{"Q729834":{"pageid":731683,"ns":120,"title":"Item:Q729834","lastrevid":63894549,"modified":"2026-04-11T16:16:23Z","type":"item","id":"Q729834","labels":{"en":{"language":"en","value":"There is no domain representable dense proper subsemigroup of a topological group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668174"}},"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":"Q729834$8B9BF52B-A635-4306-9A77-7F1BF33B6DFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee383c9b4d34ead4e875af449d214e3a3a6e1166","datavalue":{"value":{"text":"There is no domain representable dense proper subsemigroup of a topological group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q729834$7D9294F2-16D5-42AA-B6F7-2C898795456B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f33fe41fe21d27ad2d11604bd8bd71f71215fff8","datavalue":{"value":"1364.54020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$81E36D60-D72D-44E5-A0B8-4D9BA3694094","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f92de9d3612c19e7a8f0aa59ce52b4639a2c0ecc","datavalue":{"value":{"entity-type":"item","numeric-id":386397,"id":"Q386397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729834$36769F0D-B418-4E26-8CB2-C8C936D5304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8530176d3eb3102e08808b3de7e81dffef09921","datavalue":{"value":{"entity-type":"item","numeric-id":194974,"id":"Q194974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729834$DB4C88FA-FEE0-4072-B940-B61F7A143B01","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":"Q729834$A98DA1C5-178F-4B31-BAA2-226ED63180E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22cfb65c3a705144ee5104515a956f003c155b5f","datavalue":{"value":{"time":"+2016-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q729834$22530C18-2A48-4ECE-BF53-DFCC2C0A1598","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1356e82693dbcc3dd8f6a9d99b4921824dd9ed1c","datavalue":{"value":"Domain-representable spaces are spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. This notion, borrowed from theoretical computer science, is a very strong completeness property. For example, subcompactness implies domain representability, and domain representability implies strong Choquet completeness. It is known that topological groups related to metrizable groups or function spaces usually do not contain proper dense domain representable subgroups. In this interesting paper, the authors present several definitive results in this area. They show for example that all domain representable subgroups of topological groups are closed. Hence no topological group contains a dense proper domain representable subgroup. In fact, the authors prove a more general result stated in terms of subsemigroups. Several open problems are posed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q729834$B0CD4DCD-FA9D-4275-ACD4-AC9A98A70404","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a9a75e15af1c76a28275836a1fed7177a5066a0d","datavalue":{"value":{"entity-type":"item","numeric-id":169670,"id":"Q169670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729834$4AD81713-26E1-43A7-9247-210B04A1EADC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$88D66548-E973-4258-A899-7FAA2E692540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8975949a4f53f61db0206a6e464e5b70f054fb","datavalue":{"value":"54H11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$85FCCE94-BF92-41E8-A3F0-3F9C8E87DB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b401dc4eec2ba3cb0025b54e4a8352cc0d7a062","datavalue":{"value":"22A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$674F0787-1ED5-48C0-942B-755357467EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78341b3a392e5c9c9c8af04ca4fd4f16b74ea54d","datavalue":{"value":"22A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$B7C102BA-35FA-4874-BC71-A94B92ADD97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"454a8f46c5a67bf723188630ddad8fabe9629727","datavalue":{"value":"54B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$3EE8FF5B-882F-4291-A9D4-6E0EB5874633","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a00466f9900ddbc28f01d62036b788421f7ebf5","datavalue":{"value":"6668174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$0B1E044B-B776-4E1B-9843-7607ADE7578F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"936dd0b4124e52be75aaf37e0a2815e944a71578","datavalue":{"value":"Amsterdam property","type":"string"},"datatype":"string"},"type":"statement","id":"Q729834$778DCCA8-25DC-4444-84AD-3D63B68A1B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0820eead425c3357203c6f294ab145be5a5c18","datavalue":{"value":"domain representable","type":"string"},"datatype":"string"},"type":"statement","id":"Q729834$68B44A38-0198-4369-AEB5-7D95C0014BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f7804c3abe2f4d058e92c6855bf4734c56bc91","datavalue":{"value":"topological group","type":"string"},"datatype":"string"},"type":"statement","id":"Q729834$4C227E0A-3E85-4636-9D8A-62F909B161CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a55cd95e13b324a43914b3ce0ba94f8fd59ba8a","datavalue":{"value":"dense subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q729834$553A945C-51D9-4234-8EA0-8005F35F353D","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":"Q729834$7A89390A-7906-4F59-A99C-8A1A6C021CDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20d737b585925362fc44e66016c06732fd485f41","datavalue":{"value":"https://doi.org/10.1016/j.topol.2016.11.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q729834$AC6CA789-2CF3-418A-80C5-2FF925CD591A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd14b60c417be9a34f9976030725961062b969ae","datavalue":{"value":"W2550733390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$B385E5C2-FC02-4748-A818-D5C00D43F996","rank":"normal"}],"P223":[{"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":"Q729834$1CD74800-B546-45E3-9E97-F1F918685F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd243a9fd8f564de36635d96ded49401b05ff62","datavalue":{"value":{"entity-type":"item","numeric-id":5469398,"id":"Q5469398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729834$20A512F0-C7DC-4BA2-8249-87BFBE4B96FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f2aa622352fb97e57ea51d03b3e786ff3386623","datavalue":{"value":{"entity-type":"item","numeric-id":3994935,"id":"Q3994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729834$5165547D-62E5-491A-A0BB-5514C562C0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac139e652c8d13723cb8fbdf78b8eafd1f950bc","datavalue":{"value":{"entity-type":"item","numeric-id":2856665,"id":"Q2856665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729834$D53E5E77-3B64-475B-93CA-83557D13F659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9b92b03a637d2a0da7ef7145db98485819b131","datavalue":{"value":{"entity-type":"item","numeric-id":3606374,"id":"Q3606374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729834$6E4B7263-F42A-49FB-A8A3-7799CB88B4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6442205e30484a79377bf98855ac531702cb57a3","datavalue":{"value":{"entity-type":"item","numeric-id":1078848,"id":"Q1078848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729834$9C28C4BD-5B83-46C8-A803-9FDBA91F3BF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58092d360c9bad347758eb7cc7d5800f3ed97a54","datavalue":{"value":"10.1016/J.TOPOL.2016.11.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729834$36FF3156-07C2-496C-825F-E471FDB03438","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472ca7c81dd7cc7e98de08c1b63d7387f38c0750","datavalue":{"value":{"entity-type":"item","numeric-id":2856665,"id":"Q2856665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fe6c6450947640a4795c7915035528788ee458","datavalue":{"value":{"amount":"+0.8092640042304993","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":"Q729834$3EFDD5B1-6442-4C10-A4F4-6BB2DF45F9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff3da43394f5132b6d7d3052569df3617887c42","datavalue":{"value":{"entity-type":"item","numeric-id":890068,"id":"Q890068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4174cc40d82d0d89cdbdc8fd70d4badebaabaf","datavalue":{"value":{"amount":"+0.7984618544578552","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":"Q729834$22316C57-74E3-4DF1-9F6D-456F78F02EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401a1e5159393b08bb28299c7c343bc9500a0422","datavalue":{"value":{"entity-type":"item","numeric-id":5469398,"id":"Q5469398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae4159dd669bb62b93891df3a03ebaca9e6afb1e","datavalue":{"value":{"amount":"+0.7568759918212891","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":"Q729834$FF9EF3D5-7B61-4D04-B01F-0779A890F365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7e3c9365e1c7acf096731cf15d3ff47025e7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3535667,"id":"Q3535667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183b0f5378b2c0b96db7c710c052eafcd62123ea","datavalue":{"value":{"amount":"+0.7502250075340271","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":"Q729834$2A6B3AB5-4C41-4980-80B9-4B7342D113B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb28811f9acc206c8310bfed3b2fb79145ee9cb0","datavalue":{"value":{"entity-type":"item","numeric-id":1030201,"id":"Q1030201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853dd233abcbe1fa510f4518bf6cbe93df424068","datavalue":{"value":{"amount":"+0.7416301369667053","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":"Q729834$93773514-48BB-4B99-86B0-DBDD8E56E66A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"There is no domain representable dense proper subsemigroup of a topological group","badges":[]}}}}}