{"entities":{"Q1567690":{"pageid":1578430,"ns":120,"title":"Item:Q1567690","lastrevid":72213513,"modified":"2026-04-14T03:22:50Z","type":"item","id":"Q1567690","labels":{"en":{"language":"en","value":"Subvarieties of the matrix variety of second order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1462343"}},"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":"Q1567690$2A49592B-AF29-489F-A1BC-C41777469ECB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f90214a752b6ce5506348e884d02caff98087c4","datavalue":{"value":{"text":"Subvarieties of the matrix variety of second order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1567690$18E5F1D2-4BE4-46B4-BA5F-5BBA7BC669E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec1cb4d7c6fc2da6fd284731f13ac6a61a729260","datavalue":{"value":"0962.16019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567690$59D14070-E5D0-432E-B1F2-73056404145B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d1019c0e821afe8a70b81f4d2bb37f1885d21dc","datavalue":{"value":"10.1007/BF02904232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567690$D7C46E75-3B82-405F-B8BA-24BDC78DEFD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68394fd7e8a253e114d6399606d47416a190b2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1511313,"id":"Q1511313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567690$2FE15336-862F-4DEF-8751-E551839CB8DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59aa951eb0a039edbdf8b68f378315124459b9dd","datavalue":{"value":{"time":"+2001-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1567690$AB8747CD-CAF3-4048-98AC-EC2E047544B0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46c2413d1a7a0d2b1c4955a6af39a2f5f749997f","datavalue":{"value":"Let \\(\\mathcal M\\) be the variety of unitary associative algebras generated by the \\(2\\times 2\\) matrix algebra \\(M_2(K)\\) over a field \\(K\\) of characteristic 0. The systematic study of the subvarieties of \\(\\mathcal M\\) was started by \\textit{Yu. P. Razmyslov} [in Algebra Logika 13, 685-693 (1974; Zbl 0314.17005); translation in Algebra Logic 13 (1974), 394-399 (1975)], where he showed that the subvarieties of \\(\\mathcal M\\) satisfy the finite basis (or Specht) property. Then \\textit{A. R. Kemer} [Izv. Vyssh. Uchebn. Zaved., Mat. 1989, No. 6(325), 71-76 (1989; Zbl 0678.16013); translation in Sov. Math. 33, No. 6, 71-76 (1990)] and the reviewer [Serdica 12, 209-216 (1986; Zbl 0621.16019)] gave alternative descriptions of the subvarieties of \\(\\mathcal M\\). Kemer established that the T-ideal of any subvariety \\(\\mathcal U\\) of \\(\\mathcal M\\) asymptotically equals (i.e. for sufficiently large \\(n\\) contains the same proper (or commutator) polynomial identities as) the sum of the T-ideals of the polynomial identities of \\(M_2(K)\\) and the algebra of \\(s\\times s\\) upper triangular matrices for some \\(s\\). The description of Drensky gives that asymptotically the T-ideal of \\(\\mathcal U\\) coincides for some \\(s\\) with the T-ideal of the subalgebra \\(R_s\\) of \\(M_2(K[t]/(t^s))\\) generated by \\(e_{11},e_{22},te_{12},te_{21}\\), where \\((t^s)\\) is the ideal of \\(K[t]\\) generated by \\(t^s\\).   The main purpose of the paper under review is to present an explicit basis of the polynomial identities of the algebra \\(R_s\\). The main result states that the polynomial identities of \\(R_s\\) are equivalent to a system of three polynomial identities: the standard identity \\(S_4(x_1,x_2,x_3,x_4)=0\\), the Hall identity in two variables \\([[x_1,x_2]^2,x_1]=0\\) and one explicitly given polynomial identity \\(f_s(x_1,x_2,x_3)=0\\) involving three variables.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567690$8A1BFC62-2D4D-401A-8C51-8D4C068A447B","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":"Q1567690$0E70B187-6ABE-4613-BCB6-A2EF9B5908BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567690$ABC1E8A5-8399-496E-8A0D-CE924C8D10C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e27eaba293f5466f81b6530b00ce4b6327f67c50","datavalue":{"value":"16R30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567690$2C4E4168-EBF0-4624-A0A3-07BF04C50B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567690$1C7C6256-53A1-46A1-94F5-989FA1B0F272","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7518476d046597051e5fba1679c482cff468823","datavalue":{"value":"1462343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567690$128A2650-25D2-4856-B4A9-D7030B22DD3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98ec9dc2325ade87d5c1057d3405b9d9c4ba8f7","datavalue":{"value":"algebras with polynomial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567690$BCA060B2-F8CF-414D-A807-FD0DC4F61834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e27884c9bad9d0432d4d60f986dd668859f8b4","datavalue":{"value":"varieties of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567690$29ADB1D1-98DD-4818-806A-6A74F32B5F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c157780b2785518cfa15ec5a1609811876a78832","datavalue":{"value":"polynomial identities of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567690$EB5AB89D-2BEB-4E9E-A8C8-CAE40C413823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd53b61e2c1d09da281483fda8eadf911f26ae0","datavalue":{"value":"subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567690$9163307D-98B8-4ADF-A27B-D80B2B019B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfca22b61f3d13556e7a3b479e4e300836fd6b61","datavalue":{"value":"T-ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567690$5D1ED814-8AFE-4AD2-BA7B-540ADB77A175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ff37af3e360d952bf03b68f0d4961c562636828","datavalue":{"value":"algebras of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567690$DD452B86-15B1-4F24-BA68-43E04819A89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567690$FD3268B3-917A-442C-9B44-C53E215EACC6","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":"Q1567690$E005B90F-DECC-4AED-9BA5-D4654BF5A01E","rank":"normal"}],"P223":[{"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":"Q1567690$4D14D0C7-E23D-4D65-9B9F-E6B8EFD06151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8de2696290d5aeba04f478e76ddc6235f7e4b7","datavalue":{"value":{"entity-type":"item","numeric-id":1097266,"id":"Q1097266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567690$5F4E73E2-AD0D-4810-8E52-257E12161806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90fcb0234affd58268e942b026224a8c1e0bcb8","datavalue":{"value":{"entity-type":"item","numeric-id":3699855,"id":"Q3699855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567690$75003B54-200B-4F3A-AD45-5836F421B7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4dc87cad37e7e9c3cdf1ba7d5a50166f8eb9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3758071,"id":"Q3758071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567690$E8DCDE2F-FE01-4AE1-8431-458C545BAE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a079d21bca105b9bc5fc34be3fe4c6ca1439297","datavalue":{"value":{"entity-type":"item","numeric-id":3834186,"id":"Q3834186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567690$12430209-5AB5-46B6-945A-1DB458DB3597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cacdfb749db4927d995d773c934bd80d94e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567690$0D343F45-079C-47E0-8010-99542DF449FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681953570b06f9b6beaa767c7b3d58593941122e","datavalue":{"value":{"entity-type":"item","numeric-id":2647980,"id":"Q2647980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567690$F418985F-19A5-4249-BA46-8F3F39223860","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7db817327938cdc8b83382314e7e1d63339cacd9","datavalue":{"value":{"entity-type":"item","numeric-id":559543,"id":"Q559543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567690$BCD9F5C8-BE47-4175-972E-CD95909429E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702c5c9d9dd0ffe88dc78342b28fea7a17598c1f","datavalue":{"value":{"entity-type":"item","numeric-id":4808090,"id":"Q4808090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd5e28ec2b0366fe6f4e76bb76b516f7effb3d0","datavalue":{"value":{"amount":"+0.835753858089447","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":"Q1567690$C491DE9A-6FB2-4D09-A03A-27531FF058E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e38e1f7f147caf9c3fcf21419fb2f507a2cdab","datavalue":{"value":{"entity-type":"item","numeric-id":3699855,"id":"Q3699855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaaeeed81202d4ba1459e0b466f280b147b82f3","datavalue":{"value":{"amount":"+0.820206344127655","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":"Q1567690$74EAFDD2-30A8-4B39-9677-5009879CAFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ca44bf81273f2adb17c0aed97e1eb9bfc3459e","datavalue":{"value":{"entity-type":"item","numeric-id":3676290,"id":"Q3676290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b9c210b49f57ba768128dd548159ac7469d338","datavalue":{"value":{"amount":"+0.8180338144302368","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":"Q1567690$6B86D264-599E-45FA-A07D-848ACCE52EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c9bd75a6a3e72a72dd5c721b3bcc09b1dcba2","datavalue":{"value":{"entity-type":"item","numeric-id":3834186,"id":"Q3834186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0721f9a04fa1c271d217414cd357c762d2fd9241","datavalue":{"value":{"amount":"+0.8157104253768921","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":"Q1567690$6A751F0D-65B4-4DC1-AAC1-BD64B473F21A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subvarieties of the matrix variety of second order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subvarieties_of_the_matrix_variety_of_second_order"}}}}}