{"entities":{"Q6924860":{"pageid":21052165,"ns":120,"title":"Item:Q6924860","lastrevid":84133106,"modified":"2026-05-10T22:49:06Z","type":"item","id":"Q6924860","labels":{"en":{"language":"en","value":"Common transversals for coset spaces of compact groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8098326"}},"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":"Q6924860$611F4D6E-775A-4DC8-9305-84FA60180C18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"096da2b3a7c983a85763b68d6bc7dcb7b8d11b9d","datavalue":{"value":{"text":"Common transversals for coset spaces of compact groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6924860$A8DC24A6-649D-4785-9643-4C86D009A7FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fc927fa978998db05f2dc55ee2ebc0194ca37c7","datavalue":{"value":"10.4171/GGD/879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924860$C7532892-537F-4D72-B3F3-BBD3E1EB9187","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fca4563d4d9f29335d325226e91d7389f849769","datavalue":{"value":{"entity-type":"item","numeric-id":294267,"id":"Q294267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$2944DF89-C26F-4D44-ACBF-641DA5C56F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07637b10e617dcfc33d1860592a718965a0a9dca","datavalue":{"value":{"entity-type":"item","numeric-id":286027,"id":"Q286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$6F76B669-2019-4535-8164-18235A3B421F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12e3e9652f934c7e19471889c1a9038496516295","datavalue":{"value":{"entity-type":"item","numeric-id":260093,"id":"Q260093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$619ABF6D-866E-45DF-AA4B-441093FAE81B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c06b661659602cad0ea1501062ca6e8b58b32584","datavalue":{"value":{"time":"+2025-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6924860$F5C71112-D9BC-48C1-8E23-9F12DF14D405","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ead764725a4b4d7e6ce1722692cfa3f8d01dc3bd","datavalue":{"value":"Let \\(G\\) be a group and \\(H\\) be a subgroup. A subset \\(T\\) of \\(G\\) is said to be a \\textit{left transversal} for \\(H\\) if \\(G=\\bigsqcup_{t\\in T}tH\\). The notion of a \\textit{right transversal} is given in a similar way.\\N\\NIf \\(T\\) is a left transversal, then \\(T^{-1}\\) is a right transversal. A set that is simultaneously a left and right transversal is called a \\textit{common transversal} for \\(H\\).\\N\\NA closed subgroup \\(H\\) of a topological group satisfies the \\textit{index condition} if\\N\\[\\N[\\ H:H\\cap H\\cap xHx^{-1}]=[\\ H:H\\cap x^{-1}Hx],\\vee x\\in G.\\N\\]\\NThe main results of this article are the following theorems.\\N\\NTheorem 1.1. Let \\(G\\) be a Polish group and \\(H\\) be a compact subgroup. Assume that the index condition is satisfied for \\(H\\leq G\\). Then, there exists a Borel subset of \\(G\\), which is a common transversal for cosets of \\(H\\).\\N\\NTheorem 1.2. Let \\(H\\leq G\\) be as in Theorem 0.1. Then, the index condition for \\(H\\leq G\\) holds whenever one of the following conditions is satisfied.\\N\\begin{itemize}\\N\\item \\(G\\) is an inverse limit of Lie groups, or\\N\\item \\(H\\) is a compact Lie group.\\N\\end{itemize}\\N\\NThe authors give the proof of Theorem 1.1 in Section 3.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924860$6C8A724F-52FE-4DEE-AE0B-6CD7B58D4A06","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ebe26081707a4932f68ed76a49e4dfb5cdfe3600","datavalue":{"value":{"entity-type":"item","numeric-id":590811,"id":"Q590811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$D8F9FE32-1A81-41A0-BA0C-E6EFF2E08A41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b401dc4eec2ba3cb0025b54e4a8352cc0d7a062","datavalue":{"value":"22A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924860$E734B28A-482D-4DDD-9652-3B4099CFF430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8975949a4f53f61db0206a6e464e5b70f054fb","datavalue":{"value":"54H11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924860$B681A67A-674B-4B06-81DF-E4BC68782346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb85bde92e5091db0dc5d76aff82214a610617aa","datavalue":{"value":"22C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924860$878BD563-A070-4A60-BC7A-B93691278ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"849dc2a1d1f15e22504580d3c2370cb9ca10bbd0","datavalue":{"value":"8098326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6924860$F05EB410-D23C-40EA-99E0-9BDF1DEBE6BF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$E33F5F07-AD9B-4A6D-9529-9DCC385A8801","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d7afca5cb9c63db339586591777d79584e2e46","datavalue":{"value":"coset spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924860$D1EB706C-6965-4C5D-AA50-DA669C44AB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46a849f0a6035a2f486f9374bf7714b3ebbd22f8","datavalue":{"value":"topological groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924860$66D12068-C443-4CAD-BFFB-B0BBFC371FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1d1bc8b17c743a5c8c42ee615ed4b9acd085099","datavalue":{"value":"Borel sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6924860$D05595F5-98A7-484E-A6D3-B94388570F59","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":"Q6924860$7B4999A4-8BBE-4493-AE1C-BF395F7C5CD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa3b872d42c7a7e0f9dd793006b70b9a3794c07","datavalue":{"value":{"entity-type":"item","numeric-id":4141980,"id":"Q4141980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$A863AE75-441D-42BA-A966-942423E686D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c99088c20ab58bffb3752fae442d7b404804964","datavalue":{"value":{"entity-type":"item","numeric-id":3983091,"id":"Q3983091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$58ABE3E1-F7F6-4646-9D2E-15DED5937C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e2739ac6b544c298d34702891af9bf474e29e2","datavalue":{"value":{"entity-type":"item","numeric-id":5246435,"id":"Q5246435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$73CC3113-ADA8-48F9-B6A5-D672D99CA02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9a41620eee325458c800856323320e71ae4c57","datavalue":{"value":{"entity-type":"item","numeric-id":3502622,"id":"Q3502622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$AEB8F7E1-2D1F-4838-8675-0E7A65ECFCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7766fc8a0a9a88a498f27d76d5ff8c8bf67d7aa1","datavalue":{"value":{"entity-type":"item","numeric-id":2649523,"id":"Q2649523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$71E91582-FC3F-4A0B-BE36-83AC8F4D681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604aa74c922b3d5a338d1f2b0beab71c0e01b718","datavalue":{"value":{"entity-type":"item","numeric-id":3533807,"id":"Q3533807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$A3B50D33-50AF-48B0-86BA-8EDCC58D658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$6F1BE048-7366-4DB0-A6F5-9C2F14B05EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1081c2f3728682a5302aa9627dfa3ec548be9e9","datavalue":{"value":{"entity-type":"item","numeric-id":3487482,"id":"Q3487482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$B3B43F17-F246-46AD-BEE9-0E3B2B545D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d11c5dc05f43bb3b3d80af4bd6b7d766d4c721","datavalue":{"value":{"entity-type":"item","numeric-id":4195176,"id":"Q4195176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$170E9408-4170-4689-BBFA-7CF956D06403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978646c56889599ecca49f1da4cdd1aa3c1e004f","datavalue":{"value":{"entity-type":"item","numeric-id":5656934,"id":"Q5656934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$A0A3C0D7-9D83-40FF-B4D8-EEFDF613FEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ba65af33327f842ef746ff653dddf707437939","datavalue":{"value":{"entity-type":"item","numeric-id":3267441,"id":"Q3267441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$0647225D-F1C5-4CC9-800F-E8450B82F87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fde3601c37d65874040900fcfb0e7fb2f979041","datavalue":{"value":{"entity-type":"item","numeric-id":4396494,"id":"Q4396494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$1D185D72-E9A1-4A9B-ABA6-BDE3829E2ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8507322523558a8ff99eea2d2e67e4f570f8a032","datavalue":{"value":{"entity-type":"item","numeric-id":4921882,"id":"Q4921882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$D45AD4A1-69C4-4D34-9447-65BB87BDCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b90497b7c4820f41ff8a54a86e8dbd3461acc21","datavalue":{"value":{"entity-type":"item","numeric-id":2651354,"id":"Q2651354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6924860$D2E4D4F1-4F6C-403B-8764-53636A14EBA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Common transversals for coset spaces of compact groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Common_transversals_for_coset_spaces_of_compact_groups"}}}}}