0
$\begingroup$

I'm reading these lecture notes here about the tensor product and the author uses $M^\vee$ where $M$ is an $R$-module. Look at page 2 for an example (example 2.1). What does it mean? I looked through the notes but I couldn't find the definition. Many thanks for your help!

  • 1
    I do not see where this notation is used on page 8.2011-04-03
  • 0
    @Qiaochu: sorry, that was a typo, it should've said page 3!2011-04-03
  • 0
    It should've said page 2, not page 3. The file has been updated.2011-10-13

1 Answers 1

4

$M^{\vee}$ (which in $\LaTeX$ is not a \wedge) is the dual $R$-module; that is, it's the $R$-module of all $R$-module homomorphisms $M \to R$, or more concisely it's $\text{Hom}_R(M, R)$. This is why the author refers to the dual pairing on page 2.

  • 0
    Thank you so much! I didn't know what to search for because I didn't know it was called 'dual'.2011-04-03
  • 0
    Is this a standard notation? I think i have encountered $M^*$ more often.2014-06-22