Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In MAGMA, if you are dealing with an element $x\in H$ for some group $H$, and you know that $H<G$ 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.

share|cite|improve this question
I think holding someone over magma is probably a good method of coercion. (Apologies for the nonconstructive comment, but I couldn't resist.) – Cameron Buie Nov 2 '12 at 9:14
Why didn't I think of that! – David Ward Nov 2 '12 at 9:19
Sorry that is my mistake for using the worng MAGMA tag! Many apologese. – David Ward Nov 2 '12 at 10:33
No need to apologize; after all, the correct tag didn't even exist when you asked this question. – Ilmari Karonen Nov 2 '12 at 10:38
up vote 3 down vote accepted


will work

share|cite|improve this answer
Thanks for the quick and helpful responses. – David Ward Nov 2 '12 at 10:36

One way would be to define the inclusion homomorphism $H \hookrightarrow G$ and apply it to your element $x$. See for how to define homomorphisms.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.