Alphabeta Math
CorollaryStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)
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 A be a unital ring. Natural endomorphisms below are encoded by their component at the regular module A; 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 1A-Mod is a ring under componentwise addition and vertical composition, and evaluation at the component A→A identifies it with the ring of (A,A)-bimodule endomorphisms of AAA, hence with the center: Nat⁡(1A-Mod,1A-Mod)  ≅  End⁡A-A(AAA)  ≅  Z(A) (the second isomorphism is f↦f(1), with inverse z↦(a↦za); The center of a ring). Consequently, if A and B are Morita equivalent — equivalently related by inverse bimodules — then Z(A)≅Z(B) as rings. No choice is used.

Facts & Assumptions

[F1]

The center Z(A)={z∈A:za=az for every a∈A} is a commutative subring of A (The center of a ring).

[F2]

A natural transformation α:1A-Mod⇒1A-Mod is a family of A-linear endomorphisms with αY∘u=u∘αX for every A-linear u:X→Y, and vertical composition is componentwise with identity components 1X (Natural transformation and its components, Identity natural transformation and vertical composition, Natural isomorphism).

[F3]

An equivalence of categories consists of functors F,G with natural isomorphisms η:1⇒GF and ε:FG⇒1, 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).

[F4]

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

technique · direct
1.1F2givenalgebra

(Nat⁡(1,1) is a ring.) For natural endomorphisms α,β of 1A-Mod, define α+β componentwise by (α+β)X=αX+βX in the abelian group Hom⁡A(X,X); this is natural because for u:X→Y both (α+β)Y∘u and u∘(α+β)X equal uαX+uβX 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 A-linear maps is bilinear: γX∘(αX+βX)=γXαX+γXβX and (αX+βX)∘γX=αXγX+βXγX. Finally the identity 11 and the zero transformation are natural. Hence Nat⁡(1,1) is a ring under componentwise addition and vertical composition.

1.2F1F2givenalgebra

(Identification with the center.) Let α:1⇒1 and set z=αA(1). Left A-linearity gives αA(a)=az, while naturality at the left A-linear right multiplication ra:A→A gives αA(a)=za. Thus z∈Z(A) and αA is a bimodule endomorphism. For x∈X, the left A-linear map ℓx:A→X, a↦ax, gives by naturality αX(x)=ℓx(z)=zx. Conversely, if z∈Z(A), ηXz(x)=zx is additive, satisfies z(ax)=a(zx), and commutes with every A-linear map, so it is a natural endomorphism. The assignments α↦z and z↦ηz are inverse. They preserve addition, identities, and multiplication since ηz∘ηw=ηzw. A bimodule endomorphism f:A→A similarly satisfies f(a)=af(1)=f(1)a, so evaluation identifies it with a unique central element and every central element supplies one. This proves both ring isomorphisms.

1.3F2F3givenalgebra

(Morita transport.) Let F:A-Mod→B-Mod be an additive equivalence, equipped as an adjoint equivalence with quasi-inverse G, unit η and counit ε by [F3]. For α∈Nat⁡(1A,1A) define βX:=εX∘F(αGX)∘εX−1 for X∈B-Mod. Each βX is an endomorphism of X, and β is natural: for u:X→Y, naturality of ε gives εY−1∘u=FG(u)∘εX−1, hence βY∘u=εY∘F(αGY∘G(u))∘εX−1=εY∘F(G(u)∘αGX)∘εX−1=u∘βX. The assignment α↦β is additive because F is additive and composition is bilinear; it carries identities to identities and composites to composites because F and ε are functorial; and the symmetric formula αY′=ηY−1∘G(βFY)∘ηY using η is inverse to it, by the triangle identities and the naturality of η and ε. Hence it is a ring isomorphism Nat⁡(1A,1A)≅Nat⁡(1B,1B).

2.1F4step 1.1step 1.2step 1.3∎

(Conclusion.) If A and B are Morita equivalent, [F4] supplies an additive equivalence F:A-Mod→B-Mod, and step 1.3 gives a ring isomorphism Nat⁡(1A,1A)≅Nat⁡(1B,1B); composing with the identifications of step 1.2 gives a ring isomorphism Z(A)≅Z(B). For A=B 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

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