An axiomatic construction of an almost full embedding of the category of graphs into the category of R-objects

DOI10.1016/J.JPAA.2013.05.006MaRDI QIDQ392398zbMATH OpenOpenAlexFDO

Authors Rüdiger Göbel, Adam J. Przeździecki

Publication date 14 January 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.3458

zbMATH Keywords

almost full embeddingcategory of graphscategory of modulescotorsion-free ring

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Structure, classification theorems for modules and ideals in commutative rings (13C05) Projective and free modules and ideals in commutative rings (13C10) Other special types of modules and ideals in commutative rings (13C13) Torsion-free groups, infinite rank (20K20) Direct sums, direct products, etc. for abelian groups (20K25) Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups (20K30)

Abstract: We construct embeddings G of the category of graphs into categories of R-modules over a commutative ring R which are almost full in the sense that the maps induced by the functoriality of G R[Hom_Graphs(X,Y)] --> Hom_R(GX,GY) are isomorphisms. The symbol R[S] above denotes the free R-module with the basis S. This implies that, for any cotorsion-free ring R, the categories of R-modules are not less complicated than the category of graphs. A similar embedding of graphs into the category of vector spaces with four distinguished subspaces (over any field, e.g. F_2={0,1} is obtained).

Review text

The authors construct embeddings \(G\) to the category of graphs into categories of \(R\)-modules for all commutative, cotorsion-free rings \(R.\) These embeddings are almost full in the sense that \(R[\Hom_{\text{Graphs}}(X,Y)] \rightarrow \Hom_R(GX,GY)\) are isomorphisms, where \(R[S]\) denotes the free \(R\)-module with the basis \(S\). In other words, every morphism in the target is an \(R\)-linear combination of morphisms coming from the source. In particular the authors obtain an almost full embedding of the category of graphs into the category of vector spaces with four distinguished subspaces (over any field).

Recommendations

• An almost full embedding of the category of graphs into the category of abelian groups
• scientific article; zbMATH DE number 2169342
• An ``almost full embedding of the category of graphs into the category of groups
• scientific article; zbMATH DE number 4069150
• Representation of categories

Cites work

• Absolute graphs with prescribed endomorphism monoid
• Absolutely indecomposable modules
• An ``almost full embedding of the category of graphs into the category of groups
• An almost full embedding of the category of graphs into the category of abelian groups
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Better quasi-orders for uncountable cardinals
• Endomorphism algebras of peak I-spaces over posets of infinite prinjective type
• Every Countable Reduced Torsion-Free Ring is an Endomorphism Ring
• Four submodules suffice for realizing algebras over commutative rings
• Homomorphisms of Integral Domains of Characteristic Zero
• How comprehensive is the category of semigroups?
• scientific article; zbMATH DE number 3650785 (Why is no real title available?)
• scientific article; zbMATH DE number 3456114 (Why is no real title available?)
• scientific article; zbMATH DE number 3498090 (Why is no real title available?)
• scientific article; zbMATH DE number 3514016 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3332554 (Why is no real title available?)
• scientific article; zbMATH DE number 3388249 (Why is no real title available?)
• Modules with absolute endomorphism rings.
• On Locally Free Torsion-Free Rings of Finite Rank
• Orders as Endomorphism Rings of Modules of the Same Rank
• Prescribing endomorphism algebras of \(\aleph_n\)-free modules.
• Prescribing Endomorphism Algebras, a Unified Treatment

Cited in

(3)

• An ``almost full embedding of the category of graphs into the category of groups
• An almost full embedding of the category of graphs into the category of abelian groups
• The complexity of the embeddability relation between torsion-free abelian groups of uncountable size

This page was built for publication: An axiomatic construction of an almost full embedding of the category of graphs into the category of \(R\)-objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392398)