Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 65801

Questions about the branch of algebra that deals with groups.

14 votes
Accepted

Can $\text{Aut}(G)$ be extended to contain $G$?

Jesper Grodal and I once looked at this, cf. this answer. In particular Eilenberg and MacLane constructs a universal obstruction in $H^3(\text{Out}(G);Z(G))$ for the extension $1\rightarrow G\rightarr …
Kasper Andersen's user avatar
6 votes

Why, conceptually, does the torus normalizer in $G_2$ split?

While the following might not be conceptual, but at least it's simple if one knows group cohomology. The obstruction to splitting lives in $H^2(W;T)$, and we have $H^n(W;T)=0$ for all $n\geq 0$! One w …
Kasper Andersen's user avatar
5 votes
Accepted

Group homology for a metacyclic group

The name metacyclic is normally used for a group which is cyclic-by-cyclic (ie. a group $G$ with a cyclic normal subgroup $N$ such that $G/N$ is also cyclic). I will therefore refer to a finite group …
Kasper Andersen's user avatar
11 votes
Accepted

For which subgroups the transfer map kills a given element of a group?

The answer to Q1 is yes, the order of $a$ might be smaller than the gcd: Let $G=\langle x,y\mid x^8=y^2=1,x^y=x^3\rangle$ be the semidihedral group of order $16$. Let $a=[x]\in G_{\text{ab}}=C_2\times …
Kasper Andersen's user avatar
4 votes

Cohomology of the adjoint representation of $\mathrm{SL}_2(k)$

(Too long for a comment.) A Magma computation shows that for $k=\mathbf{F}_p$ with $p$ prime the group $H^1(\operatorname{PSL}_2(k);k^3)$ equals $0$ for $p=3$ and $7\le p\le 17$ while the cohomology g …
YCor's user avatar
  • 63.9k
10 votes

Questions about algorithms for permutation groups

The following is only an answer to the first question: Consider the subgroups $G_1=\langle (12)(34),(13)(24)\rangle$ and $G_2=\langle (12)(34),(34)(56)\rangle$ of $\Sigma_6$ which are both isomorphic …
Kasper Andersen's user avatar
7 votes

What is the least $n\ge1$ for which there is an $n$-dimensional closed flat manifold with pe...

For $G=A_5=\text{PSL}_2(\mathbb{F}_5)$, the minimal dimension of a flat manifold with holonomy group $G$ is 12 15 according to Theorem (V.1) in W. Plesken:``Minimal dimensions for flat manifolds with …
Kasper Andersen's user avatar
6 votes
Accepted

Non-vanishing of the Tate-Shafarevich kernel in group cohomology

I think the following is an example of $Ш(G,M(G,H,\Bbb{F}_2))\neq 0$: Take $G=A_4$ and $H$ of order $2$. Then $M$ has dimension $5$ and a (computer) calculation shows that $Ш(G,M(G,H,\Bbb{F}_2))$ has …
Kasper Andersen's user avatar
16 votes

General bound for the number of subgroups of a finite group

A theorem of Borovik, Pyber and Shalev (Corollary 1.6) shows that the number of subgroups of a group $G$ of order $n=\lvert G\rvert$ is bounded by $n^{(\frac{1}{4}+o(1)) \log_2(n)}$. This is essential …
Kasper Andersen's user avatar
9 votes
Accepted

Why is this group called "The Holomorph of a group"

I'm not a history expert, but according to Miller, Blichfeldt and Dickson: "Theory and applications of finite groups" (1916), footnote p. 46: "The concept of holomorph was used by many early writers, …
Kasper Andersen's user avatar
7 votes

Embedding $G$ in a $Z(G)$ extension of $\operatorname{Aut}G$

As Derek Holt points out, the existence of such an extension is equivalent to the universal cohomology class in $H^3(\text{Out}(G);Z(G))$ being zero. The Eilenberg-MacLane paper is the original refere …
Kasper Andersen's user avatar
4 votes

Uniform proof that a finite (irreducible real) reflection group is determined by its degrees?

I dont know a proof (other than by inspecting the list of degrees) in the irreducible case. However in the reducible case, a finite real reflection group is not determined up to isomorphism by its deg …
Kasper Andersen's user avatar