{"entities":{"Q531340":{"pageid":533107,"ns":120,"title":"Item:Q531340","lastrevid":62536140,"modified":"2026-04-11T06:45:30Z","type":"item","id":"Q531340","labels":{"en":{"language":"en","value":"Hyperbolicity of algebras with involution over a given extension."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5882427"}},"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":"Q531340$5C966BA9-35A6-4D8D-B371-74E227E9509B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85f9d5b570233ece17c809609398d3ff255200c9","datavalue":{"value":{"text":"Hyperbolicity of algebras with involution over a given extension.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q531340$EA3D5661-400E-49BE-8860-227617459AB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fba7377836d1dd42047e88036d54f767d94314aa","datavalue":{"value":"1246.16030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$032E4F51-99C2-4A76-9454-A9DB693F4C0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bec1337b9b76e8fc68ebb2f2942bc0e52a3f872d","datavalue":{"value":{"entity-type":"item","numeric-id":387383,"id":"Q387383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531340$E33F4B7F-295E-4DA0-92FE-DCB9D7000401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa399f320a0d88b75f8508414dcf97b07018bf14","datavalue":{"value":{"entity-type":"item","numeric-id":531339,"id":"Q531339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531340$58776B71-6446-4AC3-9F5D-9BAD1953B575","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531340$13D5E560-0CA8-479D-88D4-E1ED7780B7AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71f935d0a64a33d4cbc5fdd6db9fd166029e3cfc","datavalue":{"value":{"time":"+2011-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q531340$9D18D552-FB5E-4BFB-99A4-B31BEBBA171F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dadbbb529b4c910e0c9cce599293844c2898ca2f","datavalue":{"value":"Problem: given a finite extension \\(K\\supseteq F\\), determine which anisotropic central simple algebras with involution over \\(F\\) become hyperbolic over \\(K\\). (Recall that \\((A,\\sigma)\\) is isotropic if \\(\\sigma(a)a=0\\) for some \\(a\\neq 0\\), and hyperbolic if for some right ideal \\(I\\), \\(I^\\perp=\\{x\\mid\\sigma(x)I=0\\}=I\\).) This problem was studied by \\textit{J.-P. Tignol} [J. Algebra 181, No. 3, 857-875 (1996; Zbl 0847.16019)], who constructed for a field \\(F\\) (characteristic not \\(2\\)) and a separable polynomial \\(\\pi\\in F[t]\\) of degree \\(2n\\), an algebra with involution \\(H_\\pi\\), whose simple quotients are the only anisotropic central simple algebras over \\(F\\) that become hyperbolic over \\(F(\\pi)=F[t]/F[t]\\pi\\). In fact, \\(H_\\pi\\) is the free algebra \\(F\\langle a_1,\\dots,a_n,b_1,\\dots,b_n\\rangle\\) with the relations following from asserting the decomposition \\(\\pi(t)=(t^n+a_1t^{n-1}+\\cdots+a_n)(t^n+b_1t^{n-1}+\\cdots+b_n)\\).   \\textit{D. E. Haile} and \\textit{J.-P. Tignol} [J. Algebra 199, No. 1, 94-115 (1998; Zbl 0897.16018)] showed that when \\(n>2\\), \\(H_\\pi\\) contains a noncommutative free subalgebra, and thus introduce a more manageable homomorphic image \\(C_\\pi\\), which covers many examples of algebras that become hyperbolic over \\(F(\\pi)\\).   This quotient is described in the current paper as follows. Let \\(q=\\sum a_{ij}x_ix_j\\) be the generic quadratic form of dimension \\(n\\) over \\(F\\), and \\(f=\\sum r_it^{n-i}\\) the generic polynomial of degree \\(n\\). Let \\(Z_\\pi\\) be quotient of \\(F[a_{ij},r_i]\\) defined by the relation \\(f(t)-q(t^{n-1},\\dots,1)=\\pi(t)\\). Then \\(C_\\pi\\) is the even Clifford algebra of the form \\(x_0^2-q(x_1,\\dots,x_n)\\) over \\(Z_\\pi\\).   It is shown that for every anisotropic quadratic form \\(p\\) over a finite extension \\(K\\) of \\(F\\), if \\(p\\) represents \\(\\pi(t)\\) over \\(K(t)\\), then the even Clifford algebra \\(C_0(p)\\) is a quotient of \\(C_\\pi\\) (as a ring with involution). Partial converse is given, but a complete description of the simple quotients of \\(C_\\pi\\) remains unknown.   Another object studied here is \\(A_\\pi\\), the common Abelianization of \\(H_\\pi\\) and \\(C_\\pi\\). This algebra encodes the solution to the commutative analog of the problem stated above: \\textit{D. E. Haile} and \\textit{P. J. Morandi} [Commun. Algebra 29, No. 12, 5733-5753 (2001; Zbl 0996.16023)] showed that an anisotropic \u00e9tale \\(F\\)-algebra \\(E\\) with involution \\(\\sigma\\) becomes hyperbolic over \\(F(\\pi)\\) if and only if \\(\\pi(t)=\\sigma(g)g\\) for some \\(g\\in K[t]\\). Indeed, this is the case if and only if one of the factors of \\(E\\) is a quotient of \\(A_\\pi\\).   Let \\(B_\\pi\\) be the polynomial ring \\(F[\\alpha_1,\\dots,\\alpha_{2n}]\\) modulo the relations determined by \\(\\pi(t)=(t-\\alpha_1)\\cdots(t-\\alpha_{2n})\\), with the involution exchanging \\(\\alpha_i\\) and \\(\\alpha_{n+i}\\). The authors prove when \\(\\pi\\) is irreducible, that \\(A_\\pi\\) is the invariant subring of \\(B_\\pi\\) under the natural action of \\(S_n\\times S_n\\) on the generators. It follows that the dimension of \\(A_\\pi\\) over \\(F\\) is the binomial coefficient \\(\\binom{2n}{n}\\).   Conditions for \\(A_\\pi\\) to be isotropic or hyperbolic, in terms of the action of the Galois group of \\(\\pi\\) on the roots, are also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q531340$0B71E7AB-FB18-4CEF-837C-D9E83DEBCEE0","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":"Q531340$156C8075-2242-4DC4-B790-0E2C7276E128","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8436fa6383d5cf49e2aac5112558e08842a6b4e","datavalue":{"value":"16W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$3D8EFEC9-C946-45E0-A98D-053D25BD13C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$85C08D01-11DF-40F3-B4AC-004F73E5863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$8250EA16-BE11-4D26-8386-5560644285C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"141e60f0aef6fc1c5b42e7204af8cb0e8d585bf4","datavalue":{"value":"11E88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$D3442F0C-5D28-4FF2-9B29-9C2A3CDB4D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83211f0eb2cd7b7935b0481146199d3505baf54c","datavalue":{"value":"15A66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$892F3AFD-F798-451A-A026-857E581C7A11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8255f1d39d523cc2db6296b44a74ac5231b73dd1","datavalue":{"value":"5882427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$D2FBAF2A-36A7-4755-99A1-830864402279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a69b1af07cd465d820fa2a174b5317ba221ace","datavalue":{"value":"algebras with involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q531340$2335F032-51B3-4BFC-AC4B-FF8AEAE1F61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"755560b4d4aa5e2b902075cf0483413b17e07517","datavalue":{"value":"hyperbolic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q531340$EF3DA663-2603-44D5-A107-C40FAD78AD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4846e6da4c8760216049eacded218f23ef2a1e51","datavalue":{"value":"hyperbolic central simple algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q531340$774A1BCC-108C-45C8-BBFA-8B35E4BD638C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2bbd2a2147408449ee4e75e5ceb2a4bba4797d","datavalue":{"value":"anisotropic central simple algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q531340$6624238D-6D3A-4C1A-9760-0C6E2D9C25B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdcda39e7e7fdd1919c107bce684555c7d8fb3b4","datavalue":{"value":"Clifford algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q531340$7771FA5A-6C38-4867-AB39-54BC6E29B6FA","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":"Q531340$30DD2CA2-CC95-4B0F-9D99-ACCA859FCC06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4df3440c0c2e7959fb81438147855069f5caac1e","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2010.08.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q531340$865FE531-4A36-4E38-BD52-4CBE2F977799","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c486692b5525851d4208086713894d8e91cc6a","datavalue":{"value":"W2064403622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$2D4864E1-3FAD-458F-9273-8A2552B7C697","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a79aec6c8377d1aef4231532a1d2021e6092f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2545717,"id":"Q2545717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531340$8C9134B9-BBA8-418B-96ED-7F734CF1CA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff4396c86d352de80693657d38433097b8b382c","datavalue":{"value":{"entity-type":"item","numeric-id":2777964,"id":"Q2777964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531340$53302D24-FC9C-49A6-8751-5FD99FC0FB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c35af85d52547c2e6978f6bfa3ab77f28e7778a","datavalue":{"value":{"entity-type":"item","numeric-id":1379064,"id":"Q1379064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531340$D3C7F19E-A712-4CE0-984B-9890589CE744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efecbc2634496d67ceaab3caa52ae007180dd69a","datavalue":{"value":{"entity-type":"item","numeric-id":3882586,"id":"Q3882586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531340$4BB5DBBC-AF54-4CD4-AC6F-FC7CB8B1F706","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":"Q531340$ED42DFA7-590A-458A-B805-619CB3AA18CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ebfe2b301f81c3ba213e355c8fecb677c24a23","datavalue":{"value":{"entity-type":"item","numeric-id":1913983,"id":"Q1913983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531340$AE9225D1-C5FB-4DD0-B387-EC3CD2C50961","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ea427439fa5cfe0d2207abe0bbb239804aedd2d","datavalue":{"value":"10.1016/J.JPAA.2010.08.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531340$548CA613-F5BE-4EE3-850D-B6EA4E19A02F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58dde89c791a6cf8eeaf64a575500544d5081fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4718495,"id":"Q4718495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54453c1e7488800fcd4c09a5ebab6bf582fc414b","datavalue":{"value":{"amount":"+0.9301787614822388","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":"Q531340$8EEBD430-8FB2-4AAB-BB91-9EE608FFAD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9cfdfe13cf515c61d0cd6acad794fc03c7c686","datavalue":{"value":{"entity-type":"item","numeric-id":2777964,"id":"Q2777964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53abd006cf41b73c1de73a64ee71c115d36a541","datavalue":{"value":{"amount":"+0.9120244979858398","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":"Q531340$1FDF79C7-50A3-415E-9823-71C10FE46E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b5141bb3d663c590a58bb08c4e70e745af5ec4","datavalue":{"value":{"entity-type":"item","numeric-id":1605096,"id":"Q1605096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e547d21384b27aa4017441a58cdd018932b2406","datavalue":{"value":{"amount":"+0.9074974656105042","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":"Q531340$C1E4E8FE-87F8-46F6-A3E4-00A4929EFC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f58ec06b1436d67c6959b8265997b42af86b6fd","datavalue":{"value":{"entity-type":"item","numeric-id":1379064,"id":"Q1379064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a42aae1e40d149cc7c945ed8ef07f8d875c93af","datavalue":{"value":{"amount":"+0.905856728553772","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":"Q531340$7412663E-564C-4F1A-9B21-74E80FB9B71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d67e5e83da9a8052cd77589a41d83f264edb592","datavalue":{"value":{"entity-type":"item","numeric-id":3081514,"id":"Q3081514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a42aae1e40d149cc7c945ed8ef07f8d875c93af","datavalue":{"value":{"amount":"+0.905856728553772","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":"Q531340$5E5F22F1-5755-4473-9B5F-86947FAF1B14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperbolicity of algebras with involution over a given extension.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperbolicity_of_algebras_with_involution_over_a_given_extension."}}}}}