2010
DOI: 10.1016/j.laa.2009.12.019
|View full text |Cite
|
Sign up to set email alerts
|

Subalgebras of matrix algebras generated by companion matrices

Abstract: Let f, g ∈ Z[X] be monic polynomials of degree n and let C, D ∈ M n (Z) be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra Z C, D to be a sublattice of finite index in the full integral lattice M n (Z), in which case we compute the exact value of this index in terms of the resultant of f and g. If R is a commutative ring with identity we determine when R C, D = M n (R), in which case a presentation for M n (R) in terms of C and D is given.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
12
0

Year Published

2012
2012
2016
2016

Publication Types

Select...
3

Relationship

2
1

Authors

Journals

citations
Cited by 3 publications
(12 citation statements)
references
References 9 publications
0
12
0
Order By: Relevance
“…By Lemma 3.2 of [GS2], f divides p n−1 s and hence p n−1 g. It follows that h divides p n−1 , so p n−1 = 0. Proceeding like this with e 2 , ..., e n−1 we see that p n−2 = p n−3 = ... = p 1 = 0.…”
Section: Corollarymentioning
confidence: 89%
See 3 more Smart Citations
“…By Lemma 3.2 of [GS2], f divides p n−1 s and hence p n−1 g. It follows that h divides p n−1 , so p n−1 = 0. Proceeding like this with e 2 , ..., e n−1 we see that p n−2 = p n−3 = ... = p 1 = 0.…”
Section: Corollarymentioning
confidence: 89%
“…We let R C, D stand for the subalgebra of M n (R) generated by C and D, and R[C, D] for the R-span of all matrices C i D j , where 0 ≤ i, j < n. It is shown in Corollary 6.3 of [GS2] that R C, D = R [C, D]. Moreover, Theorem 9.2 of [GS2] shows that if R is a unique factorization domain then R C, D is necessarily a free R-module of rank n + (n − m)(n − 1), and Theorem 9.3 of [GS2] gives a presentation for R C, D in terms of C, D. As indicated in the Introduction, we wish to extend these results to the more general setting of integrally closed domains as well as furnishing a counterexample to the freeness of R C, D when R = Z[ √ 5].…”
Section: Corollarymentioning
confidence: 99%
See 2 more Smart Citations
“…Moreover, K(C) may be regarded as an algebra over F by the bilinearity of the mapping f : K(C) × K(C) → K(C) defined as f (K(C, a), K(C, b)) = K(C, b(C)a) (also see [8]). …”
Section: Krylov Matrices Of the Companion Matrixmentioning
confidence: 99%