Ciao a tutti! Sto affrontando i preliminari per un corso di Teoria degli Schemi e vorrei farmi le ossa sulle fondamenta algebriche.
Sto affrontando un esercizio base su ideali di spazi di matrici e insiemi algebrici affini e l'ultimo punto mi mette in difficoltà.
Il contesto è il seguente
\(
M = M_{2,2}(k) \simeq \mathbb{A}^n_k \\
\underline{\mathbf{a}} =\langle a^2+bc, d^2+bc, (a+d)b, (a+d)c\rangle \\
\underline{\mathbf{b}} = \langle ad-bc, a+d\rangle
\)
Devo mostrare che \( \sqrt{\underline{\mathbf{a}}} = \underline{\mathbf{b}}\)
Ho provato a far di conto, passando al quoziente \(M/\underline{\mathbf{b}}\), ma temo sia una perdita di tempo. Ho provato a scandagliare proprietà di radicali, ma non ho trovato nulla di utile.
Qualcuno riesce a darmi anche solo un hint?