{"entities":{"Q1264239":{"pageid":1274989,"ns":120,"title":"Item:Q1264239","lastrevid":46889130,"modified":"2025-12-25T19:19:36Z","type":"item","id":"Q1264239","labels":{"en":{"language":"en","value":"Bialgebras over noncommutative rings and a structure theorem for Hopf bimodules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1195512"}},"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":"Q1264239$318B34C8-AAE1-49A5-BF3B-699A209CB985","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c379bf3a6877dff611b856eb04eeb39ce1a9531","datavalue":{"value":{"text":"Bialgebras over noncommutative rings and a structure theorem for Hopf bimodules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264239$CF290A8C-6975-4344-B13D-E8C94D1D80BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72dbf8539ab3f64fc2e4678d05421d4aa5d63224","datavalue":{"value":"0908.16033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264239$64CCA6B9-6A24-40A0-BEF5-6728E462F172","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69cd15196c2ffb77e6f280bbb8ca4461fa975ccf","datavalue":{"value":"10.1023/A:1008608028634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264239$BD9B8A2E-5EF1-40B4-9546-A7FC5EA8DC2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6da671865c7bb9c1adb2f9beee37ad54677c33c","datavalue":{"value":{"entity-type":"item","numeric-id":186085,"id":"Q186085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264239$3926D03A-93DD-434F-ADD7-23B4098FE1EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264239$A4102A15-31A5-47DE-A25A-D56D527F9945","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6bbd5c3b66d37fab966e520c3e67a514e12a0b3","datavalue":{"value":{"time":"+1999-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264239$24FB53F9-00D2-45B4-9C73-EF25A997AB87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c69cfcdeec92b323c90b24a56958aa3a3eedb755","datavalue":{"value":"It is important for bialgebras that the category of modules over an algebra \\(L\\) is a monoidal category if and only if \\(L\\) has a bialgebra structure. In this paper, the author studies a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of \\(K\\)-vector spaces fails to be monoidal where \\(K\\) is a fixed commutative ring. Instead, it is shown that there is a suitable underlying functor to the category of \\(B\\)-bimodules over a \\(K\\)-algebra \\(B\\) which is monoidal with respect to the tensor product over \\(B\\). In other words, the author studies algebras \\(L\\) such that for two \\(L\\)-modules \\(V\\) and \\(W\\) there is a natural tensor product, which is the tensor product \\(V\\otimes_BW\\) over another \\(K\\)-algebra \\(B\\), equipped with an \\(L\\)-module structure defined via some kind of comultiplication of \\(L\\). It is shown that this property is characteristic for \\(\\times_B\\)-bialgebras as studied by Sweedler (for commutative \\(B\\)) and Takeuchi. The motivating example is given when \\(H\\) is a Hopf algebra and \\(A\\) an \\(H\\)-Galois extension of \\(B\\). In this situation, an algebra \\(L:=L(A,H)\\) is constructed, which was previously shown to be a Hopf algebra if \\(B=K\\). The author proves that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence \\({_AM^H_A}\\cong{_LM}\\). The category on the left-hand side has a natural structure of monoidal category (with the tensor product over \\(A\\)) which induces the structure of a monoidal category on the right-hand side. The \\(\\times_B\\)-bialgebra structure of \\(L\\) that corresponds to this monoidal structure generalizes the Hopf algebra structure on \\(L(A,H)\\) known for \\(B=K\\). Several other structure theorems are given, involving \\(L=L(A,H)\\) in the form of category equivalences \\({^LM}\\cong{^HM}\\), \\({^L_AM}\\cong{_KM}\\), \\({^L_AM_A}\\cong M_H\\), \\({^L_AM^H}\\cong M^H\\) and \\({^L_AM^H_A}\\cong YD^H_H\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$FA6D555A-CC79-4C7A-AA0F-603D0C2F4BEE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b2294a89f4ccea0b0c4c91cca0d760c4764f201","datavalue":{"value":{"entity-type":"item","numeric-id":241657,"id":"Q241657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264239$46873BA5-FF07-486C-9BF5-54959DA43870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264239$3A2BB88D-9CC3-4454-A706-ADA32FA238AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264239$78E2F5DB-AF63-41D4-BD49-3B5A87469842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9828d161092142abeba8ebc404a6788b67cab0f3","datavalue":{"value":"16D90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264239$FE2B8ED9-F8CC-40A2-B0AC-32B784705B7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e15884b444b3b218c1f528f1db37e62cd919cfa3","datavalue":{"value":"1195512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264239$92EFA200-DB31-4092-BDAC-3CB109CF85AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc9090f53ccf4afd15ae67ea0d85c1a629d69d","datavalue":{"value":"bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$A8AC2969-15B6-49A3-A98B-265A7615C085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7a4ea8ba50a6553b0953b17f47566425dad040","datavalue":{"value":"module categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$4AA7BB7C-544C-4A77-8DA8-E220BCA5925A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$319A32FA-A63B-40C3-AB4F-A9FC29D9EFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0397a92e184fa56283f3fc616c44bc01f0a066","datavalue":{"value":"categories of bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$2D43A576-B40E-4CA3-842C-1D36B0048AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3574e4c5e05e36831a4e9f10562ec2417ebcaaa","datavalue":{"value":"tensor products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$F6BA56B9-C593-4C15-8348-9D253B390D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f430de4f0a99676b684930082f2a3e647b332788","datavalue":{"value":"comultiplications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$126667A3-82CE-497A-A30A-26FD740BB204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c69b6741ec5fec5a9b898ba8ed79b21a95b9d09","datavalue":{"value":"Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$2F95A207-FB8A-4767-98B9-D0EEBDF2BB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806d418c42a8fac7e5e1fe48323d7f92d74dd183","datavalue":{"value":"Galois extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$FD146B62-B970-43E1-A892-68CC69249ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c9804acc8998caf1962447bcc77c0da191db2c","datavalue":{"value":"relative Hopf bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$94BD5407-147F-473C-A4D8-599E2B8FB090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2242ac8893a54eadf508271716099e0dd95fe97c","datavalue":{"value":"category equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264239$ACF648A2-177B-486C-A4B9-00E0F86981A4","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":"Q1264239$7FF72FC5-88D1-40D1-A700-0EA82F883960","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e08027a62dab90611debecd8818a7baa854a27f8","datavalue":{"value":"https://doi.org/10.1023/a:1008608028634","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264239$07372E65-0D53-4E00-AE56-F813E28B5D3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d415425cf0062efd3a33d123555f38d3518e764","datavalue":{"value":"W88852712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264239$9199DCA5-E8A2-4150-96DC-EDA3D3B0773D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c1a1f876cb29e0feb934acc222c34f468179d6","datavalue":{"value":{"entity-type":"item","numeric-id":2885387,"id":"Q2885387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820613f112330a834912bb10e651c916127d9767","datavalue":{"value":{"amount":"+0.8411207795143127","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":"Q1264239$4226CA8E-D306-451C-B335-1D674405A439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2960dc0c949ad062ccf4c0b2c8654326c4f04370","datavalue":{"value":{"entity-type":"item","numeric-id":4384520,"id":"Q4384520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4b0ce5527cfc6fc664c1ab9f17e2590081c956d","datavalue":{"value":{"amount":"+0.817958414554596","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":"Q1264239$2EF28F98-041A-4D12-B136-6FD922AF7696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f0ddaeadc5d8c6785a1375bf8153a81c645e3f","datavalue":{"value":{"entity-type":"item","numeric-id":2953833,"id":"Q2953833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53b1eb54786e4f20dd5182d115f50159837ab22","datavalue":{"value":{"amount":"+0.8125655651092529","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":"Q1264239$6AD09B6F-7CDD-4888-919E-B692EF4EB592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d27a1fba0e337dd0db8b14a37c59a3b04b9ba6","datavalue":{"value":{"entity-type":"item","numeric-id":5164816,"id":"Q5164816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c722e5ece190af8886db5f097806b7272b623251","datavalue":{"value":{"amount":"+0.8012028336524963","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":"Q1264239$94859C27-166F-4E6A-89AF-F81E96575B5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1264239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1264239"}}}}}