{"entities":{"Q661993":{"pageid":663842,"ns":120,"title":"Item:Q661993","lastrevid":63417033,"modified":"2026-04-11T12:54:50Z","type":"item","id":"Q661993","labels":{"en":{"language":"en","value":"Deterministic primality tests based on tori and elliptic curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6005628"}},"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":"Q661993$1036A348-0E6A-4819-B4B4-7971EBE1CBBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1642548d8811b0a37411fe743ab3d885adfdcb13","datavalue":{"value":{"text":"Deterministic primality tests based on tori and elliptic curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q661993$77FCECFF-0B47-4177-9804-C2A2C3DF5565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b097e60626fb022ac597d10d119be1a7d213cc6","datavalue":{"value":"1300.11131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661993$6F657097-2F2C-4BC1-A509-2D091873B02F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc9d2ef8d651caef3e9e347470bf7412e42eef61","datavalue":{"value":{"entity-type":"item","numeric-id":661992,"id":"Q661992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$80C8880C-84E8-48EB-AFAD-6F11C38F252D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9a28c0e502af97dae0d398104dc1c546ecaaff9","datavalue":{"value":{"entity-type":"item","numeric-id":193579,"id":"Q193579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$D81FDD9B-2E08-4668-93EF-DFD36CF23D92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33122a93dfb64681be222c65bf841053fa198b88","datavalue":{"value":{"entity-type":"item","numeric-id":165874,"id":"Q165874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$279755D7-216F-41BC-9F87-CC5EDE680BCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44ca87796e4c16050b910332ff48eb651dab4225","datavalue":{"value":{"time":"+2012-02-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":"Q661993$2B11073B-F1B3-463C-9B53-FA2C771CDBB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9615a6f9370ba281ef5b69765d75bfd86ef5a24","datavalue":{"value":"In a previous paper [Arch. Math. 93, No. 6, 555--564 (2009; Zbl 1236.11009)] the authors proposed a general framework, based on group schemes, for (deterministic) primality tests and they locate in such a setting the well-known tests of Pr\u00f6th and Lucas-Lehmer. In the present paper they extend and improve the procedure and they apply it to some particular families of natural numbers.  Section 2 formulates a generalization, based on group schemes over \\(\\mathbb{Z}\\) of the classical Pocklington's test and Section 3 gives the general test (Theorem 1). This test, a modification of the one proposed in the paper of 2009, is based on schemes \\(G\\) over the ring \\(\\mathbb{Z}_S\\), with \\(S\\) a finite set of \\textit{bad} primes.  The rest of the paper applies the general test to various families of numbers, using in each case the appropriate scheme. Section 4 deals with the family of numbers \\(h2^n+1\\),\\, using the multiplicative group scheme \\(G=\\text{Spec}\\mathbb{Z}_S[x,x^{-1}]\\), while Section 5 do the same for the family \\(h2^n-1\\) and the Warehouse-Weisfeiler scheme (torus with equation \\(y^2=dx^2+x\\)). A test for the last family is also provided in Section 6 with the aid of the elliptic curve with equation \\(y^2=x^3-dx\\) (\\(d\\) not a square modulo the tested number) and a curve with the same equation (but where \\(d\\) a fourth power modulo the candidate) also allows to give tests for the two families of numbers \\(g^22^{2n}+1\\) and \\(g^22^{2n-1}- g2^n +1\\). Finally Section 8, using the elliptic curve \\(y^2=x^3+d\\) gives a primality test for the family \\(g^22^{2n-1}- g2^n +1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q661993$EA4B1CDC-8F3D-47DB-83DF-0CAA852B68E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ecf21397fdcced4e2aeef35f7ab4217f79a7d6ec","datavalue":{"value":"11Y11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661993$C86F24AE-1BCC-42C3-9CB1-1F1F5FDF2994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661993$A4E52283-924A-4B37-AC75-E072986BA4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"528f7a48d12c334e1e8f805dbb30c6a6e0ed15e9","datavalue":{"value":"14G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661993$668AFA86-EE97-47D5-828E-B1C8BBB70496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"954cf5edae008665ff61d1308e5316d0138e153a","datavalue":{"value":"20G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661993$BE26EB04-57D3-4AFE-A8B5-6E80930BA994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ca7381c8f35bd2daf54c33001ac8bbbcd4f45d3","datavalue":{"value":"6005628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661993$8FFAF47F-91C3-40DE-8AEB-2B217906BCB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efed5172d86eecab432335e1eeacd0424f509637","datavalue":{"value":"primality test","type":"string"},"datatype":"string"},"type":"statement","id":"Q661993$BD8544B8-6A3D-4AA3-83E1-03038487CB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f181fc117ac64e7d05d28d2caa901cd531d39a","datavalue":{"value":"group schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q661993$65598529-CA79-4042-8BDF-5AF26D090F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4546d0720fa883989ffdae26188c5206cc885092","datavalue":{"value":"algebraic torus","type":"string"},"datatype":"string"},"type":"statement","id":"Q661993$D61CCD22-6493-404B-A73C-894BA5D68B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152a3a8a7275b37d6dbe5f1a44038a85372ab00c","datavalue":{"value":"elliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q661993$5FF4D9AD-5F4B-4A87-86AB-70A4051D9BD2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8892955fafe16ba1bddb104e5d82ec8889d70fd9","datavalue":{"value":{"entity-type":"item","numeric-id":1313210,"id":"Q1313210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$AE02588D-FB34-4E84-A8D4-39C87EAAAB1E","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":"Q661993$345BA1C8-9F47-4D40-B9DF-39892E70CF62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f93855ce35ed6ea96f20ec47c441d4904eedf436","datavalue":{"value":"https://doi.org/10.1016/j.ffa.2011.07.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q661993$185E2C0C-A697-4D06-ADE1-F656A2FA1FAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cc1eba4b0dd0e137244bf225adff5f3826367fe","datavalue":{"value":"W2022705142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661993$02E2FE8B-AD89-477B-99C4-466155AB4507","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9afe7382a8ddd820f6657d4134ee5ba05f7cd19d","datavalue":{"value":{"entity-type":"item","numeric-id":1767659,"id":"Q1767659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$52B648DB-5AF1-4D6F-8E4D-970B9CE7C7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a23fcd85f03a0f9ea4fd59278ef6b6fe0e0519","datavalue":{"value":{"entity-type":"item","numeric-id":1024418,"id":"Q1024418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$82DD84A1-73C2-482A-9513-ACDAEAD375A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335b9878a533ea6f6ea2b7fb7e8a22c48ca383a9","datavalue":{"value":{"entity-type":"item","numeric-id":4382683,"id":"Q4382683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$59DA7EDB-631E-4B4A-A6B5-7AA57284992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5334bd1225bb822dc1ccfcba6a063dd9b767dd7b","datavalue":{"value":{"entity-type":"item","numeric-id":3581829,"id":"Q3581829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$8337C1AD-5927-4734-A876-FFEAE2348641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87049f4aff5cee651e9ec20f6a01f8e476c2470c","datavalue":{"value":{"entity-type":"item","numeric-id":1047901,"id":"Q1047901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$914C8F43-3308-4CEF-92A6-2C8C53938895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38cb81fa137f1acfbe5df1d29505e7c410140a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1095209,"id":"Q1095209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$D005FCDB-18A3-453D-9F30-F1578DC38FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507d37d83fcdd0d10eba8ef21e14a89a55b44fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1820186,"id":"Q1820186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$6CF783E5-E23F-437A-82B5-2A352CA8C5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d149eba9bb1ffda2574f762af329ecd09d87165","datavalue":{"value":{"entity-type":"item","numeric-id":5317673,"id":"Q5317673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$3E92EA2D-02F4-40D5-BFDC-CEFB29F224F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a2c9b4dd833af9d77dbf17bf0d729ec046a929","datavalue":{"value":{"entity-type":"item","numeric-id":2708615,"id":"Q2708615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$61238414-26CD-4ECA-9185-64FA0A30CBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b48abd855282cb559e3333ee25d1bc92d29919","datavalue":{"value":{"entity-type":"item","numeric-id":4663072,"id":"Q4663072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$E675EF97-4F1F-4AD5-9EA9-EEC9634C50C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388807b3011ca533c0db01855658f0cdecfc3410","datavalue":{"value":{"entity-type":"item","numeric-id":1148361,"id":"Q1148361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$517A8559-A54E-415D-9742-683C0A4EBAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3e8bcd9ac407075ef6c156fbc648c056d47207","datavalue":{"value":{"entity-type":"item","numeric-id":3999066,"id":"Q3999066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661993$5B47097E-44C2-4394-A3BB-3ECD758919FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"908b4e5a859ae1a933bd299d2958085fe6bad4cc","datavalue":{"value":"10.1016/J.FFA.2011.07.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661993$8139FDF0-A04A-44B1-8BEE-3E855DD18287","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723179ffb33924f3ca78dc09cb16641ee593926d","datavalue":{"value":{"entity-type":"item","numeric-id":2513761,"id":"Q2513761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1d8d1625b752a9d6a1c8dce78586070c14fbf4","datavalue":{"value":{"amount":"+0.853410005569458","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":"Q661993$17013A87-F101-49FC-8969-63D63AA71DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2bc54e5b2c8373ea874de23fc1c8a7a49ee27f","datavalue":{"value":{"entity-type":"item","numeric-id":1047901,"id":"Q1047901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e7fa3d75464375bd6abdaa5251c9db232edd69","datavalue":{"value":{"amount":"+0.8476168513298035","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":"Q661993$3EF48242-AAD8-423E-BCA4-3211301E79C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3fb87c44deeef09d17e6960ec270851075e5b6","datavalue":{"value":{"entity-type":"item","numeric-id":1024418,"id":"Q1024418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f4480edaf7717eae8bd66737b30c7fdc7807e3","datavalue":{"value":{"amount":"+0.8143771290779114","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":"Q661993$A31FB56F-E106-47E4-B01F-F6BD59F11DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09772de365947715bd637a1a124f72be870dbe22","datavalue":{"value":{"entity-type":"item","numeric-id":4663072,"id":"Q4663072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762f0dd5460401a8e02147a71e50b11661da1967","datavalue":{"value":{"amount":"+0.8065478205680847","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":"Q661993$DC6FC8C8-FB37-418F-A04F-D7CD5A4A22B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c9b04af6f0f7aff1463b0ee5cbc119f94df31f","datavalue":{"value":{"entity-type":"item","numeric-id":2792372,"id":"Q2792372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d036f473e65f8e28bd2cdf8f2d476fcec249e979","datavalue":{"value":{"amount":"+0.8016835451126099","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":"Q661993$B0C4ECDE-A8E1-4C2B-889C-F5335329C08A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deterministic primality tests based on tori and elliptic curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deterministic_primality_tests_based_on_tori_and_elliptic_curves"}}}}}