{"corpus_id":10350232,"paper_sha":"34f77f20880e4d1823ee7d2cb7b5d329735f5c93","doi":null,"arxiv_id":"0806.1423","pmid":null,"pmcid":null,"mag_id":2161667526,"dblp_id":null,"acl_id":null,"title":"Quasi-co-Frobenius corings as Galois comodules","year":2008,"publication_date":"2008-06-09","venue":"","journal":{"name":"arXiv: Rings and Algebras","pages":null,"volume":""},"journal_issn":null,"journal_title":null,"publication_types":[],"pubmed_pub_types":null,"s2_fields_of_study":["Mathematics","Materials Science"],"reference_count":27,"citation_count":3,"influential_citation_count":0,"is_open_access":false,"arxiv_categories":["math.RA"],"arxiv_license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","arxiv_journal_ref":null,"mesh_headings":null,"chemicals":null,"comments_corrections":null,"source_flags":1,"s2_open_access_pdf_url":null,"s2_open_access_landing_url":null,"s2_open_access_license":null,"s2_open_access_status":null,"pmc_open_access_pdf_url":null,"pmc_open_access_landing_url":null,"pmc_open_access_license":null,"pmc_open_access_status":null,"unpaywall_open_access_pdf_url":null,"unpaywall_open_access_landing_url":null,"unpaywall_open_access_license":null,"unpaywall_open_access_status":null,"abstract":"We compare several quasi-Frobenius-type properties for corings that appeared recently in literature and provide several new characterizations for each of these properties. By applying the theory of Galois comodules with a firm coinvariant ring, we can characterize a locally quasi-Frobenius (quasi-co-Frobenius) coring as a locally projective generator in its category of comodules.","claims":[{"public_id":"cl_1ab54cc16b6f96b33b775b10d02f9893","status":"active","text":"A locally quasi-Frobenius coring can be characterized as a locally projective generator in its category of comodules.","confidence":0.98,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_1ab54cc16b6f96b33b775b10d02f9893"},{"public_id":"cl_a4522dec8d67f56267d19e888814a986","status":"active","text":"A quasi-co-Frobenius coring can be characterized as a locally projective generator in its category of comodules.","confidence":0.98,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_a4522dec8d67f56267d19e888814a986"},{"public_id":"cl_5358b76b81481f0a36eaf93186405ea5","status":"active","text":"Several quasi-Frobenius-type properties for corings are compared and newly characterized.","confidence":0.92,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_5358b76b81481f0a36eaf93186405ea5"},{"public_id":"cl_e3c4e26b17d3e991d2774cb0679c290c","status":"active","text":"The theory of Galois comodules with a firm coinvariant ring is used to obtain the characterization results.","confidence":0.9,"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/claims/cl_e3c4e26b17d3e991d2774cb0679c290c"}],"concepts":[{"public_id":"co_0ba9b8732ed6c1507c38f91d05567b5e","status":"active","name":"category of comodules","description":"The category whose objects are comodules over a coring and whose morphisms are comodule maps.","types":["category"],"aliases":["comodule category"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_0ba9b8732ed6c1507c38f91d05567b5e"},{"public_id":"co_2582ad856a8025d4b4aff5754a7eff18","status":"active","name":"quasi-co-Frobenius coring","description":"A coring satisfying a quasi-co-Frobenius condition.","types":["algebraic structure"],"aliases":["QCF coring"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_2582ad856a8025d4b4aff5754a7eff18"},{"public_id":"co_37da743f6ad91f346e74b10cd6feded2","status":"active","name":"quasi-Frobenius-type properties","description":"A family of properties for corings related to quasi-Frobenius and co-Frobenius conditions.","types":["property"],"aliases":["QF-type properties"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_37da743f6ad91f346e74b10cd6feded2"},{"public_id":"co_3eb0f5dabd9e4023ba9ecb76a64ad27e","status":"active","name":"firm coinvariant ring","description":"The coinvariant ring associated with a Galois comodule, assumed to be firm rather than unital.","types":["ring-theoretic object"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_3eb0f5dabd9e4023ba9ecb76a64ad27e"},{"public_id":"co_a91139bb665ef613130146405a82725b","status":"active","name":"corings","description":"Coalgebra-like structures over a ring that generalize comultiplication and counit in a bimodule setting.","types":["algebraic structure"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_a91139bb665ef613130146405a82725b"},{"public_id":"co_b187c0ca50c10cc92c84b6293e9c2d70","status":"active","name":"locally quasi-Frobenius coring","description":"A coring satisfying a local version of the quasi-Frobenius condition.","types":["algebraic structure"],"aliases":["locally QF coring"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_b187c0ca50c10cc92c84b6293e9c2d70"},{"public_id":"co_b336ea780c329f4cda9c4eff249c7859","status":"active","name":"locally projective generator","description":"An object in a module or comodule category that is locally projective and generates the category.","types":["category-theoretic property"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_b336ea780c329f4cda9c4eff249c7859"},{"public_id":"co_bbbe85e6e649dc4de703fa1dca8fab62","status":"active","name":"Galois comodules","description":"Comodules studied through a Galois-type correspondence with a coring and an associated ring.","types":["theory","method"],"aliases":["Galois comodule theory"],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_bbbe85e6e649dc4de703fa1dca8fab62"},{"public_id":"co_f043f470b33ca10d8e09cf0e833f3987","status":"active","name":"characterization results","description":"Equivalent descriptions or criteria established for the properties under discussion.","types":["result"],"aliases":[],"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"url":"https://sah.borca.ai/concepts/co_f043f470b33ca10d8e09cf0e833f3987"}],"external_ids":{"DOI":null,"ArXiv":"0806.1423","PubMed":null,"PubMedCentral":null,"MAG":2161667526,"DBLP":null,"ACL":null},"open_access":{"is_open_access":true,"pdf_url":"https://arxiv.org/pdf/0806.1423","landing_url":"https://arxiv.org/abs/0806.1423","source":"arxiv","pdf_url_source":"derived_arxiv","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","reason":null},"reference_availability":{"status":"available","references_indexed":true,"full_text_available":true,"full_text_source":"arxiv","count_basis":"semantic_scholar_metadata","extraction_status":"not_applicable","reason":null},"source":{"provider":"episteme2","base_corpus":"semantic_scholar_dump","freshness_mode":"unknown","basis":["semantic_scholar_metadata","postgres_metadata"],"limits":["paper metadata is based on indexed upstream scholarly datasets","claims and concepts are available only for extracted papers","absence of claims or concepts means no extracted graph data is available in this response"],"status":"available","degraded":false,"degraded_reasons":[],"diagnostics":{"status":"available","degraded":false,"degraded_reasons":[],"metadata_status":"available","graph_status":"available","abstract_status":"available"},"source_flags":1},"paper_id":634947,"paper_uid":"d212be97-c87d-4af4-a443-4bd5048a8d15","canonical_identity":{"paper_id":634947,"paper_uid":"d212be97-c87d-4af4-a443-4bd5048a8d15","identity_status":"available","lookup_basis":"semantic_scholar_external_id","compatibility_path":"corpus_id"},"url":"https://sah.borca.ai/papers/10350232"}