{"entities":{"Q1260761":{"pageid":1271511,"ns":120,"title":"Item:Q1260761","lastrevid":68320833,"modified":"2026-04-12T22:54:55Z","type":"item","id":"Q1260761","labels":{"en":{"language":"en","value":"On lucky primes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 370651"}},"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":"Q1260761$58E48616-3825-49E4-9362-8B37B741123B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7bcbdc5edb8f8f79052b24747b060c291b39422","datavalue":{"value":{"text":"On lucky primes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1260761$BAAB23CF-02F8-493A-9DA9-0186A638CBAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbb58464b76e7ccfd1db93b0a3bd65814a5f2772","datavalue":{"value":"0787.13016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260761$7D59C86F-8486-43EC-B358-F289A605407A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3658865588278b8b18148a38f4c868244a1ca5c3","datavalue":{"value":{"entity-type":"item","numeric-id":686972,"id":"Q686972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260761$984374D7-FF15-4E60-86A2-D49A4F6CC01D","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":"Q1260761$A76EC4A0-D44A-4031-90A6-406349483324","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db72996963a9193f3c38ca9de20c1dcbfa0ae1ee","datavalue":{"value":{"time":"+1993-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1260761$1E5D2AA5-EE40-4872-9D1C-66D54009F336","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fc86b362c231fad497694fdb086a66ccafc4413","datavalue":{"value":"https://semanticscholar.org/paper/6efaf1452a74aa7507fea6d782f5c01e71346229","type":"string"},"datatype":"url"},"type":"statement","id":"Q1260761$C47593DA-07A4-4C4E-B4D0-940962680BFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a57b83edc64a2af840745634652396caf0551305","datavalue":{"value":"Let \\(k\\) be a given commutative Noetherian ring. Fix a term order `\\(<\\)' on the ring \\(S:= k[x_ 1,\\dots,x_ n]\\); any polynomial \\(f\\in S\\) can be written as \\(f=\\sum_{i=0}^ r c_{a_ r} x^{a_ r}\\), where \\(c_{a_ i}\\in k\\), \\(a_ 0,\\dots,a_ r\\in{\\mathbb{N}}^ n\\) and \\(a_ 0>\\cdots> a_ r\\). Then one can define, as usual, \\(\\deg(f):= a_ 0\\) and \\(\\text{lc} (f):= c_{a_ 0}\\). If \\(I\\subseteq S\\) is any ideal, \\(C_ a(I)\\) denotes the set \\(\\{\\text{lc} (f)\\mid f\\in I,\\;\\deg(f)=a\\}\\), i.e. \\(C_ a(I)\\) is the ideal in \\(k\\) given by all the leading coefficients of polynomials in \\(I\\) of fixed degree \\(a\\).   Given an ideal \\(I\\subseteq S\\), a prime \\(p\\in \\text{Spec}(k)\\) is called \\textsl{lucky} if \\(C_ a(I)\\not\\subseteq p\\) for every \\(a\\) such that \\(C_ a(I)\\not=0\\). In particular, one can prove that, for example, in the case \\(k={\\mathbb{Z}}\\), there is only a finite number of unlucky primes for a given \\(I\\).   Let now \\(k\\) be a domain, \\(B\\subseteq S\\), \\(p\\subseteq k\\) a lucky prime; denote by \\(S_ p\\) the localization of \\(S\\) at \\(p\\), and by \\(S^{(p)}\\) the ring \\(S\\otimes_ k k_ p/pk_ p\\). In the first part of the paper it is proved that if \\(B\\subseteq S\\), a minimal, reduced and normalized Gr\u00f6bner basis of \\(B^{(p)}\\) \\((\\subseteq S^{(p)})\\) over \\(S^{(p)}\\) can be lifted to a minimal, reduced and normalized Gr\u00f6bner basis of \\(B_ p\\) over \\(S_ p\\) and then pushed down to a minimal, reduced and normalized Gr\u00f6bner basis of \\(B^{(0)}\\) over \\(S^{(0)}\\). Moreover, if \\(I\\) is homogeneous, then any homogeneous basis of the syzygy module of \\(B^{(p)}\\) over \\(S^{(p)}\\) can be lifted to a homogeneous basis of the syzygy module of \\(B_ p\\) over \\(S_ p\\) and then pushed down to a basis of the syzygy module of \\(B^{(0)}\\) over \\(S^{(0)}\\).   Successively, it is sketched a method to compute a Gr\u00f6bner basis of an ideal \\(I\\subseteq {\\mathbb{Z}}[x_ 1,\\dots,x_ n]\\) performing the computations in the ring \\(k[x_ 1,\\dots,x_ n]\\), where \\(k:=\\prod_{i=1}^ N {\\mathbb{Z}}/p_ i{\\mathbb{Z}}\\) (\\(p_ 1,\\dots,p_ n\\) a set of given primes). In this way one can perform modular computations not only for a single prime, but for the whole set of primes \\(\\{p_ 1,\\dots,p_ N\\}\\). During the computation it is possible to find the unlucky primes in the given set. Several examples are given in order to show the applicability of the algorithm. Finally, it is given a procedure which uses only linear algebra over the field \\({\\mathbb{Q}}\\) in order to lift a Gr\u00f6bner basis using the idea of the \\textsl{Gr\u00f6bner trace} introduced by \\textit{C. Traverso}, in Symbolic and algebraic computation. Internat. Symp. Proc. ISAAC '88, Proc., Lect. Notes Comput. Sci. 358, 125-138 (1989).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260761$32F8B93B-2217-481E-A724-558BC58D521F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260761$F644651F-06FB-4874-88F1-EC7B12DF53C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260761$5AE00AE0-2E6B-4C4E-9EA2-4967186F3327","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1d94aa0ceef5019e0a94938d7e842204d56c4ea","datavalue":{"value":"370651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260761$3FD33CBD-D4D5-433D-8403-2FA4C3E1300D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af8cd13de84e176e5328f2f5bb83f975b64b03fa","datavalue":{"value":"lucky primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260761$4FC33BBD-1398-46BD-8D70-73E2C82F896F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd2de7cbcf36dfe1e32d29a9945a399671631d8","datavalue":{"value":"unlucky primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260761$81DD95AD-D419-40B8-8A53-3E51D1B3BD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accdcde98a5b7fb533ca22c3ab073037d469ac55","datavalue":{"value":"syzygy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260761$0EA24436-07C1-4CE4-A2CD-7C5CFA587C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1260761$B01236D4-EA64-4C79-BC89-0049A888CFDA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80f116a1cdb08066811a19630fb4c8beca038913","datavalue":{"value":{"entity-type":"item","numeric-id":321274,"id":"Q321274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1260761$B6E2A468-FFFB-4442-A94A-A1874E5B2AEF","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":"Q1260761$6CE95907-F836-489F-ACC5-AB4FA23F0D44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"654a4b9e3872e8bae5ef8615f082a2c54bb5fadd","datavalue":{"value":"W1991925681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260761$A0BF220B-9F17-42FB-A1B4-FEAD4DB6654A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78388c7ee4c231173d6305225667ff043be8db22","datavalue":{"value":"10.1006/JSCO.1993.1014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1260761$7686FF66-D54C-4708-8C5B-E67EA5EF0654","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbc399f41e499c4f27baae00bf738c5e3c31a66","datavalue":{"value":{"entity-type":"item","numeric-id":1209625,"id":"Q1209625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b2fa3f3b618fe37fdd7bce59ecec26bc4bafdf","datavalue":{"value":{"amount":"+0.9005596041679382","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":"Q1260761$8F0BE155-942F-4D37-BF98-3F92CA67BCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c512bd23d6a80b5b8958bae1661ede7d2b6c6395","datavalue":{"value":{"entity-type":"item","numeric-id":2211184,"id":"Q2211184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b2fa3f3b618fe37fdd7bce59ecec26bc4bafdf","datavalue":{"value":{"amount":"+0.9005596041679382","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":"Q1260761$AA21B5C5-3F12-49E3-BA82-A331048C5C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b117b04955c28784039c351e0bfff4b448e5452","datavalue":{"value":{"entity-type":"item","numeric-id":3605255,"id":"Q3605255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e2b354faddd3244d0224a9baa67c4f137f96f4","datavalue":{"value":{"amount":"+0.8532460927963257","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":"Q1260761$F2281089-C29D-4A2A-82A0-0AF0AB6CDD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db72907415f1cc25a1ba8afcbb15f4e5d156b6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1118653,"id":"Q1118653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6106888a011c15e3d115778626a26dfde56b753a","datavalue":{"value":{"amount":"+0.8213399052619934","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":"Q1260761$5F12F1F8-E3D2-4C37-8D45-5897D094A42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9456754a91ee2ca2aadc4ec9868b6f48e4e3c75c","datavalue":{"value":{"entity-type":"item","numeric-id":1401905,"id":"Q1401905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b8ca0a546c2b15ab013377c8546a6e4f388a63","datavalue":{"value":{"amount":"+0.8089585900306702","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":"Q1260761$12ACBAA8-5150-4C73-8DA9-7C621739593F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On lucky primes","badges":[]}}}}}