{"entities":{"Q6095328":{"pageid":13229635,"ns":120,"title":"Item:Q6095328","lastrevid":58683246,"modified":"2026-04-06T07:42:42Z","type":"item","id":"Q6095328","labels":{"en":{"language":"en","value":"Biquaternion algebras, chain lemma and symbol length"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7735339"}},"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":"Q6095328$244AEE5B-3784-4CA5-A386-36DF16A8057F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13d8d9f919053ffe0c2e3a929bb616f410e1e03f","datavalue":{"value":{"text":"Biquaternion algebras, chain lemma and symbol length","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6095328$2EFD724E-B764-4605-8108-B5E0A31998EB","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":"Q6095328$720EC668-2003-4783-8F98-1FD616A0FEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"406de53d10c80ea4a7732a6a3887c51f17b37cb1","datavalue":{"value":{"entity-type":"item","numeric-id":536192,"id":"Q536192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$FCD8D46A-6C32-4332-8039-284D66990BE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5086adc351d8a2c8dba8c901eec63f5cbaf51959","datavalue":{"value":{"entity-type":"item","numeric-id":249881,"id":"Q249881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$9985E03D-DD16-4F8C-B981-E6362100C173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdc13c01bd30877b2fc60d095cdc52bcc34c5630","datavalue":{"value":{"time":"+2023-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6095328$B9729FAC-5C01-48B2-B5E5-5E696EC8F861","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbf7ec6b3b0521b208425812cafe7e6931543234","datavalue":{"value":"https://arxiv.org/abs/2306.08525","type":"string"},"datatype":"url"},"type":"statement","id":"Q6095328$F0200A08-FBE2-4C72-85CC-AF13B3605944","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cdceabb60f3cad4ad3534b191fd6c7904986eb5a","datavalue":{"value":"A ``chain lemma'' is the claim that one can adjust any presentation of an object by a given collection of legal moves, to any other presentation of the same object. In characteristic not \\(2\\), a chain lemma by \\textit{A. S. Sivatski} [J. Algebra 350, No. 1, 170--173 (2012; Zbl 1253.16020)] for biquaternion algebras was used by \\textit{A. Chapman} [St. Petersbg. Math. J. 34, No. 4, 715--720 (2023; Zbl 1524.19004)] to bound the \\(2^n\\)-symbol length of algebras which have \\(2^{n+1}\\)-symbol length at most \\(2\\). This paper proves similar results in characteristic \\(2\\). (Other chain lemmas on biquaternion algebras, focusing on generators rather than presentations, were proven by \\textit{A. Chapman} and \\textit{U. Vishne} [Isr. J. Math. 197, 409--423 (2013; Zbl 1285.16018)]).  Let \\(F\\) be a field of characteristic \\(2\\). Let \\(A\\) be a central simple algebra of degree \\(4\\) and exponent \\(2\\) over \\(F\\). Considering all the decompositions of \\(A\\) into a tensor product of two quaternion algebras, declare the legal moves to be \\([a,b) \\otimes [c,d) \\mapsto [a+c,b) \\otimes [c,bd)\\) (type I) and \\([a,b) \\otimes [c,d) \\mapsto [a,b(a+c)) \\otimes [c,d(a+c))\\) (type II). The authors show that any two presentations of \\(A\\) are connected by a chain of at most three moves, of types (I,II,I), or a subchain thereof. The proof relies on a clever usage of the theory of quadratic forms in characteristic \\(2\\).  As a consequence, it is proved that (in characteristic \\(2\\)) an algebra of exponent \\(2^{n}\\) which has symbol length \\(3\\) or \\(4\\) with respect to symbols of degree \\(2^{n+1}\\), has symbol length at most \\(9\\) or \\(32\\) in terms of symbols of degree \\(2^n\\), respectively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095328$3922967F-45F1-4CF5-A3C7-0BC0AC26F396","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"876feb2b809b6d68e545ef4bfaebed2a6cf3a4ff","datavalue":{"value":{"entity-type":"item","numeric-id":284951,"id":"Q284951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$274C5992-74A9-4ED7-8751-F7179FED50FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095328$30A7D7F8-8360-407A-A7E7-646E1C4CCD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095328$2FD5BBC8-A4DA-4800-98E9-7C7EED610AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96824c1952dce65ca1e0d6b3c06e68a00a60bf8c","datavalue":{"value":"11E81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095328$35067F20-B125-46DF-A36D-D258B8972886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7692a465e21aa1f8767cd890e706f30302bb4a5a","datavalue":{"value":"7735339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095328$B276F973-D1AE-423D-B08C-E9B19011C476","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c31636f400e0ce5ed589a1745c8025def9a53b","datavalue":{"value":"division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095328$C4AC1F54-763D-4EB2-9176-D48871F32CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15693831b1b0afc9e8d589b3b67811217f42391","datavalue":{"value":"cyclic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095328$3B784FE8-C678-409E-B6A2-63179E9FF8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43e2a86483390572f9b348e178d989a90f01251","datavalue":{"value":"chain lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095328$33DFED62-5334-4CCD-8843-A15BE32B8286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7d73e074e6a997a23321715c0e900e210338cd","datavalue":{"value":"quaternion algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095328$D93687A8-CF9D-426E-A2EA-6A650030496B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edfc4f229bc1406e8b26eeb4bd40975cc7ae97a0","datavalue":{"value":"biquaternion algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095328$3D0001AB-0D8E-44D4-A4FD-7926757EC374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485f862691e5444037fe2d24a71c2856cc6528e5","datavalue":{"value":"fields of characteristic 2, 10-dimensional quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q6095328$EACA4E2E-A5FE-40F4-9ECE-3E88BA1929C3","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":"Q6095328$154EB6D4-6D2E-416F-A913-E8C603A29ED7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3194954f55ef063b1e38b228cf83860b6998c8d","datavalue":{"value":"W4382059277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095328$2CE867E6-9255-44EF-AF89-65E16B6BF6D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbd2ab2bcfb48a89241f3a7f3540148bc6f403b","datavalue":{"value":{"entity-type":"item","numeric-id":5539056,"id":"Q5539056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$97592196-8534-4C6A-A724-8B2DDBEE67F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1686d864754fbd0eedeb5de43ac5273bfe6d997","datavalue":{"value":{"entity-type":"item","numeric-id":1247997,"id":"Q1247997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$0E39991C-7FFF-4531-9EC3-E3B990CB4411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d9c29fcd3f5c0a5e8650426e11b8cc8f4e50f7","datavalue":{"value":{"entity-type":"item","numeric-id":6155372,"id":"Q6155372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$C732957F-34E7-47A3-883A-43146D0C837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52602a48a32a810b81a3373a8656dee2a1c0a1b1","datavalue":{"value":{"entity-type":"item","numeric-id":5175430,"id":"Q5175430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$5916B10D-C7A4-4B5D-A809-103FF7D37A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765212818a8edae5ff44928716fc197fe611c7b","datavalue":{"value":{"entity-type":"item","numeric-id":6113135,"id":"Q6113135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$9A3B5E00-56C3-46D3-A892-14EA7027C163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e442ab2cc2624b3fff7aa2e74095de1b75cbf393","datavalue":{"value":{"entity-type":"item","numeric-id":1849111,"id":"Q1849111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$3A7B50B6-2838-4153-850A-FBB83BAF25DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b88d415798eb017a5f412111fd9b9b1cab3e98","datavalue":{"value":{"entity-type":"item","numeric-id":3963168,"id":"Q3963168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$2D0F81E6-7EFB-41E4-A79D-C9CCBEB25491","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":"Q6095328$70E66E52-D17B-4E77-A827-6560C9D58BBF","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":"Q6095328$906F3731-D894-4B4C-AF84-5E8E674EBFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791b6de89ec8d0432756d5962779b5120f5bc0ab","datavalue":{"value":{"entity-type":"item","numeric-id":1196325,"id":"Q1196325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$3D6CC8A4-852C-4B1B-87A9-5BF0BD2437C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4dadc6c416aa0a33435fa73bc8071583abcb46e","datavalue":{"value":{"entity-type":"item","numeric-id":3822256,"id":"Q3822256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$DA74F12E-B288-4F9C-A954-2225B3702B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c02448ec96e612ef2d01fb8bc19640c338499","datavalue":{"value":{"entity-type":"item","numeric-id":5920758,"id":"Q5920758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$1BD33A2D-6EF0-4412-867B-4B0250FD2E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52c272aa32e2ea5195f02ac07f5aa3b2393d269","datavalue":{"value":{"entity-type":"item","numeric-id":420717,"id":"Q420717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6095328$8850C09A-D6EB-4CB4-855D-32C2500DF0DD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9fb8dc76a1c7a2c56f729d62e939db3759d34f96","datavalue":{"value":"Q125025840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095328$99390ACC-5BEE-4751-8C75-AC73D14632A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0b6396e53158e12adc0461fffa3d6ef9f97c27","datavalue":{"value":"10.1007/S00009-023-02457-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6095328$5B35AFFB-121E-4F44-8462-36F5F4260EF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb60c3abe5b3b58b0f218b3376520922dfc2ddf1","datavalue":{"value":{"entity-type":"item","numeric-id":5172840,"id":"Q5172840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f16d6f470d6617dc8ccd52208a341b8f4facf54","datavalue":{"value":{"amount":"+0.8744872808456421","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":"Q6095328$3FAE2F44-C7E5-4E9E-9ACB-D8BFAF873CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4a282fb4bda19f4576fa173bc64e5808b5a3c7","datavalue":{"value":{"entity-type":"item","numeric-id":420717,"id":"Q420717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c60ebc0b62b7458670491901e4164380a30333","datavalue":{"value":{"amount":"+0.8488145470619202","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":"Q6095328$23508BD6-B8A5-4EAA-B30E-D33280A9426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc7ffdae269a08dd53a6c1a014bc2b8d6e70121","datavalue":{"value":{"entity-type":"item","numeric-id":6179255,"id":"Q6179255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e42d14882022daf5e601a9378fa3015e51d2f3","datavalue":{"value":{"amount":"+0.8305200338363647","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":"Q6095328$5DB63A8B-60C3-4DC7-8E29-E8602369DF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb64ad18532a83dca51e8a51e47a1db18f209d3e","datavalue":{"value":{"entity-type":"item","numeric-id":5255736,"id":"Q5255736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f9e8784dac745c813034f77260a5f52cf87271","datavalue":{"value":{"amount":"+0.793785810470581","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":"Q6095328$5208C4EB-F1DF-4F75-9A2B-747E07277161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450e9d02ee98ab7cf92ced95cfc6bfc97ddd666e","datavalue":{"value":{"entity-type":"item","numeric-id":2301458,"id":"Q2301458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f531268a7a64aeb16fcd8acec91e80a2770a9e","datavalue":{"value":{"amount":"+0.7655046582221985","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":"Q6095328$6DD82926-441A-4B6E-90E5-35EE016B7C45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6095328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6095328"}}}}}