OFFSET
0,4
COMMENTS
By the structure theorem for compact Lie groups, every compact connected Lie group is a finite central quotient of a product of copies of the circle group U(1) and compact simple Lie groups which are all known due to Cartan's classification. This sequence counts only those which are direct products of such groups.
FORMULA
G.f.: 1/((1-x)*(1-x^3)^2*(1-x^8)^2*(1-x^10)^2*(1-x^14)*...) = (1/(1-x)) * Product_{k>=0} (1-x^k)^A178176(k) with (1-x^k)^0 taken to be 1.
EXAMPLE
For n=0, the trivial group is the only such group.
For n=8, the 8 Lie groups are U(1)^8, U(1)^5 x SU(2), U(1)^5 x SO(3), U(1)^2 x SU(2)^2, U(1)^2 x SU(2) x SO(3), U(1)^2 x SO(3)^2, SU(3) and SU(3)/3.
CROSSREFS
KEYWORD
nonn
AUTHOR
Andrew Rupinski, Dec 18 2010
STATUS
approved