Let $G$ be a finite group and $S$ a finite set of prime numbers. I know that every separable $\mathbb Q$-algebra $A$ contains a maximal $\mathbb Z$-order but I wonder if the following is true.

Is there a $\mathbb Z$-order $\Lambda$ in $\mathbb Q[G]$ which contains $\mathbb Z[G]$ and is such that $\Lambda\otimes_\mathbb Z \mathbb Z_p$ is a maximal $\mathbb Z_p$-order in $\mathbb Q_p[G]$ if $p\in S$ and also $\Lambda\otimes_\mathbb Z \mathbb Z_p=\mathbb Z_p[G]$ if $p\notin S$?

Here $\mathbb Q_p$ (resp. $\mathbb Z_p$) is the $p$-adic completion of $\mathbb Q$ (resp. $\mathbb Z$).

Thank you for your help.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.