Remark 15.118.1. Let $R$ be a ring. Let $M$ be a finite projective $R$-module. Then we can consider the graded commutative $R$-algebra exterior algebra $\wedge ^*_ R(M)$ on $M$ over $R$. A formula for $\det (M)$ is that $\det (M) \subset \wedge ^*_ R(M)$ is the annihilator of $M \subset \wedge ^*_ R(M)$. This is sometimes useful as it does not refer to the decomposition of $R$ into a product. Of course, to prove this satisfies the desired properties one has to either decompose $R$ into a product (as above), or one has to look at the localizations at primes of $R$.

## Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0FJA. Beware of the difference between the letter 'O' and the digit '0'.