Matrix fields, regular and irregular: A complete fundamental characterization
type: Item
instance of: scholarly article
title: Matrix fields, regular and irregular: A complete fundamental characterization
zbMATH Open document ID: 0606.16011
DOI: 10.1016/0024-3795(86)90254-5
author: Jacob T. B. jun. Beard
published in: Linear Algebra and its Applications
publication date: 1986-01-01T00:00:00Z
review text: Let F be a field and \((F)_ n\) the algebra of \(n\times n\) matrices over F. Let p (zero or prime) be the characteristic of F and let \(F_ p\) be its prime subfield. It is obvious that every extension field K of \(F_ p\) with [K: \(K\cap F]\leq n\) can be embedded in \((F)_ n\). This paper deals with the nature of the embeddings of fields in \((F)_ n\) in the case where [F: \(F_ p]\) is finite. Let K be a subfield of \((F)_ n\). All elements of K have the same rank, m say. Using a similarity we may diagonalize the identity of K and hence K becomes similar to \(K_ 0\oplus 0_{n-m}\) where \(K_ 0\subseteq (F)_ m\) contains the identity \(m\times m\) matrix. Thus, in classifying K, we may assume \(m=n\). Then K contains the scalar matrices \(F_ pI\). Also \(K=F_ p(A)\) for some \(n\times n\) matrix A over F. As a generator of K over \(F_ p\), A has a minimal polynomial \(g(x)\in F_ p[x]\). (This is also the minimal polynomial of A regarded as a matrix over \(F_ p\) where F is represented in the regular way over \(F_ p)\) and as an element of \((F)_ n\) it has a minimal polynomial f(x). The relationship between f(x) and g(x) is explored in this paper. Related to this is the problem of describing all the scalar matrices in K. Let \(S_ n(K)=\{a\in F|\) aI\(\in K\}\). Let \(F_ f\) be the field generated over \(F_ p\) by the coefficients of f. It is clear that \(S_ n(K)\subseteq F_ f\) but equality may not hold. The quite subtle connection between \(S_ n(K)\) and \(F_ f\) is studied, particularly in the case where K is normal over \(F_ p\). The paper contains nice results linking this problem to the Galois action on the prime factors of g(x) over F.
Mathematics Subject Classification ID: 16S50
Mathematics Subject Classification ID: 15A30
Mathematics Subject Classification ID: 11T06
Mathematics Subject Classification ID: 16P10
Mathematics Subject Classification ID: 16Gxx
Mathematics Subject Classification ID: 15B33
zbMATH DE Number: 3979284
zbMATH Keywords: algebra of n\(\times n\) matrices
zbMATH Keywords: embeddings of fields
zbMATH Keywords: scalar matrices
zbMATH Keywords: minimal polynomial
zbMATH Keywords: Galois action
MaRDI profile type: Publication
full work available at URL: 0024-3795(86)90254-5
OpenAlex ID: W1965566387
cites work: Matrix fields over prime fields
cites work: Matrix fields over finite extensions of prime fields
cites work: The number of matrix fields over GF(q)
cites work: A rational canonical form for matrix fields
cites work: Computing in GF(q)
cites work: Matrix fields over the integers modulo m
cites work: Matrix field extensions
cites work: Some Primitive Polynomials of the Third Kind
cites work: Q3253828
cites work: Multiple Kunneth Formulas for Abelian Groups
cites work: Q5328221
cites work: A note on subfields of matrix rings
cites work: Q3216750
cites work: Q5518490
cites work: Structure theorems for radical extensions of fields
cites work: Q5811214
cites work: Q5519171
cites work: On Symmetric Representations of Finite Fields
cites work: Matrix fields over GF(q)
cites work: Q5732721
description: scientific article; zbMATH DE number 3979284