Skip to main content
Syed's user avatar
Syed's user avatar
Syed's user avatar
Syed
  • Member for 14 years, 6 months
  • Last seen more than 2 years ago
comment
Subfields of a function field
@Drar, As Felipe said, exactly the problem is that $K(t)$ is not as good as $\mathbb{Q}$ for number fields. This is why automorphism group is richer than the Galois group and why it's harder to be computed. I think the use of Hess's automorphism algorithm is to check all the (non-canonical but isomorphic)possible ways of embedding of $F$ in $E$ and check if it's work but I don't know the detail.
revised
Loading…
revised
Subfields of a function field
edited tags; added 142 characters in body; added 2 characters in body
Loading…
asked
Loading…
accepted
comment
G=(16, 13) notation
I think I got my answer but it rises the new question that what's the logic behind the ordering in small group database. I think I should be able to find my answer if I dig into GAP documents.
comment
G=(16, 13) notation
Thank you very much. I'm going to check GAP/MAGMA to see if I get the same thing.
asked
Loading…
awarded
answered
Loading…
accepted
revised
Loading…
revised
Computing places over x in F/K(x)
Gave the context of the question
Loading…
comment
Computing places over x in F/K(x)
Thank you very much for your comment. I'll re-arrange it right away.
asked
Loading…
comment
Computing only the order of Galois group (not the group itself).
@Balazs, I got the book, I'm looking into it to see if I can find there a decent algorithm. @Jack Schmidt: here: [wiki.sagemath.org/magma#GaloisTheory], SageMath people claims that the algorithm is well documented. – Brainy Smurf 1 min ago
comment
Computing only the order of Galois group (not the group itself).
I talked to Magma people, their first response was that my "constant field" is too small (in accordance to your solution). They said they'll get back to me. Which haven't happened yet. They claimed that Magma is the only system that has implemented this computation for function field. But I think, for this moment the solving the problem over rational function field (as you did) is enough for me.
revised
Loading…
awarded