36.13 Subgroups characterized by prime powers

For a p-group G, one defines W_n (G ) = { g Î G \mid g^{p n} = 1 }. The default value for n is 1.

@At the moment methods exist only for abelian G and n=1.@

gap> h:=SmallGroup(16,10);
<pc group of size 16 with 4 generators>
gap> Omega(h,2);
Group([ f4, f2, f3 ])

For a p-group G, one defines \mho_n (G) = ág^{p n} \mid g Î G ñ. The default value for n is 1.

gap> Agemo(h,2);Agemo(h,2,2);
Group([ f4 ])
Group([  ])

[Top] [Previous] [Up] [Next] [Index]