Definition
SL(2,C) × SL(2,C)
SL(2,C) × SL(2,C) as a separately identified complex Lie group, with its defining operations and dimension.
The product Lie group has two copies of as factors, with componentwise multiplication.
Dimensions and structure
This group has real dimension , complex dimension . The two factors commute, and the manifold dimension is the sum of their dimensions. It is simply connected.
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.
Direct verification
Products carry componentwise multiplication and inversion and the product manifold structure. Dimensions add, and the two projections and the inclusions of each factor are smooth homomorphisms.