Namespaces
Variants
Actions

Difference between revisions of "Unipotent matrix"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
A square matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954201.png" /> over a ring for which the matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954202.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954203.png" /> is the order of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954204.png" />, is nilpotent, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954205.png" />. A matrix over a field is unipotent if and only if its [[Characteristic polynomial|characteristic polynomial]] is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954206.png" />.
+
<!--
 +
u0954201.png
 +
$#A+1 = 10 n = 0
 +
$#C+1 = 10 : ~/encyclopedia/old_files/data/U095/U.0905420 Unipotent matrix
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A matrix group is called unipotent if every matrix in it is unipotent. Any unipotent subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954207.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954208.png" /> is a field, is conjugate in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u0954209.png" /> to some subgroup of a special triangular group (Kolchin's theorem). This assertion is also true for unipotent groups over a skew-field, if the characteristic of the latter is either 0 or greater than some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095420/u09542010.png" />.
+
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
A square matrix  $  A $
 +
over a ring for which the matrix  $  A - I _ {n} $,
 +
where  $  n $
 +
is the order of  $  A $,
 +
is nilpotent, i.e.  $  ( A - I _ {n} )  ^ {n} = 0 $.
 +
A matrix over a field is unipotent if and only if its [[Characteristic polynomial|characteristic polynomial]] is  $  ( x - 1)  ^ {n} $.
 +
 
 +
A matrix group is called unipotent if every matrix in it is unipotent. Any unipotent subgroup of $  \mathop{\rm GL} ( n, F  ) $,  
 +
where $  F $
 +
is a field, is conjugate in $  \mathop{\rm GL} ( n, F  ) $
 +
to some subgroup of a special triangular group (Kolchin's theorem). This assertion is also true for unipotent groups over a skew-field, if the characteristic of the latter is either 0 or greater than some $  \gamma ( n) $.

Latest revision as of 08:27, 6 June 2020


A square matrix $ A $ over a ring for which the matrix $ A - I _ {n} $, where $ n $ is the order of $ A $, is nilpotent, i.e. $ ( A - I _ {n} ) ^ {n} = 0 $. A matrix over a field is unipotent if and only if its characteristic polynomial is $ ( x - 1) ^ {n} $.

A matrix group is called unipotent if every matrix in it is unipotent. Any unipotent subgroup of $ \mathop{\rm GL} ( n, F ) $, where $ F $ is a field, is conjugate in $ \mathop{\rm GL} ( n, F ) $ to some subgroup of a special triangular group (Kolchin's theorem). This assertion is also true for unipotent groups over a skew-field, if the characteristic of the latter is either 0 or greater than some $ \gamma ( n) $.

How to Cite This Entry:
Unipotent matrix. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Unipotent_matrix&oldid=49081
This article was adapted from an original article by D.A. Suprunenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article