sigma_0 e sigma_1 algebricamente indipendenti

[jordan]

(Easy) Dimostrare che non esiste alcun polinomio $ P(x,y)\in \mathbb{Q}[x,y] $ non identicamente nullo tale che $ P(\sigma_0(n),\sigma_1(n))=0 $ per ogni intero positivo $ n $.

(Salvatore Tringali)

[dario2994]

(Easy) Dimostrare che non esiste alcun polinomio $ P(x,y)\in \mathbb{Q}[x,y] $ non identicamente nullo tale che $ P(\sigma_0(n),\sigma_1(n))=0 $ per ogni intero positivo $ n $.

(Salvatore Tringali)

Le sigma che roba sono?
edit: capito da me:
$\displaystyle\sigma_m(n)=\sum_{i|n}i^m$