{"entities":{"Q713360":{"pageid":715209,"ns":120,"title":"Item:Q713360","lastrevid":63743304,"modified":"2026-04-11T15:14:54Z","type":"item","id":"Q713360","labels":{"en":{"language":"en","value":"Essential dimension of central simple algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6099403"}},"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":"Q713360$5CBE4A4D-88FB-4A7B-AE18-C879C1E65E10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf6bbbfaf95826d4636a27936b062bfaf20d5fe7","datavalue":{"value":{"text":"Essential dimension of central simple algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q713360$7A2A35CB-4DC9-43B2-8CFE-DDCBB496CDD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0035da7c3e43e59bfb8d36d11507cd8d84747a92","datavalue":{"value":"1258.16023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$EFA4C2EA-3798-4294-9542-8A9CD6863D05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2eb4e94f35e48442dcfbf7929d82d0a2fa036c7","datavalue":{"value":{"entity-type":"item","numeric-id":418685,"id":"Q418685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$BBF520A2-CB7D-4A88-95C5-8EC177423D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f437908fa67a06dafc858823bd4f0413bc043c45","datavalue":{"value":{"entity-type":"item","numeric-id":713359,"id":"Q713359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$BFB06147-3593-4BAB-95A0-8C2699D84B3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"09f456a274e455e5e5b05b055e42e0cbb108679d","datavalue":{"value":{"entity-type":"item","numeric-id":163102,"id":"Q163102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$259F4072-4701-4051-B373-8423C30F0BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6bae5241029eeebb10d1b10b1d151d50d61e9a7","datavalue":{"value":{"time":"+2012-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q713360$CA85B24F-51EA-416D-8C6F-8A6DAF4AC9A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a1c132169f0cc2daca45aba4c6d81963f5265e5","datavalue":{"value":"Let \\(F\\) be a base field, and let \\(\\mathcal F\\colon Fields/F\\to Sets\\) be a functor from the category of field extensions of \\(F\\) to the category of sets. An element \\(\\alpha\\in\\mathcal F(E)\\) is said to be defined over a subfield \\(K\\) of \\(E\\) if \\(\\alpha\\) is in the image of the morphism \\(\\mathcal F(K)\\to\\mathcal F(E)\\). The essential dimension \\(\\text{ed}^{\\mathcal F}(\\alpha)\\) of \\(\\alpha\\) is the minimum of the transcendence degrees of \\(K\\) over \\(F\\) where \\(K\\) runs over all fields of definition of \\(\\alpha\\). If \\(p\\) is a prime, the essential \\(p\\)-dimension \\(\\text{ed}^{\\mathcal F}_p(\\alpha)\\) of \\(\\alpha\\) is the minimum of \\(\\text{ed}^{\\mathcal F}(\\alpha_{E'})\\) where \\(E'\\) runs over all prime-to-\\(p\\) extensions of \\(E\\). The essential \\(p\\)-dimension \\(\\text{ed}_p(\\mathcal F)\\) of \\(\\mathcal F\\) is the supremum of \\(\\text{ed}^{\\mathcal F}_p(\\alpha)\\) for \\(\\alpha\\in\\mathcal F(E)\\) and \\(E\\) an extension of \\(F\\).   Let \\(m,n\\) be positive integers with \\(m\\) dividing \\(n\\). The functor \\(Alg_{n,m}\\) is defined as the functor that takes a field extension \\(E\\) of \\(F\\) to the set of isomorphism classes of central simple \\(E\\)-algebras of degree \\(n\\) and period dividing \\(m\\). In the paper under review, the authors give lower and upper bounds for the essential \\(p\\)-dimension of this functor when \\(p\\) is different from \\(\\text{char}(F)\\). Recall that if \\(p^r\\) and \\(p^s\\) are the largest powers of \\(p\\) dividing \\(n\\) and \\(m\\) respectively, then we have \\(\\text{ed}_p(Alg_{n,m})=\\text{ed}_p(Alg_{p^r,p^s})\\), so it is sufficient to consider \\(\\text{ed}_p(Alg_{p^r,p^s})\\). One then has the inequality \\((r-1)2^{r-1}\\leq\\text{ed}_p(Alg_{p^r,p^s})\\leq p^{2r-2}+p^{r-s}\\) if \\(p=2\\) and \\(s=1\\) and \\((r-1)p^r+p^{r-s}\\leq\\text{ed}_p(Alg_{p^r,p^s})\\leq p^{2r-2}+p^{r-s}\\) otherwise.   The key points in the proof are as follows. First, the lower bound for the essential \\(p\\)-dimension of \\(Alg_{p^r,p^s}\\) is expressed in terms of the essential \\(p\\)-dimension of a certain algebraic torus. Second, a result of \\textit{R. L\u00f6tscher, M. MacDonald, A. Meyer} and \\textit{Z. Reichstein} [``Essential dimension of algebraic tori'', J. Reine Angew. Math. (to appear)] is used to calculate the essential \\(p\\)-dimension of this torus. Finally, to prove the upper bound, the authors prove an inequality that bounds \\(\\text{ed}_p(Alg_{p^r,p^s})\\) by \\(\\text{ed}_p(Alg_{p^r})=\\text{ed}_p(Alg_{p^r,p^r})\\) and use a result of \\textit{A. Ruozzi} [J. Algebra 328, No. 1, 488-494 (2011; Zbl 1252.16016)] to obtain the final inequality.   A corollary of this result is that if \\(\\text{char}(F)\\neq 2\\), then \\(\\text{ed}_2(Alg_{8,2})=\\text{ed}(Alg_{8,2})=8\\). This proves the existence of a central simple algebra of degree 8 and period 2 over a field \\(F\\) which cannot be written as the tensor product of three quaternion algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q713360$051E1774-C3B3-42ED-AA81-7800C73ADAF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ed33c64af2f1d7033afda3f014f91f674b44358","datavalue":{"value":{"entity-type":"item","numeric-id":372674,"id":"Q372674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$990405DB-E094-43A1-9259-34FDF0A06131","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$53B62CA8-2A72-45A7-B7EC-7FCF3A4C2541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21d837310bf4df0ec238da85c66a764921b37628","datavalue":{"value":"16K50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$26C25E19-CC7C-4284-8B01-79892BA4BC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$6A453E13-EFEE-4AD9-81C3-CF4074C135EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$E4DDFBF0-A127-4DF1-ADAA-DBD05073C054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c92381e539112a9b32831187109bce44cd9d507a","datavalue":{"value":"11E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$0BC72396-2D4A-4056-A041-1195B5AD3E27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53fdba851d12046c5ae25e21830d60c49aca7736","datavalue":{"value":"6099403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$8BD3198B-B114-43CB-A64A-3565E7C16860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a6093a6828df3e57656db1f7ed13f4d9e015ca","datavalue":{"value":"essential dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q713360$41CF2139-BAD1-458F-8921-B72CA18D1C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad4abc3d271c12d980965a49af18219581a3d56a","datavalue":{"value":"central simple algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q713360$66DEF646-0CD4-48E4-B73C-548935CFF979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d81a743626086c3a7827528976047baa71a756","datavalue":{"value":"Brauer groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q713360$F97C63F3-DAC2-4FD9-8525-CA0B1E4610B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"212643e4ac8fa542ead4b82e9e370c84cbb7d7ae","datavalue":{"value":"algebraic tori","type":"string"},"datatype":"string"},"type":"statement","id":"Q713360$BB6F7961-A4A5-49CC-88F2-085769C3734E","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":"Q713360$EAC7F14F-83B5-462E-8214-A79A426AA2DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b12bbeacb6433722d1d52351a99ce5565fec3b49","datavalue":{"value":"https://doi.org/10.1007/s11511-012-0080-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q713360$5732630E-06AC-4BF7-8AD1-3A916DA36DDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac64e42871a29f89a075b86ae9f5202454dfb080","datavalue":{"value":"W1976484007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$D9489868-D07D-4411-9BF1-C05FE7C76261","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"838eef01eaaa6b3b265bdf22dcb27de360594e63","datavalue":{"value":{"entity-type":"item","numeric-id":5904206,"id":"Q5904206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$395C9DDC-4ABF-48EB-9C0B-6688B72F7181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c624954266103404423352b29696626de39592e7","datavalue":{"value":{"entity-type":"item","numeric-id":833078,"id":"Q833078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$81DDE66F-DB90-489B-8559-077C44C84ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6f21f25ceba16c21118ecde648d4497ebfeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1419684,"id":"Q1419684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$A8400C46-6527-43D8-BAE0-7807A378DC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b93c531f1c7df964ec7af0915ff26044dbfdf4","datavalue":{"value":{"entity-type":"item","numeric-id":4416651,"id":"Q4416651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$EC2CACEF-2E55-49F1-84E0-13C219F3A6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb40a7d39fbd680df386817e311d05a1cdb151b","datavalue":{"value":{"entity-type":"item","numeric-id":4210545,"id":"Q4210545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$FFC4B9CB-17FC-495C-8089-CD7ACCD8399C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c590aec14621c7e880478917c3b8aca79bf8071","datavalue":{"value":{"entity-type":"item","numeric-id":4921704,"id":"Q4921704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$0AAD7A91-CDBC-48CC-82EB-6913832FB18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf5732ffbc2007de0533eb9e7c791dffb27cda0","datavalue":{"value":{"entity-type":"item","numeric-id":5852631,"id":"Q5852631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$F508E42F-C534-443F-B2AA-5E4BCCDC7B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7318aa1da4e902111976564530e0ad584f1a80e8","datavalue":{"value":{"entity-type":"item","numeric-id":716051,"id":"Q716051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$2C9DE068-1840-4592-B9AE-1EF154571C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97c4362ca0e9cc6c0da2c6b0c5734130e634579","datavalue":{"value":{"entity-type":"item","numeric-id":2270644,"id":"Q2270644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$BFF0B6B9-240B-42D6-B7BF-00CA57D91B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c77108947423756453cde133e0908596bc50e7","datavalue":{"value":{"entity-type":"item","numeric-id":4522132,"id":"Q4522132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$625A68BB-1F5D-4249-B507-F496586C46C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cfb6a7699bfae530ae908091806469a36f5b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2583816,"id":"Q2583816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$F7F885F9-E7A0-408D-AFC4-A10FECBF766C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4ae59cd61ab227e43c6b51934cd877c01b109a","datavalue":{"value":{"entity-type":"item","numeric-id":1251706,"id":"Q1251706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$012E1526-43F7-44A9-BA04-DFADCBB155AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074cba73dc9770f594bf127b4debd18cd2f7261d","datavalue":{"value":{"entity-type":"item","numeric-id":536197,"id":"Q536197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$3FF670C3-6980-4E68-9C14-3C86540229B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430cc2b4f35b20d68cb513c52631b8fa5de988d","datavalue":{"value":{"entity-type":"item","numeric-id":4152672,"id":"Q4152672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$0CF910C6-F22D-45E5-A031-A3C9555A9B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd26346453352d47b3fb56625a4f2c3e7ffa4d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1101530,"id":"Q1101530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713360$DF68B99A-FE59-4367-B1F9-B9BF8848057F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92dc4e36980c11b7f61d985671ff395f87cc9a7a","datavalue":{"value":"10.1007/S11511-012-0080-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713360$7C3F3719-F04C-477D-A94B-3C9C4E2268AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d1d31090d09f7b92079a990c284ecbb9bb9249","datavalue":{"value":{"entity-type":"item","numeric-id":716051,"id":"Q716051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733aeaa82dc2492c912f616adcd34f62dd6e1929","datavalue":{"value":{"amount":"+0.925646185874939","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":"Q713360$58A22379-D8A7-4D1A-914F-0438D13CBE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab5331d2273ec48a366aa5fa67a46f625d21c47","datavalue":{"value":{"entity-type":"item","numeric-id":2893275,"id":"Q2893275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068a0316cfc69720bd53ad9eb6e9c8e6c5d82b58","datavalue":{"value":{"amount":"+0.8989603519439697","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":"Q713360$31D756E5-672D-46DB-91FD-BD0F1BF72CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7d62f6573e19e10d9aaf3000c71f1511f109f7","datavalue":{"value":{"entity-type":"item","numeric-id":549998,"id":"Q549998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e837576d95a89c1ba5c670149496114cfeabff0a","datavalue":{"value":{"amount":"+0.8639985918998718","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":"Q713360$DF50F884-78FC-458E-8871-4FF90F5F64DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a744f3c098ea5163fd38a77b2c323c0bc4d4fc","datavalue":{"value":{"entity-type":"item","numeric-id":533967,"id":"Q533967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095ac6cdedf9926652eda5e4bfd5b7f0cfbb2c21","datavalue":{"value":{"amount":"+0.8620642423629761","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":"Q713360$E0CD2051-9882-4ABA-8E97-2E54E5B13BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1532c97af42f32fa4bd3a1583400cd6bccf799ba","datavalue":{"value":{"entity-type":"item","numeric-id":5148084,"id":"Q5148084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5545ff65597ea78835235edbdd0c1a9c93b45bcc","datavalue":{"value":{"amount":"+0.8616065979003906","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":"Q713360$74C67D12-84B6-4121-AB69-CDF7B6710600","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Essential dimension of central simple algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Essential_dimension_of_central_simple_algebras."}}}}}