{"entities":{"Q2219819":{"pageid":2230562,"ns":120,"title":"Item:Q2219819","lastrevid":57792810,"modified":"2026-04-02T13:33:08Z","type":"item","id":"Q2219819","labels":{"en":{"language":"en","value":"Generalizing separability, precompactness and narrowness in topological groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299288"}},"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":"Q2219819$027A52E0-0388-42C0-8356-D962DB1AA24B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a2d459fd19db6b084927b3b4182c861e146b43b","datavalue":{"value":{"text":"Generalizing separability, precompactness and narrowness in topological groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219819$A5803264-3FFB-4A62-8BDB-7D0B4BAF1B49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1570e78b7237fc87216aa67afa1560c1873fa6e","datavalue":{"value":"1480.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219819$3E01FB60-58EC-47BB-B300-1DA26D8F7C21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc48cb55979649761e7798a977eb013a47cf52c9","datavalue":{"value":{"entity-type":"item","numeric-id":171175,"id":"Q171175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219819$428D2673-017B-496E-9647-DFDFDF095FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cef2557fc6afc8d11084a43aa1edc1730b0d7ffe","datavalue":{"value":{"entity-type":"item","numeric-id":1605589,"id":"Q1605589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219819$4CEB5890-27C5-4997-88B3-0B1407DA2773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8db0c37a46582353d8b441c35aec64ea4bfcbf7e","datavalue":{"value":{"entity-type":"item","numeric-id":1308091,"id":"Q1308091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219819$58A5ABDA-BBB8-4AB2-985B-5F6C30D844D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5478ede943fb911760ea7d60e42b6d499b786ce8","datavalue":{"value":{"entity-type":"item","numeric-id":259732,"id":"Q259732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219819$F3E05C9F-7B1B-4E36-87AD-5AAA8D3FCE1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219819$5D92FB38-A8D1-41B5-8D6C-990DBC35DB3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e33cbf60376c86834f8941060ee2b53a393d382b","datavalue":{"value":"https://arxiv.org/abs/2002.06459","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219819$AC433E14-E76F-4415-B352-D2A06897C54D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dba93571ec6ec01a6d4124957c8f86ad4116336f","datavalue":{"value":"For a cardinal \\(\\kappa\\) and a set \\(X\\) denote by \\([X]^{< \\kappa}\\) the family of all subsets of \\(X\\) of cardinality less than \\(\\kappa\\). For a topological group \\((G,\\tau)\\) let us denote by \\(\\tau_\\star\\) the set of all neighbourhoods of the identity of \\(G\\).  Inspired by classic separability, precompactness and narrowness the authors study a family of properties described by subsets of large cardinality and neighbourhoods of the identity. A sublist of these properties is the following:  Let \\((G,\\tau)\\) be a topological group and let \\(\\kappa, \\lambda\\) denote cardinals. \\(G\\) is said to be: \\begin{itemize} \\item[(a)] \\(u_1 s_2^{\\kappa} u_1\\) if for every \\(U_1 \\in \\tau_*\\) there exists \\(S_2 \\in [G]^{< \\kappa}\\) satisfying \\(U_1 S_2 U_1 = G\\), \\item[(b)] \\(s_2^{\\kappa} u_1 s_2^{\\kappa}\\) if for every \\(U_1 \\in \\tau_*\\) there exists \\(S_2 \\in [G]^{< \\kappa}\\) satisfying \\(S_2 U_1 S_2 = G\\). \\item[(c)] \\(u_1 s_2^{\\kappa} u_3 s_4^{\\lambda}\\) if for every \\(U_1 \\in \\tau_*\\) there exists \\(S_2 \\in [G]^{< \\kappa}\\) with the following property: given arbitrary \\(U_3 \\in \\tau_{*}\\) there exists some other \\(S_4 \\in [G]^{< \\lambda}\\) satisfying \\((U_1 S_2) (U_3 S_4) = G\\). \\item[(d)] \\(s_1^{\\kappa} u_2 s_1^{\\kappa} u_2 \\) if there exists \\(S_1 \\in [G]^{< \\kappa}\\) such that for all \\(U_2 \\in \\tau_*\\) we have \\((S_1 U_2) (S_1 U_2) = G\\). \\item[(e)] \\(u_2 s_1^{\\kappa} u_2 s_3^{\\lambda}\\) if there exists \\(S_1 \\in [G]^{< \\kappa}\\) such that for all \\(U_2 \\in \\tau_*\\) there exists another \\(S_3 \\in [G]^{< \\lambda}\\) satisfying \\((U_2 S_1) (U_2 S_3) = G\\). \\item[(f)] \\(s_1^{\\kappa} u_2 s_3^{\\lambda} u_4\\) if there exists \\(S_1 \\in [G]^{< \\kappa}\\) such that for all \\(U_2 \\in \\tau_*\\) there exists another \\(S_3 \\in [G]^{< \\lambda}\\) with the following property: given arbitrary \\(U_4 \\in \\tau_{*}\\) we have \\((S_1 U_2) (S_3 U_4) = G\\) \\end{itemize}  In the above definition, we highlight some helpful mnemonic details: \\begin{itemize} \\item[(i)] Each symbol \\(u_i\\) denotes taking some \\(U_i \\in \\tau_*\\) using a {\\emph{universal quantifier}}. \\item[(ii)] Each symbol \\(s_j^{\\kappa}\\) denotes taking some \\(S_j \\in [G]^{< \\kappa}\\) using an {\\emph{existence quantifier}}, \\item[(iii)] The corresponding index \\(i\\) or \\(j\\) in \\(U_i\\) and \\(S_j^{\\kappa}\\) indicates the precise order in which each successive step from (i) and (ii) is performed. For example: \\(u_1 s_2^{\\kappa}\\) vs \\(u_2 s_1^{\\kappa}\\). The former being, \\[ \\forall U_1 \\in \\tau_\\star \\quad \\exists S_2 \\in [G]^{<\\kappa}\\quad (G = U_1 S_2) \\] while the latter is \\[ \\exists S_1 \\in [G]^{<\\kappa}\\quad \\forall U_2 \\in \\tau_\\star\\quad (G = U_2 S_1) \\]  \\end{itemize}  The authors note that one may define infinitely properties by iterating the above steps. A helpful diagram of relationships between these, and many additional properties, is also provided by the authors.  Let \\(X\\) be a set of infinite cardinality \\(\\delta\\). The main results in this paper are the following:  \\begin{itemize} \\item The permutation group \\(S_{<\\omega}(X)\\) satisfies (a) for \\(\\omega\\), (b) for \\(\\omega_1\\) and (c) for \\(\\kappa = \\omega_1\\) and \\(\\lambda = \\omega\\). However, it does not satisfy neither (e) nor (f) for \\(\\kappa = \\lambda = \\delta\\). \\item The permutation group \\(S(X)\\) satisfies (a) for \\(\\omega\\), (d) for \\(\\omega_1\\) and (e) for \\(\\kappa = \\omega_1\\) and \\(\\lambda = \\omega\\). However, it does not satisfy (b) for \\(\\kappa = \\delta\\). \\end{itemize}  The authors ask the following question in this paper:  \\begin{itemize} \\item[(Q.)] Does there exist a topological group with the \\(u_1 s_2^{\\omega_1} u_1 s_3^{\\omega} u_1\\) property which does not satisfy (a) for \\(\\omega_1\\) nor (c) for \\(\\kappa = \\omega_1\\) and \\(\\lambda = \\omega\\)? \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219819$EB9E4A34-C68C-4A34-AF4A-ED69992FD286","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"65ca7f983e6db96c7ca61fcf1601833dc4f60ba7","datavalue":{"value":{"entity-type":"item","numeric-id":820702,"id":"Q820702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219819$E21BAADA-15DC-44B2-8DED-8E051346B156","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b401dc4eec2ba3cb0025b54e4a8352cc0d7a062","datavalue":{"value":"22A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219819$A7613C6E-00CE-4E3D-ADCC-A716EB56809D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06e307c15e84a97fd8fd6884c2c4eb46672d1f7c","datavalue":{"value":"54D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219819$EC51A24A-D29B-454A-BBBF-A111B0B09F2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f2bfd2d21b61ebace192ede9b654543b0456696","datavalue":{"value":"7299288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219819$0FE30440-D493-4399-B5D5-DD32E70B6567","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f7804c3abe2f4d058e92c6855bf4734c56bc91","datavalue":{"value":"topological group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219819$1DB44BDB-BA24-432F-8BD7-8DE2DEBC3F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083a8d4bcc677332215684f575873b6cb949b214","datavalue":{"value":"separable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219819$ECB0E19C-04F5-4185-BF90-9A4493641AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000f766015a70ad71d0301849504f6f6956d761e","datavalue":{"value":"narrow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219819$307EC5C5-6157-41E8-A2CD-3A3923E01CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4a9dfba80fe20f391a14d3ed4e312ae7cdd6c24","datavalue":{"value":"precompact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219819$E2B6B968-96BA-4848-AF86-D4322A2493E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d419991ece450a3922e788e0366c79e95eaa565","datavalue":{"value":"cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219819$8A5488B7-FAE4-4854-B0DD-4C4E13629C5C","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":"Q2219819$39ECB41F-F91B-4D1D-95ED-792B8564EF85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c6b82f60ab9e040113853d7d817096b2026cfda","datavalue":{"value":"W3096281021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219819$BB218C96-EAFD-4D83-8025-C078B48E4A1F","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":"Q2219819$89599B4F-BD63-46BE-BF30-413BAFEFC1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23296ec4c1154e9dd6179b5bcca642f2c4f706f","datavalue":{"value":{"entity-type":"item","numeric-id":5440698,"id":"Q5440698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219819$09F256CA-D5BF-429A-92CF-223A77BDA3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae7ee3c8a36f3528df74885d906ed65465ccf31","datavalue":{"value":{"entity-type":"item","numeric-id":438680,"id":"Q438680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219819$098A1E5F-AB8A-4F2D-A890-9ED477CB0953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157c0999db499be8c9eaef77dd3e886963333180","datavalue":{"value":{"entity-type":"item","numeric-id":935261,"id":"Q935261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219819$44B92DAF-D60A-46CF-8E5A-0B2525A6860A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd7a72f4845380baf5faa571ae2daaf1671ad29a","datavalue":{"value":"10.1007/S13398-020-00945-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219819$4265AE86-6450-4B57-8C41-126E7B0CA1D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcecceeb8daf1690474c39dea04b069c10d6b833","datavalue":{"value":{"entity-type":"item","numeric-id":2400889,"id":"Q2400889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be2f6f917de173d738afc5517eba70c606a1e70","datavalue":{"value":{"amount":"+0.7457959055900574","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":"Q2219819$F9B53D9A-8CBE-4ADA-8461-F5601D6157F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9635755f9dd7851b482a0112ac6f2337621c94c","datavalue":{"value":{"entity-type":"item","numeric-id":3094510,"id":"Q3094510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3e417cb63c5885a571d34e012ac587d6754717","datavalue":{"value":{"amount":"+0.7415330410003662","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":"Q2219819$FCAD9C91-B36C-4831-A1E8-18C7E6DD9EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d423505309ee6da63a7eca338f75d3831b5087","datavalue":{"value":{"entity-type":"item","numeric-id":4956556,"id":"Q4956556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798ed39447c43716bbd057a0c8ffd3ec38fd9cdd","datavalue":{"value":{"amount":"+0.7254397869110107","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":"Q2219819$D1FB1012-939C-4D84-92D4-121EA6E68B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0984910a8427c5b978bfc0a9d980b2510a5e0d","datavalue":{"value":{"entity-type":"item","numeric-id":3083023,"id":"Q3083023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b4a9c96ff942cfa847e58dc0e2bb885bc7b07e","datavalue":{"value":{"amount":"+0.7192445993423462","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":"Q2219819$6799525C-C90E-4AB5-948E-1BABC77ED2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aedddccb602851efe51b38d56ad1cad3fb3f96dc","datavalue":{"value":{"entity-type":"item","numeric-id":2324524,"id":"Q2324524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd5f6ea376473aedee5fae1a9085b8328609100","datavalue":{"value":{"amount":"+0.7153374552726746","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":"Q2219819$55A95D02-12DE-4DF6-8010-5271CAAF3B49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2219819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2219819"}}}}}