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 on group theory which concern finite 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
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
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
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
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