The conductor $\mathfrak{f}_R$ of an order $R$ in an étale algebra $K$ over $\Q$ with maximal order $\mathcal{O}_K$ is the biggest $\mathcal{O}_K$-ideal contained in $R$, that is, \[ \mathfrak{f}_R = (R:\mathcal{O}_K) = \{ x \in K :\ x\mathcal{O}_K \subseteq R \}. \]
If $R\subseteq S$ the (relative) conductor of $R$ in $S$ is the biggest $S$-ideal contained in $R$, that is, \[ (R:S) = \{ x \in K :\ xS \subseteq R \}. \]
Authors:
Knowl status:
- Review status: beta
- Last edited by Stefano Marseglia on 2025-07-12 13:38:40
Referred to by:
History:
(expand/hide all)
- 2025-07-12 13:38:40 by Stefano Marseglia
- 2025-07-12 13:38:17 by Stefano Marseglia
- 2025-07-12 13:37:54 by Stefano Marseglia
- 2025-07-12 13:32:01 by Stefano Marseglia