{"entities":{"Q1611336":{"pageid":1622076,"ns":120,"title":"Item:Q1611336","lastrevid":68040801,"modified":"2026-04-12T21:02:28Z","type":"item","id":"Q1611336","labels":{"en":{"language":"en","value":"Are biseparable extensions Frobenius?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1785683"}},"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":"Q1611336$393CE7C8-B103-4621-83C7-166FC6984278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"839a8b087581e9e754a855b5caeb6fcf4f32d760","datavalue":{"value":{"text":"Are biseparable extensions Frobenius?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1611336$C422F404-0AF2-4116-A725-BF2B2D80E3EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"465451f15ceff909949e0b08caf071dfdf735e28","datavalue":{"value":"1007.16011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$BF4598F0-4298-409A-B830-F5D537B76A6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa1df1756c5bcc40fac4bfa5bf2df5ca63123259","datavalue":{"value":"10.1023/A:1014039026760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$97F2F847-E9C4-493B-9BA5-13C9FB8518FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f674010989a865ff30472a05b0eb2753e2bd1bb4","datavalue":{"value":{"entity-type":"item","numeric-id":213755,"id":"Q213755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611336$7F98C3F5-FA33-4A2C-ACA3-32259493EA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bdf9d2d9414ec2e583589a4b6d46d08d6bf5a66","datavalue":{"value":{"entity-type":"item","numeric-id":427777,"id":"Q427777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611336$E7EB46C0-B82F-4607-A837-D9442068B145","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fd8d30a01f0e4f960db804210ae144d972127d","datavalue":{"value":{"entity-type":"item","numeric-id":184992,"id":"Q184992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611336$CD6EB8EF-F50C-412E-9F67-C691CF44B3DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c29b947d701d478aa12d107bbc6ea14baaef48c","datavalue":{"value":{"time":"+2002-08-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":"Q1611336$13322857-4C49-4458-AD3E-D9C191490099","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3bdd6d07f502354d89dc186bc9ddfb8461391e2","datavalue":{"value":"https://arxiv.org/abs/math/0104019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1611336$B92A650D-33A4-46FA-B2EB-EA260B0ACA05","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60eef3ad0e05ccf824df2cb35d8a3970b85f2eb6","datavalue":{"value":"The paper deals with the following interesting problem: Is a finite projective split separable ring extension a Frobenius extension? A positive answer is given in the case of extensions of algebras when one of them is assumed to be separable (Theorem 3.9).   Section 1 contains a brief survey on the aforementioned problem. In Section 2 the problem is restated in terms of separable and Frobenius bimodules, accordingly with definitions given by \\textit{K. Sugano} [in J. Fac. Sci., Hokkaido Univ., Ser. I 21, 196-208 (1971; Zbl 0236.16003)] and by \\textit{F. W. Anderson} and \\textit{K. R. Fuller} [in Rings and categories of modules, Graduate Texts in Mathematics, 13. Springer-Verlag (1974; Zbl 0301.16001)] as follows. Let \\(M\\) be an \\(S\\)-\\(R\\)-bimodule, where \\(R\\) and \\(S\\) are unitary associative rings, and let \\(^*M\\) denote the \\(R\\)-\\(S\\)-bimodule of all \\(S\\)-linear homomorphisms from \\(M\\) to \\(S\\). The bimodule \\(M\\) is said to be separable if the canonical evaluation map \\(M\\otimes_R{^*M}\\to S\\) is a split epimorphism of \\(S\\)-bimodules. The bimodule \\(M\\) is called biseparable when \\(M\\) is finitely generated and projective as a left \\(S\\)-module and as a right \\(R\\)-module, and the bimodules \\(M\\) and \\(M^*\\) are separable. Here, \\(M^*\\) is the \\(R\\)-\\(S\\)-bimodule of all \\(R\\)-linear maps from \\(M\\) to \\(R\\). Finally, the bimodule \\(M\\) is said to be Frobenius if it is finitely generated and projective on both sides and there is an \\(R\\)-\\(S\\)-bimodule isomorphism \\(^*M\\cong M^*\\). From this perspective, the original question leads to the more general problem: are biseparable bimodules Frobenius?   Section 3 contains some evidences for a positive answer. Thus, for a biseparable ring extension \\(R/S\\), Proposition 3.6 claims that all \\(R\\)-modules are \\(S\\)-relative injective and \\(S\\)-relative projective, and \\(^*R\\) and \\(R^*\\) are generator \\(R\\)-modules (both duals are now made of \\(S\\)-linear maps).   In Section 4 the authors consider weakening the definition of biseparability in various ways, and find examples of non-Frobenius extensions for each case. A categorical interpretation of the problem, based upon the notions of separable functors and Frobenius functors, is offered in the last section, including some characterizations of Frobenius bimodules given by \\textit{F. Casta\u00f1o Iglesias, C. N\u0103st\u0103sescu} and the reviewer [in Commun. Algebra 27, No. 10, 4879-4900 (1999; Zbl 0949.16038)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$2F4BCA5E-459A-41C4-BBFB-32ABA9C9A979","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e074d76f0ce6a292d93756779ee758c3826a9356","datavalue":{"value":{"entity-type":"item","numeric-id":397893,"id":"Q397893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611336$396B0D24-6ADB-42D8-A47D-945B4246DC73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28ecc1b41431a804cc08ab46a2b9d1b1da3eda13","datavalue":{"value":"16L60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$FAD5C053-47C8-4D20-B3A4-8F85FED0A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$9D571BB5-A4F2-4D83-A7C0-2B8BF5999E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca0de72ef52af4d7144a88fbbb29acbd1a70eef4","datavalue":{"value":"16D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$F1467A75-CF43-4DDB-9F3C-A2F765FB28ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"af8bc373c6b3dbb00fb5063d72d87f1d5b163800","datavalue":{"value":"16D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$532A1378-523E-44FC-BB86-345FEAB09E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9828d161092142abeba8ebc404a6788b67cab0f3","datavalue":{"value":"16D90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$D1927C78-8DDA-4450-B44C-066C588A9105","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef541e3b0c320e6aca4a1902aedae2dba466ba19","datavalue":{"value":"1785683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$80FC0028-50EC-42CF-93D2-75629EE60CB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eee23527601d5ae311176120a0cb768da017090","datavalue":{"value":"separable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$6F9337DC-EF43-46DE-8647-2A6E4C3D7A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5208f704e90e17a0c6494d3166cc25f96dcb75b9","datavalue":{"value":"separable ring extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$259E354E-05B3-48CB-87D8-E95B7850790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b467db69882516e11b50342aa302db779ccdc51f","datavalue":{"value":"split ring extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$DD632462-F028-427E-BB47-6789DE8F4FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b65c5a8f29315de3cbadab7f639f740a6610ea7","datavalue":{"value":"Frobenius algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$1BB0555D-B1F3-4BD3-8E99-BF7D0016F10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f03fffd8d69bdefce1def407e2cfa1efe6b8bd1","datavalue":{"value":"Frobenius ring extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$36F91137-8ED2-47EA-ADF0-3C11F9ECBFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb061e8eb980ecc7f994a05c90f376296cd2650","datavalue":{"value":"biseparable extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$5F7D0A44-124A-4023-9A05-C23BAFA4C553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf850d9f173d5f47e969f8b71a367af862542d8","datavalue":{"value":"separable bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$D9DB6D2F-9BF3-4023-AC11-EEE9E7B76C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2e13b749572da65b1ae59c8ab8c6e2efa76ef89","datavalue":{"value":"Frobenius bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$D5BD5E5B-E788-49F0-AA85-9D3C747CA221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faaf208625d233d2872f7fe15c1ceeb5f9af9719","datavalue":{"value":"separable functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$B87BC639-BE77-4026-A22D-D9D761B7400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"269b7a02aadfec97c508be41e108046d66420417","datavalue":{"value":"Frobenius functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$7905A6E9-BCBF-44B7-A86C-8F5197C6CC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb476f56be4c984ff3732155d7714c33d96f6eb1","datavalue":{"value":"projective modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611336$82394B75-4427-41E6-A385-BB5881BB4774","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":"Q1611336$43182F04-44CB-43DC-A08C-623527D971AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23df058702421f2dc1fc880f932da7cebdeafe3a","datavalue":{"value":"W1978617540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611336$03A72A6E-3D7E-4380-A6F5-86D6BC40D9CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c0d227f028adb07780ce816ab66420628cb287","datavalue":{"value":{"entity-type":"item","numeric-id":2223520,"id":"Q2223520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880071e23a5f0ddf16c78e766430339e1676d86d","datavalue":{"value":{"amount":"+0.8523051738739014","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":"Q1611336$ABEC6B96-6A8A-44C1-A9E4-3ACF4CE68B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e858c746846350d43fe321c125c559c3807c084","datavalue":{"value":{"entity-type":"item","numeric-id":5293130,"id":"Q5293130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a2fab0afd452a9c89b4dc14dc577ca6cf5e14c","datavalue":{"value":{"amount":"+0.837777316570282","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":"Q1611336$AD9A06FF-58D2-40C1-A753-D683EF1B4DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5baceaaaff998d27c2a55fd32b866a3136b001d9","datavalue":{"value":{"entity-type":"item","numeric-id":1968748,"id":"Q1968748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218317ee58ae0b3b21cdfcfc42c2ca5a46ec76f4","datavalue":{"value":{"amount":"+0.8283030986785889","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":"Q1611336$495CFADE-0BCB-4608-B756-A0718205CCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2792aba9f438130048e52bdf5d4d56042d5e5045","datavalue":{"value":{"entity-type":"item","numeric-id":3429246,"id":"Q3429246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c342978818cb032ba388c254ba496b99c94721a","datavalue":{"value":{"amount":"+0.8273064494132996","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":"Q1611336$CCDA2A8D-372E-412D-B11F-090F54428A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eafd7209b4e3e89f93d315ef86afaf2f3b42749","datavalue":{"value":{"entity-type":"item","numeric-id":816638,"id":"Q816638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2196f4879983460d6e1d1d56eb7b061d68965c","datavalue":{"value":{"amount":"+0.8225177526473999","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":"Q1611336$FF0F2C55-6A47-49E2-AD24-D6B024053304","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Are biseparable extensions Frobenius?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Are_biseparable_extensions_Frobenius%3F"}}}}}