2
$\begingroup$

In MAGMA, if you are dealing with an element $x\in H$ for some group $H$, and you know that $H for some group $G$, is there an easy way to coerce $x$ into $G$ (e.g. if $H=\text{Alt}(n)$ and $G=\text{Alt}(n+k)$ for some $k\geq 1$)? The natural coercion method $G!x$ does not seem to work.

  • 0
    No need to apologize; after all, the correct tag didn't even exist when you asked this question.2012-11-02

2 Answers 2

4

G!CycleDecomposition(g);

will work

  • 0
    Thanks for the quick and helpful responses.2012-11-02
2

One way would be to define the inclusion homomorphism $H \hookrightarrow G$ and apply it to your element $x$. See http://magma.maths.usyd.edu.au/magma/handbook/text/547#5783 for how to define homomorphisms.