Questions tagged [magma]

Questions involving the software MAGMA. (For the algebraic structure called magma, please, use the tag magmas.) This tag should hardly ever be the only tag of a question; typically there should be additional tags to indicate the mathematical content of the question. Please note that questions that are purely support-questions on MAGMA are not a good fit for this site.

6 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
5
votes
0answers
84 views

Is there an interval of finite groups, at index n, with strictly more elements than the subgroup lattice of any group, of order n?

Let $G$ be a finite group and $\mathcal{L}(G)$ its subgroup lattice. Let $s(n):= max\{|\mathcal{L}(G)| \text{ for } |G|=n \}$. There is an OEIS page for the sequence $s(n)$: A018216 1, 2, 2, 5, 2, ...
4
votes
0answers
167 views

Computing Tamagawa numbers for jacobians of hyperelliptic curves

Do exist some computational approach to calculation of Tamagawa number for the jacobian of hyperelliptic curve at prime $p$? As followed from this question one can compute $\Phi(\overline{\mathbb F}...
1
vote
0answers
59 views

MAGMA-question concerning dual modules of bimodules

Let $G$ be a finite group and let $H_1,H_2\leq G$. Let char$(k)=p>0$, $k$ a field, large enough. Let $T$ be a $(kH_1, kH_2)$-bimodule given in MAGMA. Moreover, let $T$ be finitely generated ...
1
vote
0answers
75 views

magma version of FixedGroup(K, L) over a different base field

I have a sequence of field extensions $F\subseteq L\subseteq K$ and I need to compute the Galois group of K over L. If $F=\mathbb{Q}$ then FixedGroup(K, L) does exactly this, but I was wondering if ...
1
vote
0answers
225 views

How to ask Magma to compute the induced morphisim on divisor group

Suppose Magma has computed homomorphism $h$ between function fields $F1 \to F2$. Then we have an induced homomorphism $h$ on the divisor group. Now my question is that if there's a better way to ...
0
votes
0answers
23 views

Points of bounded height in Magma/Sage

Suppose I have an irreducible curve $C\subseteq \mathbb P^2_K$, where $K$ is a number field, given by some equation $f(x,y)=0$. Is there any Magma command to search for points up to a given height on $...