{"entities":{"Q2354792":{"pageid":2365535,"ns":120,"title":"Item:Q2354792","lastrevid":72584277,"modified":"2026-04-14T05:55:06Z","type":"item","id":"Q2354792","labels":{"en":{"language":"en","value":"Galois bimodules and integrality of PI comodule algebras over invariants."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6464170"}},"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":"Q2354792$EF3FB707-2A2E-429E-9CF1-F949A46D2E5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a472c087c42e568f11f5265659e5d41eda4e82d5","datavalue":{"value":{"text":"Galois bimodules and integrality of PI comodule algebras over invariants.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2354792$79A9AAB5-6647-4084-B096-377955CC26FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27d20aaeeb1c88465460c4c2f97ff0d337f0fece","datavalue":{"value":"1329.16028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354792$DC19F718-0D22-4688-B4C2-B7E7B5762871","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"107288d7d4da5e05961dc77bd959d9a5fdb50626","datavalue":{"value":"10.4171/JNCG/201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354792$A5FF9BA5-4920-4C97-9E60-943417BE91C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d32ecd8b996826005490457d7846f685fbe444bd","datavalue":{"value":{"entity-type":"item","numeric-id":247691,"id":"Q247691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354792$F0A2CF45-7970-4749-99B1-D502EB5221D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffc3b242463a8a01767e25c752f32765f1655cfe","datavalue":{"value":{"time":"+2015-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2354792$67FCA772-376F-43F5-8D26-B4FDB4A102C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c944b4725b5e88f14254ab11e0af91521744a9c5","datavalue":{"value":"https://arxiv.org/abs/1306.3821","type":"string"},"datatype":"url"},"type":"statement","id":"Q2354792$89192481-4D5D-4E6F-9CAD-5C788B394AAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e0eb874af8b964785ef2ded07cff4c09963e5df","datavalue":{"value":"Let \\(k\\) be a field, \\(A\\) a \\(k\\)-algebra and \\(P\\) an \\(A\\)-bimodule. Then \\(P\\) is called a weakly Galois \\(A\\)-bimodule of rank \\(d\\) for an integer \\(d\\) if \\(P\\) is free of rank \\(d\\) on each side and \\(P\\otimes_AP\\subset P^N\\) for some integer \\(N\\), and a Galois \\(A\\)-bimodule if moreover \\(P\\otimes_AP\\cong P^d\\) as an \\(A\\)-bimodule. The theory of Galois \\(A\\)-bimodules is developed and applied to prove a noncommutative analogue (for PI-algebras) of Skryabin's integrality theorem for coactions of a finite dimensional Hopf algebra on a commutative algebra [\\textit{S. Skryabin}, Adv. Math. 183, No. 2, 209-239 (2004; Zbl 1052.16025)].   Let \\(K\\) be a finite dimensional Hopf algebra over an algebraically closed field \\(k\\), \\(A\\) a (right) \\(K\\)-comodule algebra, and \\(A^K=\\{a\\in A\\mid\\rho(a)=a\\otimes 1\\}\\). Let \\(Z\\) be a central \\(k\\)-subalgebra of \\(A\\) which is an integral domain and \\(Q\\) the quotient field of \\(Z\\). Consider the conditions: (1) \\(A\\) is finitely generated as a \\(Z\\)-module. (2) \\(Q\\otimes_ZA\\) is a central simple algebra with center \\(Q\\). (3) \\(A\\) is a torsion-free \\(Z\\)-module. (4) \\(Z\\) is integrally closed in \\(Q\\). (5) \\(A\\) is a projective \\(Z\\)-module.   Theorem. (i) Under conditions (1)-(4), \\(Z\\) and hence \\(A\\) are integral over \\(Z\\cap A^K\\). (ii) The conclusion of (i) holds if (3) and (4) are replaced with (5). (iii) If in addition, \\(Z\\) is a finitely generated algebra over \\(k\\), then in (i) and (ii), \\(A\\) and \\(Z\\) are finitely generated modules over \\(Z\\cap A^K\\), and thus \\(A\\) is a finitely generated module over \\(A^k\\). (iv) If \\(Z\\) is a finitely generated algebra over \\(k\\), then in (i) or (ii), so is \\(Z\\cap A^K\\). -- Moreover, the above theorem is generalized when \\(Z\\) is not necessarily a domain, but a reduced algebra. The connection of the theory of Galois bimodules for fields with tensor subcategories of the category of bimodules over fields is also discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$FA92658C-0DAC-4D00-BC2C-FD63BE1D919F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10145ad150f8184198ce435e9b3b7cc3d9b3cba1","datavalue":{"value":{"entity-type":"item","numeric-id":175203,"id":"Q175203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354792$E6D7D9F9-1A0E-4A0D-93D2-0DA48C7F2404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67cd8d59431e81068c561f5184eec390f19627f4","datavalue":{"value":"16T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354792$F540E3A2-63AD-42DE-9C59-EA6853EF632B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354792$96C3E423-3148-4A58-B581-687DC6A8D6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"54e45ffdb7e954cacb60b7a1e0ce0d2ee62a1d41","datavalue":{"value":"16W22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354792$363A7B74-2C53-4B7E-B13C-C10117B64015","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"798e35604afbecbe4f4c031d1322cade446e0801","datavalue":{"value":"6464170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354792$837FEF19-AA40-40F3-98F0-B45B4D186296","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81f5e0595c14aa2eba2c7c31cc4c255221a712ce","datavalue":{"value":"finite dimensional Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$2EAB7B58-3F80-4E7A-9576-0DAC9CA2DA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a05b8075c064651fc4c46474f08d842a5ce8a95","datavalue":{"value":"coactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$467CB305-2C92-4B05-ACE4-E2D179045E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070a269a8d1a3a3f52dcd607aa1f62ca1a2e6060","datavalue":{"value":"comodule algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$D1CCC81B-8F14-45CD-A2FE-092224C58358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c37211a0bc536eab7b9257b09616514207c6194","datavalue":{"value":"center","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$6C0C1B08-EF24-4378-8CB1-6064DF2A87F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$B2EBC49F-B866-47E1-BEF5-927F1AF1E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"295ab686de36bae12c9b74c536b71e45fcf5ef6d","datavalue":{"value":"integrality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$8C0B233C-870B-4606-8FB9-1D759D417230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b25020dc951fc62f0a095db9071d28fca7d360b","datavalue":{"value":"Galois bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$8A89E0FA-E313-4A96-8404-AB407D97DBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba11f32fe098bf4f7e1c8e55b78a6efb41c3d98","datavalue":{"value":"PI-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2354792$6B0C3ED3-FA6D-4572-9EEF-2B604A9E1225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d948b2cdb715e6194db05c924f9776b653f32de","datavalue":{"value":{"entity-type":"item","numeric-id":1178537,"id":"Q1178537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354792$90939A74-5C16-44DF-B823-DF0FBBB148D0","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":"Q2354792$91F40389-F78F-419A-9212-6C8505DA444E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec439bbf273a2af654124edf0b11745767e1e646","datavalue":{"value":{"entity-type":"item","numeric-id":1760541,"id":"Q1760541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354792$681C1EFE-8D46-4B4F-8FE5-3A9AF6618B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a72ddf668bfd72629f1326648509498ee38bab2","datavalue":{"value":{"entity-type":"item","numeric-id":2902003,"id":"Q2902003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354792$49A1D376-A119-4712-B911-73347EECB4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59c0f69897c8dc9a1ef4df34953c7587c874e2","datavalue":{"value":{"entity-type":"item","numeric-id":606475,"id":"Q606475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354792$99C38D7D-97BC-47E3-B3E9-4A0778D6E7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec99bfba92ecb4d19953f41875cdc59ded3d6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4660483,"id":"Q4660483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354792$F951AB74-0BDB-4355-AC1D-8C014256AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69ba9b5a5cba72b946428416dc64309c4effdce","datavalue":{"value":{"entity-type":"item","numeric-id":2445367,"id":"Q2445367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2354792$51D19438-6EE1-464F-90E7-7B5E1A4FF6FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42190af717af7e346172cf132420b626e01e7cc4","datavalue":{"value":"W2962888845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2354792$8B567BC6-F150-48D0-B7F6-A9BF16F5885B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46a85ed139482219c2b06d57535f6e8157834d7","datavalue":{"value":{"entity-type":"item","numeric-id":1826708,"id":"Q1826708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6dbdeb3c664eb3dcd9982756b83007f1bd75d98","datavalue":{"value":{"amount":"+0.80906742811203","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":"Q2354792$740A2445-6FEB-4719-BF8F-F6A458FDB870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751574c59cfe8e376f43b52320db449b839b8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":1343853,"id":"Q1343853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5d7b6f7a67a0de51f91dcd8509adc459fe9a8b","datavalue":{"value":{"amount":"+0.8054277300834656","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":"Q2354792$1222F2A1-C965-41A6-B4C9-F50B2F51CB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2010be67f4023d70b77b23bd47df2a7a1de5ed","datavalue":{"value":{"entity-type":"item","numeric-id":4942363,"id":"Q4942363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56860e25ae2d16c382a990ea9bef15fd2cf54df4","datavalue":{"value":{"amount":"+0.7974476218223572","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":"Q2354792$4A555262-A049-404D-A784-748597E41AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787ca0ceed202fd9cd59d60d18fcfda6b25e9b62","datavalue":{"value":{"entity-type":"item","numeric-id":1911642,"id":"Q1911642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046526af616f430c951856eb8cd7068eda8d0650","datavalue":{"value":{"amount":"+0.7891488671302795","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":"Q2354792$7F28BFF4-12C6-4EC6-86CA-D3810F31A682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09adf998e8b0de2b042a5a85b26c9d0598c862ab","datavalue":{"value":{"entity-type":"item","numeric-id":2386054,"id":"Q2386054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046526af616f430c951856eb8cd7068eda8d0650","datavalue":{"value":{"amount":"+0.7891488671302795","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":"Q2354792$F9A9EED1-C97E-4CB8-B985-7A6400418524","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Galois bimodules and integrality of PI comodule algebras over invariants.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Galois_bimodules_and_integrality_of_PI_comodule_algebras_over_invariants."}}}}}