A group is an algebraic structure consisting of a set of elements together with an operation that satisfies four conditions: closure, associativity, identity and invertibility. Group theory studies groups.

learn more… | top users | synonyms (2)

4
votes
0answers
97 views

What is the smallest squarefree number $n$ with $gnu(n)=79$?

I am searching the smallest squarefree number $n$ with $gnu(n)=79$. $n$ must have more then $3$ prime factors because $p+2\ne 79$ and $p+4\ne 79$ for every prime $p$. The maximum possible number of ...
4
votes
0answers
81 views

Normal subgroup $H$ of $G$ with same orbits of action on $X$.

I have a somewhat broad question related to group actions and their restriction to a normal subgroup. If we have a group action $\sigma : G \times X \rightarrow X$ with orbits $G_x$, and a normal ...
4
votes
0answers
44 views

A name for elements of a group generating the same cyclic subgroup

Elements with similar properties usually deserve a name in many contexts, say primitive elements in finite fields, integers modulo a number $n$, generators of a free groups etc. Does there exist a ...
4
votes
0answers
60 views

$k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set ...
4
votes
0answers
42 views

Proving an eliptic curve is cyclic, and determining it's order

I need a solution with an explanation for the following. Thanks! Let $E/F_q$ be an elliptic curve and let $P ∈ E(F_q)$ be a point a. if $n=ord(P)>1/2(q^{0.5}+1)^2$ prove that $E(F_q)$ is cyclic ...
4
votes
0answers
43 views

Is any pair of finite 2-generated perfect groups the quotient of a third finite 2-gen perfect group?

Let $H_1,H_2$ be finite 2-generated perfect groups. Does there exist a finite 2-generated perfect group $G$ which has $H_1,H_2$ as quotients? Of course we may assume $H_1\not\cong H_2$. If $H_1,H_2$ ...
4
votes
0answers
38 views

Union of conjugates of a subgroup of a finitely generated group.

Is there a finitely generated group $G$, with a proper subgroup $H$, such that $$G=\bigcup_{g\in G}gHg^{-1}$$ I know that this is not the case for a finite $G$: Union of the conjugates of a ...
4
votes
0answers
59 views

About centralizers of involutions in finite simple groups

I read that for the classification of the finite simple groups the centralizers of involutions plays a crucial role. This has to to with the Brauer-Fowler-Theorem, which in one formulation could be ...
4
votes
0answers
46 views

Can we extend the group action from subgroups?

Let $G$ be a group and $H,K$ be subgroups of $G$ such that $G=<H,K>$. Suppose that $H,K$ acts on the set $S$. Is there any condition that which guarantees that action of $H,K$ is extended to ...
4
votes
0answers
58 views

Why do we represent groups in the category of vector spaces?

For any category $\mathcal{C}$ and any object $X$ in $\mathcal{C}$, $\operatorname{Aut}_{\mathcal{C}}(X)$ is a group. Thus, given any group $G$, it makes sense to talk about representing $G$ in ...
4
votes
0answers
55 views

$\otimes$-Categorical Generalization of Lagrange

I am reading M. Brandenburg's paper and came across the following result which is a generalization of Lagrange's theory in group theory: Let $\mathcal C$ be a $\otimes$-category and $A\to B$ a ...
4
votes
0answers
40 views

Proving whether the following are groups or not.

In each case, I am asked to decide whether the indicated pair is a group or not. If so, prove it; if not, show which group axiom fails. (a) $(\dfrac{1}{2}\mathbb{Z}, +)$ where $\dfrac{1}{2} ...
4
votes
0answers
105 views

Proving $\mathrm{Aut}(S_{n}) = S_{n}$ for $n > 6$

This is a question for a school assignment. We are being asked to prove that $\mathrm{Aut}(S_{n}) = S_{n}$ for $n > 6$. These are the steps we are supposed to follow in our proof. Prove that an ...
4
votes
0answers
83 views

Geometric Coset

I am familiar with cosets, but im not sure what to do here (never had to give a "geometric" description of a coset): Consider $\mathbb{R}$ and the subgroup $\mathbb{Z}$. Describe a coset ...
4
votes
0answers
56 views

Elementary consequences of commuting limits and colimits over groups

In this n-cat cafe post, it is proven that for finite groups $G,H$ of coprime order, $G$-colimits and $H$-limits commute. Later on the following theorem is mentioned: Theorem 1. $H$-limits commute ...
4
votes
0answers
20 views

Symmetry group of product polytope

The symmetry group of the interval $[-1,1]$ is $\mathbb Z_2$, since it consists only of the identity and the reflection at the origin. Consider now the square $[-1,1]^2$. Obviously, its symmetry ...
4
votes
0answers
44 views

Question on special unitary group $SU(3)$ over local $p$-adic field

I am reading Casselman and Shalika's paper, the unramified principla series of p-adic groups II. I have a problem on the special unitary group $SU(3)$ over local p-adic field. Let $F$ be a local ...
4
votes
0answers
54 views

Room square construction (Howell design)

Using superimposed orthogonal Latin squares to construct a balanced tournament design, I get an n x n array of unique ordered pairs. If I only want unique unordered pairs, I can eliminate half of the ...
4
votes
0answers
66 views

Is the free product $\mathbb{Z}*\mathbb{Z}/n\mathbb{Z}$ a linear group?

Let $H:=\mathbb{Z}*\mathbb{Z}/n\mathbb{Z}=\langle p,q| q^n=1\rangle.$ I want to know if $H$ is a ($\mathbb{Z}$)linear group that is to say is there an injective homomorphism $f: H\to GL_m(\mathbb{Z})$ ...
4
votes
0answers
36 views

Infinite group with unique maximal subgroup

If $G$ is a group, then by a maximal subgroup, we mean a proper subgroup, which is maximal w.r.t. subset(subgroup) relation. It is well known that a finite group with unique maximal subgroup must be ...
4
votes
0answers
29 views

If $G$ acts primitively and $\Gamma \subseteq \Omega$ is not a block, then each pair of points could be separated

Let $G$ act on $\Omega$. A subset $\Delta \subseteq \Omega$ is called a block if for each $x \in G$ either $\Delta^x \cap \Delta = \emptyset$ or $\Delta^x = \Delta$, where $\Delta^x := \{ \delta^x : ...
4
votes
0answers
46 views

Why $ K \cap H $ is a maximal subgroup of $H $?

Suppose $ G $ is a finite group and $ H \unlhd G $. Suppose that $ H \cap M $ is either $ H $ or a maximal subgroup of $ H $ for any maximal subgroup $ M $ of $ G $. Let $ N $ be a minimal normal ...
4
votes
0answers
22 views

Infinitely iterated square roots in groups

Let $G$ be a group. What are possible conditions on $G$ to ensure that there is no sequence $\{g_i\}_{i\in\mathbb Z}\subset G\backslash\{1\}$ such that $g_{i+1}=g_i^2$ for all $i\in\mathbb Z$? Does ...
4
votes
0answers
77 views

$\mathscr{O}(G/H, G/K) \cong (G/K)^H?$

What I am about to ask is related to the question presented here. Let $X$ be a $G$-space, where $G$ is a (discrete) group. For a subgroup $H$ of $G$, define$$X^H = \{x : hx = x \text{ for all }h ...
4
votes
0answers
43 views

Haar measure on a profinite group is the inverse limit of the counting measure on its quotients?

I've heard this a few times now, though I've never seen a precise result. I guess the precise statement would be close to: Let $N_i$ be a basis normal subgroup neighborhoods of the identity in a ...
4
votes
0answers
59 views

Is the monster group a characteristic quotient of $F_2$?

Let $F_2$ be the free group on two generators, and $M$ the monster group. It's known that every finite simple group is 2-generated, so let $F_2\rightarrow M$ be a surjection with kernel $N$. Let ...
4
votes
0answers
46 views

Finite conjugacy classes in a certain group with three generators

Def. We say that group G has non-trivial finite conjugacy class if there is a conjugacy class $C=\lbrace g_i \rbrace$ such that $g_i \neq 1$ of G with $|C|<\infty$. Let G be group $$<a,b,c ...
4
votes
0answers
35 views

Number maximum of commutators required to generate an element of the derived subgroup

Let $G$ be a group for which the center $Z(G)$ is of index $n$. How to prove that an element of the derived subgroup $G^\prime$ is the product of at most $n^3$ commutators?
4
votes
0answers
107 views

Free groups: normal supplements of the commutator subgroup

Let $F$ be a free group and let $V$ be another verbal subgroup of $F$ such that $$ F = [F,F] V. $$ Is it true that $V=F?$ More generally, if $N$ is a normal (or even characteristic) subgroup of $F$ ...
4
votes
0answers
52 views

Basic application of Weyl-Character-Formula

(I did not find a solution of my problem in any forum so far. Sorry if it exists...) I am new to Lie-Algebras and representations and actually do not need the mathematical background... I need only ...
4
votes
0answers
52 views

Is a finite group which is generated by two fully invariant abelian subgroups always abelian?

Let $G$ be a finite group satisfying there exist two fully invariant subgroups $H,K$ of $G$ such that $H$ and $K$ are abelian and generate the whole group $G$. Then can we conclude that $G$ is ...
4
votes
0answers
45 views

What is $\operatorname{Hom}((S^1)^k , (S^1)^n)$?

I am trying to find $\operatorname{Hom}_{\rm gp}((S^1)^k , (S^1)^n)$ , which is the set of continuous group homomorphisms from the $k$ dimensional torus to the $n$ dimensional torus where $1 \leqslant ...
4
votes
0answers
34 views

Recipe to compute dimension and decompose product of $SO(N)$ group representations

As it is well known Young tableaux (YT) provide an efficient and very useful way to treat $SU(N)$ representation. This is principally based on these facts: There is a correspondence between irreps ...
4
votes
0answers
75 views

Mapping vector spaces over two different fields?

I was having linear algebra class and we have been discussing about a possible group homomorphism that might allow mapping between two vector spaces over two different fields This is also an ...
4
votes
0answers
57 views

Torsion and inverse limits

Given a countable family of (non-abelian) torsion groups $G_n$ (i.e. each element has a finite order) in an inverse system $G_1\leftarrow G_2\leftarrow\dots G_n\leftarrow\dots$, where the maps are ...
4
votes
0answers
84 views

An example of a nilpotent group

Is there an example of a nilpotent group such that $G/G'$ is (non-trivial) torsion-free while $G$ is not? I cannot think of any example of this kind and I think that it is not proved any result like ...
4
votes
0answers
43 views

Automorphisms of Abelian groups

Let $A$ be a free Abelian group and $N$ a characteristic subgroup of $A$ such that $A/N$ is finite. I also know that $Aut(A/N)$ and $Aut(N)$ are both finite. I have to prove that $Aut(A)$ is finite. ...
4
votes
0answers
64 views

Showing $G/Z(R(G))$ isomorphic to $Aut(R(G))$

I am working on this problem with lots of nesting definitions: Show that $G/Z(R(G))$ is isomorphic to a subgroup of $Aut(R(G))$. For your info, $R(G)$ is called the Radical of $G$, defined as ...
4
votes
0answers
323 views

Why a tensor product of $2\times 2$ unitaries cannot implement a $3\times 3$ unitary?

Let $\{v_1, \dotsc, v_m\} \in \mathbb{C}^{2^n}$ be a set of orthonormal vectors. Define a map $R_m$ from $2^n \times 2^n$ to $m \times m$ matrices as follows: $$R_m(M) := \sum_{i,j=1}^m (v_i^*M v_j) ...
4
votes
0answers
78 views

For a simple nonabelian group every automorphism with $xf(x)=f(x)x$ is trivial.

Suppose that $G$ is a simple nonabelian group. Prove that if $f$ is an automorphism of $G$ such that $xf(x) = f(x)x$ for every $x\in G$, then $f = 1$.
4
votes
0answers
60 views

Subgroups of $S_{n}$ of index $n$

We know that for $n\geq{5}$ any subgroup of $S_{n}$ of index $n$ is isomorphic to $S_{n-1}$. We know that by looking at the set of functions that fix a given $j$, we can obtain $n$ such subgroups ...
4
votes
0answers
72 views

A name for the automorphisms induced by the normalizer by conjugation?

Let $N$ be a subgroup of a group $G$, $H := \operatorname{N}\left( N \right)$ the normalizer of $N$. There is a natural morphism from $H$ to $\operatorname{Aut}\left( N \right)$ given by $h \mapsto ...
4
votes
0answers
51 views

$n_p(GL_2(\mathbb{F}_p))=p+1$

I'm interested in the following problem from Dummit & Foote's Abstract Algebra text (Exercise 40 of Section 4.5): Prove that the number of Sylow p-subgroups of $GL_2(\mathbb{F}_p)$ is $p+1$. ...
4
votes
0answers
73 views

Every non-regular minimal normal subgroup of a doubly transitive group is primitive and simple

Prove that every non-regular minimal normal subgroup $N$, of a doubly transitive permutation group $G$, is primitive and simple. I proved that $N$ is primitive; but how I can prove that $N$ is ...
4
votes
0answers
84 views

Group generated by two polynomials

The $Homeo(\mathbb{R})$ be the group of all the homeomorphisms on $\mathbb{R}$, with the group operation of composition. Let $f(x)=x^3+\alpha$ and $g(x)=x^3+\beta$ be two elements of ...
4
votes
0answers
71 views

Is a semidirect product of linear groups a linear group?

It is known that linear groups are not closed under extensions, but what if the extension splits, i.e. it is a semidirect product? Suppose that $K,R$ are subgroups of $\mathop{GL}(n,\mathbb{F})$, ...
4
votes
0answers
46 views

Nontrivial examples of pro-$p$ groups

I only know a few examples of pro-$p$ groups. Of course the $p$-adics $\mathbf{Z}_p$, and any finite $p$-group. Congruence subgroups of $\text{GL}_n(\mathbf{Z}_p)$: e.g. $\Gamma_1:=\{g\in ...
4
votes
0answers
89 views

What branch of math is this?

In this paper: http://arxiv.org/pdf/hep-th/0505016v1.pdf what are the branch(es) of math being used? The unnumbered eq. on the top of page 3 and eq. (7) are good examples. All I've been able to figure ...
4
votes
0answers
39 views

An affine group behaving like a field

This question is about an example of interpreting a field in an affine group, from Section 1.3 of Marker's Model theory: An introduction. Let $F$ be an infinite field and $G$ be the group of ...
4
votes
0answers
86 views

Outer automorphisms of direct product of finitely generated groups

Let $A,B$ be finitely generated residually finite groups such that $\text{Out}(A)$ and $\text{Out}(B)$ are residually finite. Is $\text{Out}(A \times B)$ residually finite?