{"entities":{"Q949645":{"pageid":951493,"ns":120,"title":"Item:Q949645","lastrevid":65568687,"modified":"2026-04-12T03:30:03Z","type":"item","id":"Q949645","labels":{"en":{"language":"en","value":"Double Ore extensions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5354973"}},"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":"Q949645$8B76713E-C66A-4B31-A451-B0CE43E5CFF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6238bdd16a7c1ca025a3c4a0f28d2a69487776e","datavalue":{"value":{"text":"Double Ore extensions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q949645$3946BF8E-E8FB-4714-A973-F23716AF6C7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"829ef2a29a77f33079385ccc2c867ae9777c1292","datavalue":{"value":"1157.16009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949645$11B9F446-7666-49C5-8DF5-9E6961CBA68D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6080a6807969c09b65b96c90369b00338850e098","datavalue":{"value":{"entity-type":"item","numeric-id":323746,"id":"Q323746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949645$99DDDF90-7653-4524-B343-50AC896DEC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9a8a6297fd40ec487d416c31eab4c05e7d2f39a","datavalue":{"value":{"entity-type":"item","numeric-id":231777,"id":"Q231777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949645$5F2DCD43-086A-4AEF-B05C-23607406F17D","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":"Q949645$AB638EEF-98FD-4EDB-9F05-4E2EF8BBBE1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b4a05105c8454225903df775b1ba3fdbda7455a","datavalue":{"value":{"time":"+2008-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q949645$4F3EA7E0-F3B6-4566-B0FA-757BEAC8E6BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6803ecbca19adfcb8478d75c30c9503e35586d4","datavalue":{"value":"https://arxiv.org/abs/0712.2549","type":"string"},"datatype":"url"},"type":"statement","id":"Q949645$E4AA0A42-C8D5-4E13-A317-B7A8B24BDD4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"258da624d45400c3133c9f99b68c6df7c6f9c761","datavalue":{"value":"Let \\(k\\) be a field, \\(A\\) a \\(k\\)-algebra with an automorphism \\(\\sigma\\) and \\(\\sigma\\)-derivation \\(\\delta\\) (\\(\\delta(ab)=\\sigma(a)\\delta(b)+\\delta(a)b\\) for all \\(a,b\\in A\\)). The Ore extension \\(A[y;\\sigma,\\delta]\\) of \\(A\\) is generated by \\(y\\) such that \\(yr=\\sigma(r)y+\\delta(r)\\) for all \\(r\\in A\\). A ring \\(B\\) is called a right double extension of a subring \\(A\\) if (1) \\(B\\) is generated by \\(A\\) and two variables \\(y_1\\) and \\(y_2\\), (2) \\(y_2y_1=p_{12}y_1y_2+p_{11}y_1^2+\\tau_1y_1+\\tau_2 y_2+\\tau_0\\) where \\(p_{12},p_{11}\\in k\\) and \\(\\tau_1,\\tau_2,\\tau_0\\in A\\), (3) \\(B=\\sum Ay_1^{n_1}y_2^{n_2}\\) as a left \\(A\\)-module with a free basis \\(\\{y_1^{n_1}y_2^{n_2}\\mid n_1,n_2\\geq 0\\}\\), and (4) \\(y_1A+y_2A\\subseteq Ay_1+Ay_2+A\\) where \\(P=\\{p_{12},p_{11}\\}\\) is called the parameter and \\(\\tau=\\{\\tau_1,\\tau_2,\\tau_0\\}\\) the tail. A left double extension is similarly defined, and a double extension is both a left and right double extension. To describe a double extension \\(B\\) (\\(=A_P(y_1,y_2,\\sigma,\\delta,\\tau)\\)) associated with DE-data \\(\\{P,\\sigma,\\delta,\\tau\\}\\), let \\(\\sigma\\colon A\\to M_2(A)\\) be an algebra homomorphism from \\(A\\) to \\(2\\times 2\\)-matrices and \\(\\delta\\colon A\\to A^{\\oplus 2}\\) such that \\(\\delta(rs)=\\sigma(r)\\delta(s)+\\delta(r)s\\) for all \\(r,s\\in A\\) and \\({y_1r\\choose y_2r}=\\sigma(r){y_1\\choose y_2}+\\delta(r)\\), \\(y_2y_1=p_{12}y_1y_2+p_{11}y_1^2+\\tau_1 y_1+\\tau_2y_2+\\tau_0\\) for some \\(p_{12},p_{11}\\in k\\), \\(\\tau_1,\\tau_2,\\tau_0\\in A\\). The determinant of \\(\\sigma\\) is \\(\\det\\sigma\\colon r\\to -p_{11}\\sigma_{11}(r)+\\sigma_{22}(\\sigma_{11}(r))-p_{12}\\sigma_{12}(\\sigma_{21}(r))\\) for all \\(r\\in A\\) where \\(\\sigma(r)=\\left(\\begin{smallmatrix}\\sigma_{11}(r)&\\sigma_{12}(r)\\\\ \\sigma_{21}(r)&\\sigma_{22}(r)\\end{smallmatrix}\\right)\\). In particular, if \\(\\delta=0\\) and \\(\\tau=(0,0,0)\\), \\(B\\) is denoted by \\(A_P(y_1,y_2,\\sigma)\\). Then some basic ring-theoretic and homological properties of double extension \\(A_P(y_1,y_2,\\sigma,\\delta,\\tau)\\) of an Artin-Schelter regular algebra \\(A\\) are given, where a connected graded algebra \\(T\\) (\\(=k\\oplus T_1\\oplus T_2\\oplus \\cdots)\\) is called Artin-Schelter regular if (1) \\(T\\) has finite global dimension \\(d\\), (2) \\(T\\) is Gorenstein, i.e., there is an integer \\(l\\) such that \\(\\text{Ext}_T^i(_Tk,T)=k(l)\\) if \\(i=d\\), and 0 if \\(i\\neq d\\), where \\(k\\) is the trivial \\(T\\)-module \\(T/T_{\\geq 1}\\); and also holds for right \\(T\\)-module \\(k_T\\), and (3) \\(T\\) has finite Gelfand-Kirillov dimension, i.e., there is a positive number \\(c\\) such that \\(\\dim T