{"entities":{"Q1870083":{"pageid":1880825,"ns":120,"title":"Item:Q1870083","lastrevid":71021673,"modified":"2026-04-13T18:58:18Z","type":"item","id":"Q1870083","labels":{"en":{"language":"en","value":"On actions of infinitesimal group schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1903594"}},"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":"Q1870083$4925E1EA-BA1F-45F7-8FB4-23EBBD04E7DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"027c58fac1c4ae6ea1099ecbd212641532d4ec3d","datavalue":{"value":{"text":"On actions of infinitesimal group schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870083$30B2D046-3ABC-4EC3-84AF-D91C840A43BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4e695df5c36df7e98e6a8e83444f041c331aa31","datavalue":{"value":"1019.16026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870083$60BA07E8-20A5-4E6A-BE98-BC7DFC8C0C30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bee568737ab0ed0c61982345166cbdb9eec89e5","datavalue":{"value":"10.1016/S0021-8693(02)00683-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870083$8036B4AD-FD6A-4BB8-96AC-17603A5AC115","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ffdce5e6f0b2ce778b48579aa6d0a6e32591ea2","datavalue":{"value":{"entity-type":"item","numeric-id":177379,"id":"Q177379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$7890F464-1F0C-44C8-85A9-8FF437557789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53cca084a306e7d0474cdf1d59b696b5bc8326a1","datavalue":{"value":{"entity-type":"item","numeric-id":787287,"id":"Q787287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$BBD38FFD-C5A5-4553-A47D-9B4BE87C474C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$69C717A8-8BF3-4686-931F-2F33A30ED5D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9741052acb3601490f70dda00f31b7265d37a65","datavalue":{"value":{"time":"+2003-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870083$61628CAD-9233-4D15-9617-D539A87DFFC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15a320532c085b168827c6ab401b5e013015ea47","datavalue":{"value":"Let \\(H\\) be a finite-dimensional commutative Hopf algebra over a perfect field \\(k\\) with characteristic \\(p>0\\). Such a Hopf algebra is necessarily a truncated polynomial algebra -- we will call the variables \\(x_1,x_2,\\dots,x_n\\). Given a right \\(H\\)-comodule algebra \\(A\\) via \\(\\delta\\colon A\\to A\\otimes H\\) there exist derivations \\(D_i\\colon A\\to A\\) for \\(1\\leq i\\leq n\\) such that \\(\\delta(a)=a\\otimes 1+1\\otimes a+\\sum D_i(a)\\otimes x_i+\\) terms of higher total degree.   Let \\(R=A^{\\text{co }H}\\) be the subalgebra of coinvariants under \\(\\delta \\). The authors show that \\(A/R\\) is an \\(H\\)-Galois extension if and only if there are elements \\(y_1,y_2,\\dots,y_n\\in A\\) such that the matrix \\((D_i(y_j))\\) is invertible. Such \\(y\\)'s are found by considering elements that map to \\(1\\otimes x_i\\) for all \\(i\\) under the canonical map \\(A\\otimes_RA\\to A\\otimes H\\) (which is surjective when \\(A/R\\) is \\(H\\)-Galois).   The final theorem gives results in special cases. Suppose that \\(A\\) is a regular local ring of dimension \\(d\\) and once again that \\(A/R\\) is \\(H\\)-Galois with \\(y_i\\)'s as above. Then \\(R\\) is regular local. If, for all \\(1\\leq i\\leq n\\), we have that \\(y^{p^{s_i}}\\in R\\) then there are parameters \\(z_{n+1},z_{n+2},\\dots,z_d\\) such that \\(\\{y_1,\\dots,y_n,z_{n+1},\\dots,z_d\\}\\) is a regular system of parameters for \\(A\\), \\(\\{y_1^{p^{s_1}},\\dots,y_n^{p^{s_n}},z_{n+1},\\dots,z_d\\}\\) is a regular system of parameters for \\(R\\). If \\(A\\) is also complete then there is a field \\(F\\) with \\(k\\subset F\\subset R\\) which is isomorphic to the residue fields of both \\(A\\) and \\(R\\); and \\(A\\cong F[[y_1,\\dots,y_n,z_{n+1},\\dots,z_d]]\\) and \\(R\\cong F[[y_1^{p^{s_1}},\\dots,y_n^{p^{s_n}},z_{n+1},\\dots,z_d]]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870083$11D08952-A586-44A6-B3E8-8FF253F1EEC9","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":"Q1870083$44434C75-E508-47CC-AAD0-DC7A4E76A65D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870083$91FEE921-9F94-4B3C-A52B-82F59414B771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870083$C6021209-E959-4314-B7AE-C0A205EEAFCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4b8c2a2df3674839643d3ef1de871c663cdf21c","datavalue":{"value":"1903594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870083$5D9835CE-AF38-4097-BDFF-010E4203EA7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d040f1990011d14d4d53771e0b1f5f8fdddb791","datavalue":{"value":"Hopf Galois extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870083$7BBAFEB4-DD34-4A39-840A-3DC313204F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"232dadff15f15aca7f7ea84cfbd39f02c208e5dd","datavalue":{"value":"infinitesimal group schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870083$F644273F-77D6-401C-AFF9-82B51225C1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070a269a8d1a3a3f52dcd607aa1f62ca1a2e6060","datavalue":{"value":"comodule algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870083$869A19EB-D0C0-49A0-AC26-189EEDCB332B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30f8055920725b7d5a16a33ea30695801846cb28","datavalue":{"value":"truncated polynomial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870083$BA069398-AC9A-4C0F-B5DD-846D2DCFA70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2387e54f35a8c8d774757254ba643a27935483d","datavalue":{"value":"algebras of coinvariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870083$06FA6A93-2126-4ED5-979D-13151CD102E8","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":"Q1870083$3AEC1D62-F155-4228-A9A8-3600C02DABE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab29f083e8bcdd5c461a09542346cda05ccd9efb","datavalue":{"value":{"entity-type":"item","numeric-id":5602064,"id":"Q5602064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$BFD9E40B-390C-477C-BB1E-F20C7A37BB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12919d826c1dc4cbe84dc6d9b3089f74362a22a","datavalue":{"value":{"entity-type":"item","numeric-id":3897166,"id":"Q3897166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$E1A832E6-D153-4F85-980A-786DAF294E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adcedfc96f3f496e572febbd14ad6c90f1753cd","datavalue":{"value":{"entity-type":"item","numeric-id":5523396,"id":"Q5523396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$2D34464D-9620-4537-81D9-D4D2E7D078D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$B98920D9-8C71-468D-97DE-74C8D31E2519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052492139b9a592e01e567ec5045783b2c20e517","datavalue":{"value":{"entity-type":"item","numeric-id":690040,"id":"Q690040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$BFCAC19C-12A5-4619-A2AD-3ED43D84E3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b02c4c8135e7fdbae811d9997efad5f09c84b6","datavalue":{"value":{"entity-type":"item","numeric-id":1806720,"id":"Q1806720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$7582E9D6-7D36-4C75-8B53-E9110C242080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53cfba861c15cc603fab0ff987df4afd6b04b2c3","datavalue":{"value":{"entity-type":"item","numeric-id":4306074,"id":"Q4306074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$C7906615-36ED-446A-9E5E-92A0CDD651B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab96844966b673c45f56f0ad2264562381ff8eb","datavalue":{"value":{"entity-type":"item","numeric-id":4550575,"id":"Q4550575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$5FE09D21-8815-4C7C-8543-8AE0B32D2A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eeb6af20432565e790983577310b4dc3d3c8bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1324179,"id":"Q1324179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$A1051581-414E-4859-B475-D790C628C286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bfdacf4925989cf34c5d1d83ec5c734823a351","datavalue":{"value":{"entity-type":"item","numeric-id":807731,"id":"Q807731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$53EA1B40-C12C-408C-84C8-73C334ACCF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd9c0fb1e0a04ab7e62fc16933cced919d3a4fc","datavalue":{"value":{"entity-type":"item","numeric-id":3884236,"id":"Q3884236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870083$2D4A561A-AC9A-4899-A792-A814A7E30095","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9caf289e81e1c20214003934937315058eca7d1a","datavalue":{"value":"https://doi.org/10.1016/s0021-8693(02)00683-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870083$0D2CC85D-30B5-47F3-B28F-CE03BC4560D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cb4c1e27db666ce501bf14672c8793ef2e9601e","datavalue":{"value":"W2016148492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870083$7047E63C-3965-40FF-AD3D-6ABDFD0AD7FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d885bf5ebd4555616f18875683495d9d1e40bc","datavalue":{"value":{"entity-type":"item","numeric-id":3583989,"id":"Q3583989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b57b94860bc97e317b8cafd1e738ddf2ce95d05","datavalue":{"value":{"amount":"+0.844685435295105","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":"Q1870083$0414A54A-5118-47BC-9438-A63F21825301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083c471f42bd881d8affe9df5fd9003161615024","datavalue":{"value":{"entity-type":"item","numeric-id":1324179,"id":"Q1324179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3e3dfd8ef5193cc797791d72d67a2b7711f88f","datavalue":{"value":{"amount":"+0.806477963924408","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":"Q1870083$BC5FE802-5BF8-40D1-9D33-654155AB99A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f156f87a8b77af88cc39d3d4465ace41b1004d","datavalue":{"value":{"entity-type":"item","numeric-id":2862218,"id":"Q2862218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97fe12c0849d7addc4e362d057893f71facf053","datavalue":{"value":{"amount":"+0.8025591969490051","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":"Q1870083$DECE8AA1-715F-40D9-B322-0CA84D5932BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64abe2a5cf04e209df70f347f2269d7795de339","datavalue":{"value":{"entity-type":"item","numeric-id":3839258,"id":"Q3839258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1056c23cf81c0c62411cc403005436ad33a991b","datavalue":{"value":{"amount":"+0.7999194860458374","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":"Q1870083$7986F491-048B-46C6-AC70-DC49D51CD6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751574c59cfe8e376f43b52320db449b839b8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1343853,"id":"Q1343853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a259a1a59a170895c2717aa66588515c981c65ba","datavalue":{"value":{"amount":"+0.7992746829986572","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":"Q1870083$9D076EB9-66E0-4D01-84C2-F84F2D2F93D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On actions of infinitesimal group schemes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_actions_of_infinitesimal_group_schemes"}}}}}