Tagged Questions

Computational algebra is an area of algebra that seeks efficient algorithms to answer fundamental problems concerning basic algebraic objects (groups, rings, fields etc). For questions about generic computer algebra systems, use ...

learn more… | top users | synonyms

1
vote
0answers
25 views

Quantum Mechanics in Electric Field

I asked this problem in Physics SE but I did not get any useful answers except one. I believe asking this question here would be more beneficial owing to the Mathematical nature of the problem. I am ...
0
votes
0answers
16 views

Conjugacy classes of PSL(6,7)

I need the conjugacy class sizes of projective special linear group PSL(6,7). I couldn't find it by using GAP. Could someone find it?
0
votes
0answers
41 views

Computational cost of solving $Ax_i = b_i$ for $i=1,…,m$

$A$ is an invertible matrix square $n$ matrix. The exercise is about 3 different ways you can solve this and I have to determine its efficiency. It's always the same matrix $A$ but a different right ...
2
votes
1answer
57 views

Computing Images of Varieties

Somehow, this problem has been coming up a lot lately in different guises, which I'm taking as a sign that I ought to stop avoiding computational algebraic geometry. I could probably dig this up in ...
4
votes
1answer
78 views

how to begin self study of computational group theory.

Today in class on finite group theory our professor taught us Mathieu groups and so we dealt with Steiner system and similar. He said from here on you can pursue computational group theory and start ...
4
votes
2answers
73 views

The determination of the Galois group of a polynomial

The GAP package has a function $\mathtt {GaloisType}$ that takes a polynomial as an argument and returns a number, the index of the transitive group of order the degree of the polynomial. I read ...
0
votes
0answers
11 views

Calculating Bloch-Wigner dilogarithm

Is there some tool/calculator (or some tables) for explicitly calculating values of the Bloch-Wigner dilogarithm?
2
votes
1answer
44 views

Division by factorized polynomials in Macaulay2

I have this problem dividing by factorized polynomials, for example (x_1^4-x_2^4)//(factor(x_1^2-x_2^2)) does not work because the numerator is of "class R" (R is the ring kk[x_1..x_n]) and the ...
1
vote
1answer
126 views

Writing $I= (xz-y^2, yt- z^2)$ as an intersection of prime ideals

I need to write the ideal $I= (xz-y^2, yt- z^2) \subset R = \mathbb{K}[x,y,z,t]$ as intersection of prime ideals. Any idea? For the moment, I've noticed that $I$ is radical, then it suffices to ...
5
votes
0answers
125 views

Any abstract algebra book with programming (homework) assignment?

All: I had studied abstract algebra long time ago. Now, I would like to review some material, particularly about Galois theory (and its application). Can anyone recommend an abstract algebra book ...
2
votes
1answer
69 views

Is there any efficient algorithm for finding subgroups of a given finite group?

I am implementing an algorithm which finds every subgroup of given group. Here's my algorithm. Let $G$ be a group of order $n$ with elements $g_1,\cdots,g_n$. Then I consider each $\langle ...
1
vote
1answer
60 views

Isomorphism between two magmas with one.

Do we have a method to find one (or all) isomorphism between two given magmas with one using GAP? Edit If we have Loop or Latin square (with one) instead of Magma then do we have the method?
2
votes
1answer
71 views

Let I, J ideals. Are they equal?

Let $$I= \langle 11x^5y+7xy^6+9,8xy^4+6xy+9 \rangle$$ $$J= \langle 7x^5y^2+17x^2y^5+29,13xy^4+62xy^3+19 \rangle$$ ideals. Examine whether those two ideals are equal. By seeing their 3D plots I ...
3
votes
0answers
23 views

Has there been work on computational group theory applications to computing colimits of crosses n-cubes of groups?

I'm trying to compute homotopy groups of a few spaces using crossed n-cubes of groups. I'm able to describe a few colimits in terms of quotients of induced crossed modules and nonabelian tensor ...
0
votes
0answers
58 views

number of symmetries of an arbitrary graph

Given an (undirected) graph G, is there way to (approximately) estimate the order of Aut(G)-- i.e., the number of permutations ...
0
votes
0answers
13 views

Calculus of trigonometric functions based on elliptic Gauss functions?

Considering this 3 concepts: Arithmetic geometric mean Elliptic integral ( in relation to Gauss studies ) Newton's method I'm supposed to be able to write an algorithm to compute trigonometric ...
5
votes
1answer
81 views

Number of subgroups of order $4$ and $8$ in a group of order $72$

Let $G$ be a group of order $72$. I want to calculate the number of subgroups of order $4$ and $8$ with GAP. How can I do? thanks in advance.
4
votes
1answer
96 views

How to find presentation of a group using GAP?

