The poincare group consists of the lorentz group + translations. It is SO(3,1).

x'u=Tuv*xv+au

Let g(L,a) in P+
g(L',a')g(L,a) = g(L'L,a'+L'a)

=> Translations a normal subgroup

=> P+= semi direct product(T,L+)