{"entities":{"Q1911185":{"pageid":1921927,"ns":120,"title":"Item:Q1911185","lastrevid":71790306,"modified":"2026-04-14T00:33:38Z","type":"item","id":"Q1911185","labels":{"en":{"language":"en","value":"On a theorem of Coleman"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 866138"}},"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":"Q1911185$39E63E0B-CF86-4800-AD7C-ABE8F3AC49B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ddbb10ec8a54940d0fc6347d60ee60f2b5d6a6f","datavalue":{"value":{"text":"On a theorem of Coleman","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1911185$FB715C3B-6372-47B5-97C7-3E3CBE10DC03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e59ff594e1d720364ca54e8dcddcbdad3913199","datavalue":{"value":"0865.14012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911185$479B6337-2FB4-44A5-A62F-52E9221814B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0784314e6adec13fdd6b4428e4d4b5760ebbfc9","datavalue":{"value":"10.1007/BF02567833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911185$6D1A046E-9CAF-4C0F-8A8E-7B1550287259","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$FF34AFCD-8549-42E0-855F-2CA013B91CD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94216ebf2d6bcbf04d51310e4eaa74cb6d0ac011","datavalue":{"value":{"time":"+1996-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1911185$8A3D0C2B-CD9F-49CB-B8C4-8CFCAD1F94B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"188f75a606a7299730e1d12f7237786c0825f5a1","datavalue":{"value":"https://eudml.org/doc/156138","type":"string"},"datatype":"url"},"type":"statement","id":"Q1911185$13CD24C1-3799-48E2-AC43-8C0ED626C299","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9039ca157bbed5bd2628b1f664e1fd4a1d471bdf","datavalue":{"value":"The paper is motivated by Coleman's effective version of Chabauty's theorem which yields in this context the following:   Let \\(C/\\mathbb{Q}\\) be a curve of genus 2 (plus some extra conditions on the equation defining \\(C)\\) with Jacobian \\(J\\), such that the rank of \\(J(\\mathbb{Q})\\) is at most 1. Then \\(C(\\mathbb{Q})\\) is finite and can be computed effectively.   In order to apply this theorem one must compute the rank of \\(J(\\mathbb{Q})\\). In earlier papers the author presented an algorithm to compute this rank by descent via isogeny. This method involves the construction of certain homogeneous spaces described by 72 quadratic forms in \\(\\mathbb{P}^{15}\\). Since these calculations can not be verified by a reader without a computer algebra system, the author presents here an improvement of his earlier algorithm which avoids these homogeneous spaces. He applies his method to an example which really can be checked without the use of a computer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911185$692AFBA5-9E1D-4C10-8C58-8EC66E94F3D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"db0dbf998ec968d05be3040fdfa9d5b474901d27","datavalue":{"value":"14H40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911185$3AE0DCDA-C313-413B-BF1B-F6278618659F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911185$5FE55F54-3890-4783-9D97-521227E25336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8eaa19aa729ddd9738f031f624b8c0af532a55f","datavalue":{"value":"14K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911185$E9EC2CD1-05FC-4261-9F9F-1311A918E270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25aeaa4f17e7777c028ba66c2547213efd0c6e8e","datavalue":{"value":"866138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911185$DB5BDFEE-9B22-4A6E-9024-2E55458C74ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc34b40032d230fc35b75b0c49a32e698b0e23d","datavalue":{"value":"rank of Jacobian","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911185$56DA5E78-FA1D-4FA6-910E-0353C0BD34B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efdb3c4e508fa63099487c0c402f1bcec0b15a22","datavalue":{"value":"Chabauty's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911185$D07B1D36-C24C-46B8-8F5B-1C05B0AF2F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a8ba74d0ab767900e04ff6061d573fd89ce578","datavalue":{"value":"curve of genus 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911185$3970F0D1-74EF-4BC6-83AF-BD615D50555D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b3bde8713a8916945aab1e6b190eab61bacaae6","datavalue":{"value":{"entity-type":"item","numeric-id":1032660,"id":"Q1032660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$79D51F23-9485-414E-B632-1EF95388B5A8","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":"Q1911185$64B39638-B5EF-4216-89A0-D4A237FBAA1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff679a5e3d983867b0d34ceafb4935df4917015","datavalue":{"value":{"entity-type":"item","numeric-id":1073118,"id":"Q1073118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$CE7AB994-18E0-45DA-AE6A-15B74C897051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48d94a1f071ed191c4ffb8027848f4a17aa7686e","datavalue":{"value":{"entity-type":"item","numeric-id":4032888,"id":"Q4032888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$53A5406A-1B12-4C0D-A486-BB32205B969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91a18583f04bfdaba9c844869b498fdf2ee5a81","datavalue":{"value":{"entity-type":"item","numeric-id":4298993,"id":"Q4298993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$A1A12726-4823-4B4E-B704-2046DDA134E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9238f32383df82698e47b7b1e98b373f89156fc9","datavalue":{"value":{"entity-type":"item","numeric-id":4201485,"id":"Q4201485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$704D6345-C830-4316-A576-5428754E927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02437b04dc7baa7250a88d3f7fc1f18e94e56d45","datavalue":{"value":{"entity-type":"item","numeric-id":4311408,"id":"Q4311408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$BB9CBE30-140E-4B80-A84C-61B13E439982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6178685ba118c273fa690d515ca86fd44012a9c0","datavalue":{"value":{"entity-type":"item","numeric-id":2653889,"id":"Q2653889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$32000741-F00F-4AA0-A262-AB3809803043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86969453a794bc8e7750371ef9a7ef7d84dcb8b","datavalue":{"value":{"entity-type":"item","numeric-id":1195995,"id":"Q1195995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$C1E85837-811B-491E-9BCD-6AC95D44415C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d1ff3c485f37543d0c9da8cdcaa2adff795ea3c","datavalue":{"value":{"entity-type":"item","numeric-id":1804969,"id":"Q1804969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911185$33EF5C62-014B-4FD5-BF7B-BE6BEE0C374D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4ce0e9558608298ef8ef62179ca064baeb4c38","datavalue":{"value":{"entity-type":"item","numeric-id":3128216,"id":"Q3128216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337e886370560bff5da9dffdf32726efbf672081","datavalue":{"value":{"amount":"+0.8528514504432678","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":"Q1911185$5DB4713C-EC67-44EE-B617-467E82C31824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81177bf65482ae841b89ecfd9fa7267d7fd5d7","datavalue":{"value":{"entity-type":"item","numeric-id":4311408,"id":"Q4311408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffea239f13b5fd99b629383bb7978e2fee93b12","datavalue":{"value":{"amount":"+0.8112329840660095","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":"Q1911185$8CD2C732-7B00-4BC4-85DB-FB76030E0C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39e1a26374ce3100de3b61de616fc0822bdf775","datavalue":{"value":{"entity-type":"item","numeric-id":2717630,"id":"Q2717630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b050804190a7702e4264ed199a473efbe95cde","datavalue":{"value":{"amount":"+0.8079932928085327","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":"Q1911185$4EF2C6C0-5264-4695-8376-1246A088F02A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a theorem of Coleman","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_theorem_of_Coleman"}}}}}