{"entities":{"Q6828964":{"pageid":15113722,"ns":120,"title":"Item:Q6828964","lastrevid":56014012,"modified":"2026-02-24T13:50:59Z","type":"item","id":"Q6828964","labels":{"en":{"language":"en","value":"Algorithmic enumeration of ideal classes for quaternion orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5810165"}},"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":"Q6828964$415FA7D4-552D-439E-B3EA-EF010342719E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e44a73e2cc5998e38975488cf259fbfae0df0e79","datavalue":{"value":{"text":"Algorithmic enumeration of ideal classes for quaternion orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828964$F37FC27A-F84F-439B-84B0-405ED2C5B88B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46e8695c939177b2ef615fcfb528492e655bb8cf","datavalue":{"value":"1208.11125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828964$C9729D73-8A7B-4A66-AB6D-B2455A852B21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6147a40c56ecf6ea468c47fd63aaa7a0c0acd369","datavalue":{"value":"10.1137/080734467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828964$9C941DF5-B52E-46C0-8932-53EADAEF2D3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a958df13a451905130f5205717c724401fab14","datavalue":{"value":{"entity-type":"item","numeric-id":524498,"id":"Q524498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828964$D5005DEC-B378-44C0-A633-D403D90E7898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f967a96a8ea510b117b0156bfc8ea63871b3530e","datavalue":{"value":{"entity-type":"item","numeric-id":351830,"id":"Q351830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828964$73A8973B-3C75-4C6B-A58D-B161134EE075","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828964$59E3396E-6231-4D00-BB7D-1CD0C783E7D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05f87c5170bfb76ad381b07fc66abe335aacd4cf","datavalue":{"value":{"time":"+2010-11-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":"Q6828964$3B572C91-4856-43B3-8D62-745ED05C765B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00812ec6deeeba6d3c7417c2498820b65421c59b","datavalue":{"value":"This paper deals with the counting and enumeration of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. More precisely, the following problems are studied:\\N\\NPROBLEM (ClassUnitGroup(\\({\\mathbb Z}_F\\))). \\textit{Given the ring of integers \\({\\mathbb Z}_F\\) of a number field \\(F\\), compute the class group \\(\\text{Cl}{\\mathbb Z}_F\\) and unit group} \\({\\mathbb Z}_F^*\\)\\N\\NPROBLEM (ClassNumber(\\(\\mathcal{O}\\))). \\textit{Given an Eichler order \\(\\mathcal{O}\\) in a quartenion algebra over a number field \\(F\\), compute the class number} \\(h(\\mathcal{O})\\).\\N\\NPROBLEM (ClassSet(\\(\\mathcal{O}\\))). \\textit{Given an Eichler order \\(\\mathcal{O}\\) in a quartenion algebra over a number field \\(F\\), compute a set of representatives for the set of invertible right \\(\\mathcal{O}\\)-ideal classes} {Cl}\\(\\mathcal{O}\\).\\N\\NThe authors prove that if the Eichler order \\(\\mathcal{O}\\) is indefinite, Problem ClassNumber(\\(\\mathcal{O}\\)) is deterministic polynomial time reducible to Problem ClassUnitGroup (\\({\\mathbb Z}_F\\)). Furthermore, it is shown that if \\(\\mathcal{O}\\) is definite, then Problem ClassNumber(\\(\\mathcal{O}\\)) is reducible in probabilistic polynomial time \\N\\[\\NO(d_F^{3/2} \\log^4d_F +\\log^2N D) \\N\\]\\N to the factorization of the discriminant \\(D\\) of \\(\\mathcal{O}\\) and \\(O(2^n)\\) instances of Problem (ClassUnitGroup) with fields having discriminant of size \\(O(d_F^{5/2})\\) (where \\(n\\) and \\(d_F\\) is the degree and the absolute discriminant of \\(F\\), respectively). As consequence of these result follows that there is a probabilistic polynomial time algorithm to solve Problem (ClassUnitGroup) over a fixed field \\(F\\) for indefinite orders and definite orders with factored discriminants. Finally, it is proved that there exists an algorithm to solve Problem (ClassSet) for orders over a fixed field \\(F\\) which runs in probabilistic polynomial time in the size of the output for indefinite orders and for definite orders with factored discriminant.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828964$F45AFD1D-6AF3-4AD6-9C6C-FBA5BA553DAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0c6b4cdaeea731b4d721d1e57817c51ed34c489d","datavalue":{"value":{"entity-type":"item","numeric-id":293716,"id":"Q293716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828964$2BEE6449-DFBC-44E9-A6ED-ADF7503D29B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f1cb07288bba9b47801526212098ae83d5ba151","datavalue":{"value":"11R52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828964$A09A7F7A-CF5A-43B8-9B93-7A667F0DD0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86dbc2ee2cc613168aaa9d9c94cb094ec6fcc6fa","datavalue":{"value":"11S45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828964$1179087D-6C91-4957-8645-FECDBA541468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828964$456099F4-CADB-41E3-BBA1-E2588D603CE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a2307bc70360cc2dd4d32358c0843247c9d1341","datavalue":{"value":"5810165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828964$8AB1CF80-BDBD-45AF-ADD6-5C40EB1492CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7d73e074e6a997a23321715c0e900e210338cd","datavalue":{"value":"quaternion algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828964$B788AC6C-5E84-41C8-B1CB-FFDE59E612ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5afd48e471c72b4f7265f4912572c564faeb720","datavalue":{"value":"Eichler orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828964$2BCFAFB6-1DF9-423E-9BDE-20D5E10F8532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5254f17935b1eff51f47ded4d0d909213e8e16","datavalue":{"value":"maximal orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828964$454FB078-A375-4CFE-B014-580BE08CB409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed769c9d762f00b60ab3fd349b51de1ee1ae22e","datavalue":{"value":"ideal classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828964$48E75EC1-8E64-4A98-91EB-BD2B79349883","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":"Q6828964$2C9C0704-1895-4DE5-AD5D-A31789321997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic enumeration of ideal classes for quaternion orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_enumeration_of_ideal_classes_for_quaternion_orders"}}}}}