Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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.

2
votes
2answers
99 views

Understanding Magma issue with maximal subgroups computation

I am trying to compute the maximal subgroups of the wreath product $(\mathbb Z/10\mathbb Z)\wr S_{99}$ using Magma's algorithm for maximal subgroups, which is an implementation of an algorithm of ...
0
votes
0answers
42 views

Solving linear systems for integer values in MAGMA

Say we are given a quaternion algebra D over a number field F as well as a maximal $\mathcal{O}_F$-order $\Delta$ $\subseteq$ D and say we have a $\mathbb{Z}$-basis $\omega_1, . . . , \omega_n$ for $\...
0
votes
0answers
26 views

Computing the inverse of a full lattice in a quaternion algebra

Let D be quaternion algebra over a number field F. Let $\Delta$ $\subseteq$ D be a maximal $\mathcal{O}$$_{F}$-order. Let $\mathfrak{b}$ be a fractional left $\Delta$-ideal. In his book "Maximal ...
3
votes
1answer
129 views

Double coset representatives and Magma

I'm trying to use Magma to do a double coset calculation on the group M10, but the answer does not make sense to me. Your help and comments are most appreciated. First, here's the calculation: (1) ...
6
votes
1answer
411 views

Computing kernels of maps of modules over a finitely presented algebra

I have the following problem: I have an associative (noncommutative) algebra $A$ defined over a rational function field $k = \mathbb{Q}(\delta, \lambda)$. $A$ is given by a presentation in terms of ...
1
vote
0answers
66 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 ...
5
votes
0answers
79 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, ...
-2
votes
1answer
91 views

fast way to get subextensions in magma? [closed]

If $l \equiv 1$ mod 3 then $\mathbb{Q}(\zeta_l)$ has a unique cubic subextension. I've been getting this field with the following magma code F:=CyclotomicField(l); S:=Subfields(F); for ...
1
vote
1answer
345 views

magma generators for unit group/ sage totally positive

Does anyone know how to find explicit generators for the unit group of a number field on magma? For example, in sage one could do K. = NumberField(x^3+x^2-2*x-1) UnitGroup(K).gens() and it ...
2
votes
2answers
155 views

Computer algebra system that test zero divisors in a quotient algebra

I have an algebra $A$ over a Noetherian ring and an ideal $I=(x,y)$, where $x,y \in A$. I need to examine whether a polynomial $h \in A$ is a zero divisor in $A/I$ or not. Is there a computer algebra ...
1
vote
1answer
167 views

construct a Hecke character in MAGMA with given infinity type

I need to do some numerical computation on special values of a Hecke L-function $L(s,\chi)$. To do this, I want to construct a Hecke character in MAGMA, given that I know its infinity type. In other ...
-1
votes
1answer
121 views

Using Magma to Find a Fixed Points Module [closed]

Let $G$ be a group and $H$ a subgroup. Suppose $M$ is a $kN_G(H)$-module ($k$ a field). Then the $H$-fixed points in $M$ denoted $M^H$ is a $kN_G(H)$-module. Is there a way to access this module in ...
4
votes
0answers
152 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}...
0
votes
1answer
139 views

Is there a way to make MAGMA work with surfaces over weighted projective spaces?

Is there a way to use MAGMA to study surfaces defined over a weighted projective space (by "study" I mean computing e.g. invariants (e.g. $p_a$, $p_g$), singularities, etc)? For example, I was trying, ...
5
votes
1answer
357 views

Finding relations between invariant polynomials

Suppose I have an action of a linear reductive group ($GL(2,\mathbb{C})^2$ in this case) on a complex vector space (of dimension $16$) and I want to compute explicitly the ring of invariants of this ...
7
votes
2answers
746 views

BSD conjecture for X_0(17)

I use Magma to calculate the L-value, yields E:=EllipticCurve([1, -1, 1, -1, 0]); E; Evaluate(LSeries(E),1),RealPeriod(E),Evaluate(LSeries(E),1)/RealPeriod(E); Elliptic Curve defined by y^2 + x*y + ...
1
vote
2answers
210 views

My output of a group and inverse-closed subset in MAGMA is no longer inverse-closed when entered as input to GAP.

In MAGMA, I input the following: G:=SmallGroup(20,3); G; E:=[xx:xx in G]; S:=[E[6],E[7],E[13],E[20]]; S; S[1]^2; S[2]^2; S[3]*S[4]; This gives the output: GrpPC : ...
8
votes
2answers
349 views

Solving the Field Membership Problem using Grobner Bases

Is there an easy way to determine whether a set of elements in a field generates the whole field or only a subfield? Specifically, I have a subfield of $k(x,y)$ described in terms of a canonical set ...
0
votes
1answer
224 views

Changing the Type of a Module in MAGMA

I am currently working with irreducible $k[G]$-modules in MAGMA for finite fields $k$ and finite groups $G$. To construct these modules, I am using the commands IrreducibleModules(G,k) This results in ...
1
vote
2answers
389 views

Working with group cosets in MAGMA

When working with group cosets in MAGMA is there a way of treating the cosets as subsets of the overlying group. Specifically I have a group $G$ and subgroups $H$ and $K$ . I wish ...
1
vote
3answers
474 views

Checking for invertibility of large matrices in MAGMA

If you have a number of large matrices, and you wish to determine whether each matrix has determinant zero or not, what is the most efficient way to do this in MAGMA (it appears that calculating the ...
0
votes
1answer
468 views

Homomorphisms and their restrictions in MAGMA

I am trying to look at a representation (so a homomorphism) of a group G, and see what the restriction of the representation to a subgroup of G will be. Is there an easy way (or any way!) to do this ...
7
votes
3answers
3k views

Using MAGMA for Group Theory

I've just started a PhD in Group Theory and need to use the computer programme MAGMA. I wonder if anyone could help me with a couple of (probably very basic things). I need to produce a Hasse diagram ...
7
votes
3answers
1k views

Is there a MAGMA function to calculate the absolutely irreducible components of an algebraic curve defined over the rationals?

Given a curve defined over the rationals, is it computationaly possible to find all its absolutely irreducible components? Is there an implementation of this in the MAGMA program?
1
vote
0answers
222 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
1answer
580 views

Does MAGMA have a function to decide if two indefinite, integral quadratic forms are isometric?

Let's say we have two $n$-dimensional lattices $(V,b)$ and $(W,b_1)$ equipped with integral bilinear forms $b$ and $b_1$ respectively. Is there an implemented function in MAGMA that decides whether $(...