{"entities":{"Q1892819":{"pageid":1903561,"ns":120,"title":"Item:Q1892819","lastrevid":69207693,"modified":"2026-04-13T05:28:36Z","type":"item","id":"Q1892819","labels":{"en":{"language":"en","value":"Schreier varieties of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 767663"}},"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":"Q1892819$DD03E3C5-5F76-44DD-BE60-7016AA6B79E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d05a6d8f21b28b6bf4f5f8dd22fc7e61529a8412","datavalue":{"value":{"text":"Schreier varieties of algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892819$243B257A-67B7-4ACC-9501-E34963197FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82bc3ee9ee28717d8c8c98d617cf151635133ab4","datavalue":{"value":"0827.17002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892819$737AB5C9-9ED1-42B2-B9D9-871016D05EF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebb2b48159cb52a673c7de9c0da697755e5e513e","datavalue":{"value":"10.1007/BF00750233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892819$45EF39C5-2859-43BC-892B-CA7BA80FBA69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$238786E3-3EBB-4A72-B06F-45478A0207BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09d12fc8a0effa3815aec3ae3a7c520891187f82","datavalue":{"value":{"time":"+1995-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892819$407E521D-930B-4456-91A5-F83A14DCF511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fc354117c59182578c9f3b0ea761acbe3e04d24","datavalue":{"value":"https://eudml.org/doc/187689","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892819$BDD14A12-EDC6-4DE0-8A6F-AA5CCA4FF32D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a1f7ea3b05ea6923ec60556a0a58baeebd8e6871","datavalue":{"value":"A variety \\({\\mathcal X}\\) is called a Schreier one if a subalgebra of an \\({\\mathcal X}\\)-free algebra is free. In the sequel the word ``variety'' means ``variety of linear algebras over a field''. Recall that a variety \\({\\mathcal X}\\) is called homogeneous if an identity \\(f=0\\) implies in \\({\\mathcal X}\\) an identity \\(g=0\\) whenever \\(g\\) is a homogeneous component of the polynomial \\(f\\). If \\({\\mathcal X}\\) is a variety and \\(A\\in {\\mathcal X}\\) then \\(U_{\\mathcal X} (A)\\) denotes the universal multiplicative enveloping algebra of \\(A\\) in \\({\\mathcal X}\\). Let \\(F\\) be the \\({\\mathcal X}\\)-free algebra over the alphabet \\(\\{x_1, \\dots, x_k, \\dots\\}\\), \\(I_F\\) the free right \\(U_{\\mathcal X} (A)\\)-module with a base \\(\\{y_1, \\dots, y_k, \\dots\\}\\), \\(D: F\\mapsto I_F\\) the derivation such that \\(D(x_i)= y_i\\) for all \\(i\\geq 1\\). If \\(H\\) is a subalgebra of \\(F\\) then \\(J_H\\) denotes the submodule of \\(I_F\\) generated by the set \\(\\{D(h)\\mid h\\in H\\}\\). The main results of the paper are the following three theorems.    Theorem 1. Let \\({\\mathcal X}\\) be a homogeneous variety of linear algebras over a field \\(F\\). Then: 1) if \\({\\mathcal X}\\) is a Schreier variety then the following holds: a) if \\(F\\) is an \\({\\mathcal X}\\)-free algebra then \\(U_{\\mathcal X} (F)\\) is a free associative algebra; b) if \\(F\\) is an \\({\\mathcal X}\\)-free algebra and \\(H\\) is a homogeneous subalgebra of \\(F\\) then \\(U_{\\mathcal X} (F)\\) is a free right \\(U_{\\mathcal X} (H)\\)-module with a homogeneous base; 2) if \\({\\mathcal X}\\) satisfies the conditions a) and b) and \\(\\text{char} (F)=0\\) then \\({\\mathcal X}\\) is a Schreier variety.    Theorem 2. A homogeneous variety \\({\\mathcal X}\\) of linear algebras over a field is a Schreier one whenever it satisfies the condition a) of Theorem 1 and the following condition: c) if \\(F\\) is an \\({\\mathcal X}\\)-free algebra, \\(H\\) is a subalgebra of \\(F\\), \\(f\\in F\\), and \\(D(f)\\in J_H\\) then \\(f\\in H\\).    Theorem 3. The variety of linear algebras over a field given by the identity \\(xx^2=0\\) is a Schreier variety.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892819$CBF8C446-62A3-4E68-9776-514765DDEBFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f254a07a459db04e7ab2cb6c12a95178f0b72f25","datavalue":{"value":"17A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892819$5B2B4C6F-BB3C-4CD9-9AE2-8821C9944DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1e037731cf5fe8d56e5ff843e21caf66868428b","datavalue":{"value":"17A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892819$278F457D-CF54-4AC3-8D1E-356F68D346E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892819$339768C8-B1E7-4FBE-AEFC-B479ACE4C875","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbfc9f3c6c32be5fae6eff5c8e26bfbc5f4a2ae0","datavalue":{"value":"767663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892819$20E7A0CF-4CC7-4F6D-B6C1-8538B6AD9F89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892819$065E73DE-6640-4E81-9BC5-A1EAA053790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341743e8a7298e8281ddcf7a0e2611bf3b34bd8f","datavalue":{"value":"universal multiplicative enveloping algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892819$BF41E17B-7645-4009-9100-8269D71C4CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e957e41454d95c914987e6627b72922f050d19","datavalue":{"value":"homogeneous variety of linear algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892819$6622BDEA-CB5F-457E-A034-D1F7268C8725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b505eeff09449f715d57a4f06b1575811733bdb","datavalue":{"value":"Schreier variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892819$2D4CC65B-2821-4D05-A0EB-E6454D73348D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef37818891daaa41216b1ecd78269747e6211f10","datavalue":{"value":{"entity-type":"item","numeric-id":1750775,"id":"Q1750775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$1B8E0986-93B0-4727-B4FD-D1EF488C5D28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$3C8F91E9-2283-4895-8DCB-97627AFA9FF5","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":"Q1892819$D45CC5A3-A783-47B1-A189-12398D26C651","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e41e2ee43dd2c87206f38fe12dc57934d7708e","datavalue":{"value":{"entity-type":"item","numeric-id":5801396,"id":"Q5801396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$3946FB57-89A7-4C01-8CB6-2FC68A2A8B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f034d59391fc82b7f3089d2a4425d00cc2bda1","datavalue":{"value":{"entity-type":"item","numeric-id":5825747,"id":"Q5825747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$92C41CE8-930E-4981-AFF6-EB4A443B748B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70577d47406adebc0fe5a39c1f45eefbd25a5768","datavalue":{"value":{"entity-type":"item","numeric-id":5821489,"id":"Q5821489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$CB80FBE8-C30D-4B0D-B9BC-28F0E07DF34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175d723730d02528cf56d62410060156aaa224e9","datavalue":{"value":{"entity-type":"item","numeric-id":766978,"id":"Q766978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$FBEAC331-4A1E-4B1A-BCD3-9FEE2AC1DD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc0ebbe84b12de2019e7c9fb09dffaf5ecf0793","datavalue":{"value":{"entity-type":"item","numeric-id":5559613,"id":"Q5559613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$5F7F781C-D70D-4FA6-A327-F668ACAB859F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623d0816a713298f652c41cdbe412769a9002ed2","datavalue":{"value":{"entity-type":"item","numeric-id":3697196,"id":"Q3697196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$CBF9E200-4B99-471C-8856-2166E9EEAE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b4c76eff230987aafacc324bca285f68268351","datavalue":{"value":{"entity-type":"item","numeric-id":3717247,"id":"Q3717247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$1525C541-EFA1-4CE1-8B1C-5AE08536F439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7596b1242d88af6d179b5487ffd6fe2d53f9ca98","datavalue":{"value":{"entity-type":"item","numeric-id":4402085,"id":"Q4402085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$95AAEBD1-D504-4BFC-B5AD-43589E5DDD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c552a89d609f6f538d04e78f7736fabde77063a2","datavalue":{"value":{"entity-type":"item","numeric-id":5639812,"id":"Q5639812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$60D2892D-BEBA-43D8-97B6-3C517A7A9CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e97ac4cfef72a57b31adb4b10fe063a7b8574b","datavalue":{"value":{"entity-type":"item","numeric-id":5517759,"id":"Q5517759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$BCBF3140-0349-4277-9083-3E1B827A49A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21c830c1a6a18a43b09b8bcd5f378caa6a0e76a","datavalue":{"value":{"entity-type":"item","numeric-id":5622399,"id":"Q5622399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$B21EBC6F-E2F4-4F1C-BED8-D2B92B1EE66C","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":"Q1892819$277EFA2A-CAA8-4822-BE8C-C545EA49B5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea05b4d88a32445c1190f74190c13b31a065043","datavalue":{"value":{"entity-type":"item","numeric-id":4297725,"id":"Q4297725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$4D7A4683-76E7-4765-B6B4-0A9959C83C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0a14530691283d863674337e4d30ff5470a66c","datavalue":{"value":{"entity-type":"item","numeric-id":3871053,"id":"Q3871053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$435F6392-9AD1-4468-96D4-80754E376F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1476af2192afc583921c8529b58899bc9c5d4ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3909162,"id":"Q3909162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892819$2585FA87-D4C5-450C-BD91-0941F3D1E861","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67d917cb1c94d6fff1c8dd37b332ebc49529ee2c","datavalue":{"value":"W3146705479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892819$3B369CD7-CE86-441C-A289-F8F5530AC603","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a0c9a1d1d98e13f722b13aa9c7639e194c0883","datavalue":{"value":{"entity-type":"item","numeric-id":5580342,"id":"Q5580342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370cd96e574ef679f2ca74f14dc6fe95b9a75813","datavalue":{"value":{"amount":"+0.8431905508041382","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":"Q1892819$BBB136E3-BEBC-4007-815C-8BD30E3E9EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6cdb9e0d914ed410556c5b871ee01db77f9772","datavalue":{"value":{"entity-type":"item","numeric-id":4474886,"id":"Q4474886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9828a86ef3c9eb5f11f631a5b9706a56ed9f7af5","datavalue":{"value":{"amount":"+0.8326889276504517","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":"Q1892819$50326FF7-2EFC-4A94-935E-FAC896717B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596436f92a165324fa16dd06324d3d103125280","datavalue":{"value":{"entity-type":"item","numeric-id":800499,"id":"Q800499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a254ce3fd3dcad26388339d418b901f96a7e696","datavalue":{"value":{"amount":"+0.8234084844589233","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":"Q1892819$66EBB44D-F452-4424-92A6-9C449346687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fb03813b4fd1abc927cabf0e3f4abca8a4931f","datavalue":{"value":{"entity-type":"item","numeric-id":2416810,"id":"Q2416810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e09b2379141b6354223ff34936ccf4abc2bcd90","datavalue":{"value":{"amount":"+0.8210011720657349","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":"Q1892819$3E76627C-A1C8-4C01-8028-0AE7EF752281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b223e2f739e41c492b0c54cfbf988dbff2c2261","datavalue":{"value":{"entity-type":"item","numeric-id":4875144,"id":"Q4875144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2874d408caf46a5c945cb93fe1275abf8a9c94","datavalue":{"value":{"amount":"+0.798657238483429","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":"Q1892819$9E1AFB22-90D6-4471-9D7B-FAA14335F341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Schreier varieties of algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Schreier_varieties_of_algebras"}}}}}