{"entities":{"Q2037677":{"pageid":2048419,"ns":120,"title":"Item:Q2037677","lastrevid":54041573,"modified":"2026-01-26T03:45:55Z","type":"item","id":"Q2037677","labels":{"en":{"language":"en","value":"Colength growth functions of nonassociative algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7369715"}},"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":"Q2037677$3E0600FC-9A27-4656-AD3F-B1561673CC4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd3c44869743c67ca310f40a948fb7a0a2b4843b","datavalue":{"value":{"text":"Colength growth functions of nonassociative algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2037677$BE5DE138-CEC9-4149-A93D-C71CEC53C64B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfc5f23d21cec352ab96ded5dd5fe42d2d545cf1","datavalue":{"value":"1490.17006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037677$D268B9D0-B5E7-46EA-9C95-1CB7CAFA7207","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88accd54702ac385d1d5e005cd68e0a48b5b9849","datavalue":{"value":"10.1134/S0001434621030081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037677$AE87903A-FF79-4D73-9229-BFA6A4B6E739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$4584838E-46FE-4A60-8E5A-B1B3965A96AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a1926b5e5d0313a397a856b5060f2ee4412bba3","datavalue":{"value":{"time":"+2021-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2037677$C7226814-56E1-4C97-83F0-2880177B39DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5eb9eb2b67931b43bf411e430b08f1c90d686e00","datavalue":{"value":"Let \\(F\\) be a field of characteristic zero. We denote by \\(F\\{X\\}\\) the absolutely free algebra over \\(F\\) with a countable set \\(X=\\{x_1,x_2,x_3,\\ldots\\}\\) of generators. For every \\(n\\geq 1\\), let \\(P_n\\) denote the space of multilinear polynomials of \\(F\\{X\\}\\) in the first \\(n\\) variables \\(x_1,x_2,\\ldots, x_n\\). Given an \\(F\\)-algebra \\(A\\), let \\(\\text{Id}(A)\\) be the \\(T\\)-ideal of \\(F\\{X\\}\\) of polynomial identities of \\(A\\). It is known that the ideal \\(\\text{Id}(A)\\) is completely determined by its multilinear components \\(\\text{Id}(A)\\cap P_n\\) for \\(n\\geq 1\\). The symmetric group \\(S_n\\) acts on \\(P_n\\) by permuting variables and the space \\(P_n\\cap \\text{Id}(A)\\) is invariant under this action. Thus, the group \\(S_n\\) acts on \\(P_n(A) = \\frac{P_n}{\\text{Id}(A)\\cap P_n}\\) as well. If \\(\\chi(P_n(A))\\) is the \\(S_n\\)-character of \\(P_n(A)\\), then we can write  \\[\\chi(P_n(A))= \\sum_{\\lambda\\vdash n}m_\\lambda \\chi_\\lambda\\] where \\(\\chi_\\lambda\\) is the irreducible character corresponding to the partition \\(\\lambda\\) of \\(n\\) and \\( m_\\lambda\\geq 0\\) is the multiplicity of \\(\\chi_\\lambda\\). An invariant associated to the identities of \\(A\\) is the colength \\(l_n(A)= \\sum_{\\lambda\\vdash n}m_\\lambda\\) defined for all positive integers \\(n\\). Thus, \\(l_n(A)\\) is the total number of irreducible components appearing in \\(\\chi(P_n(A))\\).  The main result of the paper is about a study of colengths of an algebra \\(A(w)\\), the algebra associated with an infinite binary word \\( w = w_1w_2\\ldots\\), where all \\(w_i\\) equal 0 or 1. This algebra is generated by two elements \\(a\\) and \\(b_0\\) with basis \\(\\{a,b_0,b_1,\\ldots\\}\\) and multiplication defined as follows: If \\(w_k=1\\) then \\(b_k=ab_{k-1}\\) and if \\(w_k=0\\) then \\(b_k=b_{k-1}a\\) for \\(k\\geq 1\\), and all the remaining products are zero.  A subword \\(u\\) of \\(w\\) is called a subword of the first type if it occurs in \\(w\\) only after \\(0\\) or only after \\(1\\). If \\(u\\) occurs in \\(w\\) both after \\(0\\) and after \\(1\\), then it is called a subword of the second type. The main result of the present paper is the following result.  Theorem 1. Let \\(w = w_1w_2\\ldots\\) be an infinite binary word. Then \\(l_n(A(w)) = 2k_{n-2}+ 3t_{n-2}\\), where \\(k_{m}\\) and \\(t_{m}\\) are, respectively, the numbers of proper subwords of length \\(m\\) of the first and second types in \\(w\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037677$43A1FD02-87A6-496F-8DA8-EC78430DEDB8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af337cb24b63a0f0f61276ba300cc42fa2013110","datavalue":{"value":{"entity-type":"item","numeric-id":1125908,"id":"Q1125908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$A4C81EA0-8D81-4BCD-8C63-47400D840021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1e037731cf5fe8d56e5ff843e21caf66868428b","datavalue":{"value":"17A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037677$AA5BD8F1-AB98-4D1F-8123-CF31ACBE6089","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a6b0d484af980895bd672aba680e0130713de1","datavalue":{"value":"7369715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037677$64C59AD5-A9A5-4F0C-B434-9E8C97FB033A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e3f554922f9694348e52a5b28c17b7a78d430e","datavalue":{"value":"identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037677$ECC163F2-0087-46EA-BB00-5057DCC5132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018960c8971697680d30806075811e2733ae6959","datavalue":{"value":"colength","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037677$4F7BDA0E-E7F8-4F85-8A8C-990B14B096F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70297e7c6bb1e34614b3e45e30cebd33738a041f","datavalue":{"value":"growth function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2037677$9CE5B728-D481-4A5E-ACA9-2D43B28F2B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de2c0345b7c7e8f6c6a13d45e648949b132240d","datavalue":{"value":{"entity-type":"item","numeric-id":513225,"id":"Q513225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$931C35C7-72CC-48A9-B230-C5B97B9FCA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e92ad84072131137eaa27c5ec1c4b5559c97a58","datavalue":{"value":{"entity-type":"item","numeric-id":1626690,"id":"Q1626690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$522FB225-AB21-41C9-88E5-18A800D27BCC","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":"Q2037677$A5EAE563-3A3F-4510-A289-AFCD80E84AA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3497db5359ece7d4216c59ca6d19d212a1a4e73","datavalue":{"value":{"entity-type":"item","numeric-id":3708192,"id":"Q3708192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$D11B119D-C943-4C1A-9E17-579D1B197CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafd7f5d5dfee5f433567bedcb21499478792a2","datavalue":{"value":{"entity-type":"item","numeric-id":5714236,"id":"Q5714236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$48D48D8B-3A8A-47B7-B4CD-CA517CC97350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151277b5dbf11d0f507824db3495b3692122df47","datavalue":{"value":{"entity-type":"item","numeric-id":1053086,"id":"Q1053086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$A29ED286-96ED-4887-947D-4E75438996C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67af055279cfb57f8c45004421d3676d7c4e79a","datavalue":{"value":{"entity-type":"item","numeric-id":4526849,"id":"Q4526849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$378C4919-A2CA-467E-A5D6-BBE05964AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4753cb29d496bfb8d2f9d4627493340809bbc88","datavalue":{"value":{"entity-type":"item","numeric-id":4513314,"id":"Q4513314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$F9B0DA31-14A1-4A58-A9A9-E9A96690B280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b00923f8258e6691698f4a04598bf0d227b136","datavalue":{"value":{"entity-type":"item","numeric-id":863319,"id":"Q863319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$7FB36734-C96F-4FB7-9EB1-00F1A8C1E1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a01c96effb2d5613686d0d0fa5d34144a5a1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2469879,"id":"Q2469879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$F38B2D33-4B28-4BDA-A4F5-31CA649879FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734f2d2564e9215c88f00ae791e0c94a90b7598d","datavalue":{"value":{"entity-type":"item","numeric-id":2513115,"id":"Q2513115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$4AD32904-CFC0-494A-A1E9-F06F0F9DC52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b79cd9c1855c4b4e89845a16200b5ef0acb864c","datavalue":{"value":{"entity-type":"item","numeric-id":3889234,"id":"Q3889234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$E7B85B9D-4096-4853-A814-5434DC99A437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab6e4abf44ea36834e7a73fa6d0f301aea1f4330","datavalue":{"value":{"entity-type":"item","numeric-id":5239705,"id":"Q5239705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$F87B0881-014C-4B9C-9678-EE712EEF821E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b27328c0ab8ee0c57e871b19e12754f7bf7b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1709450,"id":"Q1709450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$58732417-F051-44B6-974F-595D78B4877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727dd49fc66f3b42f58e087d9acf968012147c31","datavalue":{"value":{"entity-type":"item","numeric-id":2191322,"id":"Q2191322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$3EA2FBE3-E6A0-4600-AB04-19610F71D868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e40a10a0380768ba686eb651409441f6ece2b85","datavalue":{"value":{"entity-type":"item","numeric-id":2191357,"id":"Q2191357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$18EE0D11-7F24-4ED0-BE20-805C55FFE0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1189c8fdbd03a5a2ab0200520fecdbfb0fd1f74","datavalue":{"value":{"entity-type":"item","numeric-id":3688524,"id":"Q3688524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$70A3C7D4-8BAA-4B41-88B1-5124EF029B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ad70e49821c2df0a9be13905eb4aa38c3e6e34","datavalue":{"value":{"entity-type":"item","numeric-id":1252412,"id":"Q1252412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$CA759BCB-4932-4413-BBDB-1B21A2A2607F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3aea828b0deb29f03e2a559aea76f96577aa5b","datavalue":{"value":{"entity-type":"item","numeric-id":4412109,"id":"Q4412109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$F3FDCCC9-D005-4892-A354-3526F287C830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3aab17863752c91630095edcd580589cde433e9","datavalue":{"value":{"entity-type":"item","numeric-id":4680726,"id":"Q4680726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2037677$9D5AE2B7-4845-499A-94D5-7E3D3978F3EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3162b4d1a9dcecb39fee334fa55b1fd5e02cda2c","datavalue":{"value":"https://doi.org/10.1134/s0001434621030081","type":"string"},"datatype":"url"},"type":"statement","id":"Q2037677$8326018F-4DE9-4E97-81D4-CFF07D5AA3E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f472c88ba6ae1d469800865fac2b20a60817f6c9","datavalue":{"value":"W3179361292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2037677$BA9FC9E3-84AE-433A-87E5-442CCB1C4705","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e569abc89a9632617b55b593791af35a494bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2191322,"id":"Q2191322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c80ccb0c9c0ec977b52bcf647994fe938aa102","datavalue":{"value":{"amount":"+0.8292011022567749","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":"Q2037677$AE3E9C3F-223D-4A38-8B64-6031E6954A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b936e60fd07c290be6670da2fce2b41f3a2450b","datavalue":{"value":{"entity-type":"item","numeric-id":881028,"id":"Q881028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d75159174384b3ed765bfb0843571b6f4fb9fa","datavalue":{"value":{"amount":"+0.8021857142448425","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":"Q2037677$C7DCCB2E-2247-4091-9C86-DADB6F074FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86120f7ae978deefeee152c267d05f3c631b9b1","datavalue":{"value":{"entity-type":"item","numeric-id":863319,"id":"Q863319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4254e1626068ea995e8d8763d238cef5b46a9c40","datavalue":{"value":{"amount":"+0.7869603037834167","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":"Q2037677$79D45DFA-FEC3-422A-8251-A9529D743889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a34d23881416c5fccee5db24d0a12a940dda1d","datavalue":{"value":{"entity-type":"item","numeric-id":2404203,"id":"Q2404203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f6285392923099f4d2baaa8aa06f142a852f22","datavalue":{"value":{"amount":"+0.7860798239707947","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":"Q2037677$71353CF3-950F-4EEF-A9D7-C19920D59599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1531f25b89db0b4707791336198341fbacb7b57c","datavalue":{"value":{"entity-type":"item","numeric-id":2191357,"id":"Q2191357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec2382615350f71b1400a56cb583b81c2ae0834","datavalue":{"value":{"amount":"+0.7831507325172424","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":"Q2037677$A3833CA2-024F-4909-AFCA-731AA264F35B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2037677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2037677"}}}}}