# The Unapologetic Mathematician

## The Determinant of Unitary and Orthogonal Transformations

Okay, we’ve got groups of unitary and orthogonal transformations (and the latter we can generalize to groups of matrices over arbitrary fields. These are defined by certain relations involving transformations and their adjoints (transposes of matrices over more general fields). So now that we’ve got information about how the determinant and the adjoint interact, we can see what happens when we restrict the determinant homomorphism to these subgroups of $\mathrm{GL}(V)$.

First the orthogonal groups. This covers orthogonality with respect to general (nondegenerate) forms on an inner product space $\mathrm{O}(V,B)$, the special case of orthogonality with respect to the underlying inner product $\mathrm{O}(V)$, and the orthogonal matrix group over arbitrary fields $\mathrm{O}(n,\mathbb{F})\subseteq\mathrm{GL}(n,\mathbb{F})$. The general form describing all of these cases is

$\displaystyle O^*BO=B$

where $O^*$ is the adjoint or the matrix transpose, as appropriate. Now we can take the determinant of both sides of this equation, using the fact that the determinant is a homomorphism. We find

$\displaystyle\det(O^*)\det(B)\det(O)=\det(B)$

Next we can use the fact that $\det(O^*)=\det(O)$. We can also divide out by $\det(B)$, since we know that $B$ is invertible, and so its determinant is nonzero. We’re left with the observation that

$\displaystyle\det(O)^2=1$

And thus that the determinant of an orthogonal transformation $O$ must be a square root of ${1}$ in our field. For both real and complex matrices, this says $\det(O)=\pm1$, landing in the “sign group” (which is isomorphic to $\mathbb{Z}_2$).

What about unitary transformations? Here we just look at the unitarity condition

$\displaystyle U^*U=I_V$

We take determinants

$\displaystyle\det(U^*)\det(U)=\det(I_V)=1$

and use the fact that the determinant of the adjoint is the conjugate of the determinant

$\displaystyle\overline{\det(U)}\det(U)=\lvert\det(U)\rvert^2=1$

So the determinant of a unitary transformation $U$ must be a unit complex number in the circle group (which, incidentally, contains the sign group above).

It seems, then, that when we take determinants the analogy we’ve been pushing starts to come out. Unitary (and orthogonal) transformations are like complex numbers on the unit circle, and their determinants actually are complex numbers on the unit circle.

### Like this:

Posted by John Armstrong | Algebra, Linear Algebra

## 2 Comments	»

1. [...] the determinant of a unitary transformation is a unit complex number, and the determinant of a positive-semidefinite transformation is a nonnegative real number. If is [...]

Pingback by | August 19, 2009 | Reply

2. [...] the determinant on itself, but we can easily restrict it to any subgroup. We actually know that for unitary and orthogonal transformations the image of this homomorphism must lie in a particular subgroup of . But in any case, the [...]

Pingback by | September 8, 2009 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 19, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8912826776504517, "perplexity_flag": "head"}