How to see that Ext$_Z^1$(Q, A) is a vector space over Q (where Q is the rationals) for any abelian group A? Any help would be appreciated!
Asked
Active
Viewed 73 times
2
-
Please see https://math.meta.stackexchange.com/questions/5020/mathjax-basic-tutorial-and-quick-reference – Angina Seng Jul 30 '20 at 08:34
1 Answers
3
If $a\in\Bbb Q$ then $a$ induces a map $\mu_a$ "multiplication by $a$" from $\Bbb Q$ to $\Bbb Q$. As $\text{Ext}$ is a bifunctor, this together with the identity map on $A$ induces a map $\mu_a^*:\text{Ext}^1(\Bbb Q,A)\to \text{Ext}^1(\Bbb Q,A)$. We define scalar multiplication $a\cdot\omega=\mu_a^*(\omega)$ for $\omega\in\text{Ext}^1(\Bbb Q,A)$. This makes $\text{Ext}^1(\Bbb Q,A)$ into a vector space over $\Bbb Q$.
Angina Seng
- 158,341