Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $C$ be a additive category and $k$ is a commutative ring. $C$ is called $k$-linear if the morphism sets $C(x,y)$ have the $k$-module structures for all $x,y\in Obj(C)$ and the compositions of morphisms are $k$-bilinear maps. It is said in the paper "Rings with several objects" by Mitchell that " $C$ is $k$-linear if and only if there exists a ring-homomorphism from $k$ to the center $Z(C)$ of $C$".

Every element $η∈Z(C)$ is given by a family of endomorphisms $η_x:x→x$ where $x∈C$, such that for all morphisms $x→y$ the obvious diagram commutes. So for every morphism $f:x→y$ in $C(x,y)$ we can define the multiplication $\eta *f:=\eta_y\circ f$. So I can only check the "if" part of the above statement, please help me to check the "only if" part.

I feel that I'm lack of category background for reading the paper "Rings with several objects" by Mitchell, would you give me some advice about which category books or papers I should take a look.

Thank you very much!

share|cite|improve this question

migrated from Jul 3 '13 at 1:39

This question came from our site for professional mathematicians.

This is phrased somewhat imprecisely. The correct statement is that $k$-linear structures on $C$ are naturally in bijection with ring homomorphisms $k \to Z(C)$. Anyway, this is straightforward and not really research-level. – Qiaochu Yuan Jul 3 '13 at 0:02
up vote 4 down vote accepted

If $C$ carries a $k$-linear structure, then define $k \to Z(C)$ by $\lambda \to (x \mapsto \lambda \mathrm{id}_x)$. One checks that this is a homomorphism of rings. If conversely, $\phi : k \to Z(C)$ is a homomorphism of rings, then define a $k$-linear structure by $\lambda f := f \phi(\lambda)(x) = \phi(\lambda)(y) f$ for $f : x \to y$ and $\lambda \in k$. One checks that this is in fact a $k$-linear structure. One also checks that these constructions are inverse to each other. In fact, this is some kind of Yoneda lemma ("by naturality it suffices to look at the identity"). The verifications are straight forward. Apart from the definitions, no specific knowledge on categories has to be used.

share|cite|improve this answer
thank you so much. – vdm123 Jul 3 '13 at 19:18

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.