# Tagged Questions

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

131 views

### Some question on haar measure for sumsets of closed subsets of profinite groups

Let $H$ be a profinite group with the haar measure $\mu_H$. Let $H_1$ and $H_2$ be closed subgroups of $H$. $H_1$ and $H_2$ have their own haar measures $\mu_{H_1}$ and $\mu_{H_2}$ respectively. ...
196 views

### commutators in upper triangular matrices

Consider the group $T_p(n)$ of all non-singular upper triangular matrices with entries in $\mathbb{F}_p.$ Its commutator subgroup is $U_p(n)$ (all elements in $T_p(n)$ with $1$s on the main diagonal). ...
195 views

### Does there exist finite dimensional irreducible representation of Euclidean or Poincare group in which translation and rotation both act nontrivially?

Does there exist any finite dimensional irreducible rep. of Euclidean or Poincare group in which translation and rotation both act nontrivially? Let me firstly clarify my question. For example, we ...
133 views

### Lifting automorphisms of quotient groups

I am concerning here a natural question: Problem: Let $G$ be a finite group, and let $N$ be a characteristic subgroup of $G$. When can an automorphism $\varphi\in\mathrm{Aut}(G/N)$ be lifted to an ...
147 views

### The homotopy type of the mapping space $Map_{B\rho}(BS^1,BG)$? for $G$ a compact Lie group

Given a homomorphism $\rho:S^1\rightarrow G$ with $G$ a compact Lie group there is an induced map of classifying spaces $B\rho:BS^1\rightarrow BG$. What is known about the homotopy type of the mapping ...
242 views

188 views

708 views

### Simplicity of $A_n.$

I am teaching an introductory group theory course, and it has come to the inevitable proof that $A_n$ is simple for $n\geq 5.$ Now, there seem to be a number of proofs that I can find - one the "...
110 views

### On the structure of groups according to their conjugacy classes

A finite group $G$ satisfies property $P_n$ if for every prime integer $p$, $G$ has at most $(n-1)$ non-central conjugacy classes the order of the representative element of which is a multiple of $p$. ...