Pensieve Header: Finding the inner automorphisms of Γ, assuming constant coefficients.

dir=SetDirectory["C:/drorbn/AcademicPensieve/2014-06/"];
<< MetaCalculi/MetaCalculi-Program.m

(Subscript[α, n_,a_,a_]):=1-Sum[(Subscript[α, n,b,a]), {b, Delete[Range[n],a]}];
γ[n_]:=Γ[ω, (∑_(a=0)^n)(Subscript[h, a])(Subscript[σ, a]), (∑_(a=1)^n)(∑_(b=1)^n)(Subscript[t, a])(Subscript[h, b])(Subscript[α, n,a,b])]

γ[2]

γ[2] // dS[2] // dm[1,2,1]

γ[4] // dS[2] // dm[1,2,1]

(Subscript[α, 4,1,3])=-(Subscript[α, 4,2,3]); (Subscript[α, 4,1,4])=-(Subscript[α, 4,2,4]); (Subscript[α, 4,3,1])=-(Subscript[α, 4,4,1])+(Subscript[α, 4,3,2])+(Subscript[α, 4,4,2]); (Subscript[α, 4,4,1])=(Subscript[α, 4,4,2]);
{γ[4], γ[4] // dS[2] // dm[1,2,1]}

γ[4] // dS[1] // dm[2,1,1]

{γ[4], γ[4] // dS[3] // dm[2,3,2]}

(Subscript[α, 4,2,1])=-(Subscript[α, 4,3,2]); (Subscript[α, 4,2,4])=-(Subscript[α, 4,3,4]); (Subscript[α, 4,4,3])=(Subscript[α, 4,1,2])+(Subscript[α, 4,2,3])+(Subscript[α, 4,4,2]); (Subscript[α, 4,1,2])=-(Subscript[α, 4,2,3]);
{γ[4], γ[4] // dS[3] // dm[2,3,2]}

{γ[4], γ[4] // dS[4] // dm[3,4,3]}

(Subscript[α, 4,2,3])=-(Subscript[α, 4,3,4]); (Subscript[α, 4,3,2])=-(Subscript[α, 4,4,2]);
{γ[4], γ[4] // dS[4] // dm[3,4,3]}

{γ[4], γ[4] // dS[1] // dm[4,1,4]}

(Subscript[α, 4,3,4])=-(Subscript[α, 4,4,2]);
{γ[4], γ[4] // dS[1] // dm[4,1,4]}

γ6=Γ[ω, (∑_(a=0)^6)(Subscript[h, a])(Subscript[σ, a]),(∑_(b=1)^6)(Subscript[t, b])(Subscript[h, b])+ (∑_(a=1)^6)(∑_(b=1)^6)(Subscript[t, a])(Subscript[h, b])(((-1))^a)α]

{γ6//dS[2]//dm[1,2,1], γ6//dS[3]//dm[2,3,2]}