{"entities":{"Q790884":{"pageid":792732,"ns":120,"title":"Item:Q790884","lastrevid":48688882,"modified":"2026-01-05T15:05:15Z","type":"item","id":"Q790884","labels":{"en":{"language":"en","value":"The elementary theory of normal Frobenius fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3849369"}},"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":"Q790884$75B74787-53A8-49D8-8970-C1153CF05A45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da7285c0dc9a955489e10b3d5e2286b7c67d8b69","datavalue":{"value":{"text":"The elementary theory of normal Frobenius fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790884$7BBC3224-F9A8-4AF7-AD24-306C2769E928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"852c3b153160e1b187e66865a2f8a9689c2d3f47","datavalue":{"value":"0535.12016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$21AFCF31-FE1C-4F54-8086-733AE2C29917","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b300bc657451f28d4e8ef892871c241006f1dc","datavalue":{"value":{"entity-type":"item","numeric-id":169773,"id":"Q169773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790884$473BA5D8-1512-49CA-A3C4-981333A642C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c4c7a1f46d9894fac4cec7ad103eaed62d5731b","datavalue":{"value":{"entity-type":"item","numeric-id":227392,"id":"Q227392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790884$B9DEEB8B-11A6-409A-97F5-7AF79732E2E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q790884$D91AB0E9-7556-403F-9BD8-A4578798D0FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f3544b42e6e7bf8382bcb86c285e7198a4cd767","datavalue":{"value":"Let K be a given Hilbertian field with an elimination theory, and let M be a Frobenius field that contains K and has absolute Galois group G(M). For a profinite group G, denote by Im G the set of all finite quotient groups of G. The author of the present paper generalizes previous results of \\textit{M. Fried, D. Haran} and himself [Adv. Math. 51, 1-35 (1984)] as follows. Consider a class \\(\\Pi\\) of profinite groups, each of which appears as the absolute Galois group of a Frobenius field M. This class is supposed to be equipped with a primitive recursive algorithm to determine for given \\(m+n\\) finite groups \\(G_ 1,...,G_ m\\), \\(H_ 1,...,H_ n\\) whether or not there exists a \\(P\\in \\Pi\\) such that \\(G_ 1,...,G_ m\\in Im P\\) and \\(H_ 1,...,H_ n\\not\\in Im P\\). Denoting by \\({\\mathcal M}\\) the class of all perfect Frobenius fields M that contain K and satisfy G(M)\\(\\in \\Pi\\), it is shown that there exists a primitive recursive procedure for the theory of \\({\\mathcal M}.\\)    Using this fact and previous results of \\textit{O. V. Mel'nikov} [Math. USSR, Izv. 12, 1-20 (1978); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 42, 3-25 (1978; Zbl 0382.20032)], it is shown that the theory of normal Frobenius fields that contain K is primitive recursive via Galois stratification. Finally, using a recent result of \\textit{D. Haran} and \\textit{A. Lubotzky} [Isr. J. Math. 41, 181-202 (1982; Zbl 0502.20013)], it follows that the theory of all perfect Frobenius fields that contain K is decidable. - The paper ends with a rich bibliography.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790884$67B7BB18-6D70-4210-8786-9B3DC1EAE8A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$DD47115F-CD6D-412F-AD40-19DB67824197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7ae5b0238fc8237a68a316fe1f75e776c41d8c","datavalue":{"value":"12F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$93038A68-6255-4D43-BC17-0DA72056ED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$CA3898DA-725B-4C53-B741-8AA3B3745FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"93ce0fedbaf8d8387775f7906ced49e3cc8fc1c3","datavalue":{"value":"11S25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$9183F8C9-28D5-4394-9762-EB10A19A517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$4DC29D72-C03B-412B-BEE4-79B90FAEF96B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2464f27bbd3e1f9804541baeb85fea0c7f213e47","datavalue":{"value":"3849369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$7C1636BA-6D23-4FB6-A758-61AB04F00C13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad93c5135fdb6642df265555814b9246eeaa9cc","datavalue":{"value":"profinite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q790884$6603E83B-57D7-430E-8D39-0EA8340FE572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9964bbaa4498061c70733e4213af635a333bc0","datavalue":{"value":"theory of all perfect Frobenius fields is decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q790884$ED6922CA-B732-41E3-9015-C21D90E586ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffca5f7bf1d5df532be88c537089428e8c23989","datavalue":{"value":"Hilbertian field with an elimination theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q790884$2DAE81C0-53D4-48C4-AF1F-34099C8E1584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8422860359bc101554aed5560a957cd87b4e6d6","datavalue":{"value":"absolute Galois group","type":"string"},"datatype":"string"},"type":"statement","id":"Q790884$A5E5E695-5D35-4426-90AA-CBB57E5EEC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2ce404a4f9706ef10a50737ea6eef91b5039e7","datavalue":{"value":"primitive recursive algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q790884$5475A129-D859-4256-A527-E9C5C0130AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819161ae70a4bc0390ea94885fe05fb7cdf0ec20","datavalue":{"value":"Galois stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q790884$28EC09DC-46E0-45CA-BA33-1EAC0110DAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2035ce8da11f844bb65034c234274a2169dd2d1","datavalue":{"value":"bibliography","type":"string"},"datatype":"string"},"type":"statement","id":"Q790884$CC80F79E-D46F-4C8B-B2E3-EE3F63AFA511","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":"Q790884$B1F43C64-3D6C-4D86-9A32-A0E5FFACF465","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb6fdc52386e768bbf77475dace150326c73fa36","datavalue":{"value":"https://doi.org/10.1307/mmj/1029002845","type":"string"},"datatype":"url"},"type":"statement","id":"Q790884$AC6F8996-5F7D-4190-B923-943962CC97C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39a18574afb191a6aa46c8b24b57fee529c99035","datavalue":{"value":"W2042954860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$E867671C-77AE-42E6-8144-5E5437F8CEA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ecc15ba05c8228111c6481c7a33fae8d1004f4c","datavalue":{"value":"10.1307/MMJ/1029002845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790884$D1F707A5-319A-4A0E-AC99-1593A0ED7368","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e960b4c6afc8552f213d312e0d23521b6c644088","datavalue":{"value":{"entity-type":"item","numeric-id":759801,"id":"Q759801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c629841c7950ee47e39c7bc1f04a978cce7c8ae7","datavalue":{"value":{"amount":"+0.8383870720863342","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":"Q790884$C689D579-6F14-4775-8178-ED4A98F9443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a2d39008716717a86710b405d8539b4106e8737","datavalue":{"value":{"entity-type":"item","numeric-id":4851308,"id":"Q4851308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52cc87bc9feb198c51ad7fc132a9e45a897b5df6","datavalue":{"value":{"amount":"+0.7753726243972778","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":"Q790884$68CC40E5-BAD4-49CF-A7C6-33F65D3D813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d4a1cd2206bc79eaf0f8a605b560de4a31270b","datavalue":{"value":{"entity-type":"item","numeric-id":4977216,"id":"Q4977216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4cb5688cc219675732149d08ac5a66b552980ab","datavalue":{"value":{"amount":"+0.7753725647926331","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":"Q790884$A2D46A07-64A3-4823-AEFF-2A0C67A953FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55a177a83014a4496cebef95837adf871266e11","datavalue":{"value":{"entity-type":"item","numeric-id":1320032,"id":"Q1320032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c647604ed78807a49ead3e7679f1a5baf1d276","datavalue":{"value":{"amount":"+0.7667441368103027","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":"Q790884$27E16A64-97A6-42FC-859F-3147A887DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbc1e3439c2a60b5c8c954da53503fa0a701576","datavalue":{"value":{"entity-type":"item","numeric-id":2569570,"id":"Q2569570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078f0eaba806ee8f79ca6aeeef1805fa3e92fdd5","datavalue":{"value":{"amount":"+0.7661226987838745","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":"Q790884$D0F06141-3408-4560-BB39-48A05DF58E82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:790884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:790884"}}}}}