Engineering↗
Ideal Representation by Two Elements
Representing an ideal by two generators, why two always suffice, and the trade-off against the canonical matrix form.
Every page in the KEVOS library tagged Dedekind Domain. 3 pages.
Representing an ideal by two generators, why two always suffice, and the trade-off against the canonical matrix form.
Ideals and fractional ideals, unique factorisation into primes, and the group structure that makes the class group possible.
Orders, the maximal order, fractional and integral ideals, unique factorisation of ideals in a Dedekind domain, ideal arithmetic by Hermite normal form, and the two-element repr…