# Orthogonal similitude group for the standard dot product

This article defines a natural number-parametrized system of algebraic matrix groups. In other words, for every field and every natural number, we get a matrix group defined by a system of algebraic equations. The definition may also generalize to arbitrary commutative unital rings, though the default usage of the term is over fields.

View other linear algebraic groups|View other affine algebraic groups

## Contents

## Definition

Let be a field and a natural number. The **orthogonal similitude group for the standard dot product ** of degree over , sometimes denoted or , is the multiplicative group of all matrices such that is a nonzero scalar matrix. The scalar value is termed the *factor of similitude* or *ratio of similitude* of the particular matrix.

This is a special case of the more general notion of orthogonal similitude group for a symmetric bilinear form.

## As a map

### As a functor from fields to groups

Fix . Then the map sending a field to the group is a functor.

Note that the orthogonal similitude groups do *not* form a sub-IAPS of the GL IAPS. In other words, concatenating two orthogonal similtude matrices need not yield an orthogonal similitude matrix. The problem is that the factor of similitude need not be equal for both.

## Relation with other linear algebraic groups

### Supergroups

### Subgroups

- Special orthogonal similitude group: This is its intersection with the special linear group. Note that for the factor of similitude for a special orthogonal similitude matrix must be an root of unity.
- Orthogonal group: The subgroup comprising matrices with factor of similitude .
- Special orthogonal group: The subgroup comprising matrices with factor of similitude and determinant .

### Group and subgroup operations

## Particular values

### Finite fields

Size of field | Order of matrices | Common name for the orthogonal similitude group | Order of the orthogonal similitude group | Comment |
---|---|---|---|---|

2 | 1 | Trivial group | Trivial | |

3 | 1 | Cyclic group:Z2 | group of prime order | |

4 | 1 | Cyclic group:Z3 | group of prime order | |

5 | 1 | Cyclic group:Z4 | cyclic group of prime power order | |

2 | 2 | Cyclic group:Z2 | group of prime order | |

3 | 2 | SmallGroup(16,8) | group of prime power order, hence nilpotent | |

4 | 2 | Alternating group:A4 | solvable but not nilpotent or supersolvable |