# 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.

64 questions
Filter by
Sorted by
Tagged with
151 views

### Nondeterminism in Magma software while computing generators of an elliptic curve

Computing generators of a Mordell curve $$y^2 = x^3 - 44275089430000,$$ can be done in Magma by running the following code: ...
• 33.2k
96 views

### Subgroups of a Weyl group fixing some vectors and its cohomology: MAGMA

I am trying to calculate the number of subgroups of the Weyl group $W(E_N)$ that fix certain vectors $L_i (i = 1,2,3)$ using Magma. However, the output of the following code (especially #nicesubs) ...
• 1,364
99 views

• 13.9k
141 views

### What is the finite group $(\operatorname {PCO}^{\circ}_{2n})^{+}(q)$

In Table 22.1 on Page 193 of Malle & Testerman's book "Linear algebraic groups and finite groups of Lie type", the fixed point subgroup $G^F$ (where $F$ is a Steinberg endomorphism) of ...
• 165
124 views

• 501
559 views

### Is It possible to determine whether the given finitely presented group is residually finite with MAGMA or GAP?

I am working on finitely presented groups with more than 5 generators and relators and I'm so curious: is it possible to determine residually finitness of finitely presented groups with MAGMA or GAP?
• 61
1 vote
451 views

### What are the integer solutions to $y^3=2x^3+x+1$?

The question is in the title. Short motivation. Consider Diophantine equations in $2$ variables. Quadratic ones are easy, and can be solved, for example, here https://www.alpertron.com.ar/QUAD.HTM. ...
• 6,636
138 views

### du Val singularities in Magma

Is there any way to decide whether a singularity of a surface embedded in $\mathbb{P}^5(\mathbb{Q})$ is a du Val/rational double point in Magma? Any help is much appreciated.
321 views

### $2$-isogenous to a curve in the Tate normal form

It is well-known that an elliptic curve $E$ that has a point of order $2$ and is represented as $E=[0,a,0,b,0]$ has a $2$-isogenous curve $E^\prime=[0,-2a,0,a^2-4b,0]$, see e.g. p. 507 in A. Dujella, ...
598 views

### ℤ/18ℤ elliptic curves over cubic fields

I am working on $\mathbb{Z}/18\mathbb{Z}$ elliptic curves over cubic fields. The curves are created using the formulas on p. 584 of D. Jeon, C. H. Kim, Y. Lee, Families of elliptic curves over cubic ...
254 views

### Rationalizing and minimizing elliptic curve coefficients

I am working on elliptic curves with torsion group $\mathbb{Z}/14\mathbb{Z}$ over quadratic fields. The curves are constructed using the model $E_1=[0,a,0,b,0]$ following the formulas on p. 13 of L. ...
363 views

### Systems of equations for elliptic curves without $3$-torsion

In his YouTube video New rank records for elliptic curves having rational torsion, Noam Elkies uses systems of equations at 6:16 and 8:38 to present $\mathbb{Z}/3\mathbb{Z}$ curves of rank 14 and rank ...
292 views

### Good algorithmic properties for quotients of braid groups

I'm trying to understand some things about quotients of braid groups, and particularly I'd like to solve the word problem for some elements of these quotients. I'm using MAGMA to try to access this, ...
• 1,267
309 views

### Coefficient field of a newform using Magma

It is well-known that, for a newform $f = \sum c_nq^n \in \Gamma_0(N)$, the coefficient field $K_f := \mathbb{Q}(a_1, a_2, a_3, \cdots )$ is a number field. I am introducing myself in Magma, and I was ...
411 views

### Z2xZ6 elliptic curves with missing generators

By implementing the techniques described in and similar to A. Dujella, J. C. Peral, Elliptic curves with torsion group Z/8Z or Z/2Z x Z/6Z, arXiv, Number Theory [math.NT] (2013), arXiv:1306.0027v1 A....
358 views

298 views

• 3,539
432 views

### Does MAGMA use a standard p-modular system?

I'd like to ask the following question: Are the Brauer character values of $kG$-modules (where $k$ and $G$ are finite) in MAGMA computed with respect to the standard $p$-modular system described in ...
• 1,755
219 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 ...
• 1,001
436 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) ...
• 509
1k 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
105 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 ...
95 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, ...
• 26.3k
118 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
794 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 ...
396 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
286 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 ...
• 443
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 ...