{"entities":{"Q414631":{"pageid":416398,"ns":120,"title":"Item:Q414631","lastrevid":61782882,"modified":"2026-04-11T01:38:20Z","type":"item","id":"Q414631","labels":{"en":{"language":"en","value":"An algorithm for computing compatibly Frobenius split subvarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033272"}},"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":"Q414631$310B656F-3B90-4AD9-828C-FDC9A12419BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba501e4aae49ef7af48f32fefe70c9340e7225fb","datavalue":{"value":{"text":"An algorithm for computing compatibly Frobenius split subvarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q414631$0D86FC48-569A-46F4-8AF2-EE00E229E0B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71b738699b5f96eccbb617765e425f4854628220","datavalue":{"value":"1250.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414631$0BDA261F-CBD0-4154-B6BE-DFB14FB36D8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28fa58f5a8536e8b0707ecf2ff27c1052c2cd9a6","datavalue":{"value":{"entity-type":"item","numeric-id":412541,"id":"Q412541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$F8A7D658-94D3-4D93-AFF9-7F7F7D4D2245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dc1175389bb29934883b9c15acaac1bc0fa3cdd","datavalue":{"value":{"entity-type":"item","numeric-id":412488,"id":"Q412488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$15573E1E-86CF-4A90-9E26-565BD2799FDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$2F55D2A2-9FE9-450B-83B0-864E8BCA64A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q414631$D22FA481-E819-4B04-8A3F-536C0D0BD795","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81a2eb0e1405804f670b3aa0caf8a9c6b2c02838","datavalue":{"value":"https://arxiv.org/abs/1104.1937","type":"string"},"datatype":"url"},"type":"statement","id":"Q414631$E93C84D2-AEA2-46EA-B3EE-E290116742D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbba9dff550bdc725cd59863edc6ed8158931b04","datavalue":{"value":"13A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414631$599ADA7C-0024-49B7-9C31-D068B3956396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414631$9D30B7E4-FD05-4B70-97BC-9D7837495746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414631$9FACB9E0-E6D7-418A-ABEC-76C2F6122B27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"812b8e5712ff416506fa29c474f6217049a544e6","datavalue":{"value":"6033272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414631$B999EBCE-18B5-4997-A4C0-04611E690B19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ddb3550268b6e978feac414574899b44e6efcd","datavalue":{"value":"Frobenius map","type":"string"},"datatype":"string"},"type":"statement","id":"Q414631$9CA6314F-88C3-4279-8DCF-D19AC646A38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546b664e8baaa7e86b217fe60670f1760a09e0c0","datavalue":{"value":"Frobenius splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q414631$BA784854-44B8-4F91-9875-0C279FF5A592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831fe7d711aa01e54469086367e7257423e00b67","datavalue":{"value":"compatibly split","type":"string"},"datatype":"string"},"type":"statement","id":"Q414631$2A85BD8C-0F44-446D-8F50-3935AD8DF948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdaeb62faf4e07e3b1d57affee954fbdf0f41d1","datavalue":{"value":"test ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q414631$88A20B82-1A62-4DC9-A436-6AFECD03006D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q414631$070428FA-F92D-4A70-AF95-E04F02252B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fb38817ddae29e378048aefb68f772f0850e1a4","datavalue":{"value":"prime characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q414631$0307C13A-DD55-4468-B735-218FDD0709D4","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":"Q414631$460AE01E-4DF7-4753-9F3A-3178DDCAA042","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$9D8B4CB7-47FD-4175-9D9A-C70E6C23652F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7ab78c11a5a96fc598f910c529b2ab4e71c73d","datavalue":{"value":{"entity-type":"item","numeric-id":13292,"id":"Q13292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$B9AB6902-A571-4457-8E26-B8D3F7409086","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":"Q414631$375378DF-BA43-4C85-AE02-BF32F5284D6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7d2181237a45adfcf180f49ebf5dab8df0a9821","datavalue":{"value":"W2076888520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414631$9EA6B63C-0B39-48C2-BC4E-A0B16F1A47BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fb833335debfcd59054ab8f5b7b29d0f037257","datavalue":{"value":{"entity-type":"item","numeric-id":841518,"id":"Q841518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$C6AEA117-FD04-4070-8F7D-B4E369FC1DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24980851a69ab43eb8f0dd50004078032fffc999","datavalue":{"value":{"entity-type":"item","numeric-id":976779,"id":"Q976779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$68DA5E52-F48C-41AB-97B2-D311D62B9B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9be62c9bb9a7f2792b6b299528bd246f58d201","datavalue":{"value":{"entity-type":"item","numeric-id":1768512,"id":"Q1768512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$1B9DE479-D3A9-4D42-AF8D-53A51BA801EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93104f2b1c9c0afde05e0e053a7781838d3a524e","datavalue":{"value":{"entity-type":"item","numeric-id":4380359,"id":"Q4380359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$4690E3FA-8EB3-4B1D-9BC7-66C2ADF97821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$6524AF46-649D-4559-8A33-809B296A2769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f7329275d5b31bccd17d27ae93d220e07f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1005883,"id":"Q1005883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$C39696A5-F892-4D6C-8F85-43130CE41C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5d3e28114411c1c905ee40d7ea58355adc128b","datavalue":{"value":{"entity-type":"item","numeric-id":3669544,"id":"Q3669544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$E760081E-10FE-437B-982C-2E889278D495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3040b285a507cb4716dfd187c5350872fcac2998","datavalue":{"value":{"entity-type":"item","numeric-id":5176452,"id":"Q5176452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$16E06F1F-FAC9-46B8-8495-678262642DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33196016bc7d6f2002ff03cc2203e41c3b94a2af","datavalue":{"value":{"entity-type":"item","numeric-id":3521138,"id":"Q3521138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$30816301-5E8D-449F-807F-31ACEA87C896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e5719f989ebfba5fe13a540a71d8c650dca1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3182290,"id":"Q3182290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$A51B8FC7-6977-4E77-82D0-DF33A3CA5C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2053ee5e04ddf9e9bfb0f54eebf2aba1e4402b","datavalue":{"value":{"entity-type":"item","numeric-id":969257,"id":"Q969257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$A8B18F40-2A5F-499D-9A78-F66FE3C9E403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c76d5467bb758ab5ea4d7c79e22d1955ac9311","datavalue":{"value":{"entity-type":"item","numeric-id":974669,"id":"Q974669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$5897BE31-491C-44F1-AB10-ABCA421793D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d181cf0b73365b957550216063eb6d05e774d985","datavalue":{"value":{"entity-type":"item","numeric-id":3443129,"id":"Q3443129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414631$13E5B2C4-9C01-4615-9738-992EF067F29A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"753d704e981cb5d4f2b76c3ffcac7195bedbf8ba","datavalue":{"value":"10.1016/J.JSC.2012.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414631$F447589B-F46D-4F44-8B3E-00BAE93E92B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"33992551f5cc71008ae295a52723c88873ac4bfb","datavalue":{"value":"Throughout \\(R\\) will denote a commutative ring of finite type over a perfect field \\(k\\) of prime characteristic \\(p > 0\\) or a localization of such a ring. We denote by \\(F_{*}^e R\\) the ring \\(R\\) viewed as an \\(R\\)-module via the \\(e\\)-th iteration of the Frobenius morphism \\(F: R \\to R\\). Given an \\(R\\)-linear map \\(\\phi: F_{*}^e R \\to R\\) and an ideal \\(J \\subseteq R\\), we say that \\(J\\) is \\(\\phi\\)-compatible if \\(\\phi(F_{*}^e J) \\subseteq J\\). An \\(R\\)-linear map \\(\\phi: F_{*}^e R \\to R\\) is said to be a Frobenius splitting if \\(\\phi(F_{*}^e1)=1\\).NEWLINENEWLINEIn this paper the authors describe an algorithm that produces all the \\(\\phi\\)-compatible ideals of a given surjective \\(R\\)-linear map \\(\\phi: F_{*}^e R \\to R\\). In particular, the algorithm applies to the case of Frobenius splittings. Their work is motivated by a result (and its proof) of \\textit{S. Kumar} and \\textit{V. B. Mehta} [Int. Math. Res. Not. 2009, No. 19, 3595--3597 (2009; Zbl 1183.13006)] and \\textit{K. Schwede} [Algebra Number Theory 3, No. 8, 907--950 (2009; Zbl 1209.13013)] who showed that there are only finitely many such \\(\\phi\\)-compatible ideals.NEWLINENEWLINEThe authors also study a variant of the algorithm in the case when \\(\\phi\\) is not necessarily surjective. These algorithms have been implemented in Macaulay2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q414631$4F26539E-07F1-4321-BC2A-60CC786921BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7f37c19da47c6257266294e3bb80c6d52aa9a9","datavalue":{"value":{"entity-type":"item","numeric-id":484176,"id":"Q484176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4229a418806784eb8f4da8d6d0f2419967368b26","datavalue":{"value":{"amount":"+0.8399550318717957","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":"Q414631$832A1E90-9D6C-4E90-BA77-EDDA7B2C728D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564cafb18f15fb32368445d39c6ab027152f5fc2","datavalue":{"value":{"entity-type":"item","numeric-id":2437290,"id":"Q2437290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca66a2b27ce7de8ae521526e2c9cb2770a3d096","datavalue":{"value":{"amount":"+0.7651830911636353","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":"Q414631$17067AF6-4861-4A5A-B897-C15BDC06674A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80aa66e0c98d18947ce99fa1509dca9067a75883","datavalue":{"value":{"entity-type":"item","numeric-id":1759376,"id":"Q1759376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828dbb283bc4c438179bd6d364da7f6f3d3f91ac","datavalue":{"value":{"amount":"+0.763810932636261","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":"Q414631$AC8342C5-0F9F-4519-9C0C-4219055A0782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76d974e80d2bd96b689ea4a39aea45a290e990c","datavalue":{"value":{"entity-type":"item","numeric-id":609652,"id":"Q609652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910905caadd6d1d0909829a69821994c0ccbcdbd","datavalue":{"value":{"amount":"+0.7608108520507812","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":"Q414631$847D1512-F4E8-4B21-9025-A88F69381442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25cc0e52b6a0b27596ab95cab922476aa14d2ea8","datavalue":{"value":{"entity-type":"item","numeric-id":2219245,"id":"Q2219245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6096ab56e7bd21f56d011846210627428db78cae","datavalue":{"value":{"amount":"+0.7542291879653931","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":"Q414631$2CCDF3E4-C599-4DC9-8B2D-EB01A6C59298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for computing compatibly Frobenius split subvarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_computing_compatibly_Frobenius_split_subvarieties"}}}}}