Subalgebras of matrix algebras generated by companion matrices. (Q962101): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On a class of presentations of matrix algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5563439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recognition of matrix rings. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5340151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation of tiled matrix rings as full matrix rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrices, idealisers, and integer quaternions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A closed formula for the product in simple integral extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hidden Matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recognition of matrix rings / rank | |||
Normal rank |
Latest revision as of 16:21, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Subalgebras of matrix algebras generated by companion matrices. |
scientific article |
Statements
Subalgebras of matrix algebras generated by companion matrices. (English)
0 references
6 April 2010
0 references
Let \(f, g\) in \(\mathbb{Z}[X]\) be monic polynomials of degree \(n\) and \(C,D\) in \(M_n(\mathbb{Z})\) be the corresponding companion matrices. The authors find necessary and sufficient conditions for the subalgebra \(\mathbb{Z}\langle C,D\rangle\) to be a sublattice of finite index in the full integral lattice \(M_n(\mathbb{Z})\). Section 5 gives necessary and sufficient conditions for \(C\) and \(D\) to generate \(M_n(R)\), while Section 8 determines how they do it. If \(R\) is a unique factorization domain, Section 9 exhibits a presentation of \(R(C,D)\), proves it to be a free \(R\)-module, and computes its rank. In Section 11 they find the exact index of \(\mathbb{Z}(C,D)\) in \(M_n(\mathbb{Z})\) and extend this result to other number rings. The index is obtained by means of a determinantal identity, found in Section 10. Section 6 proves that \(R[C,D]=R\langle C,D\rangle\). A more detailed discussion of this is given in Section 7.
0 references
matrix algebras
0 references
companion matrices
0 references
integral matrices
0 references
presentations
0 references
resultants
0 references