I have a group from Small Group Library and I want to find its presentation using GAP. I have tried to use PresentationFpGroup(G) but failed. Please suggest me a method.
0
votes
0answers
45 views

Boosting of Coset diagrams

If we have the diagram that represents a transitive permutation representation of $(p,q,r_o)$ for some $p, q$ and $r_o$, we often use this diagram to get diagrams for any $r>r_o$. We can do this ...
2
votes
2answers
78 views

Does the Windows version of MAGMA have a memory limit?

Sorry if this isn't the best place to ask support type MAGMA questions, but I haven't found a single forum or anything for MAGMA users to talk. I have access to a copy of MAGMA which is running on a ...
1
vote
1answer
59 views

Expressing a matrix in terms of subgroup generators using Magma

With Magma, it is possible to define a subgroup $H$ of a finite matrix group $G$ in terms of generators. Given a matrix $M\in G$, Magma can also determine whether $M\in H$. Presumably, if Magma ...
2
votes
0answers
41 views

An algorithm for generating a finite group with a finite set of generators

Let $A$ be a finite set of permutations on $\Bbb N$ with finite support. Is there a good efficient algorithm to obtain the subgroup $\left<A\right>$ of the symmetric group ...
4
votes
3answers
118 views

Galois group of $x^5-12x+2$ over $\mathbb{Q}$

I've always been able to compute the Galois groups of polynomials of degree $\leq 4$, but I have trouble at higher degrees. I can factor quadratics and cubics, and get the solutions from there, but ...
2
votes
1answer
41 views

Help with Polynomial Roots Problem

Let's consider the case of two variables, $p\in\mathbb{R}[x,y]$. Suppose I want to find when there is $c\in\mathbb{R}$ such that $$p(x,x)+p(x,c-x)-p(c-x,x)-p(c-x,c-x)=0 \textbf{ for all } ...
4
votes
2answers
215 views

Find the number of irreducible factors of $x^{63} - 1$

I have to find the number of irreducible factors of $x^{63} - 1$ over $\mathbb{F}_2$ using the $2$-cyclotomic cosets modulo $63$. Is there a way to see how many the cyclotomic cosets are and what is ...
1
vote
0answers
48 views

Does this proof that the resultant provides an upper bound for intersection multiplicity look correct?

Let $f,g \in \mathbb{C}[x,y]$ such that $f(0,0)=g(0,0)=0$ and the varieties $V(f)$ and $V(g)$ are both smooth at $(0,0)$ such that the tangent line of $V(f)$ and $V(g)$ is not the $y$ axis. Let ...
2
votes
0answers
51 views

The Command “TzGoGo” in GAP

I am learning GAP and would like to ask one question about a command called "TzGoGo": If $P$ is a finite presentation of a group $G$, then will the eventual result of the command "TzGoGo(P)" be ...
3
votes
1answer
80 views

GAP Responding Time

I am running GAP 4.6.5 on my six-year-old computer and sometimes it takes like forever for GAP to respond to my simple commands. An easy example is as follows: ...
3
votes
0answers
122 views

Simplifying Relations in a Group

Let $K$ be the group generated by four elements $x_1,\cdots,x_4$ with relations that any simple commutator with repeated generator is trivial; for example, $[[x_2,[x_1,x_3]],x_3]=1$. As I have asked ...
2
votes
0answers
106 views

Using GAP to compute the abelianization of a subgroup

