{"entities":{"Q798774":{"pageid":800622,"ns":120,"title":"Item:Q798774","lastrevid":48740209,"modified":"2026-01-05T18:22:17Z","type":"item","id":"Q798774","labels":{"en":{"language":"en","value":"A criterion for occurrence in a subgroup generated by two-dimensional elementary matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871651"}},"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":"Q798774$B60C7781-A0D6-4CB9-905D-A34AA21985DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"918c70b549b4b9fa85e76d36dd1813ec8fbdc268","datavalue":{"value":{"text":"A criterion for occurrence in a subgroup generated by two-dimensional elementary matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798774$60EA2F08-0F9B-4EE7-8883-41D15AE605A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e01624871a85df3b3e279db2425b72ecc4bf9ad","datavalue":{"value":"0547.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$5A42C7B4-41EF-4B15-8B88-191FD5167046","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aead467fd2b46d1feb9dc6a8849554717ee95e5","datavalue":{"value":"10.1007/BF01982112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$093329D5-3E92-4489-8BDC-EB951F8F3C49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0290d4ea0d3583d4672f4404ddacce3c6562d32","datavalue":{"value":{"entity-type":"item","numeric-id":788840,"id":"Q788840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798774$A35E2FD8-5CE9-442E-9C63-3EC9AD84B7EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798774$FF2EB7A1-562D-4F4A-B247-4949E203550B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q798774$DBCFF46A-2AC2-451A-91AC-38A041823EB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d991dce42f3e735738520b34f46bb5503f3997a","datavalue":{"value":"https://eudml.org/doc/187236","type":"string"},"datatype":"url"},"type":"statement","id":"Q798774$51408AB5-8B9A-43D1-A5E2-209EB0B1756A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"600ee7d954a0da8e271d672b5186a48861f91367","datavalue":{"value":"In this very interesting paper, the author describes two remarkable algorithms for \\(2\\times 2\\) matrices -- the one dealing with matrices over \\({\\mathbb{Z}}\\) and the other with matrices over the polynomial ring \\(R=K[x_ 1,...,x_ t]\\), where \\(K\\) is a (commutative) field. The first algorithm decides when an element \\(x\\) of \\(SL_ 2({\\mathbb{Z}})\\) lies in the subgroup \\(H_{m,n}\\) generated by \\(a=\\left( \\begin{matrix} 1\\quad m\\\\ 0\\quad 1\\end{matrix} \\right)\\) and \\(b=\\left( \\begin{matrix} 1\\quad 0\\\\ n\\quad 1\\end{matrix} \\right)\\), where \\(m,n\\) are given integers \\(\\geq 2\\). A simple necessary condition is that \\(x\\) should lie in the subgroup \\(G_{m,n}\\) of \\(SL_ 2({\\mathbb{Z}})\\) formed by the elements \\((x_{ij})\\) satisfying \\(x_{11}\\equiv x_{22}\\equiv 1(mod mn),\\quad x_{12}\\equiv 0(mod m),\\quad x_{21}\\equiv 0(mod n)\\). For each \\(x\\in G_{m,n}\\), the author defines a corresponding integer \\(s\\geq 0\\) and function \\(\\phi\\) such that \\(x\\in H_{m,n}\\) if, and only if, \\(\\phi\\) (k)\\(\\leq 0\\) for \\(k=1,2,...,s+1.\\) The method not only shows that \\(H_{m,n}\\) is freely generated by \\(a,b\\) but even produces the indices in the expression of an element of \\(H_{m,n}\\) as a product of powers of \\(a,b\\). The author's results confirm those of \\textit{I. N. Sanov} [Dokl. Akad. Nauk SSSR 57, 657-659 (1947; Zbl 0029.00404)] for the case \\(m=n=2\\) but disprove a (later retracted) claim of \\textit{J. L. Brenner} [C. R. Acad. Sci., Paris 241, 1689-1691 (1955; Zbl 0065.254)] concerning the general case \\(m=n\\geq 2.\\)    With \\(R=K[x_ 1,...,x_ t]\\), as above, let \\(GE_ 2(R)\\) denote the subgroup of \\(GL_ 2(R)\\) generated by the elements of the forms \\(\\left( \\begin{matrix} 1\\quad\\alpha \\\\ 0\\quad 1\\end{matrix} \\right)\\), \\(\\left( \\begin{matrix} 1\\quad 0\\\\ \\beta\\quad 1\\end{matrix} \\right)\\), \\(\\left( \\begin{matrix} \\gamma_ 1\\quad 0\\\\ 0\\quad\\gamma_ 2\\end{matrix} \\right)\\). The second algorithm, which has many points of resemblance with the first, decides when an element of \\(GL_ 2(R)\\) lies in \\(GE_ 2(R)\\). For \\(t=1\\), it is well known that \\(GE_ 2(R)=GL_ 2(R)\\); but for each \\(t\\geq 2\\), the author constructs a non-cyclic free subgroup of \\(GL_ 2(R)/GE_ 2(R)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q798774$D79E3550-ECAD-4BF0-80A3-E4D6CDE7C97B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$F6645729-9246-4F84-A4B7-F362DF76AD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a54c25d1a981b9a87a11d5823b3dec1c371fc2b","datavalue":{"value":"11F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$F0CE8319-C30E-4CEE-AE1E-9B865B6BA9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$959255B4-E5A8-492C-BC42-958F053B9678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37f17b3e9849dd0379a45db8d24729a21e1aaa17","datavalue":{"value":"20H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$42FCA169-FFC3-4916-B269-19DFB64F1508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$50F9A022-AC4C-4618-8222-89ACFEB2C09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$0A35C045-EE2F-4C4D-902C-DD6148464610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aea409b748aec535aecadf6f84858ff8d9d30538","datavalue":{"value":"3871651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798774$CFF7DD4C-3B1E-4B03-9CA9-2603A3CA7DC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0701996e3be2cdffd66e1f1ba93a2abc4a5215de","datavalue":{"value":"product of elementary matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q798774$2B462672-D80E-46E8-BF11-32ADDFA00B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37b1bb2d11384005518e1c384aa53a096aaebcc","datavalue":{"value":"elementary matrices over polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q798774$B1CAD303-6369-4F7F-98B7-512B37EDA381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7191e93f6388f761f22d1012c938ebab3a8424e8","datavalue":{"value":"algorithms for \\(2\\times 2\\) matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q798774$D9C94879-56BB-4819-886C-A3ED1972C47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c663a135e61c949af35f86c88a6b6036ffdada28","datavalue":{"value":"non-cyclic free subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q798774$AF0A6DF3-DBB7-4CF7-A072-948443898952","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"739f2100cdf38fc5e2b04e2142dd18ad3c85c014","datavalue":{"value":{"entity-type":"item","numeric-id":757536,"id":"Q757536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798774$662A8F58-1885-43E7-ACDC-876332AF369F","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":"Q798774$1203D21B-8D73-4A9C-8997-127CE6E60B9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"515355d03088b752daffc8f34c6d650bbfbe6323","datavalue":{"value":{"entity-type":"item","numeric-id":5849818,"id":"Q5849818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798774$98248DC2-1F08-4A44-A5A6-F7D691792EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8879b5d9fede2ba3c0ffcc5519d03b32ef379b8e","datavalue":{"value":{"entity-type":"item","numeric-id":774842,"id":"Q774842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798774$5A3AB775-C18E-4ECC-A283-F491CE9C4D21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78fcc786422a8839280d2305ced07208a4dfe31","datavalue":{"value":{"entity-type":"item","numeric-id":2322854,"id":"Q2322854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c372b2b5c8168ea7bf7f0cb70e572960c079f076","datavalue":{"value":{"amount":"+0.8208142518997192","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":"Q798774$E36237C5-8FD7-488F-87CC-8D52345536EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ed9508180d027b30e09f910e2e954189ceea6e","datavalue":{"value":{"entity-type":"item","numeric-id":515615,"id":"Q515615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e26d9b1715d8e2256bfae5e1ed72e51b9e99b90","datavalue":{"value":{"amount":"+0.800803542137146","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":"Q798774$BC416010-0B1B-4D67-9610-5097C85797A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4be721d0c26f3e5be455d279d6c0ac7e33ede83","datavalue":{"value":{"entity-type":"item","numeric-id":5120199,"id":"Q5120199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366cb9a081121d38a8bb82d43ebb7109fa7bb7fa","datavalue":{"value":{"amount":"+0.7995620369911194","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":"Q798774$59867D71-3F5A-4F21-A220-43D3124B7D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a26d752535bc536fa8fc793703b99abe067760","datavalue":{"value":{"entity-type":"item","numeric-id":3695470,"id":"Q3695470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a994169cc2d1cd76f7e6c2a07eb29c898ffbc5f","datavalue":{"value":{"amount":"+0.7910250425338745","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":"Q798774$B6B476C7-E32D-4290-8CB1-4E25A7D4975C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bdfbb026742d3b9cbdce1ede6d6441599eed9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2878809,"id":"Q2878809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942e62ad2f73426a0da6174c32f90be6938c68cd","datavalue":{"value":{"amount":"+0.7778862714767456","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":"Q798774$C4981889-CCBF-40B8-AA3B-7547A6ED05C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798774"}}}}}