Urge/reason for inventing  interior product ( Grassmann algebra ) Hello everyone, 
I wanted to lecture on Grassmann and his works , and I have been reading the collected works of Grassmann " Die Lineale Ausdehnungslehre ". There Grassmann introduced something called " Interior product " ( Left and Right interior products ) . So I was completely stuck up there, the Bourbaki papers don't speak on the reason or urge in creating such manipulations, but its understood by someone who really mastered them. 
Can anyone suggest me a good definition of the left and right interior products and explain the purpose of introducing them along with the intuition ? 
I would be really honored to hear that.  
Thank you.
 A: Grassmann's original motivations came from mechanics and geometry. Here is what he wrote in the foreword to his 1844 book "Die Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik (Linear Extension Theory, a new branch of mathematics)":
"While I was pursuing the concept of product in geometry as it had been established by my father, I concluded that not only rectangles but also parallelograms in general may be regarded as products of an adjacent pair of their sides, provided one again interprets the product, not as the product of their lengths, but as that of the two displacements with their directions taken into account. When I combined this concept of the product with that previously established for the sum, the most striking harmony resulted; thus whether I multiplied the sum (in the sense just given) of two displacements by a third displacement lying in the same plane, or the individual terms by the same displacement and added the products with due regard for their positive and negative values, the same result obtained, and must always obtain."
More can be found at http://www-history.mcs.st-and.ac.uk/Extras/Grassmann_1844.html
There is a very accessible account in the  talk "Grassmann, Geometry and mechanics" by John Browne:
https://sites.google.com/site/grassmannalgebra/hermanngrassmann
A: Here is an elementary  motivation  for interior products .  
Suppose $V$ is an $n$-dimensional vector space  .
To every non-zero vector $ v\in V$ you can associate the  complex $$ 0\to V\to...\to \Lambda ^kV\to \Lambda ^{k+1}V\to...\to  \Lambda ^nV\to 0 \\quad (\star)$$ 
where the linear map $ext_k(v):\Lambda ^kV\to \Lambda ^{k+1}V$ is the map  $\omega \mapsto v\wedge \omega$.
But how do you prove that it is exact? Answer: with interior products!  
Choose a linear form $f\in V^*$ such that $f(v)=1$ and  introduce the interior product map  $int_k(f):\Lambda ^kV\to \Lambda ^{k-1}V$ which on a decomposable vector reduces to $$int_k(f)(v_1\wedge...\wedge v_k)=\sum_{j=1}^k (-1)^{j+1}f(v_j)v_1\wedge...\wedge \widehat {v_j}\wedge v_k$$ 
It is then  easy to show the relation $$int_{k+1}(f)\circ     ext_k(v)+ext_{k-1}(v)\circ int_k(f)=Id_k: \Lambda ^k(V)\xrightarrow {=}   \Lambda ^k(V)      $$ 
which immediately implies that the complex $(\star)$ is exact at the $k$-th slot since   $$ext_k(v)(\omega)=0\implies \omega = ext_{k-1}(v)[int_{k-1}(f)(\omega)]    $$
 Differential geometers make  essentially the same calculation  in the context of the De Rham complex of differential forms: see Exercise 4 of Chapter 7 (Volume I) in Spivak's wonderful A Comprehensive Introduction to Differential Geometry
NB The above  is the toy version of the theory of the Koszul complex.
It  can always be souped up to any desired degree of unintelligibility (in my case not much souping up is necessary) .
