Questions about the branch of abstract algebra that deals with groups.

learn more… | top users | synonyms (1)

18
votes
2answers
355 views

Which groups are the unitary group of a $C^*$-algebra

Which groups are the unitary group of a $C^*$-algebra? Does anyone know anything in this direction?
4
votes
4answers
357 views

Structure of the adjoint representation of a (finite) group (Hopf algebra) ?

Every group acts on itself by conjugation $h \mapsto g h g^{-1}$. Respectively considering functions on a group we obtain a linear representation. Question 1: what is known about this representation ...
18
votes
2answers
674 views

Subgroups of finite solvable groups with paradoxical properties

For which pairs of finite solvable groups H, G, is the following true: H embeds in two ways into G, say as H1 and H2, where H1 is maximal in G and H2 is not? Are there any such pairs? Some comments ...
2
votes
1answer
180 views

some properties of Almost simple group

I will be so thankful for any help due to the following questions. First some notation. Almost simple group "ASG" means group G such that $F^{*}(G)$ is simple non-abelian. I only consider ASG such ...
1
vote
1answer
138 views

Do group identities of quotient with radical lift?

Let $R$ be a commutative Artinian ring and $J(R)$ its radical. Assume that the quotient $R/J(R)$ is a GI-ring. (definitions that i use: I call a ring $S$ a GI-ring if its unit group, ...
1
vote
2answers
319 views

A neat monodromy group of a family of Kaehler manifolds

Let $X\rightarrow B$ be a family of Kaehler manifolds with possibly singular fibers. Let $G$ be the monodromy group on $H^n(X_b,\mathbb{Z})$, where $n=\dim X_b$ with the smooth fiber $X_b$ over some ...
8
votes
1answer
246 views

Calculations of nonabelian group cohomology of R^n

I am looking at $H^1(\mathbb{R}^n,G)$ where $G$ is a finite 2-group. I'm wondering if such things have been calculated. I'm afraid I can't say I know anything here, past the result that this ...
6
votes
1answer
136 views

Do syndetic sets on amenable semigroups have positive upper density?

Let $\mathbb{G}$ be a discrete amenable semigroup, and $\left\{ F_{n}\right\} $ a Folner sequence. For $S\subset \mathbb{G}$ define the upper density as $D^{\ast }(S)=\limsup_{n\rightarrow \infty ...
-1
votes
1answer
128 views

Homeomorphism of the punctured sphere which fixes an essential Jordan curve

$\phi$ is a homeomorphism from the 2-sphere to itself which represents an element of $PMCG(S^2,A)$ (we also denote it by $\phi$), where $A$ is a finite set of $S^2$. $\gamma$ is an essential Jordan ...
3
votes
3answers
229 views

Finding a character of height zero

My character theory is rather weak, so excuse me if this is a triviality. I have read on the encyclopedia of maths that for any group $G$, every block of $G$ contains an irreducible character of ...
3
votes
3answers
149 views

Is every nontrivial 3-transitive permutation group contained in $A_n$?

It is mentioned in the book "Permutation Groups" by Dixon and Mortimer that a 6-transitive permutation group on $n$ elements is $A_n$ or $S_n$ and that all the other $4$ and $5$-transitive permutation ...
10
votes
1answer
414 views

When taking the fixed points commutes with taking the orbits

Let $G$ and $H$ be groups, both acting on a set $X$ on the left, in such a way that the two actions commute. (Equivalently, let $G \times H$ act on $X$.) The set $\text{Fix}_H(X)$ of $H$-fixed ...
2
votes
1answer
162 views

Finite-index free subgroups in lattices and matrix rings

It is a theorem of Selberg that a lattice $\Gamma$ in a linear group has a torsion-free subgroup of finite index. Page 64 in 'Introduction to Arithmetic Groups' by Dave Morris asserts these can be ...
7
votes
2answers
343 views

How many finite loops?

How many finite loops of order $n$ are there? I am interested in the exact values ​​of $n$ if $n <40$ or even reasonable estimates. I am also interested in formulae or bounds for all $n$. Note ...
1
vote
1answer
166 views

The compact Lie group contains a finite subgroup $\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2} \times \mathbb{Z}_{n_3}$

Given a finite Abelian group: $G=\mathbb{Z}_{n_1} \times \mathbb{Z}_{n_2} \times \mathbb{Z}_{n_3}$, where ${n_1},{n_2},{n_3}$ are arbitrary positive integers. ${n_1},{n_2},{n_3}$ may have or may not ...
-4
votes
1answer
174 views

Simple group of order 504 [closed]

As we know,there are 9 Sylow 2-subgroup in the Simple group of order 504.Can anyone prove it only by Sylow's theorem? (you can't use knowledge about PSL(2,8))
3
votes
1answer
136 views

