jud

85 Reputation

4 Badges

0 years, 269 days

MaplePrimes Activity


These are questions asked by jud

with(GroupTheory):

st := time();
RightCosets(SymmetricGroup(10), SymmetricGroup(11));
time() - st;

0.047

Note GroupOrder(SymmetricGroup(11)) is 39916800. It is a very large group. This seems unimaginable to me. Can I know how maple does it?

As we know, when every Gi is normal in G, then the series is called a normal series:

cs := CompositionSeries(DihedralGroup(8))

We can draw it:

DrawSubgroupLattice(DihedralGroup(8), labels = ids, highlight = cs)

And all Gi is normal in G:

IsNormal~(cs, DihedralGroup(8))

[true, true, true, true, true]

But why type(cs, 'NormalSeries') will get false.. It is a bug or do I have a misunderstanding?

When The subgraph is too many, the label will hide automatically. Such as:

DrawSubgroupLattice(SmallGroup(200, 31), labels = ids)

But the labels is important to me. I can accept a more larger graph and more smaller text in labels. Is it possible?

Generators(SmallGroup(60, 10))

Wii get this result:

But I hope to copy this junk information into my clipboard.

But my clipboard just get such information:

[module() ... end module,module() ... end module,module() ... end module,module() ... end module]

Or I copy it as Latex format, I will get those extra \left\right:


\left[\left(1,4,5\right)\left(2,9,10\right)\left(3,13,14\right)\left(6,17,19\right)\left(7,18,20\right)\left(8,23,24\right)
\\
\left(11,27,29\right)\left(12,28,30\right)\left(15,33,35\right)\left(16,34,36\right)\left(21,39,41\right)
\\
\left(22,40,42\right)\left(25,43,45\right)\left(26,44,46\right)\left(31,49,51\right)\left(32,50,52\right)
\\
\left(37,53,55\right)\left(38,54,56\right)\left(47,57,59\right)\left(48,58,60\right),
\\
\left(1,6,21,22,7\right)\left(2,11,31,32,12\right)\left(3,15,37,38,16\right)
\\
\left(4,17,39,40,18\right)\left(5,19,41,42,20\right)\left(8,25,47,48,26\right)
\\
\left(9,27,49,50,28\right)\left(10,29,51,52,30\right)\left(13,33,53,54,34\right)
\\
\left(14,35,55,56,36\right)\left(23,43,57,58,44\right)\left(24,45,59,60,46\right),
\\
\left(1,2\right)\left(3,8\right)\left(4,9\right)\left(5,10\right)\left(6,12\right)\left(7,11\right)\left(13,23\right)\left(14,24\right)
\\
\left(15,26\right)\left(16,25\right)\left(17,28\right)\left(18,27\right)\left(19,30\right)\left(20,29\right)\left(21,32\right)
\\
\left(22,31\right)\left(33,44\right)\left(34,43\right)\left(35,46\right)\left(36,45\right)\left(37,48\right)\left(38,47\right)
\\
\left(39,50\right)\left(40,49\right)\left(41,52\right)\left(42,51\right)\left(53,58\right)\left(54,57\right)\left(55,60\right)
\\
\left(56,59\right),
\\
\left(1,3\right)\left(2,8\right)\left(4,13\right)\left(5,14\right)\left(6,15\right)\left(7,16\right)\left(9,23\right)\left(10,24\right)
\\
\left(11,25\right)\left(12,26\right)\left(17,33\right)\left(18,34\right)\left(19,35\right)\left(20,36\right)\left(21,37\right)
\\
\left(22,38\right)\left(27,43\right)\left(28,44\right)\left(29,45\right)\left(30,46\right)\left(31,47\right)\left(32,48\right)
\\
\left(39,53\right)\left(40,54\right)\left(41,55\right)\left(42,56\right)\left(49,57\right)\left(50,58\right)\left(51,59\right)
\\
\left(52,60\right)\mathrm{
\\}\right]

But I just want to copy the output what I have seen

When I run this code, I will get a error information:

CompositionSeries(SmallGroup(336, 209))

It's mean this function just work in transitive group? But IsTransitive(SmallGroup(336, 209)) will get true. Is it a bug of maple? Or do I have any misunderstandings?

1 2 3 Page 1 of 3