{"entities":{"Q1305025":{"pageid":1315775,"ns":120,"title":"Item:Q1305025","lastrevid":68675004,"modified":"2026-04-13T01:21:13Z","type":"item","id":"Q1305025","labels":{"en":{"language":"en","value":"Groups generated by symplectic transvections over local rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340571"}},"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":"Q1305025$F19AF14F-C725-477F-B2BC-1C03D9E5A1BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16f9c24816a9e0ec4ec2f18f36bd79a5580fb244","datavalue":{"value":{"text":"Groups generated by symplectic transvections over local rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1305025$4175AA90-78A7-438F-8C74-784B166EFE28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8911b1ca12b516de0d771683d018ce604e03c705","datavalue":{"value":"0984.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305025$6E61D307-B98E-480F-9CAF-628B62EE0F26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b27427737910e7505ea11732233514c5f40332a9","datavalue":{"value":{"entity-type":"item","numeric-id":755678,"id":"Q755678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$4B0FBAF2-A536-45FB-9C05-2B0BC12F788A","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":"Q1305025$207078B1-744E-4F60-93B7-9AD34BEFAA8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0df0cb4a09cb048bf114138d01e3d80be5c036c1","datavalue":{"value":{"time":"+2001-10-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":"Q1305025$43FD5BBB-AC96-4C8E-9922-79B29BBE4267","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d03974c6750d07fb02764e17d0cdec01b4e9431","datavalue":{"value":"Let \\(R\\) be a commutative local ring with unique maximal ideal \\(A\\), and let \\(V\\) be a free module of rank \\(n\\) over \\(R\\). Then \\(\\text{Sp}_n(V)\\) denotes the symplectic group on \\(V\\) with an alternating bilinear form \\(f\\colon V\\times V\\to R\\). The author studies the generation of a subgroup \\(T_R(M)\\) of \\(\\text{Sp}_n(V)\\), where \\(M=\\{x\\in V\\mid f(x,V)=R\\}\\) and \\(T_R(M)\\) is the subgroup generated by all symplectic transformations with axis \\(x^\\perp\\) for \\(x\\in M\\). Given a set \\(\\emptyset\\neq N\\subseteq M\\), the author tackles the following problems:   1. Under what conditions is \\(T_R(N)=T_R(M)\\)?   2. If \\(T_R(N)=T_R(M)\\), find a small subset \\(N'\\subseteq N\\) such that \\(T_R(N')=T_R(M)\\).   3. Let \\(N\\) be a regular spanning set for \\(V\\). What is the \\(T_R(N)\\) orbit for each vector \\(x\\in M\\)?   For the cases \\(|R/A|>2\\) or \\(w(V)=1\\), where \\(w(V)\\) is the Witt index of \\(V\\), the author has already solved these problems in his paper [in J. Algebra 112, No. 1, 151-158 (1988; Zbl 0641.20035)]. Therefore in this paper always \\(|R/A|=2\\) and \\(w(V)>1\\) are assumed, but \\(V\\) is not necessarily non-singular.   Solving problem 1 the author obtains nice necessary and sufficient conditions for any subset \\(N\\subseteq M\\) with \\(T_R(N)=T_R(M)\\) (Theorem 3.2). If \\(f\\) is non-singular, then \\(T_R(M)=\\text{Sp}(V)\\) and the necessary and sufficient conditions yield a criterion for an arbitrary \\(N\\subseteq M\\) satisfying \\(T_R(N)=\\text{Sp}(V)\\).   Moreover, it is shown that \\(N\\) contains \\(n+1\\) elements \\(N'=\\{s_1,\\dots,s_{n+1}\\}\\) such that \\(T_R(M)\\) is generated by the symplectic transformations \\(T_{R,s_1},T_{1,s_2},\\dots,T_{1,s_{n+1}}\\) (Theorem 3.4). As a consequence, if \\(R\\) is generated by \\(r\\) elements as an additive group, then \\(T_R(M)\\) is generated by \\(n+r\\) elements (Theorem 3.5). Thus also problem 2 is solved.   The author is also able to answer problem 3: If \\(N\\) is a regular spanning set for \\(T_R(M)\\), then either \\(M\\) has exactly two \\(T_R(N)\\) orbits or \\(T_R(N)\\) acts transitively on \\(M\\) (Theorem 3.3).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$BC1EA4B9-6FD0-4859-86AB-EDE011DB0F3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a8f608ffb70c2972bde93f057646fa6877b993","datavalue":{"value":{"entity-type":"item","numeric-id":184495,"id":"Q184495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$6526473A-7182-429D-A6D9-A9F61C8ACD91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37f17b3e9849dd0379a45db8d24729a21e1aaa17","datavalue":{"value":"20H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305025$7CDC5F7F-B414-442D-8E72-7CD2846939D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305025$EFD39430-7E64-4FA9-9EB9-890B84708C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5db2d04a5a7a4df563d2a486f8007fbd7696b46","datavalue":{"value":"11E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305025$E0A83B26-29E0-4BDE-A783-2D5C0197907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305025$24F82BED-0186-492B-BA43-831F220A1194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b49f32b4650ea7f3f57967711dadaa57e776015","datavalue":{"value":"1340571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305025$AD4E2AD6-5E3A-4DD6-895C-F07F90818A1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ff0a6eeb5636cae002988cff3de0dedb592cdd","datavalue":{"value":"symplectic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$4A7E7989-BABA-4718-8003-5976DB650A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5a8716faeb39ea52baf7e7bdbebac8ebd5e62de","datavalue":{"value":"alternating bilinear forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$CD967C5F-F767-418F-9601-84D9132337C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2817a42f4e3c8d8f0950d91b24a5b0e108b3119e","datavalue":{"value":"symplectic transvections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$F7D7EA18-0FF0-4E00-A27C-789239686CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$15DF823A-AC49-48FD-A0A7-84A580D98413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea2ef58df8ff47381155393757c5a5845e40fc2","datavalue":{"value":"local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$44C27B92-9520-4D80-BD7D-93629A90B33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5898fc36c01660845fe3d9b2d4b066b1b72e33a5","datavalue":{"value":"symplectic transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$A77E2ED8-F7DD-4EBA-B85F-CA2F3DCBF3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a03e045a2965f7e703589d44b4dbb455afd54d8f","datavalue":{"value":"Witt index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$282E7D4F-90C3-4878-AC22-9C620DAA4676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d903cd81bebd3ab3a79268b4a7ceaec776eb699","datavalue":{"value":"regular spanning sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305025$90F362D4-3392-4E37-86B3-0DA33A931658","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":"Q1305025$E95E2B92-E4AE-4A8E-ABAE-B3732198BF06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11d9c22b85b1d740cdd7643124eb0bcb4b9500ac","datavalue":{"value":"https://doi.org/10.1006/jabr.1998.7837","type":"string"},"datatype":"url"},"type":"statement","id":"Q1305025$96FCC987-D419-43F6-AC43-510A24175202","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb994e0dadf28034485e4852652664139186f4e8","datavalue":{"value":"W2063623759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305025$9A5F915D-161E-464D-8C0C-FA57A96B5837","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a8f62f6c186b0081b1a86b25997ccdf0ad7e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3742251,"id":"Q3742251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$BDF5A2E0-0B62-4215-B852-0A21B298CD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7c44a648f708de6a6f44eacf8df98df0596cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3228640,"id":"Q3228640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$A7C82AE9-6432-4744-9660-BC99DE624774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c7120efbd4f1018fc8ca6eadaa2c2effb807e9","datavalue":{"value":{"entity-type":"item","numeric-id":3993275,"id":"Q3993275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$ADC9A83A-33C1-4ED7-BD7A-3DCC2EF6354F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58455f41ca2ba0838bc5a6dcfcb62cc3d80d123b","datavalue":{"value":{"entity-type":"item","numeric-id":1100563,"id":"Q1100563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$37EB2CAE-81DC-409A-821A-3B9ABE46E727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297558ce831f201e13cc3ea2afaa6b43c6d25aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4206939,"id":"Q4206939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$523C13C9-62B1-41FB-B44F-DB6871B5BB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ed52ff87408afdb5b6ced3dc1997cee61593d4","datavalue":{"value":{"entity-type":"item","numeric-id":3973540,"id":"Q3973540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$ACDBB6A6-596E-4E2D-AB90-98BD52937A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff083187c4f4f3b81036edf69e8ceab79d7d18d1","datavalue":{"value":{"entity-type":"item","numeric-id":1223374,"id":"Q1223374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305025$0D88C001-361B-4A04-853F-FEE28FB20D0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfb4174f79cdb302f4ddd33dbf6946ea2085397f","datavalue":{"value":"10.1006/JABR.1998.7837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305025$653D0448-9CC1-4EE0-9933-0D905A161A3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fa12cf1c8811142aced81fc75b49d372b4f686","datavalue":{"value":{"entity-type":"item","numeric-id":1100563,"id":"Q1100563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53d05d7a6f56471d7548b0b9e12bc2f464ff9ef","datavalue":{"value":{"amount":"+0.9138555526733398","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":"Q1305025$D9FA9A30-1AD5-43A3-B69C-3A0A73D20CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118d17635e60c1a1b7cff1c4adc0768df8ad6c2e","datavalue":{"value":{"entity-type":"item","numeric-id":4206939,"id":"Q4206939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f2dc202e1c50e0196921ce222827879627ce22","datavalue":{"value":{"amount":"+0.904537558555603","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":"Q1305025$E872D463-64B2-4E7F-B399-9D94FA92B3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c554279c7bcaf0fffa8138559760d297c8f58d85","datavalue":{"value":{"entity-type":"item","numeric-id":3973540,"id":"Q3973540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446e6526e2b6aac382ce100e39f67715c96b45f1","datavalue":{"value":{"amount":"+0.8311046957969666","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":"Q1305025$44ADD1D7-3E68-4C28-9399-6FAF8E9805B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6194d35317dd1861955a1993541c34ee3281778b","datavalue":{"value":{"entity-type":"item","numeric-id":3500978,"id":"Q3500978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f13ec72b34cce9e002c14cb68ec1f86ad5a4e3d","datavalue":{"value":{"amount":"+0.7932702302932739","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":"Q1305025$596F68B3-DE96-4CAA-BD77-5E162695635C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Groups generated by symplectic transvections over local rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Groups_generated_by_symplectic_transvections_over_local_rings"}}}}}