{"entities":{"Q1820822":{"pageid":1831564,"ns":120,"title":"Item:Q1820822","lastrevid":69036807,"modified":"2026-04-13T03:55:47Z","type":"item","id":"Q1820822","labels":{"en":{"language":"en","value":"Hopf Galois theory for separable field extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995840"}},"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":"Q1820822$D13F3CE7-1226-4DD5-AD48-671AF09698A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ad779b89ccef7c38179a6a5b51df464414ca674","datavalue":{"value":{"text":"Hopf Galois theory for separable field extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820822$A4875DAF-DE55-40D3-9032-41A2740A1EEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07bd96c2e52f5c6072be691e298c9fecce40d21c","datavalue":{"value":"0615.12026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820822$0967FDA0-447E-47C8-B60C-00FF02C946FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72bb82a6bf35d1e8ae553dc98783c04bdc3060a0","datavalue":{"value":"10.1016/0021-8693(87)90029-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820822$3A021876-D9F6-4129-B10F-17A96549FFA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e48c004974ea6926a5aa8d95dffd54ce5a17cf","datavalue":{"value":{"entity-type":"item","numeric-id":351771,"id":"Q351771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820822$E6460E5D-6D7F-4F89-9FDA-7C7F289FE71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"527898ab050b6db06afef42809287e994c4f9326","datavalue":{"value":{"entity-type":"item","numeric-id":180370,"id":"Q180370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820822$911CE84C-874C-49C4-96B0-02B427745C28","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":"Q1820822$58FD5F8A-F7AB-45E1-8D1E-94768FD3C763","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1820822$9310D0FD-C91E-47D3-8AB1-DB5349975CA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cad783c2d638a041b263e3e28fc71be31952884","datavalue":{"value":"https://epub.ub.uni-muenchen.de/7117/1/7117.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820822$08D848D8-AD24-4E51-BB80-9EAB9FE9A0F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bdcd29c38a0e8f7f2a240cb6f507dbb6d5a3801","datavalue":{"value":"The concept of an extension \\(S\\supseteq R\\) of commutative rings being an \\(H\\)-Galois extension for some Hopf \\(R\\)-algebra \\(H\\) has been available since the work of \\textit{S. U. Chase} and \\textit{M. E. Sweedler} [Hopf algebras and Galois theory. Lect. Notes Math. 97.  Berlin etc.: Springer-Verlag (1969; Zbl 0197.01403)], but the only substantial use of the concept in field theory prior to this paper has been in connection with purely inseparable extensions. This paper characterizes those separable (not necessarily normal) field extension \\(L\\supseteq K\\) which are \\(H\\)-Galois for some Hopf \\(K\\)-algebra \\(H\\).    The strategy is Galois descent: pass to the normal closure \\(\\tilde L\\) of \\(L/K\\), then \\(L/K\\) is \\(H\\)-Galois for some \\(H\\) iff \\(\\tilde L\\otimes_ K L\\) is \\(\\tilde L[N]\\)-Galois for some group \\(N\\) normalized by the Galois group \\(G=\\mathrm{Gal}(\\tilde L/K)\\); if so, \\(H=\\tilde L[N]^ G\\). Among the results obtained are the following: any (not necessarily normal) cubic, quartic or radical extension is \\(H\\)-Galois for some \\(H\\). If \\(\\tilde L=L \\otimes_ K E\\) for some Galois extension \\(E/K\\), then \\(L/K\\) is \\(H\\)-Galois for some \\(H\\). A quintic extension \\(L/K\\) is \\(H\\)-Galois iff \\(\\mathrm{Gal}(\\tilde L/K)\\) has order \\(\\leq 20\\).   An intriguing aspect of the theory which is similar to the purely inseparable theory is that \\(L/K\\) may be \\(H\\)-Galois for more than one \\(H\\). The fundamental theorem of Galois theory for Hopf algebras [loc. cit., Theorem 7.6] gives for an \\(H\\)-Galois extension \\(L/K\\) a bijection between sub-Hopf algebras of \\(H\\) and certain subfields of \\(L\\) containing \\(K\\). The authors show that any (ordinary) Galois extension \\(L/K\\) with Galois group \\(G\\) may be given an \\(H\\)-Galois structure for some Hopf algebra \\(H\\) so that in the Galois correspondence, the intermediate fields which correspond to sub-Hopf algebras are precisely those which are normal over \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820822$5B53A78A-550E-4AA1-AB85-D8606F6C23A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7ae5b0238fc8237a68a316fe1f75e776c41d8c","datavalue":{"value":"12F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820822$6E338C2C-EA1B-4C2D-9E82-67CB993F6EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46d228144203299b76ed9fda9973fb3a3d18987c","datavalue":{"value":"16T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820822$ACC65B08-68F8-4E0A-BE02-79A00787BDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2dfcb9d8d914f431a493a7cd2f6617f576acc7c7","datavalue":{"value":"13B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820822$031240C5-6EC7-47C3-97CA-CC8203047F77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9afe25cf936bda5561efd372c0bae83ddf209f2","datavalue":{"value":"3995840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820822$D968517E-850A-4DAC-87CD-E62C554517E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40251f02ecebdc8f8c69fbed65ccc3a07426bef","datavalue":{"value":"separable field extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820822$1CAF0D96-9874-46C8-9C8E-8876E5C5C9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4172d14e083d078181cd09f7a267553033670b7","datavalue":{"value":"Galois descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820822$5D584686-81DE-4615-84C2-FD068E030C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a98432d786b222ffd7fdf6a601c01faf8631d5e","datavalue":{"value":"normal closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820822$DF0F414C-4D7E-466F-9592-4F74334D62F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e6565160e1581e59b6f88dfe663423f62054ce","datavalue":{"value":"radical extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820822$9A25213B-F0EB-4CA5-A247-F92AD38DCE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39c3f50df6b5a14607dec509825297d3006110e","datavalue":{"value":"quintic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820822$B2FA3C87-6B25-41D5-AF41-ED9F305CF7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc29571ef1026a606a1b0b107016eb534039786d","datavalue":{"value":"Galois theory for Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820822$A0D733C1-E3BE-4CC4-881D-0B8B626A231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3decdda79258a34a033f612494b9ec2a80bd23c6","datavalue":{"value":"Galois correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820822$B0B4536C-70E8-42BE-A251-C049F58A11AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fcfeb0ee86d374add7d9de7d2940211fc301bb41","datavalue":{"value":{"entity-type":"item","numeric-id":439068,"id":"Q439068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820822$26088005-0A35-44BA-B2A2-D76F86239424","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":"Q1820822$8F1060E3-775E-4A37-A36D-ED590E0E61D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88afa152aeec58db0baa6f4b82c578103d457a75","datavalue":{"value":"W2056454133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820822$52FBC2BE-D2CB-4ADF-8641-469BC8D18EA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc6271e0837ba8ac999d9e61345354f03189d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5518494,"id":"Q5518494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820822$09EE3FE8-56C8-48EA-A5D2-4EB49DD805AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f040882ab62991a3dbad438bd4de49b1825717","datavalue":{"value":{"entity-type":"item","numeric-id":2539649,"id":"Q2539649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820822$9883F143-9856-474A-92FF-39AE756759C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8b1d468c0a63d81e6ad91e8b16c6aa7d19d8834","datavalue":{"value":{"entity-type":"item","numeric-id":1845023,"id":"Q1845023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820822$A3BD2A60-EDBC-490E-A6F6-06D41B090FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d238b948fa3480604f0b49e6425b92e2b10c325","datavalue":{"value":{"entity-type":"item","numeric-id":5590089,"id":"Q5590089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820822$F4600C01-0902-4A1F-A18F-6BB44AE821EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be7597785ef6c32f04e6d37617052c9cd96d2fde","datavalue":{"value":{"entity-type":"item","numeric-id":3033860,"id":"Q3033860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61264e17998427e2d5259d0470d4f78f9db3d9ec","datavalue":{"value":{"amount":"+0.98812693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$41C9CD7E-285E-49EC-B97D-8219FD2BD8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5174a8ff3f9b1d0d0a11249790782086e29dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2401757,"id":"Q2401757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc65b789f4678ce70c41754ddb531fa09e88d59","datavalue":{"value":{"amount":"+0.94900584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$5C45DB1B-CF00-4009-8D60-B73E4CA2059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc6564636efaf6eb98942e3227a7827da4a67c7","datavalue":{"value":{"entity-type":"item","numeric-id":4011054,"id":"Q4011054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e8e543ddfbd34721caf4d7a5810ade5a6c7bac","datavalue":{"value":{"amount":"+0.9464251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$2A5B63E9-9EE5-4BC8-BCB3-3BFB50CA35A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a9ebf9a025234970a71da59c1d21e5e517284a","datavalue":{"value":{"entity-type":"item","numeric-id":4206915,"id":"Q4206915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba5c150723e47a9b80dbc9ec7838dcee0685150","datavalue":{"value":{"amount":"+0.9426236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$2DD27E79-BDD9-40CE-94E2-A3224A08AA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff069f35ab608db07e896b730d2d8c188f58e34f","datavalue":{"value":{"entity-type":"item","numeric-id":4672795,"id":"Q4672795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88e892b1d2d76a6170bc2925720241305347fee","datavalue":{"value":{"amount":"+0.93766934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$D6B3CB29-7963-48E3-9302-C0D19F0F7D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c31da359e886fe8251eb1760e112bf0fb6663a","datavalue":{"value":{"entity-type":"item","numeric-id":4957783,"id":"Q4957783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82ffec9217ee1a0e11f36d786cee398d5bba804","datavalue":{"value":{"amount":"+0.9336906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$C168D1FE-8439-4F7C-AE16-30FFE0CA6E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa36d195a06c4003a31dcf2cc8d28ca669fa7d5","datavalue":{"value":{"entity-type":"item","numeric-id":1628513,"id":"Q1628513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2283dfccc9eac8919b20052c3f62014f09757a0","datavalue":{"value":{"amount":"+0.93349445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$A1E06156-DD39-496B-A3C4-BE28CFA8A7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eea8121e2c81dac34fed6bf6ab435567fe29305","datavalue":{"value":{"entity-type":"item","numeric-id":4460781,"id":"Q4460781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99037e244f8a1f0fea28d47aa80225dbba5fd64f","datavalue":{"value":{"amount":"+0.9303248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$CE9DABC0-D846-42F1-BFD2-445D8502D9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8cd81b5f2b2982f55fe27623247c82cf52e0f7a","datavalue":{"value":{"entity-type":"item","numeric-id":4338193,"id":"Q4338193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e864ad397a62851e3717b5f48db12bf6814449d","datavalue":{"value":{"amount":"+0.9298461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$FDAF9655-353A-45D5-B177-540B86169907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747db752df7427c131f7b2f43291413a9aa8ab35","datavalue":{"value":{"entity-type":"item","numeric-id":4841639,"id":"Q4841639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a701b6fe7dccf3676b8e77c06cd97bbb1c25133a","datavalue":{"value":{"amount":"+0.9296423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820822$49A472F3-9DBA-451B-BD45-AE15B5F931DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hopf Galois theory for separable field extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hopf_Galois_theory_for_separable_field_extensions"}}}}}