Inmutable ideal del PTC