{"entities":{"Q1814404":{"pageid":1825146,"ns":120,"title":"Item:Q1814404","lastrevid":70902522,"modified":"2026-04-13T18:06:51Z","type":"item","id":"Q1814404","labels":{"en":{"language":"en","value":"Faithful linear representations and residual finiteness of some products of cyclics with one relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10733"}},"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":"Q1814404$7803B95D-5E74-4681-BAAF-174C73D639D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b66a432a8de281e275c28cc042e355a1c3155840","datavalue":{"value":{"text":"Faithful linear representations and residual finiteness of some products of cyclics with one relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814404$ED664242-8191-4D5C-B0CB-1F0690B2DB9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53b3cd91392fac18b259a1070836a560905a4985","datavalue":{"value":"0819.20026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$5EA1002D-DA29-4A9E-ABED-5C80CBCDF404","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd95c74f0f0e7a892f65c90464e7e7ca77aeaa66","datavalue":{"value":"10.1007/BF00970180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$EE307A1F-F656-4F09-838E-D6B5A91CE578","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814404$19009275-64CB-4655-927D-0DB49D66223B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814404$EBBB0784-931A-44C9-8E02-C8324DBF27FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65142cc947ae88a79b2ce735d0abc3ec2f9e88fc","datavalue":{"value":"A group of the form \\(G = \\langle a_ 1, \\dots, a_ n \\mid a^{e_ 1}_ 1 = \\dots = a^{e_ n}_ n = R^ m(a_ 1,\\dots, a_ n) = 1\\rangle\\), where \\(n \\geq 2\\), \\(m \\geq 2\\), \\(e_ i = 0\\) or \\(e_ i \\geq 2\\) for all \\(i\\), and \\(R(a_ 1,\\dots, a_ n)\\) is a cyclically reduced word in the free generators \\(a_ 1, \\dots, a_ n\\), properly containing them all, is called a product of cyclics with one relation. In [Proc. Am. Math. Soc. 102, 249-254 (1988; Zbl 0653.20029)] \\textit{B. Fine, J. Howie} and the author proved that the Freiheitssatz holds for \\(G\\); i.e., the subgroup generated by the elements \\(a_ 1, \\dots, a_{n-1}\\) is a free product of cyclics. The proof uses a representation of \\(G\\) in \\(\\text{PSL}(2,\\mathbb{C})\\). If this representation is faithful, then \\(G\\) is residually finite by Mal'tsev's theorem. In general, a faithful representation \\(\\rho : G \\to \\text{PSL}(2,\\mathbb{C})\\) does not exist. It would be interesting, in this connection, to find conditions on the group \\(G\\) that would guarantee its faithful representability in \\(\\text{PSL}(2,\\mathbb{C})\\). In the present article, we prove the following partial result. Theorem. Let \\(G = \\langle a_ 1,\\dots, a_ n \\mid a^{e_ 1}_ 1 = \\dots = a^{e_ n}_ n = (U(a_ 1,\\dots, a_ p) \\cdot V(a_{p+1}, \\dots, a_ n))^ m = 1\\rangle\\), where \\(m \\geq 2\\), \\(n \\geq 3\\), \\(1 \\leq p \\leq n-2\\), \\(e_ i = 0\\) or \\(e_ i \\geq 2\\) for \\(i = 1,\\dots,n\\), \\(U(a_ 1,\\dots, a_ p)\\) is a nontrivial word in the free generators \\(a_ 1,\\dots, a_ p\\), and \\(V(a_{p+1}, \\dots, a_ n)\\) of finite order, and not a proper power. Then \\(G\\) admits a faithful representation in \\(\\text{PSL}(2,\\mathbb{C})\\), and, hence, is residually finite. It follows from this theorem that the fundamental groups of certain 3-manifolds admit faithful representations in \\(\\text{PSL}(2,\\mathbb{C})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814404$FF5BA042-B1D8-497E-9106-1557CC33601C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$3BE425D4-C7F6-41E2-BF34-6EE5DE298ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$592C0BF6-1A86-4889-B9C9-3D6BC320F58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$9B68F957-65E0-4A1A-883B-4329035CA39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b90db52ca12088dc08c74afaecb99f82acc3eec","datavalue":{"value":"20F34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$ABFBE529-A714-407D-BCCE-B9327D7954C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$396513DC-8553-446A-B23B-DC24CF3D2385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$97A844BE-E966-496B-9A07-B33ED73F3BD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69304d2dc65ad6aee71e6006b975173193bb4576","datavalue":{"value":"10733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$3FFB2E15-469A-4BE9-B327-606929C16F7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6b99b476daba0feba9f2f46132b1fe1e978e84","datavalue":{"value":"free generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814404$71B2EF92-96BD-4643-997E-F7E4D8EB4DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e07194512d6a4d1416a985996f5faee64052af","datavalue":{"value":"products of cyclics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814404$A9FC905A-A0CA-4DC6-A243-303BC6DC7A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0f98894baed3c586addce4482813db621763a9","datavalue":{"value":"Freiheitssatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814404$2944E519-5BBC-456F-BAE2-2F595DBF009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d149dd567e13f199d184a9fba04d53f6bad275","datavalue":{"value":"free products of cyclics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814404$DA2F91B1-656D-4E86-91F4-58FF52165FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8fa343e3a65fea94fa239d9239103e3168eff12","datavalue":{"value":"faithful representability in \\(\\text{PSL}(2,\\mathbb{C})\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814404$980130A9-B6D8-4946-8D6B-620ECF44CFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6ed73bfc727b1c3fccd856b5680795101a78a8","datavalue":{"value":"residually finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814404$95B3725A-81E7-494D-9102-017E34CE1F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b10d51bd74d748506115d31f2f26a17ef98055","datavalue":{"value":"fundamental groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814404$E2B6141E-91C3-4487-951F-85146513ED63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe1017c2329d360e9d559f54fb1de0ad30658584","datavalue":{"value":{"entity-type":"item","numeric-id":203188,"id":"Q203188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814404$81F3323A-233B-490E-B12B-94625A681CBE","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":"Q1814404$D1BD02D4-9BFC-44FF-A24F-129102B85FD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7e97726e9c727024a1b1aabd7e4696b91292b7","datavalue":{"value":{"entity-type":"item","numeric-id":3798862,"id":"Q3798862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814404$0A0C5B18-0022-47C5-88B3-5300DC4F9C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814404$03317B35-908C-436E-B004-531198A6133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a232ba8c7dc237d176a0fa29e3e96fc88803872","datavalue":{"value":{"entity-type":"item","numeric-id":1141946,"id":"Q1141946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814404$7DA395F2-1E7D-4234-848A-C0308E4D1152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db795f590fa05974edd8b6ead2e81b1c536c648","datavalue":{"value":{"entity-type":"item","numeric-id":1255093,"id":"Q1255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814404$F5EE990E-B053-4168-9130-EDF0136683E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d73464b124f7bfcf16993ef1fececb3d3f35c03a","datavalue":{"value":"https://doi.org/10.1007/bf00970180","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814404$8FF41CD1-B8E1-4CC8-90A5-39EF7966AB08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca7bea395ba75ef81f4b320346815130aa110c2e","datavalue":{"value":"W2064675413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814404$0794B473-D6DE-4248-B009-59F454374B8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346af1aea586e0308753f0de1e6cf19b4617af3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346041,"id":"Q4346041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8028d53eab82cdc420b5037ae8e8b8cc19820d","datavalue":{"value":{"amount":"+0.8257763981819153","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":"Q1814404$358DB9EB-DE7E-4B80-AA12-6EF1E887606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9b017eba293c7d57b8bbdf583f2f6868221fcf","datavalue":{"value":{"entity-type":"item","numeric-id":3798862,"id":"Q3798862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1854ba4bb67e95ee511d189d61aa4b199683dd65","datavalue":{"value":{"amount":"+0.8197854161262512","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":"Q1814404$EC5003D2-31AF-4719-85C6-DC00A2C1C158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a7ef6ce2dd29e0369e83acba86748311be073a","datavalue":{"value":{"entity-type":"item","numeric-id":2796897,"id":"Q2796897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90296db19a89e8c0168cf723f864720bcf22dd47","datavalue":{"value":{"amount":"+0.8006791472434998","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":"Q1814404$2EF6D603-984C-4F41-B084-EDD45515CDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4063ad54d429e47a7239bcaec7fc8cb05e00075","datavalue":{"value":{"entity-type":"item","numeric-id":2873320,"id":"Q2873320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75be5a69cdb76e5b6a8165ae180bed5e09edf46f","datavalue":{"value":{"amount":"+0.7864125967025757","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":"Q1814404$430ECD60-3274-4A61-ACA5-8F8CC56BF25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51308ea74897cb00b56d5fbbde7e08b61c2011c4","datavalue":{"value":{"entity-type":"item","numeric-id":3759027,"id":"Q3759027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273103adec53d4d5b5edcfb8837879a09a17377a","datavalue":{"value":{"amount":"+0.7856267094612122","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":"Q1814404$96B84F33-B8FE-4648-B894-10213C663206","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Faithful linear representations and residual finiteness of some products of cyclics with one relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Faithful_linear_representations_and_residual_finiteness_of_some_products_of_cyclics_with_one_relation"}}}}}