{"entities":{"Q677415":{"pageid":679264,"ns":120,"title":"Item:Q677415","lastrevid":63513912,"modified":"2026-04-11T13:40:49Z","type":"item","id":"Q677415","labels":{"en":{"language":"en","value":"Remarks on the prime varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 997593"}},"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":"Q677415$67C88DBF-9286-4792-A022-2F49AE977DEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"583cdee034e8e351f75da14e93472e17aa775fd3","datavalue":{"value":{"text":"Remarks on the prime varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677415$8402F884-04AC-4A53-8EF0-71AA62D4B1F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"478b2a85952310d2df170a2c7bc5da1047091a42","datavalue":{"value":"0874.16016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677415$7BFA95C6-534B-44F2-BD6D-23675B901CDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dc1f0c35d16791091b8f136eaa7e272ac307f52","datavalue":{"value":"10.1007/BF02937310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677415$4F0F7A19-CA74-4FA0-8A99-F86638ECCE69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4815a958ba013438c581609d8a1e0adcffec7d5d","datavalue":{"value":{"entity-type":"item","numeric-id":182306,"id":"Q182306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677415$A65BEFED-36CF-4B34-BBEA-B9C6C5AA39C2","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":"Q677415$1E144767-8D90-4C54-B296-07D4CEE60293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0f4fab970e9276b9cd29714c07e8216a980a2f0","datavalue":{"value":{"time":"+1997-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677415$37F8D808-CEF3-4044-AAED-2F7F4FF26B7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5214e0620ebe3489fb29970048b0b6c11ef087d4","datavalue":{"value":"Let \\(F\\) be a field and let \\(F\\langle X\\rangle\\) denote the free associative algebra over \\(F\\) generated by a countable set \\(X\\). An ideal of \\(F\\langle X\\rangle\\) is called a \\(T\\)-ideal if it is invariant under all endomorphisms of \\(F\\langle X\\rangle\\). A \\(T\\)-ideal \\(U\\) is called \\(T\\)-prime if, for any \\(T\\)-ideals \\(U_1,U_2\\) in \\(F\\langle X\\rangle\\), the inclusion \\(U_1U_2\\subseteq U\\) implies either \\(U_1\\subseteq U\\) or \\(U_2\\subseteq U\\). A variety of associative \\(F\\)-algebras is called prime if the \\(T\\)-ideal of all its identities is \\(T\\)-prime. Prime varieties over a field of characteristic 0 have been completely described by the author [see his book Ideals of identities of associative algebras (1991; Zbl 0732.16001)].   The paper under review deals with the still open problem of describing prime varieties over an infinite field of characteristic \\(p>0\\). The author [Int. J. Algebra Comput. 5, No. 2, 189-197 (1995; Zbl 0835.16019)] has proved that every proper \\(T\\)-ideal \\(U\\) contains, for a suitable \\(k\\), all multilinear polynomials being identities of the algebra \\(M_k(F)\\) of all \\(k\\times k\\)-matrices over the field \\(F\\). The least number \\(k\\) with this property is called the matrix type of \\(U\\). A \\(T\\)-ideal \\(U\\) of matrix type \\(k\\) is called regular if there exist multilinear polynomials \\(h(x_1,\\ldots,x_m)\\notin U\\) and \\(g(x_1,\\ldots,x_m,x_{m+1})\\) such that the algebra \\(M_k(F)\\) satisfies the trace identity \\(g(x_1,\\ldots,x_m,x_{m+1})+\\text{Tr}(x_{m+1})h(x_1,\\ldots,x_m)=0\\). In the case of characteristic 0 all \\(T\\)-prime \\(T\\)-ideals are regular. The author shows that the study of regular \\(T\\)-prime \\(T\\)-ideals reduces to the study of two-sided ideals of the group algebra \\(FS(n)\\) of the symmetric group \\(S(n)\\) (Theorem 1). He also describes all prime subvarieties of the variety satisfying all identities of the algebra \\(M_2(F)\\) and the identity \\(x^p=0\\) provided that the characteristic \\(p\\) is greater than 3 (Theorem 2). For the case \\(p=3\\), the description is reduced to the following open question: does the Grassmann algebra of an infinite-dimensional space over a field \\(F\\) of characteristic 3 satisfy all identities of the algebra \\(M_2(F)\\)?","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$C4364BC3-E8F2-4004-AE41-5FF5EC83D6C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677415$CB9A0E41-4987-48F1-B113-F91C4366BCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e27eaba293f5466f81b6530b00ce4b6327f67c50","datavalue":{"value":"16R30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677415$80F26C12-CA28-412C-BC79-108333DE96F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56f6cb78b8b768b93c9cf2d5633d372df4b15dd5","datavalue":{"value":"16R50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677415$43D99FDB-68B9-4537-9A2F-FDA3A709793A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677415$D5498C41-CFC6-4A20-8B59-4708F33274E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5021b5080e7de91e3cd3ae96dc19cc254c225d24","datavalue":{"value":"997593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677415$8933E0B0-7388-4027-A1B7-EB691E41E770","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5a7ce68a4a75ed310cc2e9608c444a76cfe15b","datavalue":{"value":"polynomial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$D47A8B2B-D032-4DD7-B4D2-4343FB7313F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf2445b745d8311ae9e0c2e40647bfc2587ce49","datavalue":{"value":"multilinear identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$C246681B-F00D-4510-A3C7-FAD2D5AC8904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908ef4e3744d3c1ea56ce753b3d8784d958eb94e","datavalue":{"value":"prime \\(T\\)-ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$BD70A8D8-371B-4EF6-BAD2-ABAD90D31F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a55039265c4f7e6c10b6b6864659462f61bee72","datavalue":{"value":"prime varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$26B80365-A95C-4493-AE72-9C6D5E428A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8462abc90f21d92244e25c27901002b35d1cce","datavalue":{"value":"algebras with trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$514FEA59-1390-4B79-8B58-300256040213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74df2d4c520b165b9b7e4c98cd994812fbc22318","datavalue":{"value":"trace identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$A1BA30C6-7A8C-4923-AA59-31FED7DDBA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93f36bf27be26ed5ffef698e607b08031949f30","datavalue":{"value":"group algebras of symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$D24BB093-86E3-4458-A055-35791F603D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2066d980cc4842de2b16b6aaf2a67512d5d78429","datavalue":{"value":"regular \\(T\\)-prime \\(T\\)-ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q677415$CC47AD49-4107-42B5-8900-2C3D887D13C1","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":"Q677415$6B3365C6-4352-4A1A-9A1C-762EBD6F5C17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81cb6e95938017b8ae4eee4bc318f9f2e2e11ac","datavalue":{"value":{"entity-type":"item","numeric-id":4011121,"id":"Q4011121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677415$31E44DB9-23D3-4A87-916D-288F77F4E827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7f8a7871a2f84f315bb13e387bd8ef0bebf88e","datavalue":{"value":{"entity-type":"item","numeric-id":4273359,"id":"Q4273359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677415$ECCFFB94-DFE8-4BA7-A2CC-C7D1F97A21D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0a5718536c7d3c302a4da174685c683e77b25a","datavalue":{"value":{"entity-type":"item","numeric-id":4852670,"id":"Q4852670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677415$40946627-9E14-4B9C-81B4-A67C2F1AC9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833351fa76327d0aa230e547f4a14146041cd965","datavalue":{"value":{"entity-type":"item","numeric-id":4068874,"id":"Q4068874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677415$CAA0E129-7DF1-4E1D-96C1-4C031594FB7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8a73fc921794633ee2c7797383ca4b323750516","datavalue":{"value":"https://doi.org/10.1007/bf02937310","type":"string"},"datatype":"url"},"type":"statement","id":"Q677415$1B837CC4-CB4D-4B48-AD15-A66052148E89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e09dc430888697348db6f3ebceb4f48931dc8e08","datavalue":{"value":"W2006097508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677415$95FBA5B3-74FD-4D49-BABD-104C7700FE76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba4bb5cf15c6533f40120a066b49e898e1accca","datavalue":{"value":{"entity-type":"item","numeric-id":3741752,"id":"Q3741752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07fc96ced7ae715c09b0260ba3a068f528371ec","datavalue":{"value":{"amount":"+0.9197733998298644","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":"Q677415$17ACD1BB-8BD8-4E0C-8FE6-D26E08A0DF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c4533ac5756bb85e382090ef7a0fa15dc11c76","datavalue":{"value":{"entity-type":"item","numeric-id":4270222,"id":"Q4270222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc3589e6d9e3811befc1ec5fb55e84ae90e9004","datavalue":{"value":{"amount":"+0.8853895664215088","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":"Q677415$D10028E9-A38A-4720-95D8-7AA7F26E6569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fcbe03ead8cd3000f46ed245a76d72e1257b81","datavalue":{"value":{"entity-type":"item","numeric-id":4415534,"id":"Q4415534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73de6e7d4fe3462a2d9a212aea02894b3359af79","datavalue":{"value":{"amount":"+0.8687601685523987","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":"Q677415$E7E28662-17FE-4477-9763-0D22EAC68E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf9c97e5577d42fe5046c6b5e256641dd06fbae","datavalue":{"value":{"entity-type":"item","numeric-id":5934277,"id":"Q5934277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04586ee54ffc10e8eff7e0ff90d7cfd5cf551e9","datavalue":{"value":{"amount":"+0.8680665493011475","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":"Q677415$121557CF-1AEF-4097-9BFC-8B49FFB3D50A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on the prime varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_the_prime_varieties"}}}}}