{"entities":{"Q2382942":{"pageid":2393685,"ns":120,"title":"Item:Q2382942","lastrevid":72667833,"modified":"2026-04-14T06:24:09Z","type":"item","id":"Q2382942","labels":{"en":{"language":"en","value":"Socle degrees of Frobenius powers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5197676"}},"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":"Q2382942$049197CE-A497-4D41-9E03-B3F865C0143D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56702541811730f61d86fb33a14ede3fd069a828","datavalue":{"value":{"text":"Socle degrees of Frobenius powers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2382942$1DC402EF-74FE-426E-B3BA-3535C936821F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3722961b315e8735eabc720a7d65f9fccdfa6d6","datavalue":{"value":"1131.13003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382942$97C3F33A-9FF7-4096-9683-76E7E4AD7C97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e72afd63725bcd85b76caf11509cacb767d2501","datavalue":{"value":{"entity-type":"item","numeric-id":251840,"id":"Q251840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2382942$5D7BBA5C-27B8-4CD3-81AA-6C9D91504FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c5840fbde6cf108abc2aeac2ee289e2dae15b94","datavalue":{"value":{"entity-type":"item","numeric-id":234443,"id":"Q234443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2382942$B7C28363-E533-4EE5-9370-E51B6D9F364C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2382942$9B79B02D-BB33-428C-84CA-8113A690F397","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13993a4ca6931f40cfdb0792b2f28eaa4869d28d","datavalue":{"value":{"time":"+2007-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2382942$D9D13BB2-04D8-4EA9-8D02-A4568951AE6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69e76ccadd172c95f12353b4e2b4c22f467fa1be","datavalue":{"value":"https://arxiv.org/abs/math/0606511","type":"string"},"datatype":"url"},"type":"statement","id":"Q2382942$A3C06A07-4760-4514-88C5-5418A2A0741D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2867c528eabe149aa4b8aa7efc378ec929b2dd0b","datavalue":{"value":"If \\(k\\) is a field and \\(S\\) is an artinian graded \\(k\\)-algebra with maximal homogeneous ideal \\(m\\), then the socle \\(\\text{Soc} S=(0:_S m)\\) is a finite dimensional graded \\(k\\)-vector space \\(\\bigoplus_{i=1}^l k(-d_i)\\), and the numbers \\( d_1 \\leq \\ldots \\leq d_l\\) are referred to as the socle degrees of \\(S\\); the largest degree \\(d_l\\) is called the top socle degree. For a field \\(k\\) of characteristic \\(p>0\\), given a noetherian graded \\(k\\)-algebra \\(R\\) with maximal homogeneous ideal \\(m\\) and an \\(m\\)-primary homogeneous ideal \\(J\\), the paper under review is concerned with the study of the dependence of the socle degrees of \\(R/J^{[q]}\\) on \\(q=p^e\\), where \\(J^{[q]}\\) is the ideal generated by all \\(i^q\\) with \\(i \\in J\\). The authors prove the following result.   Let \\(R=P/C\\) be a complete intersection ring with \\(C\\) generated by a homogeneous regular sequence, where \\(P\\) is a positively graded polynomial ring over a field \\(k\\) of characteristic \\(p>0\\). Let \\(m\\) be the maximal homogeneous ideal of \\(R\\), \\(J\\) be a homogeneous ideal of \\(R\\), and \\(I\\) be a lifting of \\(J\\) to \\(P\\). Let \\(l\\) be the dimension of \\(\\text{Soc} (R/J)\\) and \\(d_1, \\ldots, d_l\\) be the socle degrees of \\(R/J\\). For \\(q=p^e\\), the following are equivalent:   (a) The \\(R\\)-module \\(R/J\\) has finite projective dimension.   (b) \\(\\text{Soc}(R/J^{[q]})\\) has dimension \\(l\\) and the socle degrees of \\(R/J^{[q]}\\) are \\(qd_i-(q-1)a(R)\\) (\\(1 \\leq i \\leq l\\)), where \\(a(R)\\) is the \\(a\\)-invariant of \\(R\\).   (c) \\((C+I)^{[q]} : (C^{[q]} : C)=C+ I^{[q]}\\). (d) \\(I^{[q]} \\cap C=(I \\cap C)^{[q]} + CI^{[q]}\\).   As mentioned in the paper, the implication \\((a) \\Rightarrow (b)\\) was already known in the literature even in the more general case when \\(R\\) is a Gorenstein graded \\(k\\)-algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382942$B84E07FB-5879-444D-8F4D-011E5A0EF783","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"583f5712bbb8e460acb3d93c03a64860aa9a4708","datavalue":{"value":{"entity-type":"item","numeric-id":206816,"id":"Q206816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2382942$0832A046-1057-4089-8848-487851AAAFD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbba9dff550bdc725cd59863edc6ed8158931b04","datavalue":{"value":"13A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382942$8049D927-62E0-4BC7-B904-D98823ED20C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"463c00cf426d27fce1a3691dae78bd424cd43e95","datavalue":{"value":"5197676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2382942$121717B1-4428-460A-911C-0B937596C908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c57ac350084922cbf90bdc2a031519cf1d08b16","datavalue":{"value":"socle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382942$DDBFBD5C-CBE1-4B5F-910D-24CD60044EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3eb55dc12e61e9111b24bebe85d6bbd90a693c7","datavalue":{"value":"Frobenius power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382942$75F2A897-FCB9-4042-987D-F4ECD14CB67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772d26482d327de4af166e7cdc64df23a59aee28","datavalue":{"value":"Gorenstein rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382942$B9E4DCCE-E3CC-49FB-AF39-F856BD0AF145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a14751849b61c979d413905ef60e50b1e7d4030","datavalue":{"value":"complete intersection rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382942$DE6D1333-449A-4033-80BB-9CBE8B57D380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e502df90c085e68648f937e0f21aba611c3a85d8","datavalue":{"value":"tight closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2382942$CDD72B1A-8274-4A60-B009-E994D0C9CAF0","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":"Q2382942$DB4F61AB-5615-40E4-98D1-CEF75DB895F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9876733a80afd452b7bd8e860c87b66959eb23e","datavalue":{"value":{"entity-type":"item","numeric-id":837035,"id":"Q837035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cbc7dab59dfa2dc34960e279b6524e6adceca7","datavalue":{"value":{"amount":"+0.8642125725746155","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":"Q2382942$7E8DD43D-8FE0-43F7-A255-89B2EC6643A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0cd667e2c50b53132b14c57110297fd06ba2de","datavalue":{"value":{"entity-type":"item","numeric-id":538067,"id":"Q538067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d25e9415f1759c1877cf9879e08c06aab158159","datavalue":{"value":{"amount":"+0.812832236289978","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":"Q2382942$0B65CCF4-4AF2-430C-98FF-40CB76E1463A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c85bb41548950b75e82c0b99e13a709cc06c85","datavalue":{"value":{"entity-type":"item","numeric-id":405412,"id":"Q405412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a149dad77d03c22e875a6ed32f5bcad6a396663c","datavalue":{"value":{"amount":"+0.7907159328460693","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":"Q2382942$3289B020-953B-4BDF-BE02-92A7DD647E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b686e40c62c0b36c837bb8ca53d675820e29790","datavalue":{"value":{"entity-type":"item","numeric-id":1983211,"id":"Q1983211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a149dad77d03c22e875a6ed32f5bcad6a396663c","datavalue":{"value":{"amount":"+0.7907159328460693","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":"Q2382942$EABE79A9-4E1E-4D67-BAD8-6AEE2D888F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877834528370ec336eca8518cf7a833e74ce4718","datavalue":{"value":{"entity-type":"item","numeric-id":2040531,"id":"Q2040531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b951eb2dbceabb97d985b9d7ef2ccf4ea3b549","datavalue":{"value":{"amount":"+0.7736393213272095","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":"Q2382942$CD5AF7FC-D0A5-4B10-A04C-1D3F45475FA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Socle degrees of Frobenius powers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Socle_degrees_of_Frobenius_powers"}}}}}