Let $K$ be the group generated by four elements $x_1,\cdots,x_4$ with relations that each generator commutes with all its conjugates. (An equivalent relation is, any simple commutator with repeated ...
0
votes
0answers
41 views

minmax of hamming weight in a basis for a vector space

Consider the vector space $V=\mathbb{Z}_2^n$ and take some linear subspace $U\subseteq V$ (we can assume we are given some basis for $U$). Now, for every basis $B$ of U, define $f(B)=\max_{b\in ...
3
votes
1answer
103 views

Algorithm for Finitely Presented Torsion-Free Nilpotent Groups

I am studying some finitely presented, torsion-free and nilpotent groups $G$ and need to consider the following question: Let $H$ be a subgroup of $G$ and suppose that $H$ is generated by ...
2
votes
3answers
102 views

Websites/Software for Group computation

Anyone knows a website or software that helps to do computations in a group? For example, by inputting generators and relations in the group, can we tell when two particular elements in the group ...
0
votes
1answer
91 views

Efficient way to compute min/max

I have a function: \begin{equation*} f(a_1,\ldots,a_7,b_1,\ldots,b_4)=-\tfrac12 a_1 + a_1 b_1+\tfrac12 a_1 b_2-\tfrac12 a_1 a_2 b_2 + 2 a_1 a_2 - \tfrac32 a_1 a_2 b_1 - \tfrac12 a_4 + a_4 b_1 + ...
0
votes
1answer
72 views

Do we need Gröbner bases to study factor rings of polynomials?

I'm trying to understand how we can systematically study the factor rings of polynomials over a ring K. For example imagine that we're working in $R=K[x_1,...,x_n]$ and we have the ideal ...
1
vote
1answer
82 views

Product of (strongly) stable ideals and lexsegment ideals

(1) Is the product of lexsegment ideals again a lexsegment ideal? (2) Is the product of (strongly) stable ideals again (strongly) stable? I know that both of them are false and I can find examples ...
16
votes
1answer
404 views

What is computational group theory?

What is computational group theory? What is the difference between computational group theory and group theory? Is it an active area of the mathematical research currently? What are some of the ...
-1
votes
1answer
98 views

The h-vector of a simplicial complex

Let $S$ be a polynomial ring over a field. I want to find an ideal $ I\subseteq S$ such that $(1,2,3,1,1,1)$ is the $h$-vector of $S/I$. We have a relation between $f$-vector and $h$-vector and ...
4
votes
1answer
82 views

Generators of a subgroup of $SL_2(\mathbb{Z}/24\mathbb{Z})$

So I have this subgroup of $SL_2(\mathbb{Z}/24\mathbb{Z})$ which has $256$ elements. Is there a way in sage to get the list of its generators ? The "only" information I have on the group is the list ...
8
votes
1answer
177 views

Applications of computation on very large groups

I have been studying computational group theory and I am reading and trying to implement these algorithms. But what that is actually bothering me is, what is the practical advantage of computing all ...
2
votes
2answers
106 views

Listing subgroups of a group

I made a program to list all the subgroups of any group and I came up with satisfactory result for $\operatorname{Symmetric Group}[3]$ as ...
5
votes
2answers
267 views

Lower central series of a free group

Consider the element $w=x^2yx^{-1}y^{-1}x^{-1}yxy^{-1}x^{-1}$ of the free group $F_2=\langle x,y\rangle$. By considering the image of this element under the abelianization map (equivalently, by adding ...
14
votes
1answer
155 views

The equivalence classes of $N\sim M\Leftrightarrow G/N\cong G/M$.

Let $G$ be a finite group. Given some $N\unlhd G$, define $$\mathfrak{C}_N:=\{M\unlhd G : G/M \cong G/N\}.$$ How are the subgroups in $\mathfrak{C}_N$ related? Is there some other description ...
1
vote
0answers
142 views

Necessary and sufficient conditions for Hensel lifting in the multidimensional case

in Multidimensional Hensel lifting, @Hurkyl gave a neat sufficient condition for the existence of $p$-adic liftings in the multidimensional case. I have finally gotten around (but please also see ...
4
votes
3answers
123 views

Does $1 + \frac{1}{x} + \sqrt{\frac{2x}{x + 1}},$ have a global minimum?

Does the following function have a global minimum: $$1 + \frac{1}{x} + \sqrt{\frac{2x}{x + 1}},$$ where $x \in \mathbb{N}$? I tried using WolframAlpha, but it appears to give an inconsistent ...
1
vote
0answers
203 views

An Algorithm to Find the Generators of the Radical of a Monomial Ideal

Working over $R=\mathbb{C}[x_1,...,x_n]$, I'm given a ring homomorphism with $i\in{1,...,n}$ and $t\in \mathbb{C}$. $\phi_{i,t}(x_j)=x_j$ for $j\neq i$ to themselves. From this I've proven that an ...
3
votes
1answer
270 views

Dimension of a certain quotient ring of $\mathbb{C}[x_0,\ldots,x_{m-1}]$.

Let $A=\mathbb C[x_0,\dots,x_{m-1}]$ be the polynomial ring on $m$ variables. Define $X(u)=\sum_{i=0}^{m-1} x_i u^{i+1}$ and denote by $(X(u)^r)_n$ the coefficient of $u^n$ in the expansion of the ...
2
votes
3answers
148 views

Software for deciding ideal membership

Let $\alpha$ be such that $\alpha^3 + \alpha + 1 = 0$ and consider $\Bbb{Z}[\alpha]$. Suppose I have an ideal in $\Bbb{Z}[\alpha]$ that is given by $$ I = \Bigg(23^3, 23^2(\alpha - 3), 23(\alpha - ...
2
votes
2answers
100 views

Mutiple root of a polynomial modulo $p$

In my lecture notes of algebraic number theory they are dealing with the polynomial $$f=X^3+X+1, $$ and they say that If f has multiple factors modulo a prime $p > 3$, then $f$ and $f' = ...
22
votes
1answer
651 views

Recovering a finite group's structure from the order of its elements.

Suppose you know the following two things about a group $G$ with $n$ elements: the order of each of the $n$ elements in $G$; $G$ is uniquely determined by the orders in (1). Question: How ...