995 reputation
313
bio website
location
age
visits member for 2 years, 11 months
seen Dec 8 at 13:57

Aug
6
awarded  Popular Question
Jul
2
awarded  Curious
Feb
12
comment Character Table of the Monster
Excellent, thanks for that.
Feb
12
accepted Character Table of the Monster
Feb
12
comment Character Table of the Monster
Sorry, I probably should extrapolate a tiny bit, I need to do calculations with it involving the entries for elements of order 2, hence only need the character degrees and the values for 2A and 2B, but don't really want to enter these manually from the Atlas!
Feb
12
asked Character Table of the Monster
Jan
31
revised Order of a permutation using its cycle decomposition
Added tags permutations and finite-groups
Jan
31
suggested approved edit on Order of a permutation using its cycle decomposition
Jan
6
awarded  Yearling
Jan
3
comment Coercing a vector into a module in MAGMA.
So if for example I was working with the 2-dimensional irreducible module for $Sym(4)$ over $\mathbb{F}_{2}$ - just to keep things really simple, then I might have the matrix $A:=[0 1]$ over $\mathbb{F}_{2}$ that I want to treat as an element of $I$. Using the coercion mentioned in the question I would need to use $I![0,1]$ whereas to use the other method, I would need to use $elt<I|0,1>$. Is there any way of doing this just by calling on $A$? (I hope that makes sense, but using MAGMA is not my strong point!)
Jan
3
comment Coercing a vector into a module in MAGMA.
So an obvious way to do this is to form the appropriate sum of basis elements, but I suppose my question is whether or not there is a command already built into MAGMA that will do this.
Jan
3
comment Coercing a vector into a module in MAGMA.
Yest, $M$ is the $n$-dimensional $R$-module.
Jan
3
asked Coercing a vector into a module in MAGMA.
Dec
27
accepted Producing a set of matrices in MAGMA
Dec
27
revised Intuition and Tricks - Hard Overcomplex Proof - Order of Subgroup of Cyclic Subgroup - Fraleigh p. 64 Theorem 6.14
added finite-groups and cyclic-groups tags
Dec
27
suggested approved edit on Intuition and Tricks - Hard Overcomplex Proof - Order of Subgroup of Cyclic Subgroup - Fraleigh p. 64 Theorem 6.14
Dec
27
answered Intuition and Tricks - Hard Overcomplex Proof - Order of Subgroup of Cyclic Subgroup - Fraleigh p. 64 Theorem 6.14
Dec
20
accepted Terminology for a type of indecomposable module
Dec
19
comment Terminology for a type of indecomposable module
Viewing them from a ring-theoretic viewpoint, calling them local modules would be natural. However, I have seen the term local module refer to this situation where $R$ is a local ring. Maybe this could be where quasi-local modules are different?
Dec
19
asked Terminology for a type of indecomposable module