How to make characteristics zero in GAP?

Question

I have the following code written in GAP. In summary, In this code, I have a subgroup defined as SL(2,5). I applied the tensor product to each of these group elements with the identity and added a new element to the group, which is not in SL(2,5). Originally, I wanted to add a matrix that does not belong to SL(2,5), but GAP gave me an error. So, I had to write it over field 5, which forced everything into this characteristic and made it finite (Thanks for the warning @ahulpke).

After that, I checked if the new group is finite or not, and I also calculated the number of elements in this group. The thing is, I want to do the exact same thing with characteristic zero. However, I do not know how to do that. Originally, I wrote this code in Sagemath, but then I thought Sagemath might be more limited than GAP. That is why I converted my code from Sagemath to GAP. Now I want to make the characteristic 0 because my addition matrix will be an SU(4) matrix, and it should not have characteristic 5.

Id := IdentityMat;
Addition := [[1,0,0,0],[0,1,0,0],[1,0,0,1],[1,0,1,0]]*Z(5)^0;
new_matrices_ := [];
gens_ := GeneratorsOfGroup(SL(2,5)); # the subgroup you are interested in

for m in gens_ do
    tensor_mat_ := KroneckerProduct(m, Id(2)*Z(5)^0); # Id(2)
    Add(new_matrices_, tensor_mat_);
od;
Add(new_matrices_, Addition);

G := Group(new_matrices_);
Print(IsFinite(G));
Print(Size(G));
Print(StructureDescription(G));

Answer 1

I don't know whether this is what you want, but you can get a $2$-dimensional group G0 isomorphic to ${\rm SL}(2,5)$ in characteristic $0$ (with entries in the cyclotomic field of degree $5$) by:

G := SL(2,5);
I := IrreducibleRepresentations(G);
G0 := Image(I[2]);