1
$\begingroup$

Can anybody guide me towards, how I can compute semidirect product of $\mathrm{PSL}(3,4)$ and $\mathbb Z_2$ by magma? Indeed, I dont know how construct map $\phi: H \to \mathrm{Aut}(N)$, when $H=\mathbb Z_2$ and $N=\mathrm{PSL}(3,4)$, for operation SemidirectProduct$(N, H, \phi)$.

$\endgroup$
2
$\begingroup$

Here's one way to do it.

K:=PSL(3,4);
H:=CyclicGroup(2);
A:=AutomorphismGroup(K);
/* A.1 is an automorphism of order 2 */
phi:= hom< H -> A | <H.1,A.1> >;
G:=SemidirectProduct(K,H,phi);

Notice that the codomain of phi is A, which has type GrpAuto. I'm not sure if this is a requirement of the map or not.

$\endgroup$
  • $\begingroup$ I can't see your error, but try it on their online calculator: magma.maths.usyd.edu.au/calc Add another line that prints G. $\endgroup$ – JMag Jan 19 '17 at 21:57
  • $\begingroup$ Thanks for the answer. When I use it, the followin error occurs: Identifier 'SemidirectProduct has not been declared or assigned. $\endgroup$ – user407524 Jan 19 '17 at 21:59
  • $\begingroup$ That means you are using a version of Magma that does not have the function SemidirectProduct. In your question, you made it sound like you were had an issue getting the function SemidirectProduct working correctly. What exactly is your original question about then? $\endgroup$ – JMag Jan 19 '17 at 22:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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