{"entities":{"Q6963504":{"pageid":21284226,"ns":120,"title":"Item:Q6963504","lastrevid":76123038,"modified":"2026-04-22T22:21:54Z","type":"item","id":"Q6963504","labels":{"en":{"language":"en","value":"Topological generation of simple algebraic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8060111"}},"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":"Q6963504$505AF16C-6950-4681-B22D-BA6193C623A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"575dc45de2d15c19bcb81cd633e17fdb90bf9c30","datavalue":{"value":{"text":"Topological generation of simple algebraic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6963504$23F91129-DC37-4A14-9412-6A5CEFF3B729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78ec79b72eba6942f7e7d2cc2e132f83045c23e8","datavalue":{"value":"1569.20094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963504$7D47966A-34D8-4F12-B07F-CFFA8FBF7E8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb2d2b153ae6e4f1ff97e274c25c6ff6b3ab5f69","datavalue":{"value":"10.4171/JEMS/1425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963504$B4A6C9C5-BB34-452A-ADF5-4372362CB997","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d15f0fbcc144af6ec09efd6e08c49f30ed4fe378","datavalue":{"value":{"entity-type":"item","numeric-id":276064,"id":"Q276064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963504$CEA0404D-C6A1-46DC-BA43-AF280369BAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab0c6e6d6e5a9d3a8d0cf19c0546db576b470299","datavalue":{"value":{"entity-type":"item","numeric-id":2182269,"id":"Q2182269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963504$D444BBB5-4600-4F30-9234-3096EEB74F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5eee1d8859cf107392974876bcd6cc944a0f91d5","datavalue":{"value":{"entity-type":"item","numeric-id":317295,"id":"Q317295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963504$717671AD-0F06-46C9-BDB8-443DFBC56FC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963504$8F426EBC-A6F5-4545-A148-B6229607A765","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4be21f7f28e97c9d3bacbf26d92b6b94dc6fcd0","datavalue":{"value":{"time":"+2025-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6963504$644EA0D0-D886-41A0-AEAB-2A6B42353C80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05ec8db4f3dd54e62fece6e6cacf42028dbe35c3","datavalue":{"value":"The authors address a fundamental problem in the theory of algebraic groups: the topological generation of a simple algebraic group \\(G\\) over an algebraically closed field \\(k\\) by elements lying in specified conjugacy classes. More precisely, given an irreducible subvariety \\(X \\subseteq G^r\\), they study the existence of tuples \\((x_1, \\dots, x_r) \\in X\\) such that the Zariski-closure of the subgroup \\(\\langle x_1, \\dots, x_r \\rangle\\) equals \\(G\\). The focus is on the case where \\(X = C_1 \\times \\dots \\times C_r\\), with \\(C_i\\) conjugacy classes of elements of prime order modulo \\(Z(G)\\) and \\(r \\ge 2\\).\\N\\NBuilding on earlier work of the second author [J. Algebra 569, 511--543 (2021; Zbl 1458.20043)] concerning the groups \\(\\mathrm{SL}_n(k)\\) and of all three authors [Adv. Math. 369, Article ID 107177, 49 p. (2020; Zbl 1505.20041)] for the exceptional types, the article provides a complete classification for the classical groups \\(\\mathrm{Sp}_n(k)\\) and \\(\\mathrm{SO}_n(k)\\) in positive characteristic \\(p > 0\\). The main result (Theorem~7) identifies the precise obstructions to topological generation in this setting, showing that, except for a few explicitly listed exceptional configurations with \\(r \\le 4\\), the only obstructions arise from linear-algebraic constraints on the eigenvalues or Jordan forms of the \\(x_i\\). These include bounds on the dimensions of their largest eigenspaces and the case where all \\(x_i\\) are quadratic elements acting on the natural module.\\N\\NIn addition to the classification, the paper establishes several structural results about the locus\\N\\[\\N\\Sigma = \\{ x \\in X : \\langle x_1, \\dots, x_r \\rangle^{\\mathrm{Zar}} = G \\},\\N\\]\\Nproving that \\(\\Sigma\\) is either empty or generic in \\(X\\) and describes the behavior of generic stabilizers in linear representations (Theorem~13). Furthermore, the authors apply their results to random generation of finite simple groups of Lie type, completing a line of research initiated by \\textit{M. W. Liebeck} and \\textit{A. Shalev} [Ann. Math. (2) 144, No. 1, 77--125 (1996; Zbl 0865.20020); Bull. Lond. Math. Soc. 34, No. 2, 185--188 (2002; Zbl 1046.20046)]. In particular, they prove that for fixed primes \\(r, s\\) with \\(s > 2\\), the probability that a random pair \\((x, y)\\) of respective orders \\(r\\) and \\(s\\) topologically generates a finite simple group \\(G\\) tends to 1 as \\(|G| \\to \\infty\\), with the sole exception of families \\(G = \\mathrm{PSp}_4(q)\\) and \\((r, s) \\in \\{(2, 3), (3, 3)\\}\\).\\N\\NThe authors also provide a general result (Theorem~2) on topological generation in varieties, extending their previous work [loc. cit.] and connecting it to questions about generic stabilizers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963504$FB8F560A-5A5E-4A7F-AB1A-F4BA4EA5EBC5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6963504$3C20E2B4-DEB5-4B68-A5B9-B9E03B88A485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963504$5DD26DF6-57F6-4C4D-B9D4-BB7EA8E66345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"403a2d378c7f2b1dcd03e71486a8ed20ba643191","datavalue":{"value":"20E32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963504$A814D625-22F5-4F37-906B-CD5BEC65C119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f72f7275783d806f4b8f69d7ab40d0cbdf810627","datavalue":{"value":"20E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963504$EFDB5607-E21F-4D31-8E59-2B94E79BBF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef9852cdcd91e46926999d497f49e0eb30ab1aec","datavalue":{"value":"20P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963504$C255426B-77E6-4B9D-AFDA-44AFC996E25D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3306f2ad84a348095f0769e40bab7623178539cd","datavalue":{"value":"8060111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6963504$FA218CBC-F0B7-48B3-A65F-AF360D0099D8","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":"Q6963504$9C6E9D97-FDE8-4169-9244-8CF1E4947B71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64904a3404ccd4de11548e09901c28560bbf2713","datavalue":{"value":"algebraic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963504$4A82F10E-BA8D-4A65-B57D-812C04DD1DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc1692037c3105005f53bc98e10bc1b8ae406cf4","datavalue":{"value":"topological generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963504$098DFC3F-560E-49CD-897F-46639F18AAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68a7d6bd62db4ea847f7dfd5cc79deb636957cf0","datavalue":{"value":"classical group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963504$5CCC0A1F-5D15-48E0-B2B0-BA2681CE2B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6302409ec09fdeadc6bb9a580f9aea6765769730","datavalue":{"value":"random generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6963504$260E2794-7A26-454B-9412-BA999FECD324","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":"Q6963504$14F8FEC2-03CA-4D22-ACF8-C641CFB806C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological generation of simple algebraic groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topological_generation_of_simple_algebraic_groups"}}}}}