Search Results
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 |
Questions about the branch of algebra that deals with groups.
9
votes
Accepted
Generic set that is a proper subgroup
No, it's not possible. For notational convenience assume $S$ is symmetric and $1\in S$, so that $B_{G,S}(n) = S^n$. Suppose
$$
|H\cap S^{n_i}|/|S^{n_i}|\to 1
$$
for some subsequence $(n_i)$. Let $x$ …
6
votes
Does the knowledge of $Z(G)$ and $G/Z(G)$ give the full group?
No, one cannot. For instance the dihedral group $D_8$ has centre $Z(D_8)\cong C_2$ and $D_8/Z(D_8)\cong C_2\times C_2$, but $D_8\ncong C_2\times C_2\times C_2$.
I might paraphrase your argument as fo …
6
votes
Accepted
Elements in group extensions which cancel unary terms in the language of groups
No. Let $G = \langle x, y \rangle$ be a $2$-generated non-free group with $x$ of infinite order such that $F = \langle x, g\rangle \cong F_2$ for some $g \in G$. Then we get a counterexample by taking …
8
votes
How abelian can a non-abelian finitely generated group be?
Try not to be seduced by balls. When it comes to infinite groups, you get much better theory if you focus on random walks. For example, the most basic thing you might ask of your density function is t …
9
votes
Maximal subgroups of $S_{\Bbb N}$ and $A_{\Bbb N}$
Here I will follow the notation from Dixon--Mortimer, rather than OP's, because it seems to be more standard, and clearly distinguishes the full and finitary symmetric groups.
Let $\Omega$ be an infin …
8
votes
Accepted
Finite conjugacy classes
Q0: For references try starting with Robinson's A course in the theory of groups, starting around 14.5.5. There the FC center is defined and some characterizations are given for FC groups (groups with …
2
votes
Universal group such that every finite group is a quotient
Not a complete answer: Let $G = \prod_F F$ be the direct product of all finite groups and let $F_\omega$ be the free group on a countably infinite collection of generators. Obviously $G$ and $F_\omega …
7
votes
1
answer
419
views
Extension-field subgroups of $\operatorname{GL}(n, K)$
$\newcommand{\op}[1]{\operatorname{#1}}\def\GL{\op{GL}}$I am interested in the subgroups of $\GL(n,K)$ of the form $\GL(n/s, E)$ for $E$ some extension field of $K$ of degree $s$. These arise in the f …
22
votes
1
answer
638
views
Probability of satisfying a word in a compact group
This question is inspired by Probability of commutation in a compact group, which asked whether $P(xyx^{-1}y^{-1} = 1)$ could take values strictly between $0$ and $1$ on a compact connected group. Tha …
4
votes
1
answer
224
views
Groups with exponentially growing centre
Given a finitely generated group $G$ and a finite subset $S$, let $\omega_G(S) = \inf_{n\geq1} |S^n|^{1/n}$ (this is the exponential growth rate of $S$).
Is there a finitely generated group $G$ w …
9
votes
1
answer
411
views
When is there a unique perfect group of order $n$?
For which $n$ is there a unique perfect group of order $n$? Are there infinitely many such $n$?
Some guesses for infinite sequences of such $n$: $|\mathrm{PSL}(2,p)|$, $|\mathrm{SL}(2,p)|$, $|A_m|$, …
8
votes
Subgroup property stronger than being characteristic
There must be no other subgroup of $H$ isomorphic to $K$. Certainly this property implies your property, as $g^{-1}Kg$ is always isomorphic to $K$. Conversely if $K'\leq H$ is isomorphic to $K$ let $ …
6
votes
Fixed points of $x\mapsto 2^{2^{2^{2^x}}} \mod p$
Your argument for three exponentials can be simplified a bit by using the multiplicative version of van der Corput instead of the additive version. Specifically, if your equation
$$2^{y^{2^k}} = 2^{y} …
3
votes
Powers of finite simple groups
I have no reference for this problem, but let's at least write down the trivial bounds.
Let $s_1,\dots s_r\in S^n$ and suppose $n>|S|^r$. Associate to each index $i$ the element
$$(\pi_i(s_1),\dots,\ …
3
votes
1
answer
2k
views
Why do elementary matrices generate the special linear group over polynomial rings?
Let $R$ be a ring. An elementary matrix over $R$ is a matrix with $1$s along the diagonal and at most one other nonzero entry. Let $\text{EL}_n(R)$ denote the subgroup of $\text{GL}_n(R)$ generated by …