# Difference between revisions of "Unitary group"

(Created page with "==Definition== Suppose <math>L</math> is a separable quadratic extension of a field <math>K</math> and <math>\sigma:L \to L</math> is the unique automorphism of <math>L</math...") |
|||

Line 13: | Line 13: | ||

===For a finite field=== | ===For a finite field=== | ||

− | If <math>K</math> is the (unique up to isomorphism) finite field of size a prime power <math>q</math>, there is a unique quadratic extension <math>L</math> of <math>K</math>, and this extension is separable. The extension field is the finite field (unique up to isomorphism) of order <math>q^2</math>. The automorphism <math>\sigma</math> is the map <math>x \mapsto x^q</math>. The unitary group for this extension may be denoted <math>U(n,q)</math> (the more standard choice) or <math>U(n,q^2)</math> (a less standard choice). Note that due to the | + | If <math>K</math> is the (unique up to isomorphism) finite field of size a prime power <math>q</math>, there is a unique quadratic extension <math>L</math> of <math>K</math>, and this extension is separable. The extension field is the finite field (unique up to isomorphism) of order <math>q^2</math>. The automorphism <math>\sigma</math> is the map <math>x \mapsto x^q</math>. The unitary group for this extension may be denoted <math>U(n,q)</math> (the more standard choice) or <math>U(n,q^2)</math> (a less standard choice). Note that due to the ambiguity of notation, it is important to understand from context what exactly is meant. |

## Latest revision as of 15:19, 30 August 2012

## Definition

Suppose is a separable quadratic extension of a field and is the unique automorphism of that fixes pointwise. The **unitary group** of degree for this quadratic extension, denoted (if the extension being referred to is understood) is defined as the subgroup of the general linear group comprising those matrices on which the transpose-inverse map gives the same result as the entry-wise application of .

Here, is the matrix obtained by applying to each of the entries of .

### For the real and complex numbers

The most typical usage of the term *unitary group* is in the context where is the field of real numbers, is the field of complex numbers, and the automorphism is complex conjugation. In this case, the group is the subgroup of the general linear group comprising those matrices whose complex conjugate equals the transpose-inverse. When it's understood that we are working over the complex numbers, this group is sometimes just denoted .

### For a finite field

If is the (unique up to isomorphism) finite field of size a prime power , there is a unique quadratic extension of , and this extension is separable. The extension field is the finite field (unique up to isomorphism) of order . The automorphism is the map . The unitary group for this extension may be denoted (the more standard choice) or (a less standard choice). Note that due to the ambiguity of notation, it is important to understand from context what exactly is meant.