Projective Modules over the Ring of Trigonometric Functions

249 Views Asked by At

Let $ R = \mathbb{R}[ \cos x, \sin x] $ and consider the ideal $ \langle 1 - \cos x, \sin x\rangle $. Is this ideal a projective module over $R$ ?

1

There are 1 best solutions below

3
On BEST ANSWER

The ring $\mathbb{R}[\cos x, \sin x]$ is isomorphic to $\mathbb{R}[X,Y]/(X^2+Y^2-1)$ which is known as being a Dedekind domain, so all ideals are projective.