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)

1
vote
0answers
48 views

Sylow subgroup of $S_{11}$

I want to construct some Sylow $3$-subgroup of $S_{11}$.This subgroup has $3^4$ elements. I know any Sylow $3$-subgroup is isomorphic to $(\mathbb{Z}/3\mathbb{Z})^3\rtimes P$ where $P$ is a Sylow ...
1
vote
1answer
66 views

Injective homomorphism between a finite group $G$ and $GL_n(\mathbb{F}_p)$ where $p$ is prime

I'm looking for a solution to the following problem: Given a natural number $n$, a prime number $p$ and a finite group $G$, I need to find an injective homomorphism between $G$ and the group ...
0
votes
3answers
229 views

Group of order $p^2$ is commutative with prime $p$

Please help me on this one: Let $p$ be a prime number, show that each group of order $p^2$ is commutative. If you do not mind at all, could you please not give me the elegant explanation, but ...
0
votes
1answer
457 views

Isomorphism of quotient of direct sum modules

Let $M, N, M'$ and $N'$ be R-modules. If $M'$ and $N'$ are submodules of both $M$ and $N$ then is it true that \begin{equation} \frac{M}{M'} \oplus \frac{N}{N'} \cong \frac{M \oplus N}{M' \oplus N'} ...
2
votes
1answer
62 views

Prove that (G,*) is a group.

G is a monoid and satisfies the right inverse law. Show that G is a group. I tried next: It is obviously sufficient to show that G satisfies left inverse law. (I use $a'$ notation for $a$ inverse.) We ...
2
votes
1answer
82 views

Subgroups and an union of orbits

I have to prove or disprove the following statement: If a group $G$ acts on a set $X$, then every subgroup $H$ of $G$ acts on the set $X$ as well, and every orbit of the action $G$ on $X$ is an ...
2
votes
1answer
75 views

Finding a surjective homomorphism

I have to show that for all groups with $2007(=3^2\times223$) elements that there exists a surjective homomorphism to a group of 9 elements. Obviously a group with 2007 elements has a subgroup of ...
2
votes
2answers
51 views

Group theory, the squares of G

We have a group $G$ with a subgroup $G_2$, which is defined by $G_2:=\{g^2|g \in G \}$. I have to prove that i) $G_2\triangleleft G$ ii) all elements of $G/G_2$ have order $\leq2$ iii)if ...
0
votes
0answers
32 views

Bounds on the numbe of groups of degree n [duplicate]

What are the best lower/upper bounds on the number of (non-isomorphic) arbitrary groups of degree n? Thanks!
2
votes
1answer
58 views

Size of the orbits of a normal subgroup

