Questions tagged [group-theory]
Questions on the group-theoretic functionality of Mathematica.
160
questions
2
votes
2
answers
89
views
Unstable work of PolynomialMod
I tried to use PolynomialMod for my calculation and i need some help on working with it, because i'll need to use it several hundred times.
I made such a request
...
- 23
1
vote
1
answer
95
views
The central product and the permutation representation of the Pauli group of order 16
I am interested in obtaining a permutation representation of the Pauli Group $G_1 = \langle X, Y, Z \rangle$. I think this would be easy enough as a "Regular representation" but then I learn ...
- 349
1
vote
0
answers
59
views
Why is SymmetrizedArray taking so much memory?
The context is: I take the tensor product of 2 totally symmetric tensors of rank 8, in 2 dimensions(in this case there are only 9 independent components):
...
- 669
1
vote
0
answers
34
views
Efficient chain rule implementation
(there is a fair amount of context here) I am implementing a generalized chain rule to do some work, say for order 3 in derivatives ($\partial_i = \partial/\partial x_i$):
\begin{align}
\partial_i \...
- 669
5
votes
3
answers
185
views
Calculating the basis set of quotient spaces
Having a polynomial $f(x,y)$, I would like to compute the following quantity
\begin{equation*}
{\mathbb C}[X,Y,Z]/\langle f_{x}, f_{y}, f_{z} \rangle,
\end{equation*}
where $f_{x},f_{y},f_{z}$ are, ...
- 1,043
2
votes
1
answer
50
views
By what criteria does Mathematica generate the list of group elements in `GroupElements[group]`?
I ask because aside from always giving the identity element first, I have found a "pattern" associated with the list given by GroupElements[group]. This &...
- 349
3
votes
2
answers
76
views
Bug in Point Group Conjugacy Class Data
I noticed that in $Version == "13.2.0 for Mac OS X x86 (64-bit) (November 18, 2022)" Mathematica has conflicting ...
- 6,311
0
votes
0
answers
47
views
Defining function through a formula
I would like to define a cocycle on a group that maps into the unit circle. That is, I want to be able to define a function $f:G\times G\to\mathbb{T}$ such that $f(e_G,a)=f(a,e_G)=1$ for all $a\in G$ ...
- 1
1
vote
1
answer
93
views
Elements of a group that send one element to another
If I have a permutation group, say $S_{10}$, how do I get all the permutations that send the set {1, 2, 3} to {5, 6, 7}? I know ...
- 21
4
votes
3
answers
227
views
How to list all subgroups of symmetry group S_6?
I learned from https://oeis.org/A005432 that $S_6$ has $1455$ subgroups, how can I list them all in mathematica?
As the comment says, the direct approach cannot solve the problem.
- 571
4
votes
2
answers
86
views
How to find a set of generators with the smallest number of elements in a permutation group?
Given a permutation group with many generators
...
- 571
4
votes
2
answers
409
views
How to generate all permutation matrices for 4 qubits?
In quantum mechanics, a qubit can be understood as a 2 by 1 vector denoted by Dirac notation as $$|0\rangle \equiv \left( \begin{array}{c}
1\\
0\\
\end{array} \right) ,|1\rangle \equiv \left( \...
- 381
3
votes
1
answer
134
views
Why am I having issues working with large group multiplication tables?
My mathematica running on Wolfram Cloud seems to break down if I use a SymmetricGroup greater than 6. As a basic example, when I run,
...
- 31
3
votes
2
answers
224
views
Cayley for SL group
In this paper, they are using an expander graph. It seems like it's just a Cayley graph for $SL(2,Z_p)$, where $P$ is a prime number.
How do I go about making a Cayley graph as shown in the first of ...
- 717
4
votes
1
answer
275
views
How to convert a polynomial into monic form of a polynomial
The function ResourceFunction["StauduharGaloisGroup"] can get a Galois Group about a monic irreducible integer polynomial. But I want to know the Galois ...
- 27k
5
votes
1
answer
158
views
How to find all the vertices of graph that have the same status as a vertex $v$?
We sometimes say that in a graph $G$ two vertices $a$ and $b$ look the same. In layman's terms, this means that $a$ and $b$ are of same status. Precisely, there exists a auto-isomorphic mapping of $G$...
- 2,059
4
votes
1
answer
103
views
4
votes
1
answer
147
views
3
votes
1
answer
86
views
Make GroupOrbits recognise same orbit
When going through a list of elements, GroupOrbits usually recognises if the orbit of an element has been calculated already and will skip it in that case to avoid ...
- 425
2
votes
1
answer
183
views
How to determine if a group H is a normal subgroup of group G?
A subgroup $H$ of the group $G$ is normal group in $G$ if and only if $\displaystyle ghg^{-1}\in H$ for all $\displaystyle g\in G$ and $\displaystyle h\in H$. How to use MMA to know the group $H$ is a ...
- 27k
4
votes
1
answer
136
views
Finding double cosets of a group
I am new to Mathematica, and I would love to know if there is a function that that returns the double cosets of a group $G$ w.r.t a subgroup $H$, where a double coset is defined as $HxH=\{h_1xh_2,\...
- 41
2
votes
1
answer
134
views
How to convert a PermutationGroup to a named group
We can convert any built-in named group into PermutationGroup by this code(such as AlternatingGroup[5]):
...
- 27k
5
votes
3
answers
323
views
How to know the Galois Group of a polynomial is a solvable group?
ResourceFunction["StauduharGaloisGroup"][2 x^5+3 x^4+10 x^3+15 x^2+8 x+12,x]["GaloisGroup"]
...
- 27k
3
votes
1
answer
234
views
How to draw a cycle graph of a group?
MMA can plot a Cayley graph by CayleyGraph directly, which can help us to visualize the group:
...
- 27k
5
votes
5
answers
266
views
How to get the action diagram when the group act on a set?
I previously thought the orbital map would achieve this, but as the current answer or discuss in the comment. I realized that was wrong. And the Close behavior advice tells me "Needs details or ...
- 27k
12
votes
3
answers
620
views
How to find all left cosets about a subgroup?
I have a group:
group = PermutationGroup[{Cycles[{{1, 3, 6}, {2, 4}}], Cycles[{{6, 7}}]}];
And I have s subgroup
...
- 27k
6
votes
1
answer
84
views
2
votes
2
answers
490
views
Source files for the book Exploring Abstract Algebra with Mathematica
I have been looking for the latest version from 2020.
The way back machine did not save the file.
The files that I’m looking for are :
AbstractAlgebraDownloadsV9x.zip
And Master.m
Here is the link ...
- 21
2
votes
0
answers
109
views
Are there irreducible representations of the crystallographic groups
This yields the list of the irreducible representations of the point crystallographic group Oh:
...
- 39.8k
3
votes
1
answer
123
views
Issues in FiniteGroupData Character Tables
Using $Version == "12.3.0 for Mac OS X x86 (64-bit) (May 10, 2021)" and executing
...
- 6,311
3
votes
2
answers
242
views
Replacing multiple variables according to the index
I'm currently working on the Polya's Enumeration Theorem implementation in Mathematica. As an example, of what I want to do, here's a formula I'm working with:
$$P_{C_{12}}(x_1,\ldots,x_{12})=\frac{1}{...
- 119
3
votes
0
answers
205
views
Reducing to Irreducible Representations
Group Theory Background / Utilities
Suppose I give you a list G of matrices which represent some group, in that the matrices are closed under multiplication. In ...
- 6,311
4
votes
1
answer
495
views
CharacterTable for symmetric groups $S_n$ with large $n$
I am looking for a package to generate character tables for symmetric groups $S_n$. At this moment I am using
...
- 401
0
votes
1
answer
61
views
Solving abstract factorization problem with Mathematica
I'm a Mathematica newbie.
Given something like:
$$(r_0 + r_1 a + r_2 a^2 + r_3 a^5)(r'_0 + r'_1b + r'_2 b^2 + r'_3 b^5) = 1 - a^5 b^5$$
I'd like to determine if there exist $r_i,r'_i$ that solve the ...
- 103
3
votes
0
answers
125
views
Packages for study presentation of groups
This question asks if there are tools/packages in Mathematica for the study of presentation of groups, but it is almost 7 years old and an answer suggests to use Combinatorica package which is now ...
- 6,767
7
votes
2
answers
311
views
How Can I Compute The Automorphism Group of a Matroid?
I want to compute the automorphism group of a matroid. This reduces to the following (more general) problem:
Suppose I have a list of sets $\{\{b_{11},\dots,b_{1k}\},\dots,\{b_{k1},\dots,b_{kk}\}\}$ ...
- 755
4
votes
1
answer
103
views
How to decompose a 5-cycles into a permutationproduct of two 3-cycles?
We know that every 3-cycles can be expressed as the product of two commutations.
Cycles[{{1, 2, 3}}] ==
PermutationProduct[Cycles[{{1, 3}}], Cycles[{{3, 2}}]]
In ...
1
vote
0
answers
29
views
3
votes
3
answers
207
views
How to delete duplicate graphics of the same kind?
A054247: Number of n X n binary matrices under action of dihedral group of the square D_4.
...
4
votes
2
answers
414
views
How to correctly enumerate all the schemes of this cube coloring problem?
This problem is the fifth question of 1996 Chinese High School Mathematics League or Chinese Mathematical Olympiad in Senior:
Choose several colors from the given six different colors to dye six faces ...
0
votes
1
answer
122
views
How to create a set (of matrices) which will be used as an finite group to minimize a function?
I'm new here so I'm a little lost.
I need to minimize a function considering that the minimizing parameter belongs to a preestablished set. It all involves matrices.It's something like this:
Where ...
3
votes
2
answers
143
views
Orbits of a set $X$ under the action of cyclic permutation $T$
Let $X$ be a set defined as
$$X = \{\{\sigma_1, \dots, \sigma_L\} \;|\; \sigma_i = 0,\dots ,n-1\}.$$ Furthermore, let $T:X\longrightarrow X$ be a cyclic permutation
$$ T\cdot\{\sigma_1, \dots, \...
- 263
5
votes
1
answer
331
views
Finding invariant matrix given group elements
I have a question about speeding up / optimising the following calculation. I have a feeling there is a way to rewrite it but I can't quite see what to do.
In $d=3$ dimensions, given a set of ...
- 109
2
votes
0
answers
52
views
Does Mathematica limit the size of a set of permutation group generators?
I tried to generate general and special linear groups PGL2 and PSL2 over finite fields using straightforward algorithms over finite fields: The generators are permutations defined as the additive ...
- 1,782
6
votes
1
answer
176
views
Finding sequence of group generators that yields group element
Here is my permutation group that acts on lists of length 4, defined in terms of four generators:
...
- 19.7k
5
votes
2
answers
353
views
Symmetry unique atom coordinates
One thing I love about Mathematica is how easily I can go from the name of a molecule to estimated coordinates of its atoms, with a command like
...
- 277
5
votes
0
answers
100
views
How to compute with Mathematica the space representation of a group for a given point set?
A set of points $P = \{p_1,p_2,\dots\} \subset \mathbb{R}^3$ in 3D is given. A symmetry transformation $S \in \mathbb{R}^{3 \times 3}$ is considered here as a matrix which maps the elements of $P$ to ...
- 5,523
0
votes
1
answer
191
views
How to solve problem 599 of Project-Euler
Problem 599 of the Project-Euler is described as follows:
The well-known Rubik's Cube puzzle has many fascinating mathematical properties. The 2×2×2 variant has 8 cubelets with a total of 24 visible ...
5
votes
1
answer
174
views
Calculating Rubiks $ 2 \times 2 \times 2 $ Permutation using Cycles
The help page of PermutationGroup shows a neat example on calculating the permutations of a $3\times 3\times 3$:
...
- 229
6
votes
4
answers
303
views
Illustration of Motzkin numbers: how to delete duplicates
The $n$-th Motzkin number is the number of different ways of drawing non-intersecting chords between $n$ points on a circle (not necessarily touching every point by a chord -- see https://en.wikipedia....
- 3,856