How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The center is Morita invariant, via natural endomorphisms of the identity
Statement
Let be a unital ring. Natural endomorphisms below are encoded by their component at the regular module ; the proof establishes that this component determines the entire family, and that the permissible components form a set. The monoid of natural endomorphisms of the identity functor is a ring under componentwise addition and vertical composition, and evaluation at the component identifies it with the ring of -bimodule endomorphisms of , hence with the center: (the second isomorphism is , with inverse ; The center of a ring). Consequently, if and are Morita equivalent — equivalently related by inverse bimodules — then as rings. No choice is used.
Facts & Assumptions
Given: A unital ring ; is preadditive with abelian hom-groups and bilinear composition (Modules over a ring form an abelian category, Abelian category, Preadditive category, The abelian group and maps induced by pre- and postcomposition).
The center is a commutative subring of (The center of a ring).
A natural transformation is a family of -linear endomorphisms with for every -linear , and vertical composition is componentwise with identity components (Natural transformation and its components, Identity natural transformation and vertical composition, Natural isomorphism).
An equivalence of categories consists of functors with natural isomorphisms and , and can be equipped as an adjoint equivalence; an equivalence between abelian categories is additive (Equivalence, quasi-inverse, and adjoint equivalence of categories, Every equivalence of categories can be equipped as an adjoint equivalence, An equivalence between abelian categories is exact).
Two unital rings are Morita equivalent when there is an additive equivalence of their module categories, equivalently when they are related by inverse bimodules (Morita equivalence is invertibility of a bimodule).
Proof
( is a ring.) For natural endomorphisms of , define componentwise by in the abelian group ; this is natural because for both and equal by bilinearity of composition. Componentwise addition inherits associativity, commutativity, the zero transformation and additive inverses from the hom-groups, and vertical composition distributes over it on both sides because composition of -linear maps is bilinear: and . Finally the identity and the zero transformation are natural. Hence is a ring under componentwise addition and vertical composition.
(Identification with the center.) Let and set . Left -linearity gives , while naturality at the left -linear right multiplication gives . Thus and is a bimodule endomorphism. For , the left -linear map , , gives by naturality . Conversely, if , is additive, satisfies , and commutes with every -linear map, so it is a natural endomorphism. The assignments and are inverse. They preserve addition, identities, and multiplication since . A bimodule endomorphism similarly satisfies , so evaluation identifies it with a unique central element and every central element supplies one. This proves both ring isomorphisms.
(Morita transport.) Let be an additive equivalence, equipped as an adjoint equivalence with quasi-inverse , unit and counit by [F3]. For define for . Each is an endomorphism of , and is natural: for , naturality of gives , hence . The assignment is additive because is additive and composition is bilinear; it carries identities to identities and composites to composites because and are functorial; and the symmetric formula using is inverse to it, by the triangle identities and the naturality of and . Hence it is a ring isomorphism .
(Conclusion.) If and are Morita equivalent, [F4] supplies an additive equivalence , and step 1.3 gives a ring isomorphism ; composing with the identifications of step 1.2 gives a ring isomorphism . For the identity functor recovers the first identification, so the statement holds in general. No element outside the given rings and functors is chosen and no choice principle is used.
Depends on
- Morita equivalence is invertibility of a bimodule
- The regular module is a tensor unit: $R\otimes_RN\cong N$ and $M\otimes_RR\cong M$
- The center of a ring
- $(S,R)$-bimodules and commuting left and right scalar actions
- Natural transformation and its components
- Identity natural transformation and vertical composition
- Natural isomorphism
- Equivalence, quasi-inverse, and adjoint equivalence of categories
- Every equivalence of categories can be equipped as an adjoint equivalence
- Preadditive category
- Abelian category
- Modules over a ring form an abelian category
- The abelian group $\operatorname{Hom}_R(M,N)$ and maps induced by pre- and postcomposition
- An equivalence between abelian categories is exact
Used by
Dependency tree · two levels
58 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- nLab, Morita equivalence, Definitions (the center of an algebra is isomorphic to the center of its category of modules; Morita equivalent algebras have isomorphic centers) (standard reference, not scraped)
- N. Johnson and D. Yau, 2-Dimensional Categories, §6.3 (evaluation and coevaluation between Hom and tensor) (standard reference, not scraped)