So this is the question: Let $H$ be a finite subgroup of $G$, and let $(h,h')(x)=hxh^{-1}$ define an achtion of $H\times H$ on $G$, prove that $H$ is a normal subgroup of $G$ if and only if every ...
-1
votes
1answer
88 views

List all the elements of the subgroup of Möbius transformations preserving the set $\{0, 1 + i, \infty\}$

List all the elements of the the subgroup $M_{\{0, 1, \infty\}}$ of the group of Möbius transformations, preserving the set $\{0, 1, \infty\}$ and give an explicit isomorphism $M_{\{0, 1, \infty\}} = ...
3
votes
1answer
49 views

Proving a relation for representations of gauge groups

Let ${\cal G}$ be a Lie group - possibly disconnected. Let ${\mathfrak g}$ denote the corresponding Lie algebra. Let $R_k$ be a general unitary representation of ${\cal G}$ and $R$ be the adjoint ...
3
votes
2answers
56 views

Odd-Order Groups with Cyclic p-Sylow Subgroups (for smallest p | G)

I am a beginner in group theory and I'm looking for finite groups that satisfy some properties. The only example I've found so far is: $$G_{q,c} = \{ f: \mathbb{F}_{q} \to \mathbb{F}_{q}, z \mapsto ...
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 ...
0
votes
2answers
1k views

Solutions to Groups and Symmetry by M.A. Armstrong

I am learning group theory (on my own) using the 'Groups and Symmetry' textbook by MA Armstrong. Does anyone know of a book/website/blog where I can find solutions to the Exercises (so I can check my ...
2
votes
0answers
68 views

Relation between simple roots and fundamental weights.

Let $\alpha_1, \ldots, \alpha_n$ be simple roots of a semisimple complex Lie algebra. Let $\omega_1, \ldots, \omega_n$ be the fundamental weights. We have $$ \alpha_i = \sum_{s} k_s \omega_s, $$ for ...
0
votes
1answer
24 views

$|\{ x\in X: g.x=x \space\space\space \forall g\in G \}| = |X|\space mod \space p$

Let $G$ be a p-group. $|G|=p^n$ for some n. Let X be a finite set so that $\,p\nmid |X|\,$, G acts upon X. Denote $A:= \{ x\in X: g.x=x \space\space\space \forall g\in G \}$ I am trying to show ...
0
votes
0answers
39 views

On subgroups of the form $HZ(G)$ where $H$ is abelian subgroup of non-abelian group $G$ such that $H \rlap{\;\,/}\subseteq Z(G)$

Let $H$ be a an abelian subgroup of a non-abelian group $G$ such that $H \rlap{\;\,/}\subseteq Z(G) Z(G)$ ; then I can prove that $HZ(G)$ is an abelian subgroup such that $Z(G) \subset HZ(G) \subset ...
2
votes
0answers
78 views

Which convex $2n$-gons have symmetry group $D_n$ instead of $D_{2n}$?

The equilateral octagon $M$ in the first image has the same symmetry group as the small embedded square - namely the dihedral group $D_4$ - with $8$ elements and generators ${x,y}$ with $x^4 = e, y^2 ...
1
vote
1answer
87 views

Group objects in the category of rings

Are there group objects in: $\text{Ring}$ $\text{CRing}$ If so, why doesn't anyone talk about them? On the other hand, $$ \begin{align} cogroup \ objects \ in \ \text{CRing} &= co(group \ ...
1
vote
3answers
115 views

Intersect of Stabilizers is a Normal Group

I am looking for guidance for two problems on group action, one of them is here and the other one will be posted in another page: Assume that $G$ operates on a set $\Omega.$ Show that ...
2
votes
0answers
67 views

If $x \sim U(Z_n^*)$ then $x^2 \pmod n\sim U(QR_n)$?

Define: $Z_n^*=\{x \in Z_n | \operatorname{gcd}(x,n)=1\}$ $QR_n=\{x \in Z_n | \exists r \in Z_n \; s.t. \; r^2 =x\}$ How can I show that $x \sim U(Z_n^*) \implies x^2 \pmod n \sim U(QR_n)$? Thank ...
1
vote
0answers
60 views

Explanation of notations

I was reading Binary icosahedral group in Wikipedia. The author uses $\langle 2,3,5 \rangle$ and $(2,3,5)$ to denote the groups. And the Coxeter group of type $H_4$ is denoted by $[3,3,5]$. Could ...
3
votes
1answer
91 views

Constructing an irreducible representation for a finite group

This is not a homework. Recently, I have been starting to study the representation and character theory and I am doing some exercises in this field, but I have some problem with some of them, like: ...
1
vote
2answers
115 views

Number of subgroup of order $p^2$ in $\mathbb{Z}_{p^{2}} \times \mathbb{Z}_{p^{2}}$

Let $G = \mathbb{Z}_{p^{2}} \times \mathbb{Z}_{p^{2}}$. How many subgroups does $G$ has of order $p^2$? I know there are only 2 cases of the subgroup H, H can be isomorphic to $Z_{p^{2}}$ or $ ...
3
votes
0answers
53 views

Density of odd vs even group orders that are not forced to be simple by Sylow's Theorem

In Dummit & Foote's Abstract Algebra text, I've just solved the following two Exercises: Write a computer program which (i) gives each odd number $n<10,000$ that is not a power of a ...
2
votes
2answers
49 views

Show that $f _ a $ is a Homomorphism

For a fixed element $a$ is a group $G$, define $$f _ a (x) = a ^ {−1} xa , x \in G$$ Show that $f _ a $ is a Homomorphism. I know that to show that a mapping $f:G \rightarrow G'$, Where $G$ and $G'$ ...
2
votes
1answer
54 views

Are the principal congruence subgroups of SL(2,Z) normally generated by a single element?

Let $N\ge 3$, then would I be correct in saying that the principal congruence subgroup $\Gamma(N)$ (defined to be the 2x2 matrices in $SL(2,\mathbb{Z}$) congruent to the identity mod $N$) is the ...
2
votes
1answer
277 views

To compute $5^{15} \pmod 7$ how should I apply Corollary of the Lagrange theorem?

What is the simple way of calculating $5^{15} \pmod 7$ and how to use Corollary ($a^{|G|}=e$) to solve it?
1
vote
1answer
53 views

Group actions: Why do we place the condition that $S$ be finite in the following theorem?

Theorem. Let $G$ be a group, $S$ be a $G$-set, and $S$ be finite, then $$|S|= \sum_{a \in A} [G : G_a],$$ where $A$ is a subset of $S$containing exactly one element from each orbit $[a]$. Here, $G_a$ ...
1
vote
1answer
37 views

minimal number of relations in nonabelian dihedral groups of order a power of 2

In my recent minimal number of relations r question for the symmetric group of degree 3, it was demonstrated that r = 2. What is r in general for nonabelian dihedral groups of order a power of 2? ...
1
vote
0answers
63 views

correspondence theorem question

If $G$ has order $12$ and $G'$ has order $6$, produced by elements $x$ and $y$ respectively, and $\phi$ maps $G$ to $G'$ which is defined by $\phi(x^n)=y^n$, how is the correspondence exhibited in the ...
1
vote
3answers
2k views

About stabilizer in group action

Let $X$ be a finite set and $x$ is an element of $X$. Let $G_x$, the stabilizer subgroup, be the subset of $S_X$ consisting of permutations that fix $x$. The question is Is stabilizer always a ...
1
vote
1answer
134 views

Basic Lie Algebra Question

Essentially, I'm trying to prove that when computing the tangent space for a group that there's nothing special about considering it at only the identity. Namely, there is an isomorphism of vector ...
1
vote
1answer
82 views

stab(S) is isomorphic to $ S_k \times S_{n-k} $

Show that the group $S_n$ (right) acts on the set of subsets of $\{1,2,\ldots n\}$ by $\rho(S,\sigma)=S\sigma$. Show that there are $n+1$ orbits, one for each possible value of $|S|$. Show ...
1
vote
1answer
69 views

Quotient Objects in $\mathsf{Grp}$ II

This question is a sort of continuation of a previous one. In CWM, Maclane says ... every quotient object of a group $G$ in $\mathsf{Grp}$ is represented by the projection $\pi:G\rightarrow G/N$ ...
4
votes
1answer
129 views

Is my understanding for group algebra correct?

Let $G$ be a group, $k$ be a commutative unital ring. Consider $\mathbf{Alg}_k^{inv}$ the category of unital $k$-algebras whose multiplicative semigroup is a group. Then there is a forgetful functor ...
0
votes
2answers
69 views

To show that $\langle\mathbb Q,+\rangle$ is not isomorphic to $\langle\mathbb Q \setminus\{0\} , \,\cdot\,\rangle$

For this question is it enough to say that they both dont have same cardinality so they are not isomorphic.Can we exhibhit any structural property diference here? THANKS
1
vote
1answer
46 views

Show that $H$ is transitive on the set $G$.

Let $G$ be a group and let a be a fixed element of $G$. The map $\lambda_{a}: G \to G$, given by $\lambda_{a}(g) = ag$ for all $g \in G$, is a permutation of the set $G$. Note $H = \{\lambda_{a} ...
6
votes
3answers
4k views

Group theory applications along with a solved example

As I asked in previous question, I am very curious about applying Group theory. Still I have doubts about how I can apply group theory. I know about formal definitions and I can able to solve and ...
4
votes
0answers
75 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 ...
2
votes
1answer
138 views

Show that a simple group of order 60 has no proper subgroup of order greater than 12

I am trying to show that any simple group of order $60$ has no proper subgroup of order greater than $12$. I know that $G$ is isomorphic to $A_5$, a non-abelian simple group of order $60$. I suppose ...
1
vote
2answers
109 views

A question in finite group theory with proof using representation theory

This is not a homework. I am a beginner in studying the representation theory and character theory and I am doing some exercises in this field, but I have a problem with an exercise: I want to prove ...
0
votes
2answers
56 views

Find all Quaternions Satisfying..

Let H be the skew field of quaternions. Find all quaternions x satisfying $(i + j)x(i + k) = 2$ I'm having trouble figuring out what to do with this question. I know the "i j k i j k" formula for ...
1
vote
2answers
55 views

Statement of Sylow's Fourth Theorem (single conjugacy class)

I am confused by the statement of Sylow's Fourth Theorem: Let $G$ be a finite group, $p$ a prime. The Sylow $p$-subgroups of $G$ form a single conjugacy class of subgroups. In particular, I do not ...
1
vote
2answers
105 views

Groups such that inclusion on collection of all its subgroup is a total order

Characterize the Groups with the following property: Suppose G is any group such that for any two subgroups, H and K either H $\subseteq$K or K $\subseteq$ H. Now what can we tell about cardinality, ...
1
vote
3answers
82 views

Mapping Normalizer to Automorphism

I am squeezing my brain trying to understand this problem: Let H be a subgroup of $G$, and denoted by $\operatorname{Aut}(H)$ the group of all automorphisms of $H. $ Define $$\alpha : N_G(H) ...
2
votes
2answers
79 views

What can we say about the order of a group?

Let $G$ be a group and $a ∈ G$. If $a^{12}= e$, what can we say about the order of $a$? What can we say about the order of $G$? We know that $|a|$ divides $12$, but what can we say about the order of ...
3
votes
0answers
80 views

Groups with more than half elements of order 2

In Dihedral groups, at least half elements are of order two. Question: If a (non-abelian) finite group has at least half elements order two, then what can be said about the group?
1
vote
2answers
59 views

$K \unlhd H\unlhd G$, K is sylow in H, proof $K \unlhd G$

$K \unlhd H\unlhd G$, K is sylow in H, proof $K \unlhd G$ I know in general it's false, I wonder how should I use the condition that K is sylow? is it that the K is the unique sylow subgroup? and ...