Ideals and generic elementary embeddings