radical ideal and beginnings of primary decomposition