Let R be an order in an étale algebra A over Q with maximal order mathcal(O)A. We say that two fractional R-ideals I and J are isomorphic if there exists a unit a∈A such that I=aJ. Observe that this happens if and only if I and J are isomorphic as R-modules. We refer to the isomorphism class [I] of I as its ideal class.
The set of ideal classes of invertible fractional R-ideals forms a group under the operation induced by ideal multiplication. This group is called the Picard group of R and denoted mathrm(Pic)(R).
If K1 x ... x Kn are the components of A then mathrm(Pic)(mathcal(O)A) = ∏i=1nmathrm(Cl)(mathcal(O)Ki), where mathrm(Cl)(mathcal(O)Ki) is the class group of the number field Ki. Also, the unit group mathcal(O)A x of mathcal(O)A satisfies mathcal(O)A x = mathcal(O)K1 x x ... x mathcal(O)Kn x .
The Picard group and the unit group of the order R can be computed using the well-known exact sequence: 1 to R x to mathcal(O)A x to frac(( mathcal(O)A/mathfrak(f) ) x )(( R/mathfrak(f) ) x ) to mathrm(Pic)(R)to mathrm(Pic)(mathcal(O)A) to 1, where the first, second and third map are the natural maps, the fourth is induced by a |-> (a mathcal(O)A ∩R) and the last one is induced by the extension map I |-> I mathcal(O)A.
Returns the group (S/I) * and a map (S/I) * -> S. The order S is required to be maximal.
Given a fractional S-ideal I, returns the group (S/I) * and a map (S/I) * to S giving representatives. Implemented when S is maximal.
Given a fractional S-ideal F, returns generators of (S/F) * .
GRH: BoolElt Default: false
Return if the argument is a principal ideal; if so the function returns also the generator. The optional parameter GRH decides whether the bound for the IsPrincipal test should be conditional. The default value is false.
GRH: BoolElt Default: false
Return the PicardGroup of the order S, which is not required to be maximal, and a map from the Picard group to a set of representatives of the ideal classes. The optional parameter GRH decides the bound for the computations of the Class group and Unit group of the maximal order. The default value is false.
GRH: BoolElt Default: false
Given orders S and T such that S ⊆T, returns the surjective extension map mathrm(Pic)(S) to mathrm(Pic)(T). The parameter GRH is passed to PicardGroup.
GRH: BoolElt Default: false
Return the unit group of a order in a étale algebra. The optional parameter GRH decides the bound for the computation of the unit group of the maximal order. The default value is false.
> _<x> := PolynomialRing(Integers()); > A := EtaleAlgebra((x^4+16)*(x^4+81)); > E := EquationOrder(A); > P, phi := PicardGroup(E); > AbelianInvariants(P); [ 2, 24, 24, 24, 24 ] > U, psi := UnitGroup(E); > TorsionInvariants(U); [ 2 ] > TorsionFreeRank(U); 2
GRH: BoolElt Default: false
Checks if I=x .J, for some x. If so, also x is returned. The optional parameter GRH decides whether the bound for the IsPrincipal test should be conditional. The default value is false.