{"entities":{"Q6617080":{"pageid":14228237,"ns":120,"title":"Item:Q6617080","lastrevid":55766419,"modified":"2026-02-17T22:25:29Z","type":"item","id":"Q6617080","labels":{"en":{"language":"en","value":"Finite duals in Grothendieck categories and coalgebra objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7924490"}},"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":"Q6617080$C8952499-0319-4400-B45E-43D2F86500D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c213473022129cd3111b4f37b49fa3cb7a6a7dbf","datavalue":{"value":{"text":"Finite duals in Grothendieck categories and coalgebra objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6617080$1D1AE816-B798-4A1B-A3E4-BCC3F263FB9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d29312a817779c4b61a7741756ca7fbb413fa1b4","datavalue":{"value":{"entity-type":"item","numeric-id":247700,"id":"Q247700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$2D5B2453-2B9A-4610-8058-4D456345E583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9137e6e676c80a0a5e01ca7e9a549c0e471edffb","datavalue":{"value":{"entity-type":"item","numeric-id":1713075,"id":"Q1713075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$D18BB1F5-8CA9-4BC2-987D-7ECEA5978EF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d415af1704536cdc332569274e9e71490c70bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":6617074,"id":"Q6617074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$6FA87E39-64CC-448A-8909-95A6CBD150A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9e1174f3509949a2b5804b2dba1e7d366156b9d","datavalue":{"value":{"time":"+2024-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6617080$7CEEA2A0-DAD0-4091-A07D-0EFACCFD7BDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a187cf7a804d04f6937386c40bd0e41ef281590","datavalue":{"value":"Let \\(\\mathcal{A}\\) be a \\(k\\)-linear Grothendieck category over a commutative Noetherian ring \\(k\\). The paper under review aims to construct subcategories of \\(\\mathcal{A}\\) that behave like the category of comodules over a coalgebra. Since comodules are locally finite dimensional, the authors choose the following definition to mimic finite dimensionality: an object \\(X\\in \\mathcal{A}\\) is called \\textit{\\(k\\)-finite} if the collection of morphisms \\(\\mathcal{A}(F,X)\\) is a finitely generated \\(k\\)-module, for any finitely generated object \\(F\\) of \\(\\mathcal{A}\\). Furthermore, an object \\(X\\) is called \\textit{strongly \\(k\\)-finite} if every quotient of \\(X\\) is \\(k\\)-finite. Objects that are sums of their strongly \\(k\\)-finite subobjects are called \\textit{locally strongly \\(k\\)-finite}. These objects form a full subcagtegory \\(\\mathcal{A}^{\\mathcal{T}_k}\\) of \\(\\mathcal{A}\\), which is the central object of study of this paper. In particular, it is shown that \\(\\mathcal{A}^{\\mathcal{T}_k}\\) is a coreflexive Grothendieck subcategory of \\(\\mathcal{A}\\), which is locally finitely generated, if \\(\\mathrm{A}\\) is so.\\N\\NAmong many properties of \\(\\mathcal{A}^{\\mathcal{T}_k}\\) the authors prove in Theorem 4.10 an analogous statement to Theorem 2.1 of \\textit{C. Hatipo\u011flu} and \\textit{C. Lomp} [Proc. Am. Math. Soc. 150, No. 5, 1903--1923 (2022; Zbl 1498.16003)] characterizing when a subcategory of \\(\\mathcal{A}^{\\mathcal{T}_k}\\) is closed under taking injective envelopes. More precisely, Theorem 4.10 say that for a field \\(k\\), a locally noetherian \\(k\\)-linear Grothendieck category \\(\\mathcal{A}\\) and a closed subcategory \\(\\mathcal{C}\\subseteq \\mathcal{A}^{\\mathcal{T}_k}\\) the injective envelope in \\(\\mathcal{A}\\) of any \\(F\\)-simple and strongly \\(k\\)-finite object \\(X\\in \\mathcal{C}\\) lies in \\(\\mathcal{C}\\) if and only if any essential extension \\(M\\subseteq N\\) lies in \\(\\mathcal{C}\\) if \\(M\\in \\mathcal{C}\\) and \\(N\\) is an \\(F\\)-saturated object.\\N\\NThe last part of the paper is devoted to what the authors call a \\textit{coalgebra object} in \\(\\mathcal{A}\\). For a finitely generated projective object \\(F\\in \\mathcal{A}\\) the authors define \\(C(F):= R_F^{\\mathcal{T}_k}(k)\\) as the so-called \\textit{coalgebra object associated to \\(F\\)}, where \\(R_F^{\\mathcal{T}_k}:\\mathrm{Mod}_k \\to \\mathcal{A}^{\\mathcal{T}_k}\\) is the right adjoint to the (Hom-)functor \\(\\mathcal{A}(F,-)\\). For instance, if \\(k\\) is a quasi-Frobenius ring, then \\(C(F)\\) is shown to be an injective object in \\(\\mathcal{A}^{\\mathcal{T}_k}\\). The algebra \\(C(F)^*=\\mathcal{A}(C(F),C(F))\\) plays the role of the dual algebra of a coalgebra and any \\(M\\in \\mathcal{\u00c5}^{\\mathcal{T}_k}\\) becomes naturally a left module over \\(C(F)^*\\). The main result of this section is a technical characterization of when the trace functor \\(t_{\\mathcal{B}}(C(F)^*)\\) is dense in \\(C(F)\\), where \\(\\mathcal{B}\\) is a closed subcategory of \\(_{C(F)^*}{\\mathrm{Mod}}\\). As a corollary, the authors obtain a characterization of when \\(\\mathrm{Loc}_{C(F)^*}(C(F)^*)\\) is dense in \\(C(F)\\), which is analogous to the characterization of a semiperfect coalgebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6617080$8F2E1C86-AD9F-4E9B-B5CD-727B98697851","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"08eccea585ec530753f8d574ac21fea0d9da8c37","datavalue":{"value":{"entity-type":"item","numeric-id":234813,"id":"Q234813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$513C82FC-7313-44D8-81B3-3EED0CCDEFE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"59468a913be5e3daa38c40f41f68743380f8fa93","datavalue":{"value":"16D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6617080$2638DA1C-1360-4C62-885B-8595622A843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6617080$61474FC4-DEB4-4D30-8CF4-1E68D626BF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6617080$FEA4DDCF-7533-4E23-B4DF-BCB04032667B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4947ee471f9360e62cf401b8df904771ddcc93c7","datavalue":{"value":"7924490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6617080$6DA29663-F346-4024-B6CE-6BBEB4F0F613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db31326814fe5131ab0d166547027aa49e33aa99","datavalue":{"value":"coalgebra objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q6617080$85AB9958-2432-4792-99AD-6FB052DCC9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e47b9da73e4022bf1946071a855703a8b518ba9","datavalue":{"value":"Grothendieck categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6617080$F7756AC9-59EF-439F-803C-1938F46E6783","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":"Q6617080$D9E0B3A4-00FD-4B92-A81F-F2FDB3364286","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b6624549342b0cd32b2e9ed29cf03eb557e6b7","datavalue":{"value":{"entity-type":"item","numeric-id":2946035,"id":"Q2946035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$9EFBA6A3-AC99-4FF4-AB42-AC630999E4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f8f9597c29b27f7b843fac563b7b641175ab2b","datavalue":{"value":{"entity-type":"item","numeric-id":5227986,"id":"Q5227986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$D5BE43CA-70F7-4F94-9760-F14F4E60AD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4c4cafcbffb8a65e4378ab37d2de69ff72f4c8","datavalue":{"value":{"entity-type":"item","numeric-id":3577718,"id":"Q3577718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$492F0369-9BFD-4C75-B8D5-9AAA9B76CD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc83ee889d981813957229eba27d43b971a3809","datavalue":{"value":{"entity-type":"item","numeric-id":3448292,"id":"Q3448292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$84607654-AABD-4863-AAA5-E2A71DB8ECD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839484e4fb20ea1903a55f5d191280b4b57a1094","datavalue":{"value":{"entity-type":"item","numeric-id":4520725,"id":"Q4520725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$09352F4C-C109-4236-A612-7EF4FC178412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c597d9e45a1b4eae625df7bf30537cd1b8a7c8f7","datavalue":{"value":{"entity-type":"item","numeric-id":3941591,"id":"Q3941591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$2709A8A8-A255-423F-9CC1-3BC1BD4E447F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f938c49f118d6bc4665086f097c04a39118fa470","datavalue":{"value":{"entity-type":"item","numeric-id":4328685,"id":"Q4328685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$DAD846D5-12A7-4561-B487-39550854FD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad69ba71c7b0fb5e802549b8e35cfaa24a6a148","datavalue":{"value":{"entity-type":"item","numeric-id":1895591,"id":"Q1895591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$F0FFD8DB-8999-4755-B43F-F69D91194801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f421794b60b8d88ea5cca881cc21174345509491","datavalue":{"value":{"entity-type":"item","numeric-id":4428238,"id":"Q4428238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$8901FE69-BF93-49D5-AD9F-3B25D16A6E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ffc52104f6ec94587a973a5e0a752b94e2a828","datavalue":{"value":{"entity-type":"item","numeric-id":3265698,"id":"Q3265698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$1AAFA8C5-7D77-4B64-9BEA-B3E74D2200F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab4a5488f99c70ae9fb1789c0d3eceb1aa2290e","datavalue":{"value":{"entity-type":"item","numeric-id":5809233,"id":"Q5809233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$5EF3CB86-6C25-41B7-92C2-778115967449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2de4fd601fd365e0900b1823f0429c0b5fcff24","datavalue":{"value":{"entity-type":"item","numeric-id":1931683,"id":"Q1931683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$9EC7E54E-97BE-46DF-A517-F658A1641FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56a3886330e19659008d11d0172e20544fc5488","datavalue":{"value":{"entity-type":"item","numeric-id":5863134,"id":"Q5863134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$AC868D5A-D22A-44DF-BF42-38E9AFE43D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c60ef1865b27a7a4a49c43ea5a677cffc70518","datavalue":{"value":{"entity-type":"item","numeric-id":5465517,"id":"Q5465517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$45856857-1D1A-4C91-9A46-D47DACF8312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accc176006c81dafb9d36c525554313e6a8031f2","datavalue":{"value":{"entity-type":"item","numeric-id":1243782,"id":"Q1243782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$5D588559-5CCC-47A6-A2B0-F4ACC29A76C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096d8e99c18ee17948ebd371cdedc864bfe9aa92","datavalue":{"value":{"entity-type":"item","numeric-id":2550772,"id":"Q2550772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$14B55539-FAE9-4BDC-BD40-38BAB15F32E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a496595e21c3ced4c6b9f88cb2bc06e5ddc6632","datavalue":{"value":{"entity-type":"item","numeric-id":2895463,"id":"Q2895463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$6A0A48A8-8405-433E-909E-EBE13A3E4E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$D8B211DA-85D3-4225-9AB3-4E8972243B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf42623593c3317b1fbb5efb6fa0372d12acd4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4165487,"id":"Q4165487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6617080$034AFE12-003A-4924-BDED-5FD3DA33CA3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bee7e473e80adbb38d93952edf32bf1fb5f6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5478653,"id":"Q5478653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f030afa064901edf3dcabaf055ca096c36dc4027","datavalue":{"value":{"amount":"+0.825924813747406","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":"Q6617080$7C3C05E7-F475-4D91-AE3F-30A4D654F930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e76fef458ec4a4375640ae9b24a046243f11cca","datavalue":{"value":{"entity-type":"item","numeric-id":2458366,"id":"Q2458366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8f3523ba6b7459928a3bdd3d338d2ed545a719","datavalue":{"value":{"amount":"+0.787822961807251","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":"Q6617080$60417278-20FA-46A4-8882-17D99272CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b74c6f81daa1a8697a026dfb6020831ecde02f5","datavalue":{"value":{"entity-type":"item","numeric-id":2426118,"id":"Q2426118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0ce24a86814636f2ce18ab2c3b43a658f3170c","datavalue":{"value":{"amount":"+0.7746613025665283","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":"Q6617080$12ABAEB0-3C99-4101-9BC6-C74C3F9A2E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4586a27d010b85ccc99070b58786f97d83acd8","datavalue":{"value":{"entity-type":"item","numeric-id":1814975,"id":"Q1814975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5accf65b28528e8b39ea200373d22dba04819efb","datavalue":{"value":{"amount":"+0.7744531631469727","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":"Q6617080$9EDDEE68-B9B7-4308-ADAD-EC57202CE416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fd6122a1bd5ff72fd982cb0188d5eefef2bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":1125914,"id":"Q1125914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c45aeb79d9233f79cdc52153db5b5ede30d1826","datavalue":{"value":{"amount":"+0.7697381973266602","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":"Q6617080$05773D26-56EF-4926-82F4-926BA5CBBF41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6617080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6617080"}}}}}