Definition
O(3,C)
O(3,C) as a separately identified complex Lie group, with its defining operations and dimension.
is the orthogonal group
with matrix multiplication. The preserved form is the complex bilinear form ; transpose here does not include complex conjugation.
Dimensions and structure
This group has real dimension , complex dimension . Its tangent algebra consists of skew-symmetric matrices, . It has two connected components distinguished by determinant. A Hermitian form would instead lead to a real unitary group; the complex orthogonal group uses a bilinear form.
Its complex Lie group structure uses holomorphic multiplication and inversion. Forgetting the complex structure gives the underlying real Lie group; real and holomorphic homomorphisms belong to different categories.
References
- Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §6.1, pp. 38–39; Proposition 6.3 and Exercise 6.5.