{"entities":{"Q932294":{"pageid":934142,"ns":120,"title":"Item:Q932294","lastrevid":65502567,"modified":"2026-04-12T03:02:54Z","type":"item","id":"Q932294","labels":{"en":{"language":"en","value":"Counterexamples regarding symmetric tensors and divided powers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299440"}},"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":"Q932294$0740E810-3DEB-493F-821E-5FD3C1938698","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d3e0e92b9c13d2e8d894e04c8452d5da39979ee","datavalue":{"value":{"text":"Counterexamples regarding symmetric tensors and divided powers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q932294$59899415-F606-448C-A9AC-D4E6136C5992","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9564adec2b99545835ae09bb3cbdc596321ab763","datavalue":{"value":"1143.13009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932294$32A8BA6D-2E5C-4BF7-8BD8-DAD1318CB858","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de3ce67ecdc304f930c0ad1e4c0498b3c6e9990e","datavalue":{"value":{"entity-type":"item","numeric-id":932293,"id":"Q932293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$A5BAB191-89D0-4A25-B39A-73552E17AB8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$33A0A145-7F6C-49B6-930A-6B8D356E5CD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b588045ffddb7ab41c71713eb6e9655fe759644","datavalue":{"value":{"time":"+2008-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q932294$5CEA6C36-4F24-4288-9E09-09BA3D3D60C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36d92aa1828db82f1f2845374247adf96d95d3b3","datavalue":{"value":"https://arxiv.org/abs/math/0702733","type":"string"},"datatype":"url"},"type":"statement","id":"Q932294$CDCE33EB-F36B-4C95-86AC-0CB0AAA9CD8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a91186e24c61c708027b40d56a31ff7231f9c683","datavalue":{"value":"Let \\(A\\) be a commutative ring with unity. To any \\(A\\)-module \\(M\\) and positive integer \\(n\\) we let \\(TS_{A}^{n}( M) \\) be the \\(A\\)-module of symmetric tensors of length \\(n,\\) that is, \\(M^{\\otimes n}\\) modulo the natural action of the symmetric group \\(\\mathfrak{S}_{n}.\\) Furthermore we let \\(\\Gamma_{A}^{n}( M) \\) be the module of divided powers of length \\(n\\), defined by universal properties related to polynomial laws of degree \\(n\\). This gives a functor \\(M\\mapsto\\Gamma_{A}^{n}( M) \\) which commutes with base change, whereas \\(M\\mapsto TS_{A}^{n}( M) \\) does not.  In the paper under review, the author compares and contrasts \\(TS_{A} ^{n}( M) \\) and \\(\\Gamma_{A}^{n}( M) .\\) There is a canonical map \\(\\Gamma_{A}^{n}( M) \\to TS_{A}^{n}( M) \\) which is an isomorphism if either \\(M\\) is flat or \\(n!\\in A\\) is invertible. However, in general this map is neither injective nor surjective, and much of this work is devoted to giving specific examples of this. For example, let \\(A=k[ x] ,\\) where \\(k\\) is a field of characteristic \\(p\\). Then \\(\\Gamma_{A}^{p}( k) \\cong k[ x] /( x^{p}) \\) and \\(TS_{A}^{p}( k) \\cong k\\) and the canonical map is not injective. Also, if \\(\\text{char } k=3\\) and \\(A=k[ s,t] \\) we let \\(F=A^{2},\\) generated by \\(e_{1}\\) and \\(e_{2},\\) and \\(M=F/K\\) where \\(K\\) is generated by \\(se_{1}-te_{2}.\\) Here \\(\\Gamma_{A}^{3}( M) \\to TS_{A}^{3}( M) \\) is not surjective. Other examples are given where \\(\\Gamma_{A}^{n}( M) \\to TS_{A}^{n}( M) \\) is either injective or surjective, but fails to be so under base change.  The examples presented here are extended from modules to algebras, and are related to the work of \\textit{D. Laksov} and \\textit{A. Thorup} [Indiana Univ. Math. J. 56, 825--846 (2007; Zbl 1121.14045)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q932294$1262434F-83CD-4FD1-A13B-4C56EAC0302A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ae8ac771025753cf4e7a4f37cda1a7ad2012f998","datavalue":{"value":{"entity-type":"item","numeric-id":210546,"id":"Q210546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$C7251E74-FC1E-4726-9F7B-8B5917A89ADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932294$12B0CD0E-E8FD-40E1-AB63-7D681B603BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932294$4A21BE91-6C07-4EC0-9CFA-C1AA726907C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b05049fd530336350143cc67500a4a8d74fb6408","datavalue":{"value":"5299440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932294$085A80F0-F5BD-44B7-B88F-6F14D265CF18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615586ca4dce1c8eca85fc31495ae508cfdef308","datavalue":{"value":"symmetric torsors","type":"string"},"datatype":"string"},"type":"statement","id":"Q932294$FF99FC28-B77E-49B6-85E5-E1306037872B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8034de649e17be8b0f38e33cfbdf6c89cc0ac2","datavalue":{"value":"divided powers module","type":"string"},"datatype":"string"},"type":"statement","id":"Q932294$F407AEBD-941D-4285-BAA5-AD232C2FA7AD","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":"Q932294$B0265713-7B31-4BE8-AE20-C129F24A05F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"75361c75ccbb9ac22192b8d9b6c9250ee1081094","datavalue":{"value":"Q124879538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932294$990791E6-657A-44F8-BD9E-BA7CF596DE61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b065b6c110c7e48bff66bb8da8151ace03940e18","datavalue":{"value":"W2071982958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932294$BD1C8C82-A54C-4513-8F2F-030F87D02793","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3541971acf1d6854d679c142ef49500ee7ca18","datavalue":{"value":{"entity-type":"item","numeric-id":3285650,"id":"Q3285650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$5DD2C2D7-3B2B-426A-A451-5248BF71E503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39496df4646ea47fb73b8047deb136bbd90fea19","datavalue":{"value":{"entity-type":"item","numeric-id":5669434,"id":"Q5669434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$520CB26C-8DEB-4FDF-9801-CA90872EEF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdc9905df3c6109d4952fd74ca8d381c862ae80","datavalue":{"value":{"entity-type":"item","numeric-id":4225825,"id":"Q4225825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$75DC3B8E-A5C1-4398-AEEA-03FFB19508F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920cff4b7d9eb130eba03f23b1ba0590e0e0f74d","datavalue":{"value":{"entity-type":"item","numeric-id":5292687,"id":"Q5292687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$4826C54E-5949-4FF3-A81E-3E8C431037AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d89ba1f93f46798a88610e299fe84dbb51539d","datavalue":{"value":{"entity-type":"item","numeric-id":5726727,"id":"Q5726727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$2FEA5004-BC81-4B6F-ACFE-73A1C7E390A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69a80411d2d18010adb914474f3a761742cf74","datavalue":{"value":{"entity-type":"item","numeric-id":3160713,"id":"Q3160713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932294$04808AF7-FD9D-4C0E-AE8A-0C2122C020AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f29ef538af05a55540eaf60cc47f49baf48f816f","datavalue":{"value":"10.1016/J.JPAA.2008.03.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932294$4F905F06-2658-4535-8DBE-840CF6DCA126","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa8f797c883a3c114fcec1d89d6b720c0ddf3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3745936,"id":"Q3745936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a7e223a64a680ca7f45c10dda501bb3bf7aac0","datavalue":{"value":{"amount":"+0.6782351732254028","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":"Q932294$76E0893A-BA04-4D18-BCA2-0A7DB9D82EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ba9eb8eee59ea77b92022bbb4aae1e08575bd7","datavalue":{"value":{"entity-type":"item","numeric-id":4874736,"id":"Q4874736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b26caa844f47c84704f32437d2c70c3e8d64958","datavalue":{"value":{"amount":"+0.668663501739502","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":"Q932294$FC77825F-BF0B-4761-8D6D-6235F5AD0335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e606ed71e37ab433f72accff77f96cae76725fa","datavalue":{"value":{"entity-type":"item","numeric-id":4032046,"id":"Q4032046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41417ba00ebe69585842ded51c1630a2d971bf5","datavalue":{"value":{"amount":"+0.6685686111450195","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":"Q932294$AB268CFF-07CF-4B5B-B6F9-F5FB825D1D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b20a984148efe204c51f95992fd9f847409c6","datavalue":{"value":{"entity-type":"item","numeric-id":3421807,"id":"Q3421807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a58067ef233f66dd6937c25172fe4e5f652eec","datavalue":{"value":{"amount":"+0.6588064432144165","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":"Q932294$90F8CEA8-1CC3-4A04-8E5E-E40117FC5A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692f096a77ca0a953b01f03f5c8942a9dcb39333","datavalue":{"value":{"entity-type":"item","numeric-id":3745937,"id":"Q3745937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b4d32fdc9a8ec944eb49cbbb95172d05faa1a9","datavalue":{"value":{"amount":"+0.6585070490837097","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":"Q932294$7348D135-82A6-4BEF-BDBD-AF436CA67317","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexamples regarding symmetric tensors and divided powers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexamples_regarding_symmetric_tensors_and_divided_powers"}}}}}