# Can MAGMA compute almost projective $kG$-homomorphisms?

Let $$G$$ be a finite group and $$k$$ be a finite field (big enough) whith char$$(k)=p$$ and $$p\mid |G|$$.

Let $$M$$ be a finitely generated $$kG$$-module.

We denote the first syzygy of $$M$$ by $$\Omega(M)$$, i.e. $$\Omega(M):=\text{Ker}(p)$$ where $$P\stackrel{p}{\rightarrow} M$$ is a minimal projective cover of $$M$$.

$${}$$

A $$kG$$-homomorphism $$m: M\rightarrow \Omega(M)$$ is called almost projective,

if $$m$$ is a generator of the simple socle of $$\text{Hom}_{kG}(M,\Omega(M))/\text{Proj}_{kG}(M,\Omega(M))$$ as $$\text{End}_{kG}(M)$$-module.

$${}$$

Here, $$\text{Proj}_{kG}(M,\Omega(M))$$ is the set of all projective $$kG$$-homomorphisms from $$M$$ to $$\Omega(M)$$ (i.e. those that factor through a projective $$kG$$-module).

$${}$$

I would like to ask the following question:

Can MAGMA produce / compute such an almost projective $$kG$$-homomorphism $$m$$?

Thank you very much for the help.

EDIT (9th April): The motivation is to construct almost split sequences with MAGMA and this is related to the following earlier question:

https://math.stackexchange.com/questions/3317886/can-magma-compute-auslander-reiten-sequences-in-group-algebras

Magma can compute projective covers and a syzygy, first off. Then it can compute $$\texttt{AHom(A,B)}$$, which is simply $$\mathrm{Hom}_{kG}(A,B)$$. It can also compute $$\texttt{PHom(A,B)}$$, but this is only for basic algebras, not general group algebras. If your group is small enough that you can produce its basic algebra in Magma (there are commands for this) then you can pass between then to find $$PHom$$ inside $$Hom$$.
Finally, $$Hom$$ can be made into a $$kG$$-module itself, using $$\texttt{HomMod}$$. (This requires a recent version of the program.)
If you start off in a basic algebra, you can type $$\texttt{SyzygyModule(M,1)}$$ for $$\Omega(M)$$.