The construction of maximal orders over a Dedekind domain (Q1095198): Difference between revisions

Let \(R\) be a complete local Dedekind domain with quotient field \(F\), and let \(f(x)\) be a monic polynomial in \(R[x]\) having non-zero discriminant. The author gives a new algorithm for constructing the maximal order of the algebra \(A_ f=F[x]/f(x)F[x]\).