{"entities":{"Q848527":{"pageid":850375,"ns":120,"title":"Item:Q848527","lastrevid":64803051,"modified":"2026-04-11T22:19:50Z","type":"item","id":"Q848527","labels":{"en":{"language":"en","value":"Functionally recursive rings of matrices -- two examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5677319"}},"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":"Q848527$485BD1D9-855C-4EF9-82A8-3044EAEDBFB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0554aec995286e7120a5a931ef10d606d1c177b","datavalue":{"value":{"text":"Functionally recursive rings of matrices -- two examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848527$A23FC2A9-65BF-4A8F-BDE5-050E19A3BB1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8eab282a55912295f8dad32b2dbf97d6b74a1c1","datavalue":{"value":"1187.15021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848527$CE883F43-C299-454A-B3E5-54D879E7AD0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$B0116115-4D0B-460C-BA86-386CAF08911D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$CB2C03D9-9B6F-45E8-AF8F-5B0EAA6C91F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"355ea7e9fd14aaadfb5a5632e845e3bf053937d3","datavalue":{"value":{"time":"+2010-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q848527$09D6FCAC-7030-4681-8F0E-DB323B9B3B04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df20440d4333ea6f11c7ba9d0b752c5a5b46d34a","datavalue":{"value":"https://arxiv.org/abs/0812.4057","type":"string"},"datatype":"url"},"type":"statement","id":"Q848527$9B884E59-5B80-46BA-8DE9-F62AEBFAD7DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dd2f19571cdf70648aaa4906d459ecaa0837b170","datavalue":{"value":"Let \\(Y\\) be a finite alphabet of size \\(m\\) and let \\(S\\) be the free monoid consisting of all words on \\(Y.\\) For any field \\(k\\) we can consider the monoid ring \\(V:=kS\\) which is a \\(k\\)-algebra with basis \\(S\\) and multiplication determined by the multiplication (concatenation) in \\(S\\). Let \\(V_{n}\\) be the homogeneous subspace of \\(V\\) whose basis is the set of words of length \\(n\\), and let \\(E\\) be the ring of endomorphisms of \\(V\\) which map each \\(V_{n}\\) into itself. We can write \\(V\\) recursively in the form \\(V=k1\\oplus\\sum_{y\\in Y}yV\\). Then over a suitable basis each element of \\(E\\) can be represented by a block diagonal matrix of the form \\(diag(\\alpha,L)\\) where \\(\\alpha\\in k\\) and \\(L\\) is an \\(m\\times m\\) block whose entries are in turn matrices representing elements of \\(E.\\) This enables us to give concise descriptions of some elements of \\(E\\) using a form which the author calls ``functionally recursive''.   The author uses these ideas to construct interesting examples of rings such as the following. For \\(m=2\\) define  \\[  s:=\\left[ \\begin{matrix} 1 & 0 & 0\\\\ 0 & 1 & 0\\\\ 0 & 0 & 2s \\end{matrix} \\right] \\text{ and }t:=\\left[ \\begin{matrix} 0 & 0 & 0\\\\ 0 & 0 & 2s\\\\ 0 & 0 & 2t \\end{matrix} \\right] .  \\]  Then \\(s\\) and \\(t\\) are functionally recursive of exponential growth and the ring which they generate is freely generated. A more complicated example provides two elements \\(s^{\\prime}\\) and \\(t^{\\prime}\\) such that: (i) the ring generated by \\(s^{\\prime}\\) and \\(t^{\\prime}\\) is monomial; (ii) the semigroup generated by \\(s^{\\prime}\\) and \\(t^{\\prime}\\) is nil of degree \\(5\\); and (iii) the ring has Gelfand-Kirilov dimension \\(1+\\log(2)/\\log(\\frac{1}{2}(1+\\sqrt{5}))\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q848527$A9425E35-DA2B-415D-9B0C-8EE6DABE58E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bac883d785667a63a92fc8927c00d4d1184f1321","datavalue":{"value":{"entity-type":"item","numeric-id":590084,"id":"Q590084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$24CD5318-A819-4B16-BA55-5008AD3F9D82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0b321fafd33da205994db3b946bd7cfe9a54983","datavalue":{"value":"15A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848527$FC5E4525-73C7-4ABF-A895-D99FBC237A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848527$54BBC0B9-FD2E-4B53-B9D8-2A2BA2F63CEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aad1f8c70ce03c85596f6864f02d419c96fbdf9","datavalue":{"value":"5677319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848527$784E1ABE-2D13-4120-A02C-877A39BA286A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441eb05c40a327d222e9992b2bddc5f6dc5e479","datavalue":{"value":"recursive matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q848527$5683218C-77EE-4E33-872D-2A8A224D0EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ea1974175a31ad3526849226d8452a547fd0d8","datavalue":{"value":"free ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q848527$F92BCEA5-303D-4769-BC66-50543723DA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28aa7ab4565b36bbdebdf40dc5301466dfef8e9c","datavalue":{"value":"nil degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q848527$97831173-6FD1-4DFA-9698-5667E4ADE082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13090f24e1409e7d71b11d8be6ff1808a5cde97b","datavalue":{"value":"Gelfand-Kirillov dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q848527$C88970C9-BA20-4556-BCA5-4105B6304EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e439aa87566968031f0910527cd16c69600a3ce","datavalue":{"value":"automorphisms of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q848527$EE10CDA3-4E74-4450-BAD0-3430E9EBBA9D","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":"Q848527$63C1C649-5165-4EEA-868C-22B4D3B1BD26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9845ca7cfef9311156bb8b9d5db7c9cec661dbb","datavalue":{"value":"W2064617966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848527$62274CA8-64D2-472E-8F5D-AC34D59AAF0A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc6449f58b7b0c8e841d820291ad8bfce8e56a","datavalue":{"value":{"entity-type":"item","numeric-id":3521474,"id":"Q3521474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$B3869FDD-3FEB-40AE-8000-BFFCD995964A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d50c17d9b89b6d1ece2d22a43ee590d058617c6","datavalue":{"value":{"entity-type":"item","numeric-id":2472711,"id":"Q2472711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$830D4A5F-941B-4946-8039-2523F7DBD184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f4c6f43b02ac9ef506ddfe6b80e109f8459ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4788594,"id":"Q4788594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$FE74B49C-BCC0-4C2A-BEF2-5D285DF402F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c00b8ad4bafc3b014dd6235fb3e7a839f1edd09","datavalue":{"value":{"entity-type":"item","numeric-id":3502746,"id":"Q3502746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$8A80428E-170C-4C41-AD20-4E5442534DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac3b50076e2cf97bc79d03833f06cd64cb006c7","datavalue":{"value":{"entity-type":"item","numeric-id":1372656,"id":"Q1372656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$962F23BF-1D93-49F1-B2EA-AA9A8106FA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96a0e19148f344e6d84c4768de0227c8f9e6bbd","datavalue":{"value":{"entity-type":"item","numeric-id":2467033,"id":"Q2467033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$51599C73-0D9C-478D-821B-98D556A565DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d91af4c0ac2900e53cae10e8db9e393340ca32","datavalue":{"value":{"entity-type":"item","numeric-id":2653273,"id":"Q2653273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$347C9883-6463-469E-AEF7-408B42CD6932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f277dbedffe7008dfaf804775f210afd2f04c961","datavalue":{"value":{"entity-type":"item","numeric-id":5121283,"id":"Q5121283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$DBE7C8B7-5324-420B-8A19-AA9A1952A850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58add74198d52e6a0613e60726fa208af6107a76","datavalue":{"value":{"entity-type":"item","numeric-id":3631298,"id":"Q3631298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$DD566891-30CD-4AC2-A4E4-0E2DBBCC4079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2557421c34b8e5ecc7b3ef3e1090ff116e22bdf","datavalue":{"value":{"entity-type":"item","numeric-id":855749,"id":"Q855749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$CBB6C928-6B5B-4D97-B746-DF3E7A339649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab093b9a8165e9913f4a1a4499e70cecc2af054","datavalue":{"value":{"entity-type":"item","numeric-id":4340941,"id":"Q4340941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$D50A9FC1-144E-483D-8FF5-97B7B85ECBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb7a89a82924053d8072d9b2e89e0069fcf74fd","datavalue":{"value":{"entity-type":"item","numeric-id":1580386,"id":"Q1580386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$B3C9E74D-36FC-4C11-AC21-38F393E4EEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca37311aed6f103145661ca74abe189dafa1110","datavalue":{"value":{"entity-type":"item","numeric-id":2425584,"id":"Q2425584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$8EE5CCE1-7AB1-4FD9-8461-99DE824E4F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ff7b16e8ec11e09f8116bfa36cc2fb3f50c28b","datavalue":{"value":{"entity-type":"item","numeric-id":4794409,"id":"Q4794409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$23BEA39C-4255-49A8-B495-CF658DA78D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5cab59a568eceeb75137867391d15bc3dc5dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2642671,"id":"Q2642671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848527$4100E396-0446-4F09-B15F-353ADC021BAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88ca4ca6846c3b084033278aaa56f2f9587cf427","datavalue":{"value":"10.1016/J.JALGEBRA.2009.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848527$52C52C42-DAE3-4602-B152-BE026CA6AEC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b784f11702b6736bb28eea009cbf310460584fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4212544,"id":"Q4212544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b144f2bf4f1d5cb751a043ab5932c5f033ca1e7","datavalue":{"value":{"amount":"+0.7079660296440125","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":"Q848527$D1B79393-2F8E-4B1B-B9B5-401594A383B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"184a5003fb76a151efc21670aebc73f10d0ef206","datavalue":{"value":{"entity-type":"item","numeric-id":625364,"id":"Q625364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b144f2bf4f1d5cb751a043ab5932c5f033ca1e7","datavalue":{"value":{"amount":"+0.7079660296440125","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":"Q848527$0F5760DD-3B6C-4D43-B79C-6227E09835C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fec3ead07b4ae277772979b80e159b6ca41fed","datavalue":{"value":{"entity-type":"item","numeric-id":790912,"id":"Q790912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307723c7f2f8e19bf57ae4b40c314577599b80c8","datavalue":{"value":{"amount":"+0.6951624155044556","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":"Q848527$BD4A2863-F1E6-41B5-9C61-DC7C5AEC0FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0176bfda20642a21a9f7f321185303f3a696a342","datavalue":{"value":{"entity-type":"item","numeric-id":677440,"id":"Q677440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3efa49f859f4ada3a208a95b1b69523925d183","datavalue":{"value":{"amount":"+0.6926706433296204","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":"Q848527$57D35D0F-2060-46E5-B09D-556459F84067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aebc35fe31379a0dfb4accdd4b60bb02a348520","datavalue":{"value":{"entity-type":"item","numeric-id":2922430,"id":"Q2922430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3efa49f859f4ada3a208a95b1b69523925d183","datavalue":{"value":{"amount":"+0.6926706433296204","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":"Q848527$2715472E-8EE6-442B-AAF8-DD817FB58DAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functionally recursive rings of matrices -- two examples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functionally_recursive_rings_of_matrices_--_two_examples"}}}}}