{"entities":{"Q1087587":{"pageid":1098339,"ns":120,"title":"Item:Q1087587","lastrevid":77747750,"modified":"2026-05-06T09:58:19Z","type":"item","id":"Q1087587","labels":{"en":{"language":"en","value":"Galois type correspondence for non-separable normal extensions of fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3987408"}},"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":"Q1087587$920E2BAA-4C84-4D2C-9054-91F09D9A8A9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82ef563c54317d5b06ea7c446752d893a148f068","datavalue":{"value":{"text":"Galois type correspondence for non-separable normal extensions of fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087587$871898AE-E063-4ACD-8BB2-55F3E90DA777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5cd0deb7fb2e4ca483b87c5cbbb9128157e0e32","datavalue":{"value":"0611.12019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087587$97387D6E-D1EB-4F37-BAD1-FBCDF79DAF82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f34d3bf472257ff365d9085855641d5a79516db","datavalue":{"value":{"entity-type":"item","numeric-id":216021,"id":"Q216021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$151B6280-CA93-4156-8E25-77FB44A5A1A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$55A294A5-CAE0-4680-A901-B8B25D88FBD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1087587$15CFCCCF-D9B6-4A4B-BE38-118245A09AE7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b6cc1f1411580cf5202924bb99dc1fc6bfb5b40","datavalue":{"value":"The author extends the classical Galois-Krull theory for separable and normal field extensions, and the Jacobson theory for finite purely inseparable extensions of exponent 1, to general normal extensions of inseparability exponent 1.    Let \\(K| k\\) be a normal field extension of characteristic \\(p\\neq 0\\) and of inseparability exponent 1. \\(K| k\\) is called distinguished if there exists a subextension \\(L| k\\) such that \\(L| k\\) is purely inseparable and \\(K| L\\) is separable. Let \\(D_{K| k}\\) denote the K-linear space of all k-derivations of K, and S the group Aut(K\\(| k)\\). For a K-subspace \\({\\mathcal A}\\) of \\(D_{K| k}\\) denote \\(\\cap_{D\\in {\\mathcal A}}Ker D\\) by N(\\({\\mathcal A})\\). For a subextension \\(L| k\\) of \\(K| k\\) denote by \\({\\mathcal A}(L)\\) the K-subspace \\(\\{D\\in D_{K| k}|\\) \\(D(x)=0\\) for all \\(x\\in L\\}\\) of \\(D_{K| k}.\\)    Let \\(K_ 0| k\\) denote the maximal purely inseparable subextension of \\(K| k\\), and \\(k_ K\\) the maximal separable subextension of \\(K| k\\). For a derivation \\(D\\in D_{K_ 0| k}\\), let \\(D^*\\) denote the unique derivation in \\(D_{K| k}\\) which extends D. \\(D_{K_ 0| k}\\) can be considered to be a subspace of \\(D_{K| k}\\). The set \\(G(K| k)=S\\times D_{K| k}\\) becomes a group under the natural componentwise operation. Then \\(G_ 0(K| k)=S\\times D_{K_ 0| k}\\) is a subgroup of G(K\\(| k)\\). A subgroup \\(M=(H,{\\mathcal A})\\) in \\(G_ 0(K| k)\\) is said to be closed if H is closed in the Krull topology on S and \\({\\mathcal A}\\) is an arithmetically maximal K-subspace of \\(D_{K| k}\\), i.e., \\({\\mathcal A}(N({\\mathcal A}))={\\mathcal A}.\\)    For a subextension \\(L| k\\) of \\(K| k\\), set \\({\\mathcal A}_ 0(L)=\\{D\\in D_{K_ 0| k}|\\) \\(D^*(x)=0\\) for all \\(x\\in L\\}\\), \\(\\psi (L)=M_ L=(H_ L,{\\mathcal A}_ L)\\) where \\(H_ L=\\{\\delta \\in S|\\delta (x)=x\\) for all \\(x\\in L\\}\\), \\({\\mathcal A}_ L={\\mathcal A}_ 0(L\\cap K_ 0)\\), and \\(\\phi (M)=L_ M=(Fix H\\cap k_ K)N_ 0({\\mathcal A})\\) for \\(M=(H,{\\mathcal A})\\subseteq G_ 0(K| k)\\) and \\(N_ 0({\\mathcal A})=\\{x\\in K_ 0|\\) \\(D(x)=0\\) for all \\(D\\in {\\mathcal A}\\subseteq D_{K_ 0| k}\\}\\). The main results for \\(K| k\\) a normal algebraic extension of inseparability exponent 1 are as follows.    The maps \\(\\psi\\) and \\(\\phi\\) establish a one-to-one correspondence between the distinguished subextensions of \\(K| k\\) and the closed subgroups of \\(G_ 0(K| k)\\). The maps \\({\\bar \\psi}\\)(L)\\(=(H_ L,{\\mathcal A}_ L)\\subseteq G(K| k)\\) with \\(H_ L=\\{\\delta \\in S|\\delta (x)=x\\) for all \\(x\\in L\\}\\), \\({\\mathcal A}_ L=\\{D\\in D_{K| k}|\\) \\(D(x)=0\\) for all \\(x\\in L\\}\\), and \\({\\bar \\phi}\\)(H,\\({\\mathcal A})=Fix H\\cap N({\\mathcal A})\\), establish a one-to-one correspondence between the arbitrary subextensions \\(L| k\\) and \\(K| k\\) and the admissable subgroups (H,\\({\\mathcal A})\\) in G(K\\(| k)\\) where \\(M=(H,{\\mathcal A})\\) is admissable if H is closed in the Krull topology on S, \\({\\mathcal A}\\) is an arithmetically maximal K-subspace of \\(D_{K| k}\\), and if there exists a p-basis \\(\\{c_ i\\}\\) of N(\\({\\mathcal A})\\) over \\(k_ K\\) such that \\(c_ i\\in Fix H\\) for all i.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087587$3BC86C04-C19E-4BE9-A979-B7618FD30FFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b77ef448bf265c8756827c3667d2a4125f79ead3","datavalue":{"value":"12F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087587$38DD6B57-73F2-4B78-9943-0DD686C651AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"057a5e7479a8bc00d133fb17f815b2b0225ccbd5","datavalue":{"value":"12F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087587$2007105C-723C-47D7-87EB-5DB0BC9C9C04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60363fc14ced875a957c9c61d8e03a547508d89f","datavalue":{"value":"3987408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087587$A9C9BCB6-942A-4558-936B-2A9C907A0C14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83caaa7616bbb2f2ac50a1d216c535fcf88de880","datavalue":{"value":"Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087587$D14D82CA-AD22-413C-95D0-3BB17C074AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087587$73C01802-D12E-4837-B704-0956A322BAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94040e42960d45e36ca1714a4fd3efd7acfaea48","datavalue":{"value":"normal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087587$C492FF85-E77C-4739-AA28-622FB7136EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83bb59b767d95cadf94bb3fa8f49bfb2ca778853","datavalue":{"value":"inseparability exponent 1","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087587$5318020B-E8DB-4EA0-A2CC-98899FE2630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc440ab64fdaadee37148239a8b2c4508ddb6593","datavalue":{"value":"field extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087587$E207CEAD-CE3D-48C6-BF65-AED4FF7FEF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f9ae491a7cdfb4635773c8f8fa21311eb65296","datavalue":{"value":"derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087587$DF6E5B3F-0201-464A-887C-F2C4044B8ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"693e0d7af968edc509afed7e1ebcb9c4c5f1b8b1","datavalue":{"value":"Krull topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087587$1C8C9EA4-C103-4467-9895-81ECCDE67D5D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e07ef5aa4c4d1030ce09a6b25a088938e6f20289","datavalue":{"value":{"entity-type":"item","numeric-id":167728,"id":"Q167728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$135CAF19-CC66-4881-B3AD-D91C6E538DED","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":"Q1087587$F99719DA-8EA0-4A4F-986B-3F4990F7E22F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1ab266408c3a7e6b22ec9c4d498368428f1f952","datavalue":{"value":"https://doi.org/10.3792/pjaa.62.213","type":"string"},"datatype":"url"},"type":"statement","id":"Q1087587$02EBB59F-21B5-4C86-9467-2A485D439C6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21a27be72a0f5aa4c3fc625f36e34686ebc5f567","datavalue":{"value":"W2010622978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087587$8B93CF53-01D4-4E73-9444-0AC3C3D73A3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"632d3438acd569fe2bea24c6a0535a048823a2c9","datavalue":{"value":{"entity-type":"item","numeric-id":5768753,"id":"Q5768753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$54E78BEC-5FA7-4B3F-BB79-3FA9191F646A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf60210fe9151a5e9faa5173d4b2c2617a8a581","datavalue":{"value":{"entity-type":"item","numeric-id":5822102,"id":"Q5822102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$29641D73-9B2E-4CAC-8FEC-3EE07381870D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6899b40a48bb6dd55553fc9b55d2ab3a1166c63","datavalue":{"value":{"entity-type":"item","numeric-id":5588717,"id":"Q5588717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$76D43A51-DCE8-4977-AA8A-3EA2BFDAED45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fbc8cc60407edb875a1d5f132acd75eb14c53a1","datavalue":{"value":{"entity-type":"item","numeric-id":5334358,"id":"Q5334358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$27CC3A58-596F-4BF4-A5F8-45DE51E218EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8288035775974c5b03130297d5b50e9d7b26cf53","datavalue":{"value":{"entity-type":"item","numeric-id":5531093,"id":"Q5531093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$96ADBEA5-AF64-4043-BEA7-FF504D64B1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75042e7a3ee5e351cb01e83cf0e47211efeac16","datavalue":{"value":{"entity-type":"item","numeric-id":2541730,"id":"Q2541730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087587$5C939457-D448-4D45-8D5C-D80737FE9892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bf33b3059fdd23ab4f18473366bb28863418547","datavalue":{"value":"10.3792/PJAA.62.213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087587$8032603A-49A8-4A72-995D-E03A03C0E82A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17dafa70a4166c6274e54d0bdee8e9b297f0d12","datavalue":{"value":{"entity-type":"item","numeric-id":3029102,"id":"Q3029102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5616bb98ace211147422b2257e7a7efd46e8f635","datavalue":{"value":{"amount":"+0.8148743510246277","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":"Q1087587$F6FFA4D8-B79A-4FB9-BF6E-1A96C1474076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0b0ba5b668e59807c212ed9f93ad1c30060014","datavalue":{"value":{"entity-type":"item","numeric-id":5614047,"id":"Q5614047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50311f5d703f28e03025cc7ecdc91ad753b57454","datavalue":{"value":{"amount":"+0.786103367805481","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":"Q1087587$709C86BC-4AE3-4634-A5E5-BD9A906CB065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d1b06ed545a17bf0ab2a51608aac09608c4b07","datavalue":{"value":{"entity-type":"item","numeric-id":5132669,"id":"Q5132669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e73e00a9d2dc7b9d477c51df036ab2b5d002071","datavalue":{"value":{"amount":"+0.7626470923423767","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":"Q1087587$E05586B2-EA13-449C-B35F-E154D65D2B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d182e2c9128beba9819d5d995ad3379e9a33564d","datavalue":{"value":{"entity-type":"item","numeric-id":2266738,"id":"Q2266738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1572efad4d4b5de7e047e350d88a45a74e6f6ae2","datavalue":{"value":{"amount":"+0.7625771164894104","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":"Q1087587$2BE4ED82-CAB8-454C-A901-B5250EDA3CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f8ddb15ac5d45500ed3d95e0584ad8ea3d63d","datavalue":{"value":{"entity-type":"item","numeric-id":4933558,"id":"Q4933558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3deef8252a26b844ad54cd0eac46e321f7d5da47","datavalue":{"value":{"amount":"+0.7617649435997009","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":"Q1087587$39C63EF7-4EDF-48DC-B8F6-C33DDC9127B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Galois type correspondence for non-separable normal extensions of fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Galois_type_correspondence_for_non-separable_normal_extensions_of_fields"}}}}}