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 39747

Questions about the branch of algebra that deals with groups.

1 vote
Accepted

on the solvable groups of order $p^aq^b$

The alternating group $A_4$ is a counterexample: It has order $2^2\cdot 3$, so $O^2(A_4)$ will contain an order $3$ element. But any order $3$ element of $A_4$ generates the whole group as a normal di …
Achim Krause's user avatar
  • 10.8k
8 votes

Retract of a product

EDIT: In an earlier version, I claimed erroneously that the following statement holds for general $I$, and can be formally reduced to the case of countable $I$. I currently do not see how to perform t …
Achim Krause's user avatar
  • 10.8k
6 votes

Schur cover of alternating groups

If you continue to the end of Section 2.7.2, there are actually two different double covers of $S_n$ (abstractly this comes from the fact that $S_n$ is not perfect, both of these double covers restric …
Achim Krause's user avatar
  • 10.8k
3 votes

Find $a$ satisfying $x \cup_1 y = \delta a$ when $x,y \in Z^2(G,\mathbb{Z}_2)$

The $\cup_1$-product is not always a coboundary. For example, for a cocycle $x\in Z^2$, $x\cup_1 x\in Z^3$ is a representative of the class $\operatorname{Sq}^1 x$. This can be non-trivial already for …
Achim Krause's user avatar
  • 10.8k
8 votes

Embedding an icosahedron

The answer to your question is actually "yes", but maybe not in the way you wanted. Indeed, the full (oriented) symmetry group of the icosahedron is isomorphic to $A_5$. The stabilizer of a vertex is …
Achim Krause's user avatar
  • 10.8k
3 votes

Presentationally finite group "extensions"

I'm not aware of any widely used term for this in the context of groups, but in analogy with the usage in algebraic geometry and commutative algebra, you could say that a morphism of groups $G\to H$ i …
Achim Krause's user avatar
  • 10.8k
16 votes
Accepted

When is the augmentation ideal projective as RG-module?

Okay, this happens precisely in the obvious case, namely if all primes dividing the order $|G|$ are invertible in $R$. To see this, note that $\operatorname{Ext}^*_{R[G]}(R,R)$ is group cohomology of …
Achim Krause's user avatar
  • 10.8k
2 votes

Characters of p-adic units

YCor's example in the comments shows that you can have continuous characters with image an arbitrarily large finite group. In fact, there are even injective homomorphisms $\mathbb{Z}_p^\times \to \mat …
Achim Krause's user avatar
  • 10.8k
10 votes
Accepted

The number of polynomials on a finite group, II

This is an answer to problem 1 and problem 3: As noted in the comments, $\operatorname{Poly}(G)$ with pointwise multiplication is a group for finite $G$. Consider the homomorphism $\operatorname{Poly} …
Achim Krause's user avatar
  • 10.8k
4 votes

Generating random finite groups

Here is a stupid approach: Fill in a $n\times n$ multiplication table randomly, then check whether if satisfies the properties of a group. (The hard part is associativity, apart from that we basical …
Achim Krause's user avatar
  • 10.8k