Large abelian characteristic subgroups in abelian-by-countable groups

Does there exist a group with a normal countable-index abelian subgroup but without characteristic countable-index abelian subgroups? It is well known that any finite-index subgroup contains a ...
3
votes
3answers
102 views

For centralizer subgroups, is the endomorphism ring of a restriction generated by endomorphisms and the centralized element?

In some recent doodlings, I got myself to the point where what I was trying to understand would work out if the following claim were true: Let $G$ be a group, $g\in G$, and $\rho:G \to ...
10
votes
0answers
191 views

Groups with reduced C*-algebras of stable rank 1

Let $G$ be a countable discrete group, $C_r^*(G)$ its reduced $C^*$-algebra. We say that $G$ has stable rank 1 if $C_r^*(G)$ has stable rank one, that is, the set of invertible elements is dense in ...
6
votes
1answer
104 views

Is the kernel of the Bohr compactification minimally almost periodic provided that it is cocompact?

Let $G$ be a locally compact (second countable) group and let $$ G_0 = \cap \{ \ker\pi : \pi \text{ is a continuous finite-dimensional unitary representation of } G \}. $$ This is the kernel of the ...
3
votes
1answer
101 views

Non-abelian group from affine hermitian curve

I was playing with the Hermitian curve $y^q + y = x^{q+1}$ over the field $GF(q^2)$ and chanced upon the following (non Abelian) group law on the points of the affine curve: $(a,b) * (c,d) = ...
5
votes
1answer
136 views

Commutator Width of a direct limit of hyperbolic groups

Is it known if the direct limit of hyperbolic groups can have finite commutator width? Every hyperbolic group has infinite verbal width for any word $w$, so in particular for the commutator word ...
11
votes
1answer
400 views

Are There Always Group Generators Which Give Unimodal Growth?

Suppose $G$ is a $k$-generated finite group. Is there always a set of $k$ elements which generate the group and have a unimodal counting function? Background: The counting function, $f(n)$, is a ...
2
votes
1answer
84 views

Flag primitivity of the correlation group of classical projective planes.

We know that the full automorphism group of the $\pi_q = PG(2,q)$ acts imprimitively on the flags (all flags through a fixed point form a block). But, things change when we consider the action of full ...
1
vote
1answer
124 views

Basis of free quotients of free groups

Let $F$ be a finitely generated free group. Consider $R\subset F$ a finite set of relations and denote with $G$ the quotient group of $F$ by the normal closure of $R$. Now suppose we are given ...
6
votes
2answers
369 views

Number of isomorphism types of finite groups

Are there some good asymptotic estimations for the number $F(n)$ of non-isomorphic finite groups of size smaller than $n$?
2
votes
1answer
154 views

Which subgroups of a finite reflection group have distingushed coset representatives?

Let $W$ be a finite reflection group with length function $l$ and let $I$ be a set of simple reflections that generate $W$. Let $\phi$ be an automorphism of $W$ permuting $I$. Consider the orbits of ...
9
votes
0answers
380 views

How many sporadic simple groups are there, really?

I attended a talk by John Conway recently where he explained to us that the usual number, 26, was wrong, that there are in fact 27 sporadic simple groups. His reason was that the Tits group, which is ...
10
votes
1answer
308 views

Iterated Automorphism Groups

Notation: For each group $G$ define: $Aut^{(0)}(G):=G$ $Aut^{(1)}(G):=Aut(G)$ $\forall n\geq 1~~~Aut^{(n+1)}(G):=Aut(Aut^{(n)}(G))$ Question: Consider $I\subseteq \omega$. Is there a group $G$ ...
7
votes
1answer
305 views

How to construct a group with specified growth function

Are there any procedures which given a nonnegative nondecreasing function on the integers will construct a finitely generated group with the same growth up to the usual equivalence of growth ...
2
votes
1answer
149 views

Simplification problem for finite groups

Let $G_1,G_2,H$ be finite groups. My question is: if $G_1\times H$ is isomorphic to $G_2\times H$, is $G_1$ isomorphic to $G_2$? I came to this question while preparing an exercise on finite abelian ...
22
votes
2answers
661 views

In any Lie group with finitely many connected components, does there exist a finite subgroup which meets every component?

This question concerns a statement in a short paper by S. P. Wang titled “A note on free subgroups in linear groups" from 1981. The main result of this paper is the following theorem. Theorem (Wang, ...
6
votes
2answers
648 views

If $G \times G \cong H \times H$, then is $G \cong H$? [duplicate]

