{"entities":{"Q1588034":{"pageid":1598774,"ns":120,"title":"Item:Q1588034","lastrevid":72263013,"modified":"2026-04-14T03:43:43Z","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"}],"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"}}}}}