{"entities":{"Q1588034":{"pageid":1598774,"ns":120,"title":"Item:Q1588034","lastrevid":108666812,"modified":"2026-11-09T17:22:44Z","type":"item","id":"Q1588034","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases applied to finitely generated field extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538754"}},"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":"Q1588034$3F7B66C2-D6D1-4DCD-B201-D31B0A245C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d15e4802d20395a10a37ba3290a0531161f4d2","datavalue":{"value":{"text":"Gr\u00f6bner bases applied to finitely generated field extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1588034$9A547994-0908-454C-881B-06AFC4869783","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"958bf46c29e1d89d666631fdb0a5e57df6c535c9","datavalue":{"value":"0997.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588034$8D7D3FD1-706A-40A2-8450-DDEF05906B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41429d3ef8baee2def14b9d9fc29764876b8d756","datavalue":{"value":{"entity-type":"item","numeric-id":604631,"id":"Q604631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$9D4591C5-078B-4ECE-AB1A-17E5EABC4517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c2be43a6213c57fb0b5b58b18d451e3304bb5c","datavalue":{"value":{"entity-type":"item","numeric-id":189267,"id":"Q189267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$818DCC6A-CE04-421E-BAE7-5A2484C79B12","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":"Q1588034$1459D57A-CD14-4D14-97EB-8412405F846A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86bdcbb86c0dca8c75df61f737dc42c487db939","datavalue":{"value":{"time":"+2002-11-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":"Q1588034$0847C705-28EE-4C5F-B483-E08B4B67926D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d3968dcda0bfd2264044c02920ea5c9023121f4","datavalue":{"value":"https://semanticscholar.org/paper/00dcf1f2507db792e1cf207cc03e5aab1fb8adf3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1588034$122AE5AE-9B3E-4EAA-B1F0-A59E26AF7916","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c900f1518dfe45a1f6d65036dbd7a34929da746","datavalue":{"value":"In this article, the authors address practical problems in the computation with finitely generated field extensions. In particular, they give efficient algorithms to compute the (transcendence) degree of such an extensions, decide separability in positive characteristic, decide normality, give a field-membership test and present methods allowing the computation of minimal polynomials over subfields. The main technique used is that of Gr\u00f6bner basis computations. This paper continues previous work of the authors [J. Symb. Comput. 27, 143-170 (1999; Zbl 0935.11046)].    The main difference between this approach and older ideas by \\textit{M. E. Sweedler} [Lect. Notes Comput. Sci. 673, 66-75 (1993; Zbl 0813.13026)] and \\textit{G. Kemper} [An algorithm to determine properties of field extensions lying over a ground field, IWR preprint 93-58, Heidelberg, Germany (1993)] is to avoid the use of tag-variables as they tend to slow down the necessary Gr\u00f6ber basis computations considerably.    The article gives several worked out examples using Magma [\\textit{W. Bosma, J. Cannon} and \\textit{C. Playoust}, J. Symb. Comput. 24, 235-265 (1997; Zbl 0898.68039)] demonstrating the efficiency of their new methods, e.g. they verify the invariant field of a group of order \\(248\\) that was given in \\textit{G. Kemper}'s PhD thesis [Noether's problem and generic polynomials (in German). Heidelberg (1994; Zbl 0830.12003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588034$6AFC2049-08D7-4D38-A803-5C109F957662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2fa251ff9768931d6685928ec080115bd447fa1b","datavalue":{"value":"In this article, the authors address practical problems in the computation with finitely generated field extensions. In particular, they give efficient algorithms to compute the (transcendence) degree of such an extensions, decide separability in positive characteristic, decide normality, give a field-membership test and present methods allowing the computation of minimal polynomials over subfields. The main technique used is that of Gr\u00f6bner basis computations. This paper continues previous work of the authors [J. Symb. Comput. 27, 143--170 (1999; Zbl 0935.11046)]. The main difference between this approach and older ideas by \\textit{M. E. Sweedler} [AAECC-10, Lect. Notes Comput. Sci. 673, 66--75 (1993; Zbl 0813.13026)] and \\textit{G. Kemper} [An algorithm to determine properties of field extensions lying over a ground field, IWR preprint 93-58, Heidelberg, Germany (1993)] is to avoid the use of tag-variables as they tend to slow down the necessary Gr\u00f6bner basis computations considerably. The article gives several worked out examples using Magma [\\textit{W. Bosma}, \\textit{J. Cannon} and \\textit{C. Playoust}, J. Symb. Comput. 24, 235--265 (1997; Zbl 0898.68039)] demonstrating the efficiency of their new methods, e.g. they verify the invariant field of a group of order \\(248\\) that was given in \\textit{G. Kemper}'s PhD thesis [Noether's problem and generic polynomials (in German). Heidelberg (1994; Zbl 0830.12003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588034$5E525702-14D1-4D45-A865-2F9FDBD3E876","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a72adba1a11c906281599addf12dc84dd5ff1773","datavalue":{"value":{"entity-type":"item","numeric-id":531771,"id":"Q531771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$E04E4DBF-8679-4B1F-9023-13291634D14C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588034$24B3FD2D-9C82-4448-A5D8-C65AC61FF9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588034$94A9285F-FD05-484B-828A-5B2B590D845D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588034$4B4A7C1B-2AD4-4542-BEC6-8A2E09A92DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588034$9CEB1115-05A7-4339-BDC4-85AB82D049C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6de1c31466acb0a0e7dd9e4997a2e3328358f49","datavalue":{"value":"1538754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588034$59A1904C-A6F3-47FF-AB6B-79E83D40AAC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a466be7d7f2ccd7d82f82fbf268622f5bd09b755","datavalue":{"value":"algorithms for field extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588034$D8F4B7C0-9431-46F9-A7D9-9448EDF78ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588034$3943CEA1-8315-4A75-A7B9-2EA96ECFEE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324d0cb51641b0e078eab73714d5298f10ee9892","datavalue":{"value":"transcendence degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1588034$65B28FA5-E2FE-4D1E-B2E6-6DA11CFC7869","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$7B07798B-7A3A-4223-90D0-27496366F76A","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":"Q1588034$D92CBF35-EE19-48B8-9DD2-ACCEC1AAB1BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7944654e94846a0ac0fa8457ae7c7eab9a5b8def","datavalue":{"value":"W2029267855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588034$450128F0-2E41-4571-9191-32A9A7B6D0F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99d22096bbdd4a5895771adbf3f1c2576d6090c","datavalue":{"value":{"entity-type":"item","numeric-id":673482,"id":"Q673482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$6DA1065A-BD28-40AC-B28A-C65F20FD2E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c4783a5e7d9904f9adac5c204e905920dabe95","datavalue":{"value":{"entity-type":"item","numeric-id":4394961,"id":"Q4394961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$F0717D57-B376-40C6-A88C-F84F1D2B733A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$B3016C0C-104A-44BB-8A43-5D1DDA4F296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$26000620-4258-4D2B-8E48-0B285E70218A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97988699b982fe6927381e66f3561e99919eae7","datavalue":{"value":{"entity-type":"item","numeric-id":5894743,"id":"Q5894743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$0F5CDBFD-E721-4978-85A6-39910B67FFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0d318899f6d495f4481731f0306e3c8c43504b","datavalue":{"value":{"entity-type":"item","numeric-id":1369784,"id":"Q1369784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$509B61A1-544C-490D-BB1F-BCF7CE2AC2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9cbd6f434903fc7dab45229d5b7252590d104a","datavalue":{"value":{"entity-type":"item","numeric-id":1369804,"id":"Q1369804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$73BB928C-8EDF-4209-96B6-F510D8B4A750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14eeba7af25bd4b2f1e7dbd6d25e968035e1ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1117277,"id":"Q1117277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$8BC7E11B-8525-4E80-80BC-5C509376E0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efecbc2634496d67ceaab3caa52ae007180dd69a","datavalue":{"value":{"entity-type":"item","numeric-id":3882586,"id":"Q3882586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$40681C49-BDAF-4257-8A53-2A49CA35D8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c365048921f8cb9af44dad96f5c4b7c82bfe06b9","datavalue":{"value":{"entity-type":"item","numeric-id":1910398,"id":"Q1910398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$19487E17-A5AA-42AD-9B18-AFADBEB2A467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebc6e8d13e05a14c46f07369785e27204cfe6bc","datavalue":{"value":{"entity-type":"item","numeric-id":1116332,"id":"Q1116332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$D5AB2290-9FA9-4AD4-99F8-BF4A8A5628B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cace0e36925fb7f03948a4c2b888f6a90131ca9","datavalue":{"value":{"entity-type":"item","numeric-id":5287502,"id":"Q5287502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$B5287CE8-30FA-499A-BCC1-5F9B54F4575A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f3c8afc4622382dbc98050bc8996d18602db0b","datavalue":{"value":{"entity-type":"item","numeric-id":1284279,"id":"Q1284279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$CCA0275D-3E2E-45D8-850E-369C1E803163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ed39b3d88c5807370a0fca3b7c6f3d040d5487","datavalue":{"value":{"entity-type":"item","numeric-id":4394974,"id":"Q4394974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$8DFA0D04-F88C-4126-915A-889CA4205CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242e7536d24fc4d687d569f6e3d4fb1a9057e833","datavalue":{"value":{"entity-type":"item","numeric-id":4279507,"id":"Q4279507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$F2A5F822-E55D-4248-8269-EE1B3D4A65F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160891e173c8fce65d2399de7dfb3fcaeafeb946","datavalue":{"value":{"entity-type":"item","numeric-id":5846813,"id":"Q5846813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$0384075B-A219-404E-95BF-5F768E9076CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1588034$64027F00-DFCC-499C-A51E-F7E4D173A2FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"747ad07c7d1d01fe88c484121b6dd9f1aed473ac","datavalue":{"value":"10.1006/JSCO.1999.0417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1588034$7B2F878B-3C1D-4ED5-94DD-8154F8646FB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bc59abc6b28090593874de70578200827a7f23","datavalue":{"value":{"entity-type":"item","numeric-id":1284279,"id":"Q1284279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9fc6c9691cc90182ae438547a83e1763b17830","datavalue":{"value":{"amount":"+0.815133810043335","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":"Q1588034$7CC5B418-B714-4594-A43F-F3D229EF1EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24bed4fb7ef6885176e18534e5142f7901dd4a72","datavalue":{"value":{"entity-type":"item","numeric-id":4279507,"id":"Q4279507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913b79717579880d5226b88eb8269d4c453bbc7a","datavalue":{"value":{"amount":"+0.8104007840156555","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":"Q1588034$5A675BAC-E912-4056-9841-6287B2F9C7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b652f79d65a9217f56513cb448ee84142224dd","datavalue":{"value":{"entity-type":"item","numeric-id":4810174,"id":"Q4810174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08159a4e8618af062106fdfc464ea56bb64878e5","datavalue":{"value":{"amount":"+0.7875908017158508","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":"Q1588034$9D6BD4D6-352C-4351-AE01-7C4AFF865AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da67941a9d9367032bc20a01917ddfe1c4bbbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":2457340,"id":"Q2457340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d3cce7001e8a763704468ecd1da9d34dfdcd58","datavalue":{"value":{"amount":"+0.7656394243240356","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":"Q1588034$8AF6F5A9-EE70-41A6-940B-8AF827ACAAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af2a2e868965f9b920749a0b823ee8f12610bb33","datavalue":{"value":{"entity-type":"item","numeric-id":911775,"id":"Q911775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30868818c38e5dc7a079a05626d13f23b0d6ec6","datavalue":{"value":{"amount":"+0.7565909028053284","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":"Q1588034$9C6DD632-CCBA-46E2-8ED4-D5EC603F7B21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases applied to finitely generated field extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_bases_applied_to_finitely_generated_field_extensions"}}}}}