Let $G,H$ groups. Suppose that $G \times G \cong H \times H$. Then is necessarily $G \cong H$? I know that if $G,H$ are finite groups then it is true (you show that the map $FinGrp \rightarrow ...
1
vote
0answers
125 views

A connection between nonplanar complete graphs and the alternating group?

I didn't get any response on MSE so I though I'd give this a try here (my question on MSE). I went to an undergrad's senior honors thesis presentation a while ago. She was discussing crossing numbers ...
5
votes
1answer
141 views

The line graphs of complete graphs and Cayley graphs

Let $n>3$ be an odd integer and let $K_n$ denote the complete graph on $n$ vertices. For which integers $n$ the line graph $L(K_n)$ is a Cayley graph? For even $n$, it follows from a result of ...
4
votes
1answer
365 views

Checking irreducibility

This is related to this question. Suppose I have an $n$-dimensional representation of a finitely generated group, and I want to know whether it is absolutely irreducible. This can, of course, be done ...
6
votes
4answers
314 views

Is the conjugacy problem solvable in $Out(F_n)$?

There is a paper of Martin Lustig on his webpage giving a positive answer to the conjugacy problem for the outer automorphism group of the free group $F_n$. On the other hand, there seems not to be a ...
0
votes
1answer
152 views

Find a simple closed curve in $S$ which represents a commutator in $\pi_1 S$

I am interested in the following problem : decide if a certain element of the fundamental group can be represented by a simple closed curve. The general case has already been asked and answered on MO ...
-3
votes
1answer
109 views

finite index, self-normalizing subgroup of $F_2$ [closed]

Denote $F_2=\langle a, b\rangle$ to be the free group on two generators $a, b$. Let $H\leq F_2$ to be a subgroup with finite index $n$, so $H\cong F_{n+1}$ by Nielsen–Schreier theorem, recall that ...
41
votes
3answers
1k views

Is there a 0-1 law for the theory of groups?

Several months ago, Dominik asked the question Is there a 0-1 law for the theory of groups? on mathstackexchange, but although his question received attention there is still no answer. By asking the ...
0
votes
1answer
160 views

the structure of a 2-group [closed]

Let $ M $ be a finite group of order $2^{a+1} $ and let $ M $ have a normal subgroup $ R $ such that $|M: R|=2 $. Also we know that $ R $ is an elementary abelian subgroup of $ M $. For example $ ...
7
votes
2answers
335 views

Number of subgroups of a given index of a free group

Given $n,d\in \mathbb{Z}^+$, how many subgroups of index $d$ does the free group of rank $n$ have? In case $n=1$ the question is trivial, and in case $n=2, d=2$ there are 3 such subgroups. I think I ...
1
vote
4answers
369 views

What is “van Dyck's theorem”

There is a paper Hickin, Kenneth Keller, Bounded HNN presentations. J. Algebra 71 (1981), no. 2, 422–434 in which on page 424 it is used "Van Dyck's theorem". The closest i could get from google is ...
4
votes
1answer
228 views

What is known about maximal free subgroups of surface groups?

Let $\Gamma_g=< a_1,...,a_g,b_1,...,b_g | \prod_{i=1}^g [a_i,b_i]>$ (a surface group). What is known about maximal free subgroups of $\Gamma_g$ for $g>1.$ (I.e. free subgroups which are not ...
2
votes
0answers
148 views

quasiisomorphic groups and torsion [closed]

Are there two finitely generated quasiisomorphic groups $G$ and $H$ such that $G$ is torsionfree and $H$ has torsion elements of arbitrarily large order?
0
votes
1answer
126 views

resources in surjunctive groups

Are there any free available resources on surjunctive groups which are available to say: a graduate level student? A textbook would be fine also. Regards.
8
votes
1answer
294 views

A subgroup intersects conjugacy class of every prime power order element

Let $G$ be a finite group and $H$ be a subgroup of $G$. Suppose that for any prime power order element $x$ of $G$, there exists some element $g$ in $G$ such that $x^g$ is contained in $H$. Does it ...
0
votes
0answers
47 views

Finding stable ideals of F_3[[X,S]] by group action.

Let k > 1 be a positive integer and define the action σ_k on F_3[[X,S]] by σ_k: X ---> X + S + X^k σ_k: S ---> S + S^3. Then, Conjecture: There exists a principal ideal (a) other than (S) such ...
1
vote
0answers
135 views

Can assigment of Cayley graphs be functorial?

Let $G$ and $G'$ be finitely generated groups and $f:G\to G'$ a homomorphism. First question: for a given $f:G\to G'$ it possible to select generating sets $S\in G, S'\in G'$ so that their would be a ...
7
votes
2answers
230 views

Realizing a subgroup of a Lie group as a stabilizer subgroup

Let $G$ a compact semisimple Lie group, $H$ a subgroup of $G$. Is it always possible to find an irreducible representation $R$ of $G$ such that the stabilizer of an $x\in R$ is "locally isomorphic" to ...