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 [tag:computer-algebra-systems].

learn more… | top users | synonyms

1
vote
0answers
17 views

Minimize the rank of a matrix with some entries known

Let $m,n$ be two positive integers, with $m\geq n$. Suppose we have $m$ sets $A_1,\ldots, A_m\subseteq [n]$, with $|A_i|=d_i$. Let $\mathbb F$ be a finite field of size $q$. Let $D$ be the set ...
0
votes
0answers
10 views

Indirect Left recursion.

I'm solving (indirect Left Recursion) for these production rules . S is the starting symbol. S -> Aa / a eq1 A -> Sb / b. eq2 Now I can do this in two ...
4
votes
4answers
135 views

Group conjecture

Conjecture: Given a finite group $G$ and a subset $A\subset G$. Then $\{A,A^2,A^3,\dots\}$ is a group iff $\forall n\in \mathbb N: |A^n|=|A^{n+1}|$. Given that the composition between the ...
1
vote
0answers
51 views

A rather special monoid

While implementing an embryo of computational algebra on my blog I ran into a rather special monoid and I wonder if it's studied before. After implementing a very simple concept of dynamic sets I ...
2
votes
1answer
34 views

Quasi canonical isomorphisms between finite groups and subgroups of the symmetric group?

I'm implementing finite groups in Forth for my blog and since any group is a subgroup of a permutation group it make sense to let the standard elements be permutation schemas: ...
14
votes
1answer
353 views

Most wanted reproducible results in computational algebra

I am interested in suggestions for major computational results obtained with the help of mathematical software but not easily verifiable using computers. "Most wanted" could refer, for example, to ...
1
vote
1answer
66 views

Minimizing computations for evaluating two polynomial simultaneously

I want to evaluate two polynomials $f$ and $g$ simultaneously, on the same input (in a computer program). These polynomial have only coefficients $0, 1, a , b$ and their degree is less than 700. I ...
2
votes
1answer
55 views

The equation $|A^{-1}A|=|A|^2-|A|+1$ for finite subsets of a group

Let $A$ be a finite subset of a group $G$. It is clear that $|A^{-1}A|\leq|A|^2-|A|+1$. If $A$ is singleton or $A=\{1,a\}$ with $O(a)\neq 2$ then the equality holds. Now, can somebody characterize all ...
1
vote
0answers
49 views

A GAP code for maximum and minimum cardinals of some classes of subsets of a finite group

Let $G$ be a finite group with a fixed subset $A$. Put $$ S_r(A)=\{B\subseteq G : |AB|=|A||B|\; \& \; B \; \mbox{is inclusion-maximal with respect to this property}\} $$ $$ M_r(A)=\max\{|B| : ...
3
votes
2answers
93 views

Is there an easy way to find the (number of) subgroups of a given group?

Is there an easy way to find all subgroups of a given group? For example, say you had the dihedral group $D_{4}$ - is there a way to work out how many subgroups this has, or what they are, or can it ...
4
votes
1answer
56 views

GAP Most efficient way to check multiple properties of a group in the small group library

In GAP I would like to search the small groups library looking for groups with specific properties (I suppose this is the most common usage). If I have a list of properties I want to test, what is ...
3
votes
1answer
29 views

Algorithmic way to check if a power-conjugate presentation is consistent?

Is there an algorithmic way to check if a power-conjugate presentation (for a finite polycyclic group) is consistent? Background: A finite solvable group $G$ has a subnormal series $$ G=G_0 ...
0
votes
1answer
40 views

Prove that $\mu ((X,Y)^n (X+1, Y+1)^m)=(n+1)(m+1)$

Let $k$ be a field (if it helps, we can think $k$ algebraically closed and/or of characteristic $0$), and consider the polynomial ring $k[X,Y]$. For an ideal $I$ of $k[X,Y]$ I denote by $$\mu(I) = ...
1
vote
1answer
22 views

Computing Extensions of an Ideal in Singular or Macaulay2

Does Macaulay2 or Singular compute extensions of ideals under ring homomorphisms? Specifically, if $\phi:R\rightarrow S$ is a ring homomorphism (say polynomial rings over $\mathbb{Q}$ which can ...
2
votes
0answers
45 views

A recursive problem with GAP concerning lists and an iterator loop

I have the following question concerning a list algorithm in GAP: Let $L_1$ be a non-empty list with certain objects as entries. I wrote a program and called it helping_program_1. The Input for ...
1
vote
2answers
77 views

Compute Automorphism Group using Computer Software

Is there a computer software that can compute Automorphism Groups. For instance $Aut(\mathbb{Z}_4\times\mathbb{Z}_2)$. I tried Sage, but could not get it to work. Output: ...
3
votes
1answer
63 views

Do circular tapes exist in Turing Machines?

I've been looking for information about this topic without success. Have someone described Turing Machines over circular tapes instead lineal and infinite? Like the tape could be described with ...
2
votes
3answers
132 views

Is there any good software that solves equations of permutation group elements?

I need to solve equations of permutation group elements (elements of $S_n$) that may not may not have solutions. The number of equations generally exceeds the number of variables. Is there any good ...
2
votes
0answers
34 views

What is Relator Matrix

At the third section of a paper "Computing second cohomology of finite groups with trivial coefficients" by G. Ellis et al., the authors write Suppose that $<\underline{x}\mid ...
0
votes
1answer
46 views

Ring Structure for Non Commutative Groups: Is there a grander reason for Abelian requirements?

So I was considering the following idea. Let a generalized Ring $gR$ be a set equipped with two operations $$u_1, u_2$$ Such that $gR$ is a with the operation $u_1$ and the operation $u_2$ ...
1
vote
0answers
45 views

Proposition 4.7 of Handbook of Computational Group Theory

I have been studying Derek Holt's Handbook of Computational Group Theory. I am looking at Proposition 4.7, and I can't figure out what I'm doing wrong. Proposition 4.7(i) states that, given $K$, a ...
8
votes
1answer
91 views

(Un)distorted subgroups in $\mathbb{F}_2 \times \mathbb{F}_2$

We consider the product of free groups $$\mathbb{F}_2 \times \mathbb{F}_2 = \langle a,b,c,d \mid [a,b]=[b,c]=[c,d]=[d,a]=1 \rangle.$$ Given some elements $g_1,\ldots,g_n \in \mathbb{F}_2 \times ...
17
votes
2answers
269 views

Enumerating Bianchi circles

Background: Katherine Stange describes Schmidt arrangements in "Visualising the arithmetic of imaginary quadratic fields", arXiv:1410.0417. Given an imaginary quadratic field $K$, we study the Bianchi ...
5
votes
2answers
219 views

Algorithm design for enumerating pairs of noncommuting elements up to conjugacy

I am trying to write some Magma code that, given a group $G$, returns a list of pairs $(x,y)$ with $x,y\in G$ such that $[x,y]\neq 1$ and such that every pair $(z,w)$ in the group with $[z,w]\neq 1$ ...
2
votes
0answers
106 views

How to compute/ find cancellation for the second group cohomology $H^2(G,A)$?

My problem is the following, suppose you have a discrete group $G$ (finite type) and a $G$-module $M$, $M$ is a $\mathbb{Q}$-vectorial space. I would like to know if there are "ways" to compute ...
0
votes
1answer
25 views

Ring module homomorphism properties

$\text{Hom}_{\mathbb Z} (\mathbb Z/3\mathbb Z , \mathbb Z/5\mathbb Z) = ?$ how many homomorphism are there from $\mathbb Z/3\mathbb Z$ to $\mathbb Z/5\mathbb Z = ?$ Where $\mathbb Z$ represents ...
2
votes
1answer
61 views

Algorithms for generating $A_n$ and $S_n$ from specific generators

Is there a simple algorithm to generate the elements of the alternating group $A_n$ in terms of some small set of generators? For example, when $n = 4$, I'm looking for an algorithm whose output is a ...
2
votes
1answer
97 views

do we have any special algorithms or software to find all 2-sylow subgroups of a group?

I am working on a project that involves 2-sylow subgroups of groups,one thing that I need to do is to find all 2-sylow subgroups of a group and check that it is cyclic or not, now my question is that ...
7
votes
6answers
636 views

How to efficiently represent and manipulate polynomials in software?

I've started to work on a package (written in matlab for now) that among other things must be able to represent and manipulate (compare, add, multiply, differentiate, etc) polynomials in several ...
0
votes
1answer
78 views

Fixed Spaces for Group Elements

what is the GAP code for finding the fixed space? A list of row vectors that form a base of the vector space $V$ such that $v M = v$ for all $v$ in $V$ and all matrices $M$ in the list $mats$.
1
vote
1answer
215 views

Write two (or more) numbers as sum of multiples of other numbers (one, two or more)

I have the following problem: Numbers 32, 35 and 57 can be written as sum of multiples of 7 and 9: 32 = (7*2) + (9*2) 35 = (7*5) + (9*0) 57 = (7*3) + (9*4) Is ...
3
votes
0answers
72 views

Software for Braid Groups

I am looking for software/online tool that works on Braid Groups. I am aware that there are resources that allows you to draw braids by imputing generators or detect whether two braids are equivalent ...
0
votes
1answer
37 views

Calculating $b_1,b_2,…,b_k$ where $b_i$=$a_1a_2…a_{i-1}a_{i+1}…a_k$ in minimal number of multiplications

Let's suppose we have a set of integers $a_1, a_2, ..., a_k$ in $Z_n^{*}$, and that we define $b_i$ to be the multiplication $a_1a_2...a_{i-1}a_{i+1}...a_k$. Is there a way to calculate the set ...
0
votes
2answers
139 views

Minimum value of a positive definite binary quadratic form along integers

Is there a formula for the least non-zero value of $$f(x,y):=ax^2+bxy+cy^2$$ as $x,y$ assume integer values? Here $a,b,c$ are integers with $a,d>0$ and $b^2-4ac<0$.
1
vote
0answers
49 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 ...
5
votes
2answers
128 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
52 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 ...
3
votes
1answer
96 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
166 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
100 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
1answer
43 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
80 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 ...
2
votes
1answer
164 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 ...
9
votes
1answer
198 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 ...
5
votes
1answer
468 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
85 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
85 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
26 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
75 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 ...
5
votes
1answer
113 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.