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.

This is a problem in the first chapter of Dino Lorenzini's book on arithmetic geometry. Let $A$ be a PID with field of fractions $K$ and $L/K$ a quadratic extension (no separability assumption). Let $B$ be the integral closure of $A$ in $L$. Now assuming that $B$ is a f.g. $A$-module, then the problem asks to show that $B=A[b]$ for some $b\in B$.

Obviously, we know that $B$ is free of rank $2$ as an $A$-module, so there must be some integral basis $\{ b_1,b_2\}$. However, I don't see how one of these can be assumed to be $1$. Similarly, any $A$-submodule, including ideals of $B$, must be generated by at most two elements. Other things I've tried is using the fact that $B$ must have dimension $1$. However, I've failed to see how any of this could be applied.

share|improve this question

1 Answer 1

up vote 3 down vote accepted

Consider the quotient $B/A$. What can you say about it?

share|improve this answer
    
Ah, it has rank 1. –  asdf Nov 9 '12 at 0:51
    
@asdf: Dear asdf, That's right. Cheers, –  Matt E Nov 9 '12 at 2:15

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.