Quelle  example25.tst   Sprache: unbekannt

#
gap> START_TEST("example25.tst");

# Example 2.5
gap> br := SmallBrace(6,2);;
gap> add := UnderlyingAdditiveGroup(br);;
gap> mul := UnderlyingMultiplicativeGroup(br);;
gap> IdGroup(add);
[ 6, 2 ]
gap> IdGroup(mul);
[ 6, 2 ]
gap> StructureDescription(add);
"C6"
gap> StructureDescription(mul);
"C6"
gap> l := [];;
gap> for k in [1..NrSmallBraces(6)] do
> x := SmallBrace(6,k);
> if IdGroup(UnderlyingAdditiveGroup(x))=IdGroup(add)\
> and IdGroup(UnderlyingMultiplicativeGroup(x))=IdGroup(mul) then
> Add(l,k);
> fi;
> od;
gap> l;
[ 2 ]
gap> left_ideals := ShallowCopy(LeftIdeals(br));;
gap> SortBy(left_ideals,Size);
gap> List(left_ideals, IdBrace);
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 6, 2 ] ]
gap> List(left_ideals, x->IsIdeal(br, x));
[ true, true, true, true ]
gap> 

#
gap> STOP_TEST("example25.tst", 1);