{"entities":{"Q517464":{"pageid":519231,"ns":120,"title":"Item:Q517464","lastrevid":62435997,"modified":"2026-04-11T06:05:02Z","type":"item","id":"Q517464","labels":{"en":{"language":"en","value":"Symbol \\(p\\)-algebras of prime degree and their \\(p\\)-central subspaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6696925"}},"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":"Q517464$CA144EC0-0952-4660-87C3-9F253C0EB9E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3133eadefd031c6c19383409617af861410de070","datavalue":{"value":{"text":"Symbol \\(p\\)-algebras of prime degree and their \\(p\\)-central subspaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q517464$ED6B0F1E-53F9-497D-BFFD-D1E0AFE44808","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"502b2b276310c3caaf0b0ad46e4ed060439a5f79","datavalue":{"value":"1368.16024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517464$4964D3EE-FFB6-467E-B224-BE4552ADAAD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdec18fb6cfb7cd22f05c1040ab836c49a325747","datavalue":{"value":{"entity-type":"item","numeric-id":284948,"id":"Q284948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$16C3255A-16BE-4E8F-8ABC-71CBB868BD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53605c82f1d8273858c78f94915b00f7454016e2","datavalue":{"value":{"entity-type":"item","numeric-id":285586,"id":"Q285586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$1A3A517A-92DB-4740-85AD-730FBBD1E766","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$600DC068-5FE4-42F5-B33A-E8240355E586","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0beb2f43c8727816ec99249cdb49a15b77ad6c8","datavalue":{"value":{"time":"+2017-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q517464$CD8EADFF-BC05-48C2-95CE-BDAAA78EB5C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fdc4216fd2ca7e4a2cbb96ab51542c68e1e02b2","datavalue":{"value":"https://arxiv.org/abs/1607.05243","type":"string"},"datatype":"url"},"type":"statement","id":"Q517464$ABC62C98-C15A-418E-B003-A1297E782DD8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b68bc54386acb25367c4f99e717614715b7e6e5","datavalue":{"value":"Let \\(F\\) be a field of prime characteristic \\(p\\). It is well known (due to Albert and Teichm\u00fcller) that every associative central simple \\(F\\)-algebra of exponent \\(p\\) is Brauer equivalent to a tensor product of cyclic division \\(F\\)-algebras of degree \\(p\\). Also, it follows from the Artin-Schreier theorem that cyclic division algebras of degree \\(p\\) over \\(F\\) are symbol \\(p\\)-algebras. By a symbol \\(p\\)-algebra of degree \\(p\\), we mean an \\(F\\)-algebra \\(A := [\\alpha , \\beta )_ {p,F}\\) of the form \\(A = \\langle x, y: \\;x ^ - x = \\alpha , y ^ p = \\beta , yxy ^ {-1} = x + 1\\rangle \\), for some \\(\\alpha \\in F\\) and \\(\\beta \\in F ^ {\\ast }\\). An element \\(z \\in A\\) is said to be \\(p\\)-central, if \\(z ^ p \\in F\\). It is known that if \\(z\\) is \\(p\\)-central and is not central, then \\(A = [\\gamma , z ^{p})\\), for some \\(\\gamma \\in F\\). Thus \\(p\\)-central noncentral elements are important for understanding the different presentations of \\(A\\) as a symbol \\(p\\)-algebra. An \\(F\\)-vector subspace of \\(A\\) consisting only of \\(p\\)-central elements is called a \\(p\\)-central subspace. An example of such a subspace of \\(A\\) is given by the span \\(V\\) over \\(F\\) of the elements \\(x ^{j}y\\), \\(j = 1, \\dots , p - 1\\). It is easy to prove that the \\(F\\)-dimension of \\(V\\) is equal to \\(p - 1\\).  The paper under review deals with the study of \\(p\\)-central subspaces of \\(A\\). The authors are mainly interested in their maximal dimension. They conjecture that this dimension is \\(p + 1\\). The main result of the paper states that the conjecture is true, for \\([\\alpha , \\beta )_ {p,F}\\), if \\(F\\) possesses a subfield \\(K\\), and one of the following two conditions holds: (i) \\(F = K(\\alpha , \\beta )\\) and the elements \\(\\alpha \\) and \\(\\beta \\) are algebraically independent over \\(K\\); (ii) \\(F\\) is the iterated formal Laurent power series field \\(K((\\alpha ^ {-1}))((\\beta ^ {-1}))\\). The authors deduce this main theorem, by proving the following fact: if \\(s _ 1, \\dots , s _ {p+1}\\) are \\(p + 1\\) pairwise distinct nonzero elements of the additive group \\(G = (\\mathbb Z/p\\mathbb Z) \\oplus (\\mathbb Z/p\\mathbb Z)\\), then every nonzero element \\(g \\in G\\) can be expressed as \\(d _ 1s _ 1 + \\dots + d _ {p+1}s _{p+1}\\), for some non-negative integers \\(d _ 1, \\dots , d _ {p+1}\\) with \\(\\sum _ {i=1} ^ {p+1} d _ i \\leq p - 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$B5D09B60-CA55-432B-A84D-B9A514D81D71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ae26c396284ffac307162f7102c7003d7e21626","datavalue":{"value":{"entity-type":"item","numeric-id":590112,"id":"Q590112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$D00EA252-C272-46C9-B093-C2437FE8C283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517464$01850F40-DE2B-4DCB-9059-D6C575B6DABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517464$E42CB043-1F9B-4E1D-9BE6-2F1F750565E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8836e0c1033732ccd066d1e91f06d60cc8819832","datavalue":{"value":"11B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517464$8A864D7D-8E9E-44E1-B06F-FF4240D79A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef5ea71dbaa3d6172153d0b00dd5eee68cb9a11b","datavalue":{"value":"12E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517464$65310665-2BE5-4684-B70B-75C3415383F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c7eb1a3cef5af72a39b5083b4b5589e1a1a8eeb","datavalue":{"value":"6696925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517464$A2783AA9-669B-4449-9E1E-C60F4A6852F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad4abc3d271c12d980965a49af18219581a3d56a","datavalue":{"value":"central simple algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$3EFA56C5-64FB-494B-A08D-300BDD7ACC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9400fe96e04e3f775f14e43941e333359b3f23a","datavalue":{"value":"symbol algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$07BF14FF-3DEF-4748-8CBD-41C1C006FAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6873d7bd2f9212888934ff7660366bcbad83d25b","datavalue":{"value":"traces and norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$F426FF68-BEB0-46EC-A321-EC290B64CEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef3600b07085067f99561347c9bf62a3489d0cd0","datavalue":{"value":"Kummer spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$4A386FAF-5C91-4D23-BA22-2BB068AF4CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ccf6298ef7bce765a841e30c6e25b047f97686","datavalue":{"value":"generic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$FCCECEAA-20FD-4B34-9ED7-B02556345CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45fb6b72817c0f326f5fee049c194229053269ec","datavalue":{"value":"zero sum sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$7AA08B77-26C1-40DF-ACA0-E52EF5CE02ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"097db39a756fb2682499e7e7d6cbb20f27372e93","datavalue":{"value":"valuations on division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$FDF7C37A-F68A-4B9C-90B6-4666C22A2899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"801909e36a790d963585950016656d35ee0eb207","datavalue":{"value":"fields of positive characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q517464$921D16FD-CC04-42D7-8654-A9AA850B0BD7","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":"Q517464$B27E8C4A-F1FC-4D30-B2F7-6CEE2BC876BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b13f0456d1ae40c4777f10107c6499320cabbaf4","datavalue":{"value":"W2483883361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517464$6FBACF1A-713B-47FC-B36E-BA1CD054AE3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca25af452c1c44b7599c5c1859dca6b214721ea2","datavalue":{"value":{"entity-type":"item","numeric-id":284952,"id":"Q284952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$CC946792-6EF7-476A-B1F5-AF5F527CF6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0a4f731826f3873ba6e08a303c48e79374a644","datavalue":{"value":{"entity-type":"item","numeric-id":5272577,"id":"Q5272577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$66323DC5-B345-4C99-86FB-426DFC4E4E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a148054a3999bff98d608f439c2e63c9ccb8d49","datavalue":{"value":{"entity-type":"item","numeric-id":2984874,"id":"Q2984874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$218EA951-7F60-446C-8CF9-9224E58FCFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3ebb39b047f8c934166b0fd3e224d9f16829f0","datavalue":{"value":{"entity-type":"item","numeric-id":5484519,"id":"Q5484519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$0E37AFB6-310F-4689-ACEF-BC4B074AD98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6fd2d3579b6d5dcbef56d8d836201635c138a0","datavalue":{"value":{"entity-type":"item","numeric-id":3448992,"id":"Q3448992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$B1FE66B0-2F77-4DB9-AF5E-EB2D085623C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9980208748ca489406e1fd887773418583f94f67","datavalue":{"value":{"entity-type":"item","numeric-id":342855,"id":"Q342855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$67995385-23D3-4A43-8F9A-F6C86FF5975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1c85a97aae27953b76dceab45f870dfae16215","datavalue":{"value":{"entity-type":"item","numeric-id":2436626,"id":"Q2436626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$D2DB412B-8875-4198-8049-7954FEAAA572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c287e96c057a74d85b6b808d13c496a3fd9cf46c","datavalue":{"value":{"entity-type":"item","numeric-id":1244283,"id":"Q1244283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$7FE32089-3745-427D-B6ED-C1E7C386E994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23bf3bf80ab332521a10984589a1ea0141925cf","datavalue":{"value":{"entity-type":"item","numeric-id":5245305,"id":"Q5245305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q517464$3E2B2548-6F3E-44E1-B8CD-4975F91B0071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ba39b56fc2dfcf5eaf0a7c777e68880e2abf5d3","datavalue":{"value":"10.1007/S00013-016-0989-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q517464$F4C32721-C027-4A5B-8D70-B98ABA4D3916","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983bb801d40b4934529bee61a1c6d1b3d71fa4fa","datavalue":{"value":{"entity-type":"item","numeric-id":5272577,"id":"Q5272577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51ac70ede330606363e825b66ce8ac793168625","datavalue":{"value":{"amount":"+0.7959904074668884","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":"Q517464$74FE31CB-53A4-4B63-ACFB-7165D9DB5B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa4d1feb16035129cddab68a9e92da6b967a72e","datavalue":{"value":{"entity-type":"item","numeric-id":284952,"id":"Q284952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be919b81c56398cc7e0084573dfcafe76c1fd62a","datavalue":{"value":{"amount":"+0.7824835777282715","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":"Q517464$4C82859B-D991-4698-B09B-CB677690CEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645684373a41b1b68182c1ee6ae184a87a7d7b06","datavalue":{"value":{"entity-type":"item","numeric-id":2852243,"id":"Q2852243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6115ce5c326b85e5e7431591ae36e0f523ddce83","datavalue":{"value":{"amount":"+0.749735951423645","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":"Q517464$4E5AE210-EAC5-4046-8C04-418F8D57E01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24464731c4b3d130a15e0802cd1e711085b52282","datavalue":{"value":{"entity-type":"item","numeric-id":5280252,"id":"Q5280252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c755b8ae6d948a8b2c25c9b7225cba13c0533c40","datavalue":{"value":{"amount":"+0.7479073405265808","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":"Q517464$91800BB9-D18F-4206-8121-436B8BD97C39","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":"2524ec61317c952db76f44570bacb34b580347f2","datavalue":{"value":{"amount":"+0.744931697845459","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":"Q517464$74272D90-C9CE-4C1C-864C-B6F48C178FC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbol \\(p\\)-algebras of prime degree and their \\(p\\)-central subspaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbol_%5C(p%5C)-algebras_of_prime_degree_and_their_%5C(p%5C)-central_subspaces"}}}}}