":::::Ja, no, vähemmän abstraktit artikkelit, jotka käsittelevät samaa aihetta, löytyvät osoitteista nuclear operator, trace-class ja Fredholm operator. Yritin purkaa näitä niin hyvin kuin mahdollista; siksi johdannossa viitataan takaisin Fredholm-teoriaan ""ison kuvan"" saamiseksi. Oletan, että tämä artikkeli voitaisiin nimetä uudelleen ""Grothendieckin Fredholmin ytimien teoria"", mutta en pidä tuosta otsikosta.   

"