{"entities":{"Q674758":{"pageid":676607,"ns":120,"title":"Item:Q674758","lastrevid":63488061,"modified":"2026-04-11T13:30:08Z","type":"item","id":"Q674758","labels":{"en":{"language":"en","value":"On the resolution of index form equations in sextic fields with an imaginary quadratic subfield"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 987589"}},"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":"Q674758$C211DD75-A6DF-49F4-B70E-2B4C18B3C836","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a8e30d82210cf6e808db9a75f63b72e84ff6880","datavalue":{"value":{"text":"On the resolution of index form equations in sextic fields with an imaginary quadratic subfield","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674758$7877B967-C7B5-4378-BDD9-50AA5672E463","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f927d89ce945dc635c62b3f69d68e594956700b9","datavalue":{"value":"0873.11025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674758$5331BCA1-FC96-4E7F-A99F-7925B9DD8E0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b52017115046e371465cb49f73fd0b7b645e520","datavalue":{"value":{"entity-type":"item","numeric-id":167120,"id":"Q167120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674758$9CE7D36A-E339-42D3-B685-66AB0043503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36432470e41abf0ad51b8019d230f9f66f8fc0b9","datavalue":{"value":{"entity-type":"item","numeric-id":331136,"id":"Q331136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674758$746F2D30-F54E-426A-B34B-8EA9D7BC31BA","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":"Q674758$34236FC6-7A65-4C61-967B-534787EC9519","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867468f469ba75d0f3d5844c887d31c98dc154f2","datavalue":{"value":{"time":"+1997-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674758$4BA10610-9197-4A57-BB5E-16B39FE6498D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d8905e0db051dd9ec214a5f7cc5f2c96133786b","datavalue":{"value":"Let \\(K\\) be an algebraic number field with ring of integers \\(\\mathbb{Z}_K\\). The index of the primitive integer \\(\\alpha \\in\\mathbb{Z}_K\\) is defined as the module index \\(I(\\alpha) = [\\mathbb{Z}_K: \\mathbb{Z}[a]]\\). Solving the equation \\(I(\\alpha) =\\pm 1\\) is then equivalent to finding all primitive \\(\\alpha\\in \\mathbb{Z}_K\\) such that \\(1,\\alpha, \\alpha^2, \\dots\\) is an integral basis (i.e. a \\(\\mathbb{Z}\\)-basis for \\(\\mathbb{Z}_K)\\).   The authors consider the case in which \\(K\\) is a sextic field containing an imaginary quadratic subfield \\(M\\). In very many cases an integer \\(\\theta \\in \\mathbb{Z}_K\\) can be found such that \\(\\theta\\) has relative index 1 over \\(M\\). Under this extra assumption on the sextic field \\(K\\), the authors develop an algorithm for solving index form equations \\(I(\\alpha) =\\pm 1\\). They show first that such index form equations are reduced to certain cubic Thue equations with integral unknowns in \\(M\\). These cubic Thue equations are solved, in turn, by a method that makes use of linear forms in logarithms of algebraic numbers, very similar to that of solving ordinary Thue equations, in three stages:    (i) Application of a Baker-type theorem (in this case the theorem of Baker and W\u00fcstholz) in order to obtain an upper bound (a very large one) for certain unknown exponents, (ii) Reduction of the upper bound using the LLL basis reduction algorithm and (iii) Enumeration of all solutions below the reduced upper bound; conceptually, a trivial stage, but the most time consuming. Lots of numerical examples are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$16E67E26-7BA9-4F3A-AB98-E1165DA82316","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed63fa723b9e928ddb8b36f4299b19cc003a504f","datavalue":{"value":"11D57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674758$58D33595-72E0-4204-818B-E061E23D1135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67c45964bb1554d8a802bf9a29e50db9b1c5a363","datavalue":{"value":"11Y50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674758$5615EDC9-B955-4527-A455-C11FE89883B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674758$441BB6C8-D14E-47A8-A044-6693B6F34A6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0159a8dd520291c60dcb78346a93f12d75f46bb","datavalue":{"value":"987589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674758$89CE27F8-76EF-4B37-8904-49918F58069C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52f8623711b6947a8a079fa9cff974ccf68e0c8a","datavalue":{"value":"LLL basis reduction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$0DBF0F3B-3DBD-4AEB-947C-706E02729F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b2b9efb09a9575c47aea7a795dab9031907d275","datavalue":{"value":"Baker's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$8DDA5449-3B61-49CB-8F9F-8D1A1F1AD1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed4770813228c174841180cda184259feb10382","datavalue":{"value":"power integral basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$96F837A9-C0F5-4B3F-A415-88B44BB8DDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54617be8a41cdb0237d8ada7cfd026fa9fd3a27","datavalue":{"value":"sextic field containing an imaginary quadratic subfield","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$C8DCB322-54D9-49D0-BD91-D500ED2CF24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$FE870C61-E57D-4D6B-A196-23493E4A18B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84f4d679b2da49cb2b531b2dcd2bcd9001697b2","datavalue":{"value":"index form equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$7B4B8D98-6932-4D73-AE85-2AA78CC85878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d5c65eadd0ba2ae685cded31a717765d45cc75d","datavalue":{"value":"cubic Thue equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$216F807B-3F0E-438D-8C69-53B8E254D337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430c5906bd7676185aa48d2f7d031c02b441edbc","datavalue":{"value":"linear forms in logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q674758$D1EECE1E-0A8E-4B68-B89B-A0452D2B3BE3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f6af304b2c5326ae6a0ddd21c7ec5552595174d8","datavalue":{"value":{"entity-type":"item","numeric-id":795859,"id":"Q795859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674758$9C19DDCD-FEB1-46D8-8993-66E10FF95F14","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":"Q674758$700054AB-5916-4F84-BE04-2C067ED3A669","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07ff49c23cdf687d11990644ec490b6eda37e39c","datavalue":{"value":"https://doi.org/10.1006/jsco.1996.0060","type":"string"},"datatype":"url"},"type":"statement","id":"Q674758$98859A59-0B27-4171-A912-25F180C3309E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fb369ccf8c0ef6b98d6cab005e27fc937a243a4","datavalue":{"value":"W1988005548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674758$B9D5BC79-276A-4DFD-820D-D265B97E97C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45cfedc0c6794ff54457098d446fd0e65350fa6d","datavalue":{"value":"10.1006/JSCO.1996.0060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674758$1602810D-DE12-4522-955D-271C578BE991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cd08e33d309ffef84076336a06981b732affee","datavalue":{"value":{"entity-type":"item","numeric-id":1329184,"id":"Q1329184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf94b2e4437feba81e379440008c61d9d84e031","datavalue":{"value":{"amount":"+0.92292416","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":"Q674758$E7AF30E7-56E5-4568-984A-93B440F7E39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f88d3e31509fdadea1d1b9b44fd6eaf5027e7c1","datavalue":{"value":{"entity-type":"item","numeric-id":4836631,"id":"Q4836631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c2ab13f4b651181e6a5727851dd4a2a537134a","datavalue":{"value":{"amount":"+0.92260706","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":"Q674758$34F1EA8A-41A2-41CD-AE4B-7B3B243708C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f14d50a753dcbbefe34a8f218cbd4ce0ff12e9","datavalue":{"value":{"entity-type":"item","numeric-id":4829491,"id":"Q4829491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aee92e9be4e8e3ba73eac3f7abc048e578827fa","datavalue":{"value":{"amount":"+0.9166696","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":"Q674758$3C58FED3-9B80-4D7A-B980-D79D9107A5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ae22e2408e3c67128d2aa6dee3dcd5a63be78f","datavalue":{"value":{"entity-type":"item","numeric-id":802648,"id":"Q802648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c42dc6ec384a9a9b3aff0218bba222dad5782d","datavalue":{"value":{"amount":"+0.91558814","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":"Q674758$63CD3DA7-C9A6-43F7-BDA4-EE0EADEB2F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5bd762f79e70ba34db3bb3fc1de2e81b33f15b9","datavalue":{"value":{"entity-type":"item","numeric-id":802647,"id":"Q802647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3b2d0d507f61af8e02cfd17d4dde90fdd9cd9e","datavalue":{"value":{"amount":"+0.91451216","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":"Q674758$7A2A7423-CE96-4435-9E6D-3D05BF828EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d298fad4348f52373679409dbb47e25ed796422b","datavalue":{"value":{"entity-type":"item","numeric-id":1896589,"id":"Q1896589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bff40a0975b6e3c4127effecf438db472a90f13","datavalue":{"value":{"amount":"+0.90083975","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":"Q674758$7AB4A5D0-A150-49A4-9436-F68CD68D384D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1413732facf297d1dbfe347c7b6aec61556604b","datavalue":{"value":{"entity-type":"item","numeric-id":3491679,"id":"Q3491679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a645e5da08776f633705f8fb9cbc2870db06e58c","datavalue":{"value":{"amount":"+0.8936353","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":"Q674758$FDD75EAF-D5A8-4B3A-9090-D1DB09AFD677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00205b64cf5c2c666f7c61511064798fddfd98a0","datavalue":{"value":{"entity-type":"item","numeric-id":1568078,"id":"Q1568078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1aefb609a2351702f7c6df10b1d975eed954698","datavalue":{"value":{"amount":"+0.89110225","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":"Q674758$E3A71A04-6F69-4FAF-8664-BCB469EBF84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d8987ad8362def2fe55d648b440235d52c85ac","datavalue":{"value":{"entity-type":"item","numeric-id":4623459,"id":"Q4623459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3d592ac04e148cafad03b620f7b1851fc3ad48","datavalue":{"value":{"amount":"+0.8872546","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":"Q674758$7F496B69-6B90-4681-8B5F-E24FC7AAD153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320dc18c4387085a22ab5261475beea0c4c19efb","datavalue":{"value":{"entity-type":"item","numeric-id":5478060,"id":"Q5478060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f58ba1a9563de596962fd614c652d24927a66a","datavalue":{"value":{"amount":"+0.8859656","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":"Q674758$BC85F2B9-F92A-4563-B8D5-272F5FE50D09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the resolution of index form equations in sextic fields with an imaginary quadratic subfield","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_resolution_of_index_form_equations_in_sextic_fields_with_an_imaginary_quadratic_subfield"}}}}}