{"entities":{"Q800998":{"pageid":802846,"ns":120,"title":"Item:Q800998","lastrevid":64472955,"modified":"2026-04-11T20:06:46Z","type":"item","id":"Q800998","labels":{"en":{"language":"en","value":"Codimensions of T-ideals and Hilbert series of relatively free algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3879089"}},"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":"Q800998$8681D369-83F6-45B7-82FB-E839AAF4F500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acdb6d42879d4f4063b344f722b9e5b70583029e","datavalue":{"value":{"text":"Codimensions of T-ideals and Hilbert series of relatively free algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800998$CA99F001-BFF8-4F83-8D6E-D450A15E4794","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad4c83bc8308fed8688278daafb3c11c72155f6e","datavalue":{"value":"0552.16006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800998$97EE84DA-95C1-42EE-AA66-812EA98631A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60aa985e398ea6a35b711e2daa6ae9b9ea5cf034","datavalue":{"value":"10.1016/0021-8693(84)90121-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800998$B0956184-DB8E-4BA1-BB2B-CC85C6F5ED3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfcb25c4f579c1a68ad4975cbaaab76a4f20b92e","datavalue":{"value":{"entity-type":"item","numeric-id":375678,"id":"Q375678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$270BF277-BD05-4989-A2F5-EC7A7A01848B","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":"Q800998$6C577EE5-9C77-491C-A937-25D5F83806EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q800998$2D402A96-798C-45B1-A8E3-D0BF3DFEB6A9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ea872856b5e0fe2d0249c28ecd3293c062bf238","datavalue":{"value":"Given a variety \\({\\mathfrak V}\\) of associative algebras over a field of characteristic zero, it is natural to consider its multilinear identities as modules over symmetric groups on appropriately many symbols and its relatively free algebras of finite ranks as GL-modules (i.e modules over general linear groups of suitable dimensions). This latter structure is important in computing the Poincar\u00e9-Hilbert series of relatively free algebras. The author establishes a close connection between the two module structures. As an application he computes the Poincar\u00e9-Hilbert series for the variety determined by the identities of the matrix algebra of order two. Similar results hold in the Lie algebra case. There are also some results on codimensions of identities and on Poincar\u00e9-Hilbert series in the non-matrix case. The results obtained give a good basis for further developments in the described area; they also generalize some theorems of A. Berele, E. Formanek, P. Halpin, W.-C. W. Li and the reviewer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$D5B36E22-8AD1-4EEE-93E0-C0D0BEF0BB16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e59e14a36c6115210bce53d0bdee88a8e9f1b628","datavalue":{"value":"16Rxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800998$2977C50B-85F4-4684-87C1-06D0325DEF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800998$76D4EE22-309F-4845-BA3B-D193F7D2AAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff02389d3918a330b0fc4c8d97ee0424df96a7","datavalue":{"value":"20C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800998$D58D53EB-6070-4BCC-BB90-E59841BB47C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72adfcbd80b22960ac05657f71a769e18b11c753","datavalue":{"value":"17B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800998$538B5425-E511-44F4-B62D-DF72F0CA8C95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e33b4fd00ed62c7f383c99839c66ec8465b9689b","datavalue":{"value":"3879089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800998$B3A72148-E3DD-4572-9DB6-8828216CB874","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfca22b61f3d13556e7a3b479e4e300836fd6b61","datavalue":{"value":"T-ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$7DEF959E-CDAF-4AAC-9474-F6CC66D478B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf2445b745d8311ae9e0c2e40647bfc2587ce49","datavalue":{"value":"multilinear identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$33E42ACF-8CB7-4A81-BFEE-FCCAE989417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63bfd26accaca09ffbd1a0ad13d975cd1b4f2605","datavalue":{"value":"modules over symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$FB859764-D65C-4ADD-812D-11FB36F76DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c3f11f2357685b035cf03727b1835b002445fb1","datavalue":{"value":"relatively free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$08852F4E-7F20-439F-97AE-B0626F1FDAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a418228b30f096a43ae8ceb8ab6fb32a6371a3c9","datavalue":{"value":"modules over general linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$19C2F113-68E2-49B4-9C0F-3C7A2599EEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7937daaf334b3eb207e405384c63068a529ca641","datavalue":{"value":"Poincar\u00e9- Hilbert series","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$758EBB96-86E4-4732-B411-837BD11E5DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$9EF46E34-D38F-46DD-B9F4-EAE4864172EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24512ab3175d15f239eee71d9d200c660ed8907b","datavalue":{"value":"matrix algebra of order two","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$A9922C7F-345D-482A-89D7-5BB95EFC8CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4233c00c0809978de891482f3e904ba79867f4f","datavalue":{"value":"codimensions of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q800998$80EC6E72-E47F-455E-938F-E79CA4B4318E","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":"Q800998$FB431E58-5496-48DA-BC79-27D17287C59D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe688ea0615cfc3c39fec4861671492e4a3ee001","datavalue":{"value":"https://doi.org/10.1016/0021-8693(84)90121-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q800998$C3E609DA-AB39-476D-8DBB-0E03576A507F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaced17454c6efde19a43dffb4175b5cffc60744","datavalue":{"value":"W2049804167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800998$5C228022-5340-4E5E-9709-E8E4C41A3A3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb52544ef10903a35263e622da31bd077a3cbb47","datavalue":{"value":{"entity-type":"item","numeric-id":3869504,"id":"Q3869504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$54A2C894-9F5A-4549-BBCC-F2D74D870639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c82bd0b802489b0f4205c309db9c9d600e5654","datavalue":{"value":{"entity-type":"item","numeric-id":3872628,"id":"Q3872628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$620584E1-B0EE-4F4D-A834-0DA70E6B9A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e82e700b8674e1d6afc2bc3ff4d1d988962fdd2","datavalue":{"value":{"entity-type":"item","numeric-id":1055853,"id":"Q1055853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$FD7623B0-F875-414A-93E7-2250D6C11676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b05576f9c72d43d09bcad019765731d912dbd8f","datavalue":{"value":{"entity-type":"item","numeric-id":3960974,"id":"Q3960974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$540E3977-C1CC-4DF6-AB49-B610E035EA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6ba894da778051c67779fbc90220d518607a57","datavalue":{"value":{"entity-type":"item","numeric-id":3916711,"id":"Q3916711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$F16D9193-2269-4FA3-BC79-7AF0727F9A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab5b98b4345ebb6a57c38ff43f93ab85be813d4","datavalue":{"value":{"entity-type":"item","numeric-id":1151950,"id":"Q1151950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$EF4C7682-CAA0-46C1-A915-BFD3790445B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce38db17c2780d92272415bdfd684e383dffe1","datavalue":{"value":{"entity-type":"item","numeric-id":1222227,"id":"Q1222227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$4784ACA9-485E-4EA3-A9AC-A16BF9682868","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":"Q800998$93863AF0-FE97-43E0-BBEB-6ACFC19F22FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b13d961fc4f879ccb92e5d3e929a26b373a0ec","datavalue":{"value":{"entity-type":"item","numeric-id":5677619,"id":"Q5677619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$E7AB38D1-8027-4A0C-A297-E9ED535EA243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678ff9b63c659dec8959dab07ff4f743a815841d","datavalue":{"value":{"entity-type":"item","numeric-id":1843483,"id":"Q1843483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$B00A0C74-A872-49A7-9FFA-0D5018D30635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae524d3c014d48767f4229403364a43038ac76e","datavalue":{"value":{"entity-type":"item","numeric-id":4073509,"id":"Q4073509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$4097FF8A-F783-4956-8A8E-BE80446DCC6B","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":"Q800998$C6BF5177-2647-4420-A72C-C13A34A822E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49aa4edf9f185bcebb216eec0b02cbeff61827f1","datavalue":{"value":{"entity-type":"item","numeric-id":3877818,"id":"Q3877818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$55E1126B-6502-4671-A9D8-4C2FFB089959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1b29eabc43fffe607b050fc9cb338ded13dbb6","datavalue":{"value":{"entity-type":"item","numeric-id":3915113,"id":"Q3915113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$FF143677-A853-4006-A30B-04019E97985A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed52cac55f35c02ff16d94648b4fd655dfb4837e","datavalue":{"value":{"entity-type":"item","numeric-id":4435456,"id":"Q4435456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800998$2E11F185-E06B-4F00-806E-60F7E5D21DF9","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":"Q800998$9A92F5D1-0660-4311-84E6-6972EBC9D498","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ee82c347049e534b87e1295d5e8c2f20000c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3342703,"id":"Q3342703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df55978b65e211d2b5a945748196bc2677524eeb","datavalue":{"value":{"amount":"+0.8736897706985474","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":"Q800998$6492485C-B1DE-41D1-A2CD-9D7956542FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c87a98f4fdd4bb078129294be0ff3d52eb0307","datavalue":{"value":{"entity-type":"item","numeric-id":4232349,"id":"Q4232349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16480d4c9c8b5b214adeec6e5c0b8e3b34de9af","datavalue":{"value":{"amount":"+0.837152361869812","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":"Q800998$E36970B6-A2EB-4A6A-89FB-BDABEDCA432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5090a81f3a77d2033ddcc712d340981c7101bce","datavalue":{"value":{"entity-type":"item","numeric-id":1192100,"id":"Q1192100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e4dc1fe735b79aa3b4c945d862294f7abe669c","datavalue":{"value":{"amount":"+0.8347175717353821","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":"Q800998$98E9A146-BCFD-472E-A852-F0858948B4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca948ea0f93ef0294df4343191018516fbd24ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1974360,"id":"Q1974360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2edc4af8ec48c16b4ebac4073869d174c53063","datavalue":{"value":{"amount":"+0.8254674077033997","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":"Q800998$911C7D7F-4EA5-48FE-B85D-DF51EE729E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa55c335e65e55bb098c47716594080680f46169","datavalue":{"value":{"entity-type":"item","numeric-id":800456,"id":"Q800456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2edc4af8ec48c16b4ebac4073869d174c53063","datavalue":{"value":{"amount":"+0.8254674077033997","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":"Q800998$3FEADF56-581F-4124-8289-4E58D0E1A2E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Codimensions of T-ideals and Hilbert series of relatively free algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Codimensions_of_T-ideals_and_Hilbert_series_of_relatively_free_algebras"}}}}}