All Questions
Tagged with magma finite-groups
5
questions
-1
votes
1
answer
43
views
map from spin to special orthogonal in Magma [closed]
Let $G:=\operatorname{Spin}(7,5)$. How to construct in Magma the map $G \rightarrow G/Z(G) $ where $Z(G)$ is the center. I get this from Magma:
...
0
votes
1
answer
62
views
intersection of point stabilisers is trivial
Let $G=\operatorname{GL}_{n}(2)$. Let $v_{i}$ be the basis elements of the natural module of $G$. I observed by computing with Magma that the intersection of all Stabiliser($G, v_{i}$) is trivial for ...
0
votes
1
answer
65
views
Build abelian group containing a set $K$ under an associative, commutative operation $*$ with an identity but the inverses are not always in $K$.
We are given a set K of elements and an operation * . For every element in the set, there exists an inverse element (not necessarily in the set). There are three (additional) rules:
1) K contains e (...
30
votes
5
answers
12k
views
A finite, cancellative semigroup is a group
Let $G$ be a finite, nonempty set with an operation $*$ such that
$G$ is closed under $*$ and $*$ is associative
Given $a,b,c \in G$ with $a*b=a*c$, then $b=c$.
Given $a,b,c \in G$ with $b*a=c*a$, ...
62
votes
7
answers
20k
views
Is there an easy way to see associativity or non-associativity from an operation's table?
Most properties of a single binary operation can be easily read of from the operation's table. For example, given
$$\begin{array}{c|ccccc}
\cdot & a & b & c & d & e\\\hline
a &...