[GAP Forum] Permutizer Condition

lopo apelo kosho helo_07 at yahoo.com
Wed Jul 14 17:29:44 BST 2021


Dear Friends,
I am writing a GAP code to check on the normalizer condition. Recall that a finite group G satisfies the  normalizer condition iff for each proper subgroup H of G H is Proper in its normalizer. 
I have constructed the following code: 

#################
 IsNormalizerGroup:=function(g) local s,i;
> if IsAbelian(g) then return true;
> fi;
> if IsPGroup(g) then return true;
> fi;
> s:=Difference(Subgroups(g),[g]);
> for i in [1..Size(g)] do
return false;
> if Order(Normalizer(g,s[i]))=Order(s[i]) then
> return false;
> fi;
> od;
> return true;
> end;
function( g ) ... end
#################
but when I checked for the direct product group D:= C3X Q8
I get the following error: 


Error, List Element: <list>[20] must have an assigned value in
  if Order( Normalizer( g, s[i] ) ) = Order( s[i] ) then
    return false;
fi; at *stdin*:2805 called from
<function "IsD3Group">( <arguments> )
 called from read-eval loop at *stdin*:2809
you can 'return;' after assigning a value
################################################

I still do not know how to fix it
Any suggestions please. 
Thank you.    



More information about the Forum mailing list