{"entities":{"Q1758965":{"pageid":1769707,"ns":120,"title":"Item:Q1758965","lastrevid":72465675,"modified":"2026-04-14T05:05:40Z","type":"item","id":"Q1758965","labels":{"en":{"language":"en","value":"\\(A\\)-identities for upper triangular matrices: a question of Henke and Regev."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6108407"}},"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":"Q1758965$FBF0FBA8-5C3F-42E7-AD43-625C045C51E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c07409ea95239b825d25b5eba6fe8e2b93e4e25d","datavalue":{"value":{"text":"\\(A\\)-identities for upper triangular matrices: a question of Henke and Regev.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758965$0E43F7F1-DAAA-429C-9A6C-EE2AB72F4848","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ceafff2342d31bbac72ec0bdba89649d1e277e61","datavalue":{"value":"1264.16023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758965$E1175EC3-F61D-4448-9CAB-9761031F7E14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94d04a3865122f9ce16518dae04d9a9491b25f6f","datavalue":{"value":{"entity-type":"item","numeric-id":284099,"id":"Q284099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$F8843A45-673E-4C72-AF08-7CCAC3B22B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce655de0e6e361862e9aff97714455b94da5f3c","datavalue":{"value":{"entity-type":"item","numeric-id":185625,"id":"Q185625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$5B343B90-B0C5-4880-99CC-B0F8D2733F19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$6F248AC3-07F7-471E-9F6F-7B2A6DABC816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d61a10ac10d8d93b404b1bc46f544771b60daa02","datavalue":{"value":{"time":"+2012-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758965$EA260B95-2EF1-4BB7-B76D-F52923940F0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51ad153eed9ad4b41f30256619fa5970f719cf36","datavalue":{"value":"Let \\(P_n\\) be the vector space of multilinear polynomials of degree \\(n\\) in the free associative algebra \\(K\\langle X\\rangle\\) over a field \\(K\\) of characteristic 0. \\textit{A. Henke} and \\textit{A. Regev} [Isr. J. Math. 133, 339-355 (2003; Zbl 1026.16006)] suggested to study the \\(A\\)-polynomial identities of a PI-algebra \\(R\\), i.e., the polynomial identities which are in the subspace of \\(P_n\\) spanned by all even monomials \\(x_{\\sigma(1)}\\cdots x_{\\sigma(n)}\\), where \\(\\sigma\\) belongs to the alternating group \\(A_n\\). In particular, they calculated the \\(A_n\\)-cocharacter of the infinite dimensional Grassmann algebra \\(E\\). They also suggested that the minimal degree of the \\(A\\)-identities for the \\(n\\times n\\) matrix algebra \\(M_n(K)\\) is \\(2n+2\\).   The main result of the paper under review is that for any \\(k\\geq 0\\) there exists an \\(n_0\\) such that for any \\(n\\geq n_0\\) the minimal degree \\(d(n)\\) of the \\(A\\)-identities of the algebra \\(UT_n(K)\\) of the \\(n\\times n\\) upper triangular matrices satisfies the inequality \\(d(n)>2n+k\\). The authors compute \\(d(n)\\) for small \\(n\\) and show that \\(d(2)=5\\), \\(d(3)=8\\), \\(d(4)=10\\), \\(12\\leq d(5)\\leq 13\\), and \\(d(6)=15>2\\times 6+2\\). Combined with the methods of the proof of the main result, the latter inequality implies that \\(d(n)>2n+2\\) for all \\(n\\geq 6\\). Since the polynomial identities of \\(M_n(K)\\) are in the T-ideal of the polynomial identities of \\(UT_n(K)\\), this gives a counterexample to the suggestion of Henke and Regev.   As the authors mention, they have some reasons to believe that \\(d(n)=[(5n+1)/2]\\) for every \\(n\\), where as usual \\([x]\\) stands for the integer part of the real number \\(x\\), i.e., the largest integer \\(\\leq x\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758965$38030973-8826-4997-8E42-6CD6DDCBA829","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"08212ce4707e37d420e92ca5e5c9b907cc6ec418","datavalue":{"value":{"entity-type":"item","numeric-id":375678,"id":"Q375678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$228760F8-2918-47B6-936B-8887067486A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758965$3D9C9D73-E71A-4F6F-A491-824A5B773701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa35f4fe7131ed7335ab517ed4c6191c461a466f","datavalue":{"value":"16R40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758965$FF4A6A81-B9EF-4B0E-B671-9FCA575361F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e33166bf91b6ec5e4024288e5977ea76572ed6b","datavalue":{"value":"15A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758965$EDF04EAA-BE5A-42D9-8255-B88CF373E57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758965$1BC40660-CA62-4DA6-9756-F62CBCF87332","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaec249be7a16f65e959460769c3555bc5011088","datavalue":{"value":"6108407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758965$11D677F4-3ABA-4C88-A8D8-212390983A75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98ec9dc2325ade87d5c1057d3405b9d9c4ba8f7","datavalue":{"value":"algebras with polynomial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758965$255F4B04-AF3C-4E97-9E0F-70E10C0BF07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63607f1dff36c8c4398c0136420b854ad4059d85","datavalue":{"value":"alternating groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758965$FB1CA49E-CA53-4F56-A9EA-937D9A4E6C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad7fb0f1eb6b6f5727008de44ca3982ae2cd82d","datavalue":{"value":"polynomial identities of upper triangular matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758965$9F89ED9C-810A-4E87-9978-09D8E84C4C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"764f2bbc1119e3690ea1ba0d50f7797061d45ba5","datavalue":{"value":"A-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758965$00EFE0AE-1DE8-48C6-8BC3-715A6E7211C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a4f9b281d29c2601c5b900277f78174f9e0cea","datavalue":{"value":"multilinear polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758965$56FA9C28-EB08-4D35-974B-A122C6FC467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d2eb21d672010e280a04414f59ba71774a0622","datavalue":{"value":"cocharacters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758965$40B365B0-96C1-46FF-9D37-BE681B108F65","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":"Q1758965$16E485A9-5BEB-421B-8788-6A07FCC5A2D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea88ef9f8d34ec12a28c0462dc219317af411d36","datavalue":{"value":"https://doi.org/10.1007/s11856-011-0146-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758965$2876836F-8110-47E2-BF07-3F8561239A16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6592270cfc51b46c5b67c9098cfbcc1d62aa51c","datavalue":{"value":"W2134013003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758965$F440AA4B-D87E-4B13-BB08-03C57A93DA4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d315ce6b181bbc9b7c4801cb227a53eca3cd6f6","datavalue":{"value":{"entity-type":"item","numeric-id":4224029,"id":"Q4224029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$0475CC0C-E532-43DC-BCBB-AFCD052DB29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae280bdc243f33de7077094bf7db0cddeae487e","datavalue":{"value":{"entity-type":"item","numeric-id":4700803,"id":"Q4700803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$5C9F7507-878B-4A21-A42A-C13F44686306","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":"Q1758965$ECE1CEC3-F76E-40D3-900B-656E0F9ED2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125d7fbca61ee968707f87132fc0140e8b13f4ee","datavalue":{"value":{"entity-type":"item","numeric-id":3518225,"id":"Q3518225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$5A3825D6-B937-48B9-AB41-104428B3C6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f89df5865b2f5734d845a04d4e9911d677b9f01","datavalue":{"value":{"entity-type":"item","numeric-id":1870921,"id":"Q1870921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$156A8587-9061-468B-A82D-CBC2BA2D6026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127c63e957a88adcc64a3aca94ce8b704a68cebe","datavalue":{"value":{"entity-type":"item","numeric-id":4777466,"id":"Q4777466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$766A886D-E6BA-4B99-9569-35DAB5B342C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533e8df49ed24eaeb8ab3a4bfa731b0d3d3fd9f6","datavalue":{"value":{"entity-type":"item","numeric-id":4405313,"id":"Q4405313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$A1A08762-0FC8-4B3B-A7E2-A3D349DF37AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09b92f2e93f996d088e70002c641ff279c0bb2b","datavalue":{"value":{"entity-type":"item","numeric-id":2556370,"id":"Q2556370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758965$C119D040-733B-4483-B844-2CD65F5B35A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d579f6468d2edd2734c6879130a7f5d4efc7be2","datavalue":{"value":"10.1007/S11856-011-0146-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758965$566AD349-2C0E-4FC6-B52C-93CA3400CA4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962420828868d9b9933546e4e11fe558bfce042b","datavalue":{"value":{"entity-type":"item","numeric-id":284102,"id":"Q284102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06af3e137c675a04a305b300e228925c3327ed77","datavalue":{"value":{"amount":"+0.8682834506034851","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":"Q1758965$F52F37A8-3D71-4D49-A201-71545AD25F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46c60767fa4e84aa155b65f857b82e6f5724afa","datavalue":{"value":{"entity-type":"item","numeric-id":4970528,"id":"Q4970528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3767981dca92662927a214ec83e27c96f40278","datavalue":{"value":{"amount":"+0.8328111171722412","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":"Q1758965$E2FD3B9F-2B44-4FEC-94DF-83ACAB399AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc3014fd910fa1e0b5c8883fd4d149766ebd63f","datavalue":{"value":{"entity-type":"item","numeric-id":3518225,"id":"Q3518225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16aaf654a3540b4ebc79c91a96701f6813cb6084","datavalue":{"value":{"amount":"+0.8221578001976013","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":"Q1758965$5E9CC3B4-1349-4085-B4E7-84EC4FB7DD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7bc1ce6ebfb5386b5d20aac857a6fcb09c89339","datavalue":{"value":{"entity-type":"item","numeric-id":2186046,"id":"Q2186046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd6dc24a2750db789f4555147649d0fa16f719e2","datavalue":{"value":{"amount":"+0.8014644384384155","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":"Q1758965$4B049554-990C-4B7B-BA2A-0977174B4D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac9a2e1fe16dd0db6d0e29857518213db22ab72","datavalue":{"value":{"entity-type":"item","numeric-id":5389527,"id":"Q5389527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f76992e8e3151d43652fc9439864489486910b","datavalue":{"value":{"amount":"+0.7960999608039856","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":"Q1758965$9BE49077-630D-4278-AA5E-FFBB61456DF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(A\\)-identities for upper triangular matrices: a question of Henke and Regev.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(A%5C)-identities_for_upper_triangular_matrices:_a_question_of_Henke_and_Regev."}}}}}