{"entities":{"Q1042888":{"pageid":1044736,"ns":120,"title":"Item:Q1042888","lastrevid":66613968,"modified":"2026-04-12T11:18:45Z","type":"item","id":"Q1042888","labels":{"en":{"language":"en","value":"Schreier rewriting beyond the classical setting."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5643403"}},"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":"Q1042888$57E9FFDF-D918-4A93-ADF5-2B2B724903E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a015d90010329a29907a767aba787820c9abc6c3","datavalue":{"value":{"text":"Schreier rewriting beyond the classical setting.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1042888$C340C8EC-9CD0-48D6-B37B-0DEB8B31F1A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd1c62ac973201dab8b994e9f261aa4c3061d5c5","datavalue":{"value":"1250.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$5FABEEAB-3A42-4843-ACC0-445C901DBFC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$704ACC41-B87F-422B-A171-03BD8916A2F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd9fc0199ecf320922cde3a32c661a80f4bb3d0","datavalue":{"value":{"time":"+2009-12-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":"Q1042888$F63F6AEB-39AD-464B-9B2A-BB76E01CC028","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bbd1e5173026076c3dc7cafd7634464a1faefb6","datavalue":{"value":"https://arxiv.org/abs/0811.1336","type":"string"},"datatype":"url"},"type":"statement","id":"Q1042888$B80BE1A6-56EE-450E-BA23-EC34F751F8ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f5cfa9dff093bccc3d908174c93cb3c851fce91","datavalue":{"value":"Let \\(A_1,\\dots,A_s\\) be transformations of a set \\(M\\). Then \\(M\\) naturally acquires the structure of a \\(W\\)-set, where \\(W\\) is a free monoid of rank \\(s\\) or a free group of rank \\(s\\), if these transformations are invertible or, finally, a free associative algebra of rank \\(s\\) (respectively, the group algebra of a free group of rank \\(s\\)) if \\(M\\) is a vector space and all transformations are linear (respectively, linear and invertible).   In case of actions of the free monoids, the authors establish a Schreier type formula in terms of formal power series on the ranks of subactions in terms of the ranks of actions. Also, they establish Grassmann-type relations for the ranks of intersections of subactions of free actions, this may be viewed as an analogue of Howson's formula in group theory.   Next, the authors study the coset action of the free group and establish a generalization of the Schreier formula to the case of subgroups of infinite index in the following form.   Theorem. Let \\(H\\) be a subgroup of a free group \\(F\\) of rank \\(r\\geq 1\\). For each coset \\(Hg\\), \\(g\\in F\\), we choose an element of the shortest reduced length and let \\(c_n(F/H)\\) be the number of cosets of the shortest reduced length \\(n\\), \\(n\\geq 1\\). Next consider the Hilbert series \\(\\mathcal H(F/H,t)=\\sum_{n=1}^\\infty c_n(F/H) t^n\\). Then \\(H\\) has a symmetric set of free generators \\(B\\) with the following properties. Let \\(c_n(B)\\) denote the number of elements in \\(B\\) of reduced length \\(n\\), and set  \\[ a_n(B)=\\tfrac 14 c_{2n-2}(B)+\\tfrac 12 c_{2n-1}(B)+\\tfrac 14 c_{2n}(B),\\quad n\\geq 1. \\]  Denote \\(\\widetilde{\\mathcal H}(B,t)=\\sum_{n=1}^\\infty a_n(B)t^n\\). Then the following relation holds:  \\[ \\widetilde{\\mathcal H}(B,t)=\\left(rt-\\tfrac {t+1}2\\right)\\mathcal H(F/H,t)+\\tfrac {t+1}2. \\]  Finally, the authors use Schreier techniques in the case of so called large modules over free associative algebras. Here the authors use large modules to produce examples of finitely generated nil-modules with additional properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$E84CBB4C-BE3B-40E7-A341-9865ABD3322E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$81518DE7-B59C-4332-A554-9110F7D47CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$FC21B28B-CC44-4D22-9EAC-4059C2C63E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f254a07a459db04e7ab2cb6c12a95178f0b72f25","datavalue":{"value":"17A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$99542095-62D7-4590-9D82-FE75A8EA5EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$6133D02C-4B7F-4F69-B769-44D49054663F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9869d6727426fa925115c8692e8e1b59eda63fae","datavalue":{"value":"16S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$0EB86D0B-B794-4AAA-B159-A5067A75AC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"134aba7e27301d6a76eb8b5aa80bb8b775a16dfa","datavalue":{"value":"16P90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$51CF8A47-DA8E-4016-BD45-BE08CED85AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$277BF626-5C5C-460B-926D-A5188C18FCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e44886d86b7e4edd90303c512458ec5cc0ca9f79","datavalue":{"value":"20F69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$8EEA7699-5C49-4420-8172-47A39473694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$9EA90FF3-4D16-41FF-B2ED-C342F83B0240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df628336ed55dc453a2ce560a20b28be3cf88ff4","datavalue":{"value":"5643403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$8281F401-EB35-42E0-B511-E73C61A8B4C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b39f4e92adec606cf5e26c84455550bea5bb5466","datavalue":{"value":"free associative algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$3C03A236-B9BF-4B86-9458-7D1A1B5456C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$EFD79F49-7167-445E-BF5D-4425BB3CDD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45dc8d0775b72d85f76db1a45564d427129f1a46","datavalue":{"value":"Schreier formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$74E36408-69E0-44C6-BD5C-C4B25AD9A440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48b241c2e53ac9c4073e4f6a37f6442b7c79d7d","datavalue":{"value":"free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$1E6FB60C-6B75-4D39-B141-C7A94C85CDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6b99b476daba0feba9f2f46132b1fe1e978e84","datavalue":{"value":"free generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$5FC51190-0A56-4267-B810-4E33D9EEBA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931fc00879af8b0f86011ef32c390fa4802ca84e","datavalue":{"value":"generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$17DF467C-4AF8-4655-8912-143D0813E214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7352f8cfdf2c4e6b5376e22d251489947a5ac24d","datavalue":{"value":"free actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$E10CCCF4-A476-457E-82A6-2DBDF05F3E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e60dd669a555f62c807d64cd8c1cb6ce9ee9cc","datavalue":{"value":"Hilbert series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$94E387BE-800D-4FF8-A57F-A444871CB736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57cc8b77772051851ea8b7835b6c8397f9d31e7","datavalue":{"value":"free group algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042888$2550A32F-9C74-45F7-95AE-33E1B08CC479","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea28eee0f465680c6747fc7ad8289b12666bde16","datavalue":{"value":{"entity-type":"item","numeric-id":1093713,"id":"Q1093713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$63B57A70-037A-4B8A-BC55-5C47C6C18301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b355aee7ddf8eb2827aa952bd026a74b6dfa11c0","datavalue":{"value":{"entity-type":"item","numeric-id":1408937,"id":"Q1408937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$11CE28F4-43ED-4587-90E2-9EB6AC720EA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf3fe0662d9758d0f1d395df1f704ae4c38df1f7","datavalue":{"value":{"entity-type":"item","numeric-id":531923,"id":"Q531923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$0EAB6209-36DF-475F-B85A-071BCDD420EC","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":"Q1042888$1B9816EF-63FD-4139-A4F3-00D3CC629D9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad72c9491a88d0d5a0ae06d9ac0d3000e78c7c5e","datavalue":{"value":"W2008553306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$2DA9E67F-2C99-40FC-BE61-52ACEE8D4DBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb79b1c45794b3bee6029be5f7b42a0fc28c4b8b","datavalue":{"value":{"entity-type":"item","numeric-id":876361,"id":"Q876361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$97013DD2-0FE9-4B61-985D-26E74D081AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c339faf6424653b0d50cffdcf5c8a8da9c2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5438444,"id":"Q5438444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$FF998DE4-FA69-4874-B42C-293A107EECCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$4A993143-3C24-42FF-83CD-530DF41370F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c552a89d609f6f538d04e78f7736fabde77063a2","datavalue":{"value":{"entity-type":"item","numeric-id":5639812,"id":"Q5639812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$EEB8D6B4-05CA-4E64-A344-75789FE3CDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b74d815ba6afa7beb774e686c226565565e8e9","datavalue":{"value":{"entity-type":"item","numeric-id":1580895,"id":"Q1580895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$1DA10FA1-DE9B-4284-9560-2E00B97E91EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46fe75f2cd1fd3fac269e2b95ffa15ee474cb95b","datavalue":{"value":{"entity-type":"item","numeric-id":5610415,"id":"Q5610415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$33EF9440-026A-4E6C-BDBE-A3F371D810BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b2639d6772def22d4272e7071568a0f39312a1","datavalue":{"value":{"entity-type":"item","numeric-id":4300256,"id":"Q4300256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$DE8F6BA5-0CAA-4AD2-9852-8A311228FB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280ade1b32e8c60a5983b1b9f0f1049f9968f47e","datavalue":{"value":{"entity-type":"item","numeric-id":1593473,"id":"Q1593473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$3FAA7116-46A1-46B4-812A-B425E9E38B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78ea03da6d77210b2496ebe9495782263bc32f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703968,"id":"Q5703968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$3DEDA1F9-B7C0-4189-B6AC-8E1268BB3025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1594651346be0cf1473e3c8f6a0563918011a6b9","datavalue":{"value":{"entity-type":"item","numeric-id":3577669,"id":"Q3577669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$C5E8B681-08B1-426E-AF56-A29F59F26720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8fa3bb038a8ad0faf0dcfff21acfb0df29f13d","datavalue":{"value":{"entity-type":"item","numeric-id":4169053,"id":"Q4169053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042888$C1E28FE7-EF5D-4CB0-8FAA-420E22C1900A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0efda4f72dbde5fd304d7545a54c2e7719e9fae","datavalue":{"value":"10.1007/S11425-009-0027-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042888$5A363CDD-F377-432C-A486-C82488FD8475","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26687a4bb40552164fc9c1da706720cdf8d9543","datavalue":{"value":{"entity-type":"item","numeric-id":4240298,"id":"Q4240298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f9db6c69516048eb847d82f14bf04f0f6c8588","datavalue":{"value":{"amount":"+0.7519176602363586","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":"Q1042888$2C3E5F06-12A3-4AE5-83B5-4A4F13FA417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6cdb9e0d914ed410556c5b871ee01db77f9772","datavalue":{"value":{"entity-type":"item","numeric-id":4474886,"id":"Q4474886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ade9226803928e70d2acf6e308d02ef77382cd","datavalue":{"value":{"amount":"+0.750673234462738","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":"Q1042888$15510588-97C2-4FB8-9FFA-5C818D2EE979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46cc6a39dd593cc64473719efbc9705a278ff6e","datavalue":{"value":{"entity-type":"item","numeric-id":4494225,"id":"Q4494225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53be2838136c8e9298ec491e4ba87f056eb7dd2","datavalue":{"value":{"amount":"+0.748633086681366","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":"Q1042888$A23FCB0B-F2AA-4069-802B-A7BE2E9EF6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d4c64ca2bfe3a36633fd58dd9766caaed2037f","datavalue":{"value":{"entity-type":"item","numeric-id":1580895,"id":"Q1580895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03df5d77337ca9501a07518b1af8dff99cc5d3f","datavalue":{"value":{"amount":"+0.744549036026001","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":"Q1042888$B8BE74A9-5A53-45B2-8CCF-D7F89C17C539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88663bc40b88c53b15705358bfe817c40c20b28","datavalue":{"value":{"entity-type":"item","numeric-id":3577669,"id":"Q3577669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d62b6c46ce143af55cc8c00f00293cd0165982","datavalue":{"value":{"amount":"+0.7297484874725342","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":"Q1042888$1B35AAB8-498A-4776-B87A-CAFF0C43DA49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Schreier rewriting beyond the classical setting.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Schreier_rewriting_beyond_the_classical_setting."}}}}}