Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose $k$ is an algebraically closed field, and $A$ and $B$ are finitely generated, commutative, graded $k$-algebras. Suppose $\varphi:A\to B$ is a map of $k$-algebras. Notice if $B$ is a domain, then $\ker \varphi$ is prime, and if $\varphi$ is graded, then $\ker\varphi$ is homogeneous, so that certain properties of the map $\varphi:A\to B$ imply ideal-theoretic properties of $\ker\varphi$. Consider the following definition:

A map $\varphi:A\to B$ is called power surjective if for each $b\in B$ there is some $n\in\mathbb{N}$ such that $b^n\in\mathrm{im}\;\varphi$.

I'm interested in describing kernels of power surjective maps. What properties of $\ker\varphi$ are implied by the condition that $\varphi$ is power surjective? That is, what is a non-trivial ideal-theoretic condition $(\star)$ such that the statement

If $\varphi:A\to B$ is power surjective, then $\ker\varphi$ satisfies $(\star)$

is true?

share|improve this question
    
Hmm. +1 for interesting stuff. But can't you make any homogeneous prime ideal the kernel of such a map $\phi$ given that surjective $\implies$ power surjective? Are you really asking about the properties of the induced mapping between projective varieties? –  Jyrki Lahtonen Jul 3 at 20:38

1 Answer 1

up vote 3 down vote accepted

There won't be any condition, since $\phi : A \to B$ and $A/\mathrm{ker}(\phi) \to B$ have the same image.

share|improve this answer
    
Sorry for that trivial answer, but it seems to me that this just shows that there is no interesting answer ... –  Martin Brandenburg Jul 5 at 19:24

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.