{"entities":{"Q2190706":{"pageid":2201449,"ns":120,"title":"Item:Q2190706","lastrevid":71511846,"modified":"2026-04-13T22:44:43Z","type":"item","id":"Q2190706","labels":{"en":{"language":"en","value":"Field of iterated Laurent series and its Brauer group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7213652"}},"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":"Q2190706$69DDB02A-AC9E-42B2-928B-91C71768BC23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"942dc028687ef98acb1a01948ca1da0ef2528cc2","datavalue":{"value":{"text":"Field of iterated Laurent series and its Brauer group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2190706$47FCA3D2-0AD2-4F15-A9D0-985748EB2B3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"438bb41f5e03f0cd548d8286e28aedcd52a13d9e","datavalue":{"value":"1452.16020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$AC19473D-9389-4DDF-8DD7-D905CD48A598","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":"Q2190706$41ACB00D-F769-4B0C-8617-C88AD9E6E1E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2190706$F87DE224-6989-45A5-9B7B-70507493FFB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eea97a3227cfa1130f3df081c36c4985a3e4d12","datavalue":{"value":{"time":"+2020-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2190706$D1ECE189-888B-490D-9F02-53730D895EFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b99537911a8243ac8fb94b22a8da863c5c3b7249","datavalue":{"value":"https://arxiv.org/abs/1905.07068","type":"string"},"datatype":"url"},"type":"statement","id":"Q2190706$B5ACD41B-0050-4977-867E-5226F18A5AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa39339bde40f1d7220a1a6fc66e65eb98153c04","datavalue":{"value":"https://projecteuclid.org/euclid.bbms/1590199296","type":"string"},"datatype":"url"},"type":"statement","id":"Q2190706$9FF872F2-70CC-402B-97B9-405DB08B35C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"55f4c961ec7d4098a858fda645bc7d4953017e08","datavalue":{"value":"Let \\(F\\) be an infinite field, \\(\\mathrm{Br}(F)\\) its Brauer group, \\(p\\) a prime number, \\(_p\\mathrm{Br}(F) = \\{\\beta \\in\\mathrm{Br}(F): p\\beta = 0\\}\\), and \\(\\mathrm{Brd}_p(F)\\) the Brauer \\(p\\)-dimension of \\(F\\), i.e., the supremum \\(d \\le \\infty\\) of those integers \\(n \\ge 0\\), for which there exists a central division \\(F\\)-algebra \\(\\Delta\\) of \\(p\\)-primary exponent exp\\((\\Delta)\\) and degree deg\\((\\Delta) =\\exp(\\Delta)^n\\). It is well known that if \\(F\\) contains a primitive \\(p\\)-th root of unity \\(\\rho\\) and \\(A\\) is a cyclic \\(F\\)-algebra of degree \\(p\\), then \\(A\\) can be presented as \\(F[x, y: x^p = \\alpha, y^p = \\beta, yx = \\rho x, y]\\), for some \\(\\alpha, \\beta \\in F^{\\ast}\\); we denote this presentation by \\((\\alpha, \\beta)_{p,F}\\). When \\(\\mathrm{char}(F) = p\\), every cyclic \\(F\\)-algebra of degree \\(p\\) takes the form \\([\\alpha, \\beta)_{p,F} = F \\langle x, y: x^- x = \\alpha, y^p = \\beta, yxy^{-1} = x + 1 \\rangle\\), for some \\(\\alpha \\in F\\), \\(\\beta \\in F^{\\ast}\\). These forms are called (Hilbert) symbol presentations of the algebras, and the algebras are also called symbol algebras. It is known that \\(_p\\mathrm{Br}(F)\\) is generated by the Brauer equivalence classes of cyclic \\(F\\)-algebras of degree \\(p\\) in the following two cases: if \\(F\\) contains a primitive \\(p\\)-th root of unity (see [\\textit{A. S. Merkur'ev} and \\textit{A. A. Suslin}, Math. USSR, Izv. 21, 307--340 (1983; Zbl 0525.18008); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 46, No. 5, 1011--1046 (1982)]); if \\(\\mathrm{char}(F) = p\\) (see Ch. VII, Theorem~28, in: [\\textit{A. A. Albert}, Structure of algebras. American Mathematical Society (AMS), Providence, RI (1939; JFM 65.0094.02)]). The symbol length \\(\\mathrm{Sym}(b_p)\\) of an element of \\(_p\\mathrm{Br}(F)\\) is the minimal number of symbol algebras needed to express it, and the symbol length of \\(_p\\mathrm{Br}(F)\\) is the supremum \\(\\mathrm{Sym}_p(F)\\) of \\(\\mathrm{Sym}(b_p): b_p \\in{}_{p}\\mathrm{Br}(F)\\).   The main results of the paper under review are stated and proved in its Sections 3 and 4. They concern the special case where \\(F = k_n := k((\\alpha_1)) \\dots ((\\alpha_n))\\) is the iterated Laurent formal power series field in \\(n\\) variables over a field \\(k\\). Theorem 3.5, the main result of Section 3, states that if \\(k\\) is a perfect field with \\(\\mathrm{char}(k) = p\\), \\(k_{sep}\\) is a separable closure of \\(k\\), and \\(m\\) is the rank (as a pro-\\(p\\)-group) of the Galois group \\(\\mathcal{G}(k(p)/k)\\) of the maximal \\(p\\)-extension \\(k(p)\\) of \\(k\\) in \\(k_{\\mathrm{sep}}\\), then \\(\\mathrm{Sym}_p(F) = n - 1\\), provided that \\(m < n\\), and \\(\\mathrm{Sym}_p(F) = n\\) if \\(m \\ge n\\). As noted by the author, this complements the known result (presented by Proposition 3.1 of the paper) that \\(\\mathrm{Sym}_{p'}(F) = [n/2]\\) in case \\(k\\) is algebraically closed, \\(p'\\) is prime,and \\(p' \\neq\\mathrm{char}(k)\\). When \\(n = 3\\), these results indicate that \\(\\mathrm{Brd}_2(F) = 1\\) if and only if \\(\\mathrm{char}(k) \\neq 2\\). This fact is generalized in Section 4 as follows: (i) If \\(F = k_{n+1}\\), where \\(k\\) is an algebraically closed field with \\(\\mathrm{char}(k) \\neq 2\\), then \\(I^n F\\) is linked, i.e., every two anisotropic bilinear \\(n\\)-fold Pfister forms over \\(F\\) share an \\((n-1)\\)-fold Pfister factor; (ii) when \\(k\\) is a field of characteristic \\(2\\) and \\(F = k_{n+1}\\), \\(I_q^n F\\) is not linked, i.e., there exists a pair of quadratic \\(n\\)-fold Pfister forms which do not share an \\((n - 1)\\)-fold Pfister factor; (iii) for any field \\(F\\) with \\(\\mathrm{char}(F) = 2\\) and degree \\([F: F^2] > 2^n\\), \\(I^n F\\) is not linked, i.e., there exists a pair of anisotropic bilinear Pfister forms over \\(F\\), which do not share an \\((n - 1)\\)-fold factor.  Reviewer's remark. Let \\((F, v)\\) be a Henselian valued field with a residue field \\(\\widehat F\\), and let \\(\\mathrm{Br}(\\widehat F)_{p}\\) be the \\(p\\)-component of \\(\\mathrm{Br}(\\widehat F)\\). Then \\(\\mathrm{Brd}_p(F) = \\mathrm{Sym}_p(F)\\) in the following two cases: (i) if \\(\\mathrm{Br}(\\widehat F)_p = \\{0\\}\\) and \\(\\widehat F\\) contains a primitive \\(p\\)-th root of unity (see (4.7), Theorem~2.3, and Corollary~5.6 of the reviewer's paper in [J. Pure Appl. Algebra 223, No. 1, 10--29 (2019; Zbl 1456.16015)]; (ii) if \\((F, v)\\) is maximally complete, \\([F: F^p] = p^n\\), for some \\(n \\in \\mathbb{N}\\), and \\(\\widehat F\\) is perfect (see Proposition 3.5 in the reviewer's paper in: [Serdica Math. J. 44, 303--328 (2018)]). This recovers the proof of Proposition 3.1 and generalizes Theorem 3.5 of the paper under review to the case where \\((F, v)\\) is maximally complete with \\(\\mathrm{char}(F) = p\\), \\(\\widehat F\\) perfect and \\([F: F^n] = p^n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2190706$736F1F89-9049-4DFE-BA6B-AF1D3EE9D663","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":"Q2190706$EF2901C3-1FF5-4265-BA79-E7569E54FFAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$57201AD1-0E4C-4E7E-89AA-1C07200F2A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"829d3e9468c5da752f2ef9535b567c188684ea6d","datavalue":{"value":"16S35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$CD305EA3-0659-4C59-AD96-4101A66955B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$6A8390D0-9AB1-45E5-A223-1AFFBBAE5FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96824c1952dce65ca1e0d6b3c06e68a00a60bf8c","datavalue":{"value":"11E81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$738897E0-B3E0-4E4C-929A-D49DE52DD56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$6452D1C5-41F8-403D-A781-D43D43C966D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3ecf9db77d8b251051b75ad41effd2da3fa5137","datavalue":{"value":"7213652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$01AA0265-3C36-487C-A53D-2E781FD74307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4c89a8abf4086c2b22b64870e656b224ed2dd84","datavalue":{"value":"Brauer group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2190706$58638E18-0C46-40FC-AFF7-0239673545B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2051646ee75921f49cfe86ea1fd787f3dd4a140c","datavalue":{"value":"cyclic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2190706$364C34B3-3C3A-49EF-B731-5B6D8F6AF690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9400fe96e04e3f775f14e43941e333359b3f23a","datavalue":{"value":"symbol algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2190706$D2B86BEC-BA5F-4280-8080-F0EE901A27FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a37244f6af9930b87c9d7df60cb5f074f4902","datavalue":{"value":"symbol length","type":"string"},"datatype":"string"},"type":"statement","id":"Q2190706$0E0AFDB1-4E47-46D3-B074-1DBEE0735A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2190706$137CE37F-D9E3-4C2B-8BDF-D66AE51951CB","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":"Q2190706$9D1F617D-4E2C-4997-8670-5E26D889D161","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff99a09aef21bcaf612df86cb0f3f1dbc84912ab","datavalue":{"value":"W3026053324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$C1F202B1-886C-43E4-B37F-F7F8CF6BC2D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21c830c1a6a18a43b09b8bcd5f378caa6a0e76a","datavalue":{"value":{"entity-type":"item","numeric-id":5622399,"id":"Q5622399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2190706$6E24C500-02E6-424C-85F3-74A2A964F157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb0c9ae140565dbdc9fe4e642037fc8fc4da544","datavalue":{"value":{"entity-type":"item","numeric-id":4698617,"id":"Q4698617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2190706$D5416F28-C015-49E5-8BFF-129C5D7F1780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099a44af0a4d43b84f873497d40ea7bb062d8904","datavalue":{"value":{"entity-type":"item","numeric-id":4576815,"id":"Q4576815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2190706$B9E426AC-4F6F-4651-9CA3-6B353AF4D4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8feecab1979186affaa1757ee7acbb13335324","datavalue":{"value":{"entity-type":"item","numeric-id":2407398,"id":"Q2407398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2190706$7C88B8CF-E3DE-4C18-8677-7D4904E1264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60e978f45c59ebffca9b21304e7260df8feffc7","datavalue":{"value":{"entity-type":"item","numeric-id":3516073,"id":"Q3516073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2190706$EBD67F21-1952-47E0-8112-0BFBC0302848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa16adf717d74cd29e45c73b69587ed7cff02181","datavalue":{"value":{"entity-type":"item","numeric-id":2562885,"id":"Q2562885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2190706$A3264842-63F8-441F-9D8A-AC8F11580B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838aa4f68bb854ee3b27a949cb774d44491d0f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1122642,"id":"Q1122642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2190706$8EBB6216-83D3-49BC-BCB9-A89D875893AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbbc3d54f9bb3a55590e2cd00cb4adb8fec0b5be","datavalue":{"value":"10.36045/BBMS/1590199296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2190706$37BFD2AB-3D00-470F-9059-48F526AD2558","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67c0e8c01899ff93e8a8aa998769316e4cacd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4309538,"id":"Q4309538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78859fef20e73e5bfbc12548ca1cfa6f0964418f","datavalue":{"value":{"amount":"+0.7417411804199219","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":"Q2190706$9AADF4A7-0297-42AF-8A8D-D44929FB3521","rank":"normal"},{"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":"47f856d7e5a9b8f74f6464a775b4e8c580f8f3ff","datavalue":{"value":{"amount":"+0.7386668920516968","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":"Q2190706$B8DE076E-CD48-41B3-B619-D69E1F94B27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95eb7748595d88c9cfb6c2a7d5e8b5b864d9c7c","datavalue":{"value":{"entity-type":"item","numeric-id":2473767,"id":"Q2473767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defc316c1b9f48321121a8d94f28d74a332794a0","datavalue":{"value":{"amount":"+0.7375156879425049","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":"Q2190706$C8574EA2-88F5-4764-B8F6-81DF16E784F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7445f2e31f1d5346d61c8915c186daf76e286435","datavalue":{"value":{"entity-type":"item","numeric-id":1770288,"id":"Q1770288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef74265365270fc8b685bc0774b784d98b11c0e","datavalue":{"value":{"amount":"+0.7280440926551819","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":"Q2190706$53178800-04C0-405F-806B-19A85915D994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c8d903e0f5f1b4881b599e5187ea3352246c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1308230,"id":"Q1308230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d504453efa9d212f1ad5f1df169df842d1488036","datavalue":{"value":{"amount":"+0.7221373915672302","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":"Q2190706$020275FD-EE49-41A3-BDF1-5D11F56133DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Field of iterated Laurent series and its Brauer group","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Field_of_iterated_Laurent_series_and_its_Brauer_group"}}}}}