{"entities":{"Q1911322":{"pageid":1922064,"ns":120,"title":"Item:Q1911322","lastrevid":73953930,"modified":"2026-04-14T17:51:16Z","type":"item","id":"Q1911322","labels":{"en":{"language":"en","value":"The cofinalities of the infinite dimensional classical groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 868016"}},"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":"Q1911322$20C64331-0F8A-4A91-B2AF-77E4DB2C718E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cff634aa746ec5e41618e940d3a13756f6ef25f2","datavalue":{"value":{"text":"The cofinalities of the infinite dimensional classical groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1911322$70615B3B-1ED0-485C-9384-860C3C684E03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bef92d192afac73cee43bfdb23cc65bd1f843e2b","datavalue":{"value":"0846.20005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$07072480-BA80-4E10-B5AA-7AE1A38883A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fee6d7c6a61a047db4fa1acc0036957ae324bbfa","datavalue":{"value":{"entity-type":"item","numeric-id":194963,"id":"Q194963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911322$2566EFF2-5E9E-464F-AC06-CF241E85C713","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911322$327F9F81-7DEF-445C-8F06-7D2714AC91D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40eacd21a7efb3a2fa818fc0823bb429dea7c652","datavalue":{"value":{"time":"+1996-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1911322$EC266276-E677-4276-804D-A3196281B722","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b43877fd6c3b377de73515de45d94762fb0d291e","datavalue":{"value":"If \\(G\\) is a group which is not finitely generated, then the cofinality \\(c(G)\\) of \\(G\\) is the least cardinal \\(\\lambda\\) such that \\(G\\) can be expressed as the union of a chain of \\(\\lambda\\) proper subgroups. It is known that \\(c(\\text{Sym}(\\omega))\\) is uncountable, but can take any uncountable regular cardinal. The main result of the present paper is that \\(c(\\text{Sym}(\\omega))=c(GL(\\omega,F))\\) where \\(F\\) is a finite field. An analogous result is proved for the corresponding symplectic, orthogonal and unitary groups, and for the restricted general linear group \\(\\widehat {L}\\), that is, the group of units in the ring of \\(\\omega \\times \\omega\\) matrices over \\(F\\) in which each row or column has just finitely many non-zero entries.   A key step is always to show that the group is finitely generated over the symmetric group on a basis (or part of a standard basis, in the presence of a form). The result for the general linear group makes use of that for \\(\\widehat{L}\\), which in turn uses the fact that if \\(n\\geq 5\\) and \\((n,q-1)=1\\), then there is a conjugacy class \\(C\\) of \\(\\text{SL}(n,q)\\) such that for every \\(g\\in\\text{SL}(n,q)\\), there are \\(a,b,c\\in C\\) such that \\(g=abc\\). This is proved in the paper by character theory.   The paper also contains a proof that if \\(M\\) is an \\(\\omega\\)-categorical structure then \\(\\text{Sym}(M)\\) is finitely generated over \\(\\text{Aut }M\\), and hence \\(c(\\text{Aut }M)\\leq\\text{Sym}(M)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$1348539D-1098-4C33-8483-AAF4B1BB8C97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$E8651369-4C61-4AC8-BB07-E4001FC939DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$40A0DD94-A754-4E99-A741-564584CBCCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$02EFF859-E866-46B1-9B95-81B75990DACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$B3D6973C-EC3D-4916-866C-F1F4087FF412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$DCECD063-045F-4A3E-9F02-A6A7EC33E59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$E17130EB-2E15-4E37-A39F-CD2B0C634E88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac8b2426116edf6c21e196a40476273110e4cdac","datavalue":{"value":"868016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$AB42D168-F7FA-4AA9-9BF5-1B98A69F9023","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1f2d0ac666fcdd661844ef9a394903274fedf1","datavalue":{"value":"symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$9381BBF8-0500-44EA-912D-6EE4DF008DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e9b6552452555286a0b120a5532bd99394d4402","datavalue":{"value":"unions of chains of proper subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$7C8921F1-80F8-4B8E-B854-12DB4DFFD7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb77774c8eab49a7e996e78114ff831fbf047d7","datavalue":{"value":"cofinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$A9A241B2-DC62-4F0E-BA14-4F4C18315B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae95d54460ca9b539274d298f6e83b9855def372","datavalue":{"value":"uncountable regular cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$D4470EB1-BB47-415D-9EC4-9ECD689BBAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca8813997960fa4ba8ba760296d0a1530a7da9e","datavalue":{"value":"symplectic, orthogonal and unitary groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$D8125F97-A92C-4024-A709-1FAA1E42BD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a8739c4e59f4317610d96fe21ce34b6c176c692","datavalue":{"value":"restricted general linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$683BDEF3-3FF9-4BF8-8B30-3535A16D5EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67914042b887a511d95c1d0a4a005005f180f8d","datavalue":{"value":"conjugacy classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$4B68FDB6-AFC2-4956-92AC-9C6BA54B396F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bb693dde507e82ee61ee4e98107d086004fe954","datavalue":{"value":"\\(\\omega\\)-categorical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911322$64541EF6-B765-4434-BB86-580992E2F34B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4dfb2c42cefd1d94c0bb9fe27b91656bccaaafd","datavalue":{"value":{"entity-type":"item","numeric-id":1061216,"id":"Q1061216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911322$E3735048-59CB-4FFF-8DC0-903045FD464E","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":"Q1911322$E06CA1FD-E347-43B9-ADD5-7E571D7C1F7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c836cbe5ce49343b770cf0f0069b96ea6d9e3f3","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.0032","type":"string"},"datatype":"url"},"type":"statement","id":"Q1911322$97FBD7E8-5948-42F2-AE7A-6CD85C0FC7CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e70a5b17bc711895407a0b0eaaa02e146e93d5a1","datavalue":{"value":"W2060302101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$B3CD4927-6D9D-4879-93A0-406978558900","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06e592ff5ed1fe4b851bf2020784e2d347517cf9","datavalue":{"value":"10.1006/JABR.1996.0032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911322$484A6957-F6C9-49FC-9A9D-1B9E2F81B249","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f169dce137c87f6fe191ecda72c09febc2488743","datavalue":{"value":{"entity-type":"item","numeric-id":4258024,"id":"Q4258024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4caf9887a6d32df7e5e6376313d396eed20ab0","datavalue":{"value":{"amount":"+0.8230573534965515","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":"Q1911322$9BF36681-6EE7-4E1F-85D1-45636250437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a9408d6ed591c5d03fa574bb0b91553207d120","datavalue":{"value":{"entity-type":"item","numeric-id":5699893,"id":"Q5699893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c5740a05db81b6e4ee6effc8d5d2204c954412","datavalue":{"value":{"amount":"+0.8178117275238037","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":"Q1911322$767AC99A-B0CF-483F-B1AE-C6FF88A7EAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81edacb165d272ab8afc3119e193ad87dd9bb05a","datavalue":{"value":{"entity-type":"item","numeric-id":4677845,"id":"Q4677845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df253bd2a034e50de445bdd8b2c0ed633aa43ca3","datavalue":{"value":{"amount":"+0.8086906671524048","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":"Q1911322$B5BE182D-7824-4FD9-9675-78C812EEC309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b6ea585fd3118601a7b4c1a7b87a3e8e650cf2","datavalue":{"value":{"entity-type":"item","numeric-id":1283121,"id":"Q1283121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132471931df314b0685c0782f997feef2aae5bf9","datavalue":{"value":{"amount":"+0.7880297899246216","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":"Q1911322$D6C1A629-E468-45D4-9866-B45F8599FC90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The cofinalities of the infinite dimensional classical groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_cofinalities_of_the_infinite_dimensional_classical_groups"}}}}}