degree (polynomial)

Sei \(K\) ein Ring und sei \(f = \sum_{j=0}^{n} a_jx^j \in K[x]\) mit \(a_n \neq 0\) Dann ist der Grad von \(f\) definiert als:

\begin{align*} \mathrm{deg}(f) \coloneqq \begin{cases} - \infty & \mbox{if } f = 0 \\ n & \mbox{else} \\ \end{cases} \end{align*} \begin{align*} \end{align*}