Representatives of similarity classes of matrices over PIDs corresponding to ideal classes

Abstract For a principal ideal domain 
$A$
 , the Latimer–MacDuffee correspondence sets up a bijection between the similarity classes of matrices in 
$\textrm{M}_{n}(A)$
 with irreducible characteristic polynomial 
$f(x)$
 and the ideal classes of the order 
$A[x]/(f(x))$
 . We prove that when 
$A[x]/(f(x))$
 is maximal (i.e. integrally closed, i.e. a Dedekind domain), then every similarity class contains a representative that is, in a sense, close to being a companion matrix. The first step in the proof is to show that any similarity class corresponding to an ideal (not necessarily prime) of degree one contains a representative of the desired form. The second step is a previously unpublished result due to Lenstra that implies that when 
$A[x]/(f(x))$
 is maximal, every ideal class contains an ideal of degree one.


Introduction
Latimer and MacDuffee [4] showed that there is a bijection between the similarity classes of matrices with integer entries (i.e. the orbits under the action of GL n (Z) on M n (Z) by conjugation) with irreducible characteristic polynomial f (x) ∈ Z[x] and the ideal classes of the order Z[x]/(f (x)).Another proof of this was given by Taussky [15].Later, generalisations show that the correspondence also holds when Z is replaced by an arbitrary principal ideal domain (PID); see Section 3.
In [10], Ochoa claimed that every similarity class with characteristic polynomial f (x) contains a representative of the form where a, z ∈ Z are such that a divides f (z) and the u i ∈ Z are explicitly determined by f (x) and z (see Lemma 5.1).For the case of n = 2, a z is a general 2 × 2 matrix over Z; that is, any 2 × 2 matrix is already of the form C f (a, z) for some a, z ∈ Z, so it is trivial that every similarity class contains such a representative.Note that since f (x) is irreducible, C f (a, z) is GL n (Q)-similar to the companion matrix of f (x) and that if f (z)a −1 = ±1, then C f (a, z) is GL n (Z)-similar to the companion matrix of f (x).In general, it is often of great value to have a normal form for matrices under similarity.Ochoa's motivation was to give an explicit version of the Latimer-MacDuffee correspondence and transfer the structure of the ideal class monoid of Z[x]/(f (x)) to sets of matrices of the form C f (a, z), up to similarity.Unfortunately, [10] contains several mistakes (e.g.Theorem I-4 is not true) and while Ochoa's follow-up paper [11] was an attempt to rectify some of these mistakes, this was ultimately inconclusive, as already the central Lemma I-1 in [11] has a counter-example (see Rehm's review [12] of [11]).It seems that the approach in [10] and [11] is not salvageable.On the other hand, Rehm [13] did establish Ochoa's claim that every similarity class as above contains a representative of the form C f (a, z) under the (necessary) condition that Z[x]/(f (x)) is the maximal order (i.e. the ring of integers) of the number field Q[x]/(f (x)).(Note that Rehm used conventions that led to the transpose of C f (a, z).) The purpose of this paper is to generalise Rehm's result to the case where Z is replaced by an arbitrary PID.Our main result is Theorem 5.2.The most serious obstacle to such a generalisation is Rehm's use of the fact that every ideal class in the ring of integers of a number field contains a prime ideal of degree one.The classical proofs of this fact are rather non-trivial, based either on the Chebotarev density theorem or on analytic properties of the Dedekind zeta function, and it is not clear whether an analogous proof exists in the more algebraic setting of an arbitrary PID.Nevertheless, Rehm showed more generally (i.e. when Z[x]/(f (x)) is not necessarily maximal) that any similarity class corresponding to an ideal class containing an ideal of the form q 1 • • • q r , where r ∈ N, each q i is a prime ideal of degree one and the q i lies over pairwise distinct primes, contains a matrix C f (a, z) (see [13,Theorem 2]; note again that Rehm used the transposed matrix).Rehm's proof of this fact goes through without difficulty for the order A[x]/(f (x)), where A is an arbitrary PID and f (x) ∈ A[x] is irreducible.It is however not clear (and perhaps not even true) that if A[x]/(f (x)) is assumed to be the maximal order, hence a Dedekind domain, then each of its ideal classes contains an ideal of the form q 1 • • • q r , as above.
Generalising [13, Theorem 2], we show that any similarity class in M n (A) corresponding to an ideal class of A[x]/(f (x)) containing an ideal of the form q e 1 1 • • • q er r , where r ∈ N ∪ {0}, e i ∈ N, each q i is a prime ideal of degree one and of ramification index one, and the q i lies over pairwise distinct primes, contains a matrix C f (a, z) (note that when r = 0 we have the empty product (1), which lies in the trivial ideal class).The main point here is that, unlike Rehm, we allow higher powers of our prime ideals.We prove this by working with "ideals (not necessarily prime) of degree one".If A is a Dedekind domain with field of fractions K, L/K is a finite separable extension and B is the integral closure of A in L, then it is standard to say that a prime ideal q of B is of degree one if [B/q:A/(A ∩ q)] = 1.As a generalisation of this, we say that a proper ideal b of B is of degree one if is an isomorphism.It turns out that ideals of the form q e 1 1 • • • q er r , as above, are of degree one.In fact, we prove that any similarity class corresponding to an ideal class containing an ideal of degree one contains a matrix C f (a, z).
To prove that every similarity class contains a matrix C f (a, z) when A[x]/(f (x)) is the maximal order, it remains to show that in this case, every ideal class contains an ideal of the form q e 1 1 • • • q er r , as above.This is achieved by a result of Lenstra (Theorem 2.7), which is a strengthening of a previous result of Lenstra-Stevenhagen [5, Theorem 1] with the extra condition that the prime ideals lie over pairwise distinct primes.The proof of Theorem 2.7 was previously unpublished and kindly communicated to us by Lenstra.

Ideals of degree one
Let A be a Dedekind domain with field of fractions K, let L/K be a finite separable field extension of degree n and let B be the integral closure of A in L. Then B is a Dedekind domain (see [6, I.6.2]).An A-order in L is a subring O of L that is a finitely generated A-module such that KO = L.In particular, B is an A-order in L ( [6, I.4.7]).Moreover, every element of an A-order O is integral over A (see [14, (8.6) By the second isomorphism theorem, (A + b)/b ∼ = A/(A ∩ b), so b is of degree one if and only if the map A/(A ∩ b) → O/b induced by the embedding A → O is an isomorphism.Thus, the notion of an ideal of degree one generalises the standard notion of a prime ideal of degree one.

Lemma 2.2. Let b be an ideal of A[θ ] and a
and thus a = A ∩ (θ − z, a).This implies that the map A/a → A[θ ]/(θ − z, a) is injective.The map is also surjective, as for any g(x) that the top surjective map must be an isomorphism, that is, b = (θ − z, a).Proof.Assume that b is of degree one and choose Conversely, assume that there is a Recall that a prime ideal q of B has ramification index one (over A) if it appears with exponent 1 in the prime ideal decomposition of (A ∩ q)B, and it is called unramified if, in addition, the field extension (B/q)/(A/(A ∩ q)) is separable (see [8,Chapter I,(8.3)]).Proposition 2.4.If b is an ideal of B of degree one, then each of its prime ideal factors is of degree one.Moreover, if q 1 , . . ., q r are prime ideals of B lying over distinct primes in A (i.e.A ∩ q i = A ∩ q j for i = j), and each q i is of degree one and has ramification index one, then q e 1 1 • • • q er r is of degree one for any e i ∈ N.
Proof.Assume that b is of degree one, let q be a prime ideal factor and write b = qb , for some ideal b .Since b is of degree one, we have A + qb = B and thus (as qb ⊆ q) that is, q is of degree one.This proves the first assertion.
For the second assertion, it is enough to prove the following two statements: 1.If q is a prime ideal of B of degree one and ramification index one, then q e is of degree one, for all e ∈ N. 2. If b and c are two ideals of B of degree one such that A ∩ b is coprime to A ∩ c, then bc is of degree one.
To prove (1), let p = A ∩ q.Then, p e ⊆ A ∩ q e , so A ∩ q e = p m , for some m ≤ e.Further, we have and since q has ramification index one, it appears with multiplicity m in (pB) m , hence e ≤ m, forcing m = e, so that In order to to prove that q e is of degree one, we thus need to show that A/p e → B/q e is surjective (i.e. an isomorphism).We do this by induction on e, the case e = 1 holding because of the hypothesis that q is of degree one.Assume that the map is surjective for some i ≥ 1 and consider the commutative diagram the leftmost vertical inclusion is surjective then the middle one is as well and we will be done.But p i /p i+1 is a vector space over A/p of dimension 1 (since A is of dimension 1), and similarly, q i /q i+1 is a vector space over B/q of dimension 1.But A/p → B/q is an isomorphism, as q is of degree one, and this isomorphism is compatible with the leftmost vertical inclusion, which is therefore an injective linear map of A/p-vector spaces of dimension 1 and is hence surjective.Thus, q e has degree one for all e ∈ N.
We now prove (2).Since A ∩ b is assumed to be coprime to A ∩ c we have that b is coprime to c.By the Chinese Remainder Theorem, we thus have as well as the fact that products of coprime ideals are intersections, so that

We thus have a commutative diagram
where the rightmost inclusion is given by the inclusions in each component.This diagram immediately implies that bc is of degree one, since b and c are.
Remark.It is not true that every prime ideal factor of an ideal of B of degree one has ramification index one.For example, any ramified prime ideal of a quadratic number field has degree one (over Z).

Every ideal class contains an ideal of degree one
This section contains a proof of the following result of Lenstra.Let S be a finite set of prime ideals of B. Then, every ideal class of B contains an ideal of the form where r ∈ N ∪ {0}, e i ∈ N, each q i is a prime ideal of B of degree one such that q i ∈ S and the q i lies over pairwise distinct prime ideals of A, that is, A ∩ q i = A ∩ q j unless i = j.Note that we allow the empty product (1) = B when r = 0, so the trivial ideal class is covered.As is easily seen, this result is equivalent to Theorem 2.7, but in the proof it is more convenient to use the formulation of the latter.The proof builds on and strengthens a previous result of Lenstra and Stevenhagen [5, Theorem 1].The following two lemmas on which Theorem 2.7 depends are also due to Lenstra.
If A is a field, then B is as well so the class group of B is trivial and Theorem 2.7 likewise.Then to prove the theorem, it will be sufficient to assume for the rest of this subsection that A is not a field, in which case it is infinite.
Note that we do not require A/p to be finite in any of the statements below.
Lemma 2.5.For each positive integer m, the number of primes p of A for which |A/p| is at most m is finite.
Proof.Consider the polynomial F = q (X q − X) ∈ K[X], with q ranging over the set of prime powers (> 1) that are at most m.Since F is non-zero, it has only a finite number of zeros in A, so we can choose a ∈ A with F(a) non-zero.If p is a prime of A with |A/p| at most m, then with |A/p| = q we have a q ≡ a mod p, so p divides F(a).But F(a) has only finitely many prime divisors, which proves the lemma.
In the following lemma, note that there is always a non-zero d ∈ A such that dB ⊂ A[θ ] (i.e. the discriminant of the minimal polynomial of θ over K).Lemma 2.6.Let d be a non-zero element of A such that dB ⊂ A[θ ] and such that every prime p of A for which |A/p| is at most [L:K] divides dA.Let U be a finite set of primes of B not dividing dB, and suppose that q is a prime of degree one of B that does not divide dB.Then, there exists a non-zero element x ∈ B such that: with t ∈ N ∪ {0}, e i ∈ N, where the q 1 , . . ., q t are primes of B satisfying the following properties.
(i) q i = q and q i does not divide dB; (ii) q i is of degree one and the primes A ∩ q i and A ∩ q j are different whenever i = j; , and from Kummer-Dedekind's theorem, we obtain q = pB + (β + u)B for some u ∈ A. Moreover, we may assume that β + u ∈ q 2 (if p ⊆ q 2 , β + u ∈ q 2 would lead to q ⊆ q 2 and if p ⊆ q 2 and β + u ∈ q 2 , then β + u + u ∈ q 2 for any u ∈ p \ q 2 ).
The idea is to replace u by an element v ∈ A satisfying the conditions (a)-(c) below and show that x = β + v satisfies the statements of the lemma.In order to state condition (c), we need to introduce a bit of notation.Let r be a prime of A lying below a prime in U. Then |A/r| > [L:K] by hypothesis.There are at most [L:K] primes of B of degree one over r, so say m such primes exist.By Kummer-Dedekind's theorem, each prime s of U above r has the form rB + (β + r s )B for some r s ∈ A that is uniquely determined modulo r.Since |A/r| > [L:K] ≥ m, we can choose a r ∈ A such that a r is not congruent to any of the r s modulo r.
Let U A = {A ∩ s | s ∈ U} and consider the following three conditions.
We claim that by the Chinese Remainder Theorem for the ring A, there exists an element v ∈ A that satisfies the three conditions (a)-(c).For this, we only need to verify that the ideals appearing in the moduli in the three conditions are pairwise coprime.Indeed, u, v ∈ A so (b) is equivalent to v ≡ u mod A ∩ q 2 and dA and A ∩ q 2 are coprime since A ∩ q 2 is a power of p and q does not divide dB.Moreover, each r in (c) is different from p and each r ∈ U A is coprime to dA because this is so for A ∩ s for any s ∈ U, by hypothesis.
Furthermore, condition (b) ensures x ∈ q \ q 2 , so that q occurs exactly once in the prime factorisation of xB.Thus, this prime factorisation has the form xB = q t i=1 q e i i as in (2), for q i pairwise distinct primes of B and it follows from (1) that none of the q i divide dB.This proves (2) (i).
Next, we prove (2) (ii).Write so we obtain both that and [B/q i :A/p i ] = 1.Therefore, each q i has degree one over A, and p i = p j implies q i = q j , which implies i = j.Similarly, each p i is distinct from p because if p i = p, then q i = pB + (β + v)B = q; contradiction.It remains to prove (2) (iii), that is, that none of the q i are in U.If q i ∈ U, then p i ∈ U A \ {p} (since we have shown that p i = p), so (c) implies that v ≡ a p i mod p i .Thus, as x = β + v ∈ q i , we obtain β + a p i ∈ q i = p i B + (β + r q i )B.As β + r q i ∈ q i , we get a p i − r q i ∈ q i .But a p i , r q i ∈ A, so a p i − r q i ∈ A ∩ q i = p i , contradicting a p i ≡ r q i mod p i .Theorem 2.7.Let S be a finite set of primes of B. For every ideal class c of B, there exist a finite set T (possibly empty) of primes of degree one of B and a function e:T → N such that c contains an ideal of the form q∈T q e(q) , where 1. T is disjoint from S, 2. For any two distinct q, q ∈ T the primes A ∩ q and A ∩ q are different.
Note that in [5], the lemma is invoked for a prime q, but the condition of the lemma that q does not divide dB is disregarded.To repair this, one should introduce d earlier and add its prime divisors to S, as we do below.
Proof.First, we enlarge S in two ways.By Lemma 2.5, for only finitely many primes p of A is |A/p| at most [L:K], and the finitely many primes of B lying over such p are adjoined to S. Secondly, choose d as in Lemma 2.6, but such that d is divisible by all primes in S, and replace S by the set of prime divisors of dB in B. By [5, Theorem 1], the class group of B is generated by the primes of degree one that are not in S. Hence, the ideal class c contains a fractional ideal of the form q∈T q e(q) , where T is a finite set of primes of degree one of B, the set T is disjoint from S, and e:T → Z \ {0} is a map.
What remains to be done, is achieve (2), as well as to achieve that all e(q) are positive.We deal with these in order, first achieving (2), which requires that all A ∩ q, with q ∈ T, are pairwise different.This we do by induction on the number of "coincidences" in the product, a coincidence being defined as a prime q ∈ T for which there exists q ∈ T, q = q, with A ∩ q = A ∩ q .If there are no such q, then (2) is achieved.Next suppose that q * is a coincidence.Apply Lemma 2.6 to q = q * and U equal to the set of primes of B that lie over the same prime of A as some prime in T. Then we find, with the notation of the conclusion of Lemma 2.6, that q * is in the same ideal class as t i=1 q −e i i for certain primes q i of degree one of B not in S nor in U, with all A ∩ q i pairwise different.Thus, one can replace the factor (q * ) e(q * ) in our product by t i=1 q −e i e(q * ) i .By the choice of U, this replacement does not introduce new coincidences, and it eliminates the coincidence q * .Hence in the new product, the number of coincidences is strictly smaller than in the old product.
We have now proved that every ideal class of B contains a fractional ideal of the form q∈T q e(q) , where T is a finite set of primes of degree one of B, the set T is disjoint from S, all primes A ∩ q of A are pairwise different as q ranges over T, and e:T → Z \ {0} is a map.It remains to change this product such that all e(q) are positive.This we do by induction on the number of q ∈ T for which e(q) < 0. If this number is 0, we are done.Suppose this number is positive, and let q * ∈ T be such that e(q * ) < 0. We again apply Lemma 2.6 to the same choices of q and U, which again enables us to replace the factor (q * ) e(q * ) in our product by t i=1 q −e i e(q * ) i ; note that all exponents −e i e(q * ) are positive.By construction, this new product satisfies the same conditions as we listed for the original product, but the number of q ∈ T for which e(q) < 0 has decreased by 1.Thus, the proof is now finished by induction.
Note that the difference between the above theorem and the results in [5] is the extra condition that the q i lie over distinct prime ideals of A. This is necessary for us because from this we can deduce: Corollary 2.8.Every ideal class of B contains an ideal of degree one.
Proof.Let S be the set of prime ideals of B that are not unramified.Then, S is finite (see [8, Chapter I, (8.4)]) so by Theorem 2.7, every ideal class of B contains an ideal b that is a product of unramified prime ideals of degree one lying above pairwise distinct prime ideals of A. Since unramified primes have ramification index one, Proposition 2.4 implies that b is of degree one.

The Latimer-MacDuffee correspondence and ideal matrices
We keep the A, K, B, L set-up from before, with θ ∈ B such that L = K(θ ) and n = [L:K].From now on and throughout the rest of the paper, we assume that A is PID.The following is a well-known fact that depends on this assumption on A.

Let
be the regular embedding with respect to the basis 1, θ , . . ., θ n−1 , that is, for any In particular, if denotes the minimal polynomial of θ over K, then Let I be the kernel of the surjective homomorphism A is not necessarily a PID, it is true that I is principal.Indeed, let g(x) ∈ I be a non-zero element.Then, as f (x) is the minimal polynomial of θ over K, we have g(x) = f (x)h(x), for some monic h(x) ∈ K[x].Since A is a PID, there is a d ∈ A such that dh(x) ∈ A[x] and c(dh) = (1), where c( • ) denotes the content of a polynomial in A [x].By Gauss's lemma, d • c(g) = c(f )c(dh) = (1), so d is a unit and h(x) ∈ A[x].Thus, I = (f (x)), and we have an isomorphism The Latimer-MacDuffee correspondence is a bijection between similarity classes of matrices in M n (Z) with characteristic polynomial f (x) and ideal classes of the order Z[θ ].It was first established by Latimer and MacDuffee [4] and later given a new simpler proof by Taussky (see [15], [9, Chapter III, Section 16] and the last appendix of [3]).As shown by Bender [1] and Buccino [2], Taussky's proof translates readily to the more general situation of similarity classes of matrices over an integral domain R and classes of ideals that are free R-modules of rank n.More precisely, Lemma 3.1 together with [1, Theorem 1] imply:

Theorem 3.2. There is a canonical bijection between the similarity classes of matrices in M n (A) with characteristic polynomial f (x) and ideal classes in A[θ ].
The bijection is canonical in the following sense.Let α ∈ M n (A) have characteristic polynomial f (x).Then θ is an eigenvalue of α and since f (x) is irreducible and we have assumed that L/K is separable, all the eigenvalues (in some algebraic closure K of K) are distinct so the eigenspaces have dimension 1 over K and thus two eigenvectors corresponding to the same eigenvalue θ must be proportional (by a factor in K).Since α has an eigenvector in K(θ ) n corresponding to θ , it also has an eigenvector Then, αv = θ v implies that θ I ⊆ I, and thus, θ i I ⊆ I for every i ≥ 1, which implies that I is an ideal of A[θ ].It is then easy to see that any other choice of eigenvector v leads to an ideal that is in the same ideal class as I and that any other matrix in the similarity class of α leads to the same ideal class (see [9,Chapter III,Section 16]).

Definition 3.3. A matrix κ ∈ M n (A) is called an ideal matrix for an ideal b of A[θ ] (with respect to the basis
Such a κ always exists because left ideals in M n (A) are principal [9,Theorem II.5].
The following characterisation is taken as the definition of ideal matrix in [16] and [3].The result is essentially a theorem of MacDuffee [7], which we here translate into our notation.

Lemma 3.4. Let b be a non-zero ideal of A[θ ]
and κ ∈ M n (A).Then, the following two conditions are equivalent.

κ is an ideal matrix for b (with respect to the basis
Proof.Let a 1 , . . ., a n be an A-basis for b.In [7], the elements α 1 , . . ., α k are arbitrary generators of the ideal.We may thus take k = n and α i = a i .Recall that we have embedded A[θ ] in M n (A) via the regular embedding T.
Assume that the second condition holds and write κ = (k ij ), k ij ∈ A, so that For any 1 ≤ i, j ≤ n, write for some c ijk ∈ A. We then have, for each fixed j, (note that (c ijk ) ik = M j in the notation of [7]).For any r, i = 1, . . ., n, we then have On the other hand, since a 1 , . . ., a n is a basis for b, there exist uniquely determined elements From this we conclude that for any r, i, k = 1, . . ., n, we have Letting Q i = (q ris ) rs ∈ M n (A), for each i, the relations (3.1) and (3.3) imply that (3.4) can be rewritten as Thus, κ is a common right divisor of the matrices T(a 1 ), . . ., T(a n ).Moreover, writing for any r = 1, . . ., n (where δ ij ∈ A is the Kronecker delta) and This implies that for each r and s, p rjh k jl c hls , which, using (3.1) and (3.3), can be written κ = n j=1 P j T(a j ), where P j = (p rjh ) rh (which equals the elementary matrix with a 1 in the (j, 1)-position and has 0s everywhere else).Thus, any common right divisor of T(a 1 ), . . ., T(a n ) in M n (A) is a right divisor of κ, so κ is a greatest common right divisor and therefore that is, κ is an ideal matrix for b.
Conversely, assume that M n (A)T(b) = M n (A)κ, so that κ is a greatest common right divisor of T(a 1 ), . . ., T(a n ).Note that det(κ) = 0, or else we would have det(T(b)) = 0, which implies that b = 0.This follows from the commutative diagram where the top arrow is the regular embedding of L with respect to the K-basis 1, . . ., θ n−1 ; note that the image in M n (K) of any non-zero element of L is invertible.
Let κ ∈ M n (A) be the (uniquely determined) matrix such that We have shown above that κ must be a greatest common right divisor of T(a 1 ), . . ., T(a n ), so, as κ is invertible in M n (K), there exists an invertible matrix ω ∈ GL n (A) such that κ = ωκ .Thus, the entries of and therefore This means that (ωκ) −1 αωκ = T(θ ) and thus which lies in the same similarity class as κT(θ )κ −1 .
4. An ideal matrix for ideals of degree one Lemma 4.1.For any z ∈ A, the matrix Proof.We may perform successive elementary row operations on T(θ − z).The first operation consists of the row permutation (1, 2, 3, . . ., n): Next, starting from the second column, successively use each of the 1s on the diagonal to clear the entry just below it.This yields Finally, starting from the second column, successively use each of the 1s on the diagonal to clear the top row entry above it.The resulting matrix is the result follows.
For any a, z ∈ A, define the matrix Proposition 4.2.Assume that b is an ideal of A[θ ] of degree one and let a be a generator of A ∩ b.Then, there exists a z ∈ A such that f (z) ≡ 0 mod (a) and κ = κ(a, z) is an ideal matrix for b.
Proof.By Lemma 2.3, there exists a z ∈ A such that b = (θ − z, a).Then, θ ≡ z mod b, so f (z) ≡ f (θ ) ≡ 0 mod b and hence f (z) ≡ 0 mod (a), as f (z) ∈ A. Thus, with λ as in Lemma 4.1.Let E ij ∈ M n (A) be the matrix defined by having (i, j)-entry equal to 1 and all other entries equal to 0. Writing f (z) = am, for m ∈ A, we then have κ = λ + E 11 (1 − m)a and hence On the other hand, aI ∈ M n (A)κ since the adjoint matrix adj(κ)

Representatives of similarity classes
In the following lemma, note that κ = κ(a, z) in (4.1) is not necessarily invertible in M n (A) and that it is therefore not true in general that θ is similar (i.e.GL n (A)-conjugate) to C f (a, z).Lemma 5.1.Let a ∈ A and assume that there exists a z ∈ A such that f (z) ≡ 0 mod (a).Then, the matrix κT Proof.Define the following matrices in GL n (A): Remark.Matrices of the form C f (a, z) were first introduced by Ochoa (see [10] and [11]) who called them "A-matrices", presumably because of the shape of their non-zero entries.The matrix C f (a, z) is similar to the matrix considered by Rehm in [13], associated with an ideal a (which we have called b).The difference is that we use a more standard form of the companion matrix T(θ ) and corresponding variants of λ and κ, compared to Rehm, in order to obtain matrices C f (a, z) that agree with Ochoa's A-matrices.To see that One then easily verifies that wσ (κT(θ )κ −1 )σ −1 w −1 = a θ .
We can now finish the proof of our main result which gives conditions for similarity classes to contain matrices of the form C f (a, z) from Lemma 5.1.Recall that from Section 3 onwards we assumed that A is a PID.We have also assumed throughout that f (x) is irreducible.If A[θ ] = B, then by Corollary 2.8, every ideal class contains an ideal of degree one, so the argument above implies that every similarity class contains a matrix of the desired form.

Lemma 2 . 3 .
Let b be a proper ideal of A[θ ] and a = A ∩ b.Then, b is of degree one if and only if there exists a z ∈ A such that b = (θ − z, a).

Lemma 3 . 1 .
Let O be an A-order in L and b a non-zero ideal of O.Then, b is free of rank n over A.

Lemma 3 . 5 .
an A-basis for b.Let b be a non-zero ideal of A[θ ] and κ an ideal matrix for b (with respect to the basis 1, θ , . . ., θ n−1 of A[θ ]).The similarity class in M n (A) corresponding to the ideal class of b under the Latimer-MacDuffee correspondence contains κT(θ )κ −1 .Proof.Let α ∈ M n (A) be a representative of the similarity class corresponding to the ideal class of b.Then, αv = θ v, where the entries v 1 , . . ., v n ∈ A[θ ] of v span b over A. Since b is free of rank n over A (Lemma 3.1), the elements v 1 , . . ., v n must be linearly independent and thus form a basis for the ideal b.By Lemma 3.4 there is an ω ∈ GL n (A) such that ωκ

Theorem 5 . 2 .
Let b be an ideal of A[θ ] of degree one.The similarity class in M n (A) that corresponds to the ideal class of b under the Latimer-MacDuffee correspondence contains a matrix of the form C f (a, z), where a, z ∈ A and f (z) ≡ 0 mod (a).In particular, if A[θ ] = B is the maximal order, then every similarity class in M n (A) contains a matrix of this form.Proof.Let C be a similarity class in M n (A) corresponding to the ideal class of b.By Lemma 3.5, C contains a matrix αT(θ )α −1 , where α is an ideal matrix for b.By Proposition 4.2, there exists a z ∈ A such that f (z) ≡ 0 mod (a), where a is a generator of A ∩ b and κ = κ(a, z) is an ideal matrix for b.Thus the similarity class of C contains κT(θ )κ −1 , so by Lemma 5.1 C contains C f (a, z).