2
votes
1answer
38 views

How does the base of a group determine the “sort” of the elements in the group

I'm trying to study groups in Mathematica, and I've asked a question on Mathematica.SE that perhaps only someone from Math.SE could answer. Related: How does ...
2
votes
1answer
119 views

Solving an equation in field $\mathbb Z_{11}$ using GAP

Here is a solved question. I want for myself to examine it with GAP. So I did the following: ...
3
votes
1answer
87 views

Find the smallest square matrix in which some objects fit following some rules

I have to put some objects in a matrix. The data of these objects is given in another matrix in which each line contains an object, and the first column represents its width, and the second its ...
4
votes
1answer
209 views

MAGMA question: SemidirectProduct using a homomorphism $f:G \rightarrow GL_n(\mathbb{F}_p)$.

Suppose I have a homomorphism $f:G\rightarrow GL_n(\mathbb{F}_p)$ and I wish to form the semidirect product $E\rtimes_f G$ with $E$ being the elementary abelian group of order $p^n$. The Semidirect ...
1
vote
1answer
48 views

math software for associative algebras (usual not commutative)

Does anyone if there exists a math program that can work with free associative algebras ? By work with associative algebras, I mean It can define any ideal $I$, being it left-,right- or twosided. ...
4
votes
1answer
134 views

Computing contractions of ideals in Macaulay2

Does Macaulay2 compute contractions of ideals under ring homomorphisms. Specifically, if $R\subseteq S$ is a ring extension (say polynomial rings over $\mathbb{Q}$ which can be specified in M2) and ...
10
votes
3answers
808 views

Software for Galois Theory

Background: While studying Group Theory ( Open University M208 ) I had a lot of benefit from the Mathematica Add-on package AbstractAlgebra and later from the GAP software. I am currently ...