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.

Let $R$ be a ring and let $A$ be a $R$-algebra. $A$ is separable over $R$ if and only if the localisation $A_P$ is separable over $R_P$ for all $P\in Spec(R)$.

share|improve this question
    
What have you tried? –  Rasmus Jun 26 '11 at 11:55
add comment

1 Answer

I assume that the ring $R$ is commutative (else I don't think "separable algebra" makes sense.)

a) It is always true that $A$ separable over $R$ implies $A_P$ separable over $R_P$ for all $P\in Spec(R)$. More generally separability is preserved under base-change: if $A$ is separable over $R$ then, for any commutative $R$-algebra $S$, the $S$-algebra $S\otimes_R A$ is $S$-separable.

b) For the converse you need some supplementary hypothesis.
If for all $P\in Spec(R)$ the algebra $A_P$ is separable over $R_P$, then $A$ separable over $R$ under any of the following two assumptions:
i) $A$ is a finitely generated $R$-module.
ii) $A$ is commutative and a finitely generated $R$-algebra.

share|improve this answer
    
I'm not quite sure what you know: depending on that, the "exercise" is easy or quasi-impossible to solve! Anyway, the statement you gave is not quite correct in that it has no finiteness assumption for the hard implication b) . Now you at least have precise statements... –  Georges Elencwajg Jun 26 '11 at 13:45
    
Ok, thanks.. can I say $A_P=A\otimes_R R_P$ for all $P\in Spec(R)$? or something like that? –  user11428 Jun 26 '11 at 16:04
    
Yes, the notation $A_P=A\otimes_R R_P$ is perfectly correct. –  Georges Elencwajg Jun 26 '11 at 16:24
    
Perfect, thank you very much! –  user11428 Jun 26 '11 at 18:01
add comment

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.