{"entities":{"Q2254204":{"pageid":2264947,"ns":120,"title":"Item:Q2254204","lastrevid":52190768,"modified":"2026-01-21T03:15:19Z","type":"item","id":"Q2254204","labels":{"en":{"language":"en","value":"Denominators of algebraic numbers in a number field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397304"}},"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":"Q2254204$3C4B9715-26DD-4626-876F-4F34338A7AA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"368ec8787fec1ed194c061c9973afcde1b05ae41","datavalue":{"value":{"text":"Denominators of algebraic numbers in a number field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254204$3308A294-F687-4078-B896-A49F42F1634B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e23afd64ce431655d7acf0cbcb981587f59a3da","datavalue":{"value":"1331.11089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254204$8E78ACD1-65F7-4EBF-9FF5-7F69A152A15B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffeb3fef0fc5e765ac2cebcad83dc49bae0961f","datavalue":{"value":{"entity-type":"item","numeric-id":372487,"id":"Q372487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$2F2AB3F1-BAB7-4F3F-A3DC-B0E7BD753B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24be9fff683b7b62964c46c4799836c077c7515a","datavalue":{"value":{"entity-type":"item","numeric-id":167154,"id":"Q167154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$C27365A6-2165-41E8-BAD0-7247C65E848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97cf581e4df38c5c6663af45182f4a58f9f9018","datavalue":{"value":{"entity-type":"item","numeric-id":372488,"id":"Q372488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$559C89FA-B5DB-4DFC-B9F8-69BB5C63DDC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$9EAE2165-D7A5-40E5-83C2-C55E188D82A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254204$ABCE3B39-0054-4E87-93BC-D6F9F5D408F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c673dbc25effbdfe4ddb1d2ea8177953f25a865b","datavalue":{"value":"For \\( \\gamma \\) an algebraic number of degree \\( n\\geq 1 \\) over \\( \\mathbb{Q}, \\) let \\( f(x)=a_nx^n+\\dots+a_0\\in\\mathbb{ Z}[x]\\) be the unique irreducible polynomial such that \\(f(\\gamma)=0\\) and \\(a_n>0. \\) The leading coefficient \\( a_n \\) will be denoted by \\( c(\\gamma). \\) The smallest positive integer \\( d \\) such that \\( d\\cdot \\gamma \\) is an algebraic integer is called the \\textit{denominator} of \\( \\gamma \\) and will be denoted by \\( d(\\gamma). \\) It can be proved that \\( d(\\gamma)\\mid c(\\gamma) \\mid d(\\gamma)^n.\\) Thus, if \\( k=k(p)=v_p(d(\\gamma))\\) and \\( t=t(p)=v_p(c(\\gamma)), \\) it follows that  \\[ k\\leq t\\leq nk,  \\]  where, as usual, \\(v_p(a) \\) denotes the power of the prime \\( p \\) in the decomposition of the positive integer \\(a\\).  Given a number field \\(K,\\) let \\( \\hat{K} \\) denote the set of those elements of \\( K \\) which are primitive over \\(\\mathbb Q\\) and let \\( A \\) denote the ring of integers of \\( K. \\) For a fixed prime number \\( p \\) and a fixed positive integer \\( k\\) let  \\[  T_p(k)=\\{ t\\geq 1:\\text{there exists~}\\gamma\\in\\hat{K}\\text{~such that~}v_p(d(\\gamma))=k\\text{~and~}v_p(c(\\gamma))=t \\}.  \\]  The authors study the relation between \\(v_p(d(\\gamma))\\) and \\( v_p(c(\\gamma)) \\) when \\( \\gamma\\in \\hat{K}, \\) for \\( K \\) a fixed algebraic number field. More precisely, they completely determine the set \\( T_p(k) \\) in the case when \\( K \\) is an arbitrary number field and \\( p \\) is inert in \\( K, \\) and when \\( K/\\mathbb{Q} \\) is a Galois number field and \\( p \\) splits completely or is the power of a prime ideal in \\(K.\\) The authors also prove that if \\( K/\\mathbb Q \\) is a Galois number field and the prime \\( p \\) splits in \\( A \\) as a product of prime ideals in the form \\( (p)=(\\mathfrak p_1\\cdot\\dots\\cdot \\mathfrak p_r)^e, \\) with \\( r>1, \\) then  \\[ |T_p(k)|\\geq ek+1.  \\]  These results indicate that \\(T_p(k)\\) depends neither on \\(p\\) itself nor on \\(K,\\) but rather on how \\(p\\) splits in \\(K,\\) the authors being led to claim the following.  Conjecture. Let \\(K\\) be a Galois number field, \\(A\\) its ring of integers and \\(p\\) a prime number whose splitting as a product of prime ideals in \\(A\\) has the form:  \\[ (p)=(\\mathfrak p_1\\cdot\\dots\\cdot \\mathfrak p_r)^e, \\]  where the common residual degree of \\( \\mathfrak p_i,~i=1,\\dots,r, \\) is equal to \\( f. \\) Then, for any positive integer \\( k, \\) we have  \\[  T_p(k)=\\{nk-hf:h=0,\\dots,(r-1)k+e-1\\}.  \\]  However, as it stands, the conjecture contradicts Theorem 3.1 from the paper, that is, it contradicts the lower bound on \\(|T_p(k)|\\) established above, as one might readily see by setting, for example, \\( e=k=r=2 \\) and \\(f=1.\\) It is likely that the authors meant  \\[  T_p(k)=\\{nk-hf:h=0,\\dots,(r-1)ek+e-1\\}. \\]  The appendix written by Claus Fieker provides a complete characterization of the set \\( T_p(k) \\) in terms of the ramification and inertia degrees of the prime ideals \\(\\mathfrak p_i\\) lying above \\(p \\) in \\( A \\) and concludes with a proof of the above conjecture. Nevertheless, the careful reader will notice yet another typo in the expression of the set  \\[  T_p(k)=\\{nk-hf:nk-hf\\geq f((e-1)k+1)\\}, \\]  as it appears in the paper. Namely, the correct definition should be  \\[ T_p(k)=\\{nk-hf:nk-hf\\geq f(e(k-1)+1)\\}. \\]  It is worth noting the fact that the results are proved using rather elementary, but very skillfully and cleverly applied techniques from algebraic number theory, and rely on a very brief list of references (which could, and should have been, in fact, slightly extended). As such, the paper is accessible to anyone possessing a good knowledge of basic algebraic number theory and Galois theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254204$F11BDBE6-F279-4AFC-A73A-5CA5BAF93D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254204$41DA8665-7939-49DF-AD6F-315338FCB72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254204$A9218510-4FC5-4775-8BFF-39F9123A82ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"335b8dfcfe62e05c340be9842c868f41dfa461ce","datavalue":{"value":"6397304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254204$899B0BAE-5342-454E-81EA-BD94C6C5AD31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74ab8abe5b997d28fa0008b7201fcb2f678cb29d","datavalue":{"value":"denominators of algebraic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254204$962C1CF0-3CC0-4691-9D58-341071A95FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e12e3ea19e7c856424339983723e6130dcfa5b2","datavalue":{"value":"leading coefficients for algebraic equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254204$FD3DA7EE-2D6F-43E4-939C-5860947B7558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c1682c56176833d67023ef7068c84c525ea2fe","datavalue":{"value":"splitting of prime numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254204$D5C5BBA3-6AF5-454B-AC26-E1F6E15CD8C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"955e0c75ece7781a781d89223c983b6594f89e5c","datavalue":{"value":{"entity-type":"item","numeric-id":250303,"id":"Q250303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$1EC12642-785F-4D19-8B7E-326036814F54","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fcd3f30993113356e2f0c22e665d31998184055c","datavalue":{"value":"Q114157521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254204$3E0B1BBF-5305-4D12-A716-E6EB87090EA8","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":"Q2254204$4B4DD374-CC8B-454C-8BD7-71A694EBE715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e607948622c91b7ea2028dfa302430cba10dde89","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2014.06.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254204$07A900F5-5051-4120-90B8-DB9938E57566","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"834d6bb7c6a82730f59670685c876812513bfdae","datavalue":{"value":"W1967576350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254204$458B5644-90EC-449B-BD75-CA475FE3BB76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"695c0acaf92b8af7d8d4a05fdd9a932ac82fc3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1912291,"id":"Q1912291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$2E468947-3144-47D4-957E-F86AC5BA4093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"853045f2e96001c9b098d8713d3035fe3b8eec82","datavalue":{"value":{"entity-type":"item","numeric-id":2254204,"id":"Q2254204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$10E801A2-9EDD-40B2-872C-D055BDB0B45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec30595e5d782d0315b88622a51ad3b7b450c485","datavalue":{"value":{"entity-type":"item","numeric-id":3173263,"id":"Q3173263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$1D0D1495-8C6A-4DE1-8A5E-5721770BD6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c53efce199e1d3af26a9512ca8d670be8f384dc","datavalue":{"value":{"entity-type":"item","numeric-id":2540597,"id":"Q2540597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$7192908C-9C06-40D7-B340-831978A7FB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ba6ea86d80993824eec9764ae3387388080721","datavalue":{"value":{"entity-type":"item","numeric-id":2545710,"id":"Q2545710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254204$029BB8DD-F32E-45DE-AF0A-97C07F4448D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"049d892f8bef445efcf2169dfb2e64fb1be1d20c","datavalue":{"value":"10.1016/J.JNT.2014.06.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254204$C0BA37CA-DD46-4290-8108-47FAC3811459","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710e7805a74a7cc362b0f5057f888a1600e7552","datavalue":{"value":{"entity-type":"item","numeric-id":1912291,"id":"Q1912291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fb6ffbf0b101ef4704234bf911cb0f5dd9b9bf","datavalue":{"value":{"amount":"+0.79413902759552","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":"Q2254204$831B625C-6CD9-4E85-A0A1-F3CE781F2710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caca05aeb24249f189a525ffd366343faacd3909","datavalue":{"value":{"entity-type":"item","numeric-id":273434,"id":"Q273434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07a76b2c378c512448c8e608957cfec4a33e4af","datavalue":{"value":{"amount":"+0.734403669834137","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":"Q2254204$903A6F39-F7DC-4BC8-9CB8-6C19CE0E4BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39914e768f732389292cf522a4a0a7560f28287b","datavalue":{"value":{"entity-type":"item","numeric-id":1190679,"id":"Q1190679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f0f82ffac20ea607cc04b39f8e27e61eed8688","datavalue":{"value":{"amount":"+0.7330806255340576","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":"Q2254204$235E326C-3143-4B14-BC24-DBEB21CFB3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0a2a7b50065e036b9e933417457b50febb39ac","datavalue":{"value":{"entity-type":"item","numeric-id":3173263,"id":"Q3173263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528cfbaafcb1554d8cc1987e1cb5864f43750c4d","datavalue":{"value":{"amount":"+0.7250933051109314","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":"Q2254204$B5B979F5-E53B-42D0-9C1A-B4312D9CEEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91d63c743311e36b28f6313f968b3a209c8244d","datavalue":{"value":{"entity-type":"item","numeric-id":3784158,"id":"Q3784158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5427ec5d7efea2e237db71bcb6b9b62b802dda","datavalue":{"value":{"amount":"+0.7112371921539307","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":"Q2254204$5573DF88-C9D9-4717-B65E-24644BDD439E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2254204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2254204"}}}}}