{"entities":{"Q1089435":{"pageid":1100187,"ns":120,"title":"Item:Q1089435","lastrevid":66917490,"modified":"2026-04-12T13:43:14Z","type":"item","id":"Q1089435","labels":{"en":{"language":"en","value":"Free quotients of congruence subgroups of \\(SL_ 2\\) over a coordinate ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4004473"}},"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":"Q1089435$33DAF07B-A59D-42F4-BC64-BEC3D0918B45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c687e341addda0fe2a1096e92efeb175c6253c7","datavalue":{"value":{"text":"Free quotients of congruence subgroups of \\(SL_ 2\\) over a coordinate ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089435$ED9E5F8D-6479-40E1-9351-88CC555E0AAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"babcf044ce9ec4bd7488e1672f3f71da44798b2c","datavalue":{"value":"0619.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089435$6F1B5D75-0266-4D65-851C-23993E75479B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb36b6a51b4d36ea3259c6ef0eddffb89d4a5d7e","datavalue":{"value":"10.1007/BF01183037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089435$585928ED-EA4A-4983-9C57-D9759435FC76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$ABC41996-1A75-45CB-A173-72B298A6879E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1089435$6DAB0143-034C-48D9-A086-26DBE8182746","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e0dd01e5ed79246e213a3c84280020fef3a4c35","datavalue":{"value":"https://eudml.org/doc/173908","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089435$9B7D717C-9644-419A-B3A2-BA7ECC42B8DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1397df2dcab2867f37bfde241bbf0428ea324a0","datavalue":{"value":"Let R be a commutative ring with identity and let q be an ideal in R. For each \\(n\\geq 2\\), let \\(E_ n(R)\\) be the subgroup of \\(GL_ n(R)\\) generated by the elementary matrices, let \\(E_ n(R,q)\\) be the normal subgroup of \\(E_ n(R)\\) generated by the q-elementary matrices and let \\(SL_ n(R,q)=Ker(SL_ n(R)\\to SL_ n(R/q)).\\)    Let C be a smooth, absolutely connected projective curve over a field \\(k_ 0\\) and let A be the coordinate ring of the affine curve obtained by removing a closed point from C. Extending an earlier result of Cohn, Suslin has proved the \\(E_ 2(A)\\) is normal in \\(SL_ 2(A)\\) only when \\(A\\cong k_ 0[x]\\), the polynomial ring in one variable over \\(k_ 0\\). Abramenko has proved in addition that \\(E_ 2(A)\\) is of finite index in \\(SL_ 2(A)\\) when \\(A\\cong k_ 0[x].\\)    \\textit{J.-P. Serre} in his book ''Trees'' (1977; Zbl 0369.20013) has proved that \\(GL_ 2(A)\\) is the (non-trivial) free product (with amalgamations) of a number of groups. Using this result the author proves that, for ''most'' ideals q, the principal congruence subgroup \\(SL_ 2(A,q)\\) has a normal subgroup N, containing \\(E_ 2(A,q)\\), such that \\(SL_ 2(A,q)/N\\) is a free group, whose rank is infinite when \\(k_ 0\\) is infinite. In a previous paper the author has proved a similar result for the case where \\(k_ 0\\) is finite. (When \\(k_ 0\\) is finite the free group is non-cyclic of finite rank.) The author considers two consequences of this result.    By standard results from algebraic K-theory it follows that for all \\(m\\geq n\\geq 3\\) and all q, the quotient groups \\(SL_ n(A,q)/E_ n(A,q)\\) and \\(SL_ m(A,q)/E_ m(A,q)\\) are well-defined and (naturally) isomorphic. Further there is a (natural) epimorphism \\(\\theta\\) : SL\\({}_ 2(A,q)\\to SL_ 3(A,q)/E_ 3(A,q)\\) whose kernel Ker \\(\\theta\\) contains \\(E_ 2(A,q)\\). It follows from the above result that Ker \\(\\theta\\) \\(\\neq E_ 2(A,q)\\) for ''most'' q.    A subgroup S of \\(GL_ n(R)\\) is called standard if \\(E_ n(R,o(S))\\leq S\\), where o(S) is the ideal in R generated by \\(\\chi _{ij}\\), \\(\\chi _{ii}- \\chi _{jj}\\), for all \\((\\chi _{ij})\\in S\\). It is well-known that, when \\(n\\geq 3\\), the subgroup S is standard if and only if S is normalized by \\(E_ n(R)\\). Using the above result the author shows that \\(GL_ 2(A)\\) has uncountably many standard subgroups which are not normalized by \\(SL_ 2(A)\\). In addition he shows that \\(GL_ 2(A)\\) has uncountably many non-standard subgroups which are normalized by \\(SL_ 2(A)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089435$AFACD574-4826-42FB-B110-8F4D1209CBD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089435$63CD7FAA-AE33-475B-BA96-D15BF1EAF872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"954cf5edae008665ff61d1308e5316d0138e153a","datavalue":{"value":"20G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089435$5AAAC9F4-EB5D-4739-803C-9C6E6265BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089435$8D0DAF9E-F92E-4001-B73B-A97B2C626DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5db2d04a5a7a4df563d2a486f8007fbd7696b46","datavalue":{"value":"11E57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089435$05EA2026-ED87-49F2-AA06-55ED47B8DBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a54c25d1a981b9a87a11d5823b3dec1c371fc2b","datavalue":{"value":"11F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089435$9CA3DD13-0FEA-45CE-8C6E-C58B59173D87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7e7c84487fedf4bb09f2aa31f92d236c67248b8","datavalue":{"value":"4004473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089435$44952BD0-9C13-44D7-9FB5-9BAB070E450A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204951195d05bb0ceaafc4721003bc5663e19486","datavalue":{"value":"q-elementary matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089435$22C7064D-5CAF-4AA7-B351-48E0C92EEAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ab832031d873a6d6de2a7e101b5db42b835d4c","datavalue":{"value":"coordinate ring of affine curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089435$B2CDA127-CADB-44F3-B801-2AD6143BE2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3e638b439a8ce33a8e994eaa7d1ef9ec9b9535","datavalue":{"value":"free product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089435$B72C9971-EBE5-4F44-A695-C32965A52302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efd9b3e644bd29cadec0a0f40fa30902aed7bddd","datavalue":{"value":"principal congruence subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089435$295ED6E3-AD2E-4F5D-90A7-66CAD87E0E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089435$FC028F8E-3955-4E70-B22D-DC88C07CEAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8485b55dd8068a9abffe3612a048ee64902f020","datavalue":{"value":"standard subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089435$1A255E9D-0C69-47D2-96A9-F7FEB510AEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a95575502d0460e9dc636f3157359a90ca04fa5","datavalue":{"value":"free quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089435$F08161E0-E041-42F6-A944-6EFE6BB45354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bae1b1fe2f5194b6b8cfc4d93813e8929a060793","datavalue":{"value":{"entity-type":"item","numeric-id":721691,"id":"Q721691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$F0A7EE70-89DC-40CA-AA84-7D2605A2849B","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":"Q1089435$F5576CA0-1157-42D8-8AD5-C6C45CC28DA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b39a0c5547ece6377eb44d314213be7c70ca4ad","datavalue":{"value":{"entity-type":"item","numeric-id":1079600,"id":"Q1079600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$F71FC40C-40CD-449F-A305-47EFE520ABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba7416e0d861227117bbaceb6c4654078d813c0","datavalue":{"value":{"entity-type":"item","numeric-id":5590141,"id":"Q5590141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$4838C238-8ED9-49D9-AA24-E2FC99FBB783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c810cfb3374836f7f34d699c63e57a9316d6be","datavalue":{"value":{"entity-type":"item","numeric-id":2532411,"id":"Q2532411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$C6779BF7-CEE5-4BD9-B982-5AF3EB74D456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c479c32d05052d14a2272f1b6d22a9e2b26706f2","datavalue":{"value":{"entity-type":"item","numeric-id":2523579,"id":"Q2523579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$07FB36D0-A7BD-401E-B210-5D3D9553964B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694c7b748c2617733915dd5de0fd6d978b10ab47","datavalue":{"value":{"entity-type":"item","numeric-id":3892433,"id":"Q3892433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$5B857FEC-030E-4962-9FFF-4D4C55797625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a720344adc906bd7caa6b333e245643d49018f4","datavalue":{"value":{"entity-type":"item","numeric-id":3699918,"id":"Q3699918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$50E33F3A-7625-4566-91FA-2366C5C5D5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f857adcac80a01e083701a2a5cb95287764deff","datavalue":{"value":{"entity-type":"item","numeric-id":3748479,"id":"Q3748479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$7805AC72-0F26-4C19-B6FE-D2036EB70DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7014e7f6e1d1ae683174787ef06680e9358995c","datavalue":{"value":{"entity-type":"item","numeric-id":3755651,"id":"Q3755651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$65CABFD8-F015-40CB-960C-E55497BF4379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c461864e6f5966d126c80dfc4cf181e2f984f0","datavalue":{"value":{"entity-type":"item","numeric-id":3689288,"id":"Q3689288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$9ADDB6C0-AAA5-47CD-AD04-B3923986A458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b12ae61f6bb7712ffec6695ec52ed93d2969bd","datavalue":{"value":{"entity-type":"item","numeric-id":3689289,"id":"Q3689289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$DAF8A89D-40EF-4D4B-B0BB-86B0945501B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6d2f1313c06b4fea2720f4225c89aaa8b8c44f","datavalue":{"value":{"entity-type":"item","numeric-id":2553525,"id":"Q2553525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$8063F587-6F5B-4589-AD50-EC5CBA3813CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5635659f322b27b16c570f65b3ee58f4179a04b1","datavalue":{"value":{"entity-type":"item","numeric-id":4132733,"id":"Q4132733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089435$97FE9FA8-5C58-46CF-AC61-987C9E759C85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5eb9be8140c14dbe88df0696ff6e23795bfa13","datavalue":{"value":{"entity-type":"item","numeric-id":3755651,"id":"Q3755651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8a5876ff38a540c426b86fc9ad46c34a44e1c3","datavalue":{"value":{"amount":"+0.8748403191566467","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":"Q1089435$8131362A-B055-4FDE-B6A2-F6C6C8BA3D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9f9d44d505e5b631a7d979615ebe560ca62118","datavalue":{"value":{"entity-type":"item","numeric-id":810640,"id":"Q810640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5863902ca64d7ef3064b916f54eca620694089ad","datavalue":{"value":{"amount":"+0.8643670678138733","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":"Q1089435$C5C6E7A8-D295-4BEB-9F90-D5E16B902862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3deb71e2f28f281e6ae73adca8402e334d1f6a3","datavalue":{"value":{"entity-type":"item","numeric-id":3699918,"id":"Q3699918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518cc5ee40c9075b56c6cbd0568093ad43881022","datavalue":{"value":{"amount":"+0.8467479348182678","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":"Q1089435$D63D5403-55EF-4D47-A89D-AF5D052941C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f6b5096b0e2f477635e2eeb78c4335928c4d24","datavalue":{"value":{"entity-type":"item","numeric-id":3748479,"id":"Q3748479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7027e178c11846b54050f75c682f5c245682a79e","datavalue":{"value":{"amount":"+0.8278390765190125","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":"Q1089435$828DB4E3-B76B-4524-A5F9-EA88868B004B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7bca7d1c04eb2f958dea2ada865fb21b74c487a","datavalue":{"value":{"entity-type":"item","numeric-id":1204536,"id":"Q1204536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b285ce9903836c243ab6cf6d820c92720b8cd13","datavalue":{"value":{"amount":"+0.8240101337432861","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":"Q1089435$C7C7F08F-7B69-46AD-AA89-3B6222914A4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free quotients of congruence subgroups of \\(SL 2\\) over a coordinate ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_quotients_of_congruence_subgroups_of_%5C(SL_2%5C)_over_a_coordinate_ring"}}}}}