Use with the (group-theory) tag. The tag "finite-groups" refers to questions asked in the field of Group Theory which, in particular, focus on the groups of finite order.

learn more… | top users | synonyms

0
votes
1answer
26 views

a question about abstract algebra(group theory)

(a)What are the fi nite abelian groups of order 100 up to isomorphism? (b). Say G is a fi nite abelian group of order 100 which contains an element of order 20 and no element with larger order. Then ...
1
vote
2answers
24 views

Group of $2n$ elements, $n$ odd, is not simple

Problem Let $n \geq 3$ be an odd number and let $G=\{1,...,2n\}$ be a group of order $2n$. Let $\phi:G \to S_{2n}$ be the morphism defined by $\phi(g_i)(g_j)=g_ig_j$ and let $H=\phi^{-1}(A_{2n})$. ...
1
vote
1answer
39 views

Basic doubt about cosets

Studying some basic group theory I had the following doubt: For $H$ subgroup of a finite group $G$ (doesn't matter invariance of $H$), is it true that $$|G/H|=|\{aHa^{-1}:a \in G\}| \space ...
0
votes
1answer
14 views

If $k|n, k \geq 2$, then $D_{n}$ has a subgroup isomorphic to $D_{k}$

Restatement of question: If $k|n, k \geq 2$, then the group $D_{n}$ has a subgroup isomorphic to the group $D_{k}$. My attempt at proving the result stated: Let us say that $D_{n}= \{1, \sigma, ...
1
vote
0answers
42 views

Group theory argument

I'm reading Group Theory in Physics by Wu-Ki Tung and on page 69 in the proof of Theorem 5.3 he makes a group theory statement that I don't get. Let me try give some notation and explanation ...
1
vote
1answer
28 views

Size of the center of a non-abelian p-group [on hold]

Let G be a finite non-abelian $p$-group of order $p^n$, and $Z(G)$ the center of $G$. What is the size of $Z(G)$?
0
votes
0answers
21 views

Representation theory and point groups

Hello everyone :) I have a doubt. I have the point group $C_{3v}$, which is the group $$C_{3v}= \lbrace e, C_{3}, C_{3}^{2}, \sigma_{v_{1}}, \sigma_{v_{2}}, \sigma_{v_{3}} \rbrace$$ $C_{3}$ and ...
1
vote
0answers
16 views

Given a space group, how to determine which layer groups are its subgroups?

I am studying various crystals and the two-dimensional materials that could be potentially obtained by cleaving them (isolating a region bounded by two parallel planes). In elucidating the properties ...
2
votes
0answers
19 views

How to find the power of generator defined over finite field , $\mathbb F_{2 ^m}$?

List item Actually ,I am trying to execute the algorithm to find the power of generator of field(group) as shown in table of attached file but when k=7 and onward ,I could not understand what is ...
0
votes
1answer
33 views

Groups , Lagrange theorem [on hold]

Let $G$ be a finite group of odd order $n<60$. Knowing that $H$ subgroup of $G$, the order of $H$ is $13$, $|H|=13$. Knowing that there is element $a≠e$ so that $a^6=e$. Find the order of $G$.
0
votes
3answers
45 views

Group Theory: How do I determine if an element generates a group?

I was asked if the group $(Z_{17} \setminus \{0\}, \cdot)$ is generated by the element $2$. I understand the concept of generating sub-groups in group theory. If I was given a group $G$ and asked to ...
0
votes
0answers
25 views

Groups, Lagrange theorem [on hold]

True or false: If it's true I should give example Else, to prove why: Finite group with subgroup of finite index
2
votes
4answers
521 views

Why do Z/7 have no cubic root of 2?

I was reading a textbook and came across the following line: Now we prove there is no cube root of 2 in $Z/7$. By noting that $(Z/7)^\times$ is cyclic of order 6, it will have only two third ...
3
votes
2answers
48 views

$|G|=p_1p_2p_3$ distinct primes with $p_i \nmid p_j-1$ then $G$ is cyclic

Problem Let $p_1,p_2,p_3$ be three distinct primes with $p_i \nmid p_j-1$ for all $1\leq i,j \leq 3$ and let $G$ be a group of order $p_1p_2p_3$. Show that $G$ is cyclic. I've tried to come up with ...
0
votes
1answer
29 views

Real regular representation of cyclic group

I am looking for help to answer the following questions: What are the irreducible real representions $ρ: C_n → GL(V ) $ of a cyclic group of order n? How does the real regular representation $RC_n$ ...
2
votes
1answer
35 views

Isomorphism of two non-abelian groups of order $pq$

Let $p$ and $q$ be two primes such that $q\mid p-1$. Suppose $\phi, \varphi$ are two non-trivial homomorphism from $\mathbb{Z}_q$ to $Aut(\mathbb{Z}_p)$. How to define an isomorphism from ...
0
votes
2answers
38 views

Infinite non-abelian $ p $-groups.

Is it true that every nilpotent group is a solvable group? It is true for finite $ p $-groups, but I am not sure about infinite $ p $-groups.
2
votes
2answers
34 views

Image of a normal subgroup under automorphism is the normal subgroup

Let $G$ be a finite group. Let $H$ be a normal subgroup of $G$ such that the order of H and the index of $H$ in $G$ are relatively prime. Let $f$ be an automorphism of G and let $J = f(H)$. Prove ...
2
votes
1answer
37 views

Galois group of the extension $E:= \mathbb{Q}(i, \sqrt{2}, \sqrt{3}, \sqrt[4]{2})$

In order to make a smaller example for my question Galois group of the field of all constructible complex numbers, I am posing this new question. I know already, that E is a galois extension of ...
2
votes
4answers
105 views

If G is a group not cyclic then its order can be:

If G is a group not cyclic then its order can be: a)15 b)35 c)77 d)120 e)2011 Well, i know that if G is not cyclic then it is not isomorphic to Zn, but i think it does not help much. Any ...
-1
votes
1answer
58 views

Equivalent permutation representations.

The definition of Equivalent Permutation Representations that is defined in "A course in Theory of Groups" by Derek Robinson Suppose we have group $G$ has permutation representation on set $X$ and ...
1
vote
2answers
46 views

Let $p$ be a prime number; and $G$ a non abelian group or order $p^3$. Prove that $Z(G) = [G:G]$

I have already figured out that $|Z(G)| = p$, and that $G'=[G,G] \lhd G$. Also, $|G'| = p$ or $p²$ I suppose I'd have to prove that $G' \subset Z(G)$, but I've been trying and I have no idea how. ...
0
votes
1answer
42 views

What are all the subgroups of $\Bbb{Z}/10\Bbb{Z}$?

I thought they would be $\Bbb{Z}/n\Bbb{Z}$, where $1 \leq n \leq 10 $. What is wrong in that ? And, how is $\Bbb{Z}/n\Bbb{Z}$ a cyclic group. Is it's generator the element 1 ?
0
votes
0answers
15 views

scalar multiple of Young symmetriser

The following is a lemma on Fulton and Harris' book -Representation theory,a first course (page 53): Lemma: For all $x\in \mathbb{C}\mathfrak{S}_r$, $c_{\lambda}\cdot x\cdot c_{\lambda}= scalar ...
1
vote
1answer
37 views

Topics in Group Theory [on hold]

Actually I am going to do summer project (2 month project) on Group Theory so could you please let me know what are the topics in Group Theory on which I can do project. Please keep in mind that I am ...
1
vote
1answer
48 views

Normal subgroups and index problem

Let $G$ be a finite group and $H$ and $K$ subgroups such that $H \lhd G$ or $K \lhd G$. If $gcd(|K|;|G:H|)=1$, show that $K \subset H$. I think I could prove it for the case $H \lhd G$ Let $k \in ...
1
vote
1answer
32 views

How does GAP understand $SL_2(\mathbb{F}_3)$?

When one is asking for " IrreducibleRepresentations(SL(2,3))" it makes sense that the matrices it returns are over the complex field as thats the field on which the representations are. There GAP ...
1
vote
1answer
39 views

Prove the existence of order 4 subgroups of order 8 groups

I am participating in an Introductory course in groups and I have the following question: Let $G$ be a finite group of order $8$. Prove that $G$ has a subgroup of order $4$ and a subgroup of order ...
3
votes
2answers
54 views

Finite subgroup of $\mathbb C^{\times}$

I was trying to show that every finite subgroup of $\mathbb C^{\times}$ is equal to $G_n$ (the nth roots of unity) for some $n \in \mathbb N$ without invoking Lagrange's theorem, I got stuck at one ...
0
votes
1answer
23 views

Show that a cycle of length $p$ and a cycle of length $q$ in $S_n$ are conjugate if and only if $p = q$.

Show that a cycle of length $p$ and a cycle of length $q$ in $S_n$ are conjugate if and only if $p=q$. First of all, I'm a bit confused about the meaning of '... are conjugate'. Does this mean that ...
0
votes
0answers
26 views

Let $ H $ be a subgroup of $ G $ auch that $ | G:H | $ is a $ \pi $-number [closed]

Let $ H $ be a subgroup of $ G $ such that $ | G:H | $ is a $ \pi $-number. If there is a nilpotent subgroup $ K $ of $ G $ such that $ G = HK $. let $ K = K_{\pi^{\prime}}K_{\pi} $, where $ ...
0
votes
1answer
44 views

Finite matrix groups as subgroups of $S_n$.

I have heard that all finite subgroups are isomorphic to a subgroup of $S_n$. I was thinking about examples of this. In particular I would like to know how this works for certain matrix groups. The ...
1
vote
0answers
26 views

Existence of a unique subfield of degree dividing the degree of a given irreducible polynomial

Let $n$ be a positive integer and $d$ a positive integer that divides $n$. Let $\alpha \in \mathbb{R}$ be the root of the polynomial $x^{n} - 2 \in \mathbb{Q}[x]$. Prove that there is precisely one ...
2
votes
2answers
43 views

What is the permutation representation of $SL_2(\mathbb{F}_p)$, $PSL_2(\mathbb{F}_p)$ and $GL_2(\mathbb{F}_p)$?

It seems that there is a action by which $SL_2(\mathbb{F}_p)$ and $GL_2(\mathbb{F}_p)$ permute the $p^2$ ordered tuples in $\mathbb{F}_p^2$. What is the map from the $2 \times 2$ matrices over ...
3
votes
2answers
84 views

How did we classify the finite simple groups when we haven't classified the primes?

Why was the classification of the finite non-abelian simple groups "easier" (!!) than the classification of the finite abelian simple groups [the prime numbers], which still doesn't exist? (Does it? ...
0
votes
1answer
42 views

Prove that any group is a disjoint union of conjugacy classes.

How do I prove that any group is a disjoint union of conjugacy classes? Any reading reference would also be helpful
1
vote
1answer
74 views

How to read GAP's output on “IrreducibleRepresentations”?

For example for the group $SL_2(\mathbb{F}_3)$ I get the following, ...
1
vote
1answer
19 views

Finitely presentated subgroups of a group are normal?

If a group is finitely generated, then it is a quotient of the free group on the set of generators. Further if a subgroup of a group has some finite presentation, does it mean that it is normal, ...
7
votes
0answers
86 views

Classify groups of order 171

This is a problem from Stanford Algebra Qualifying Exam, Fall 1998. I know the standard way is to use Sylow theorems and semidirect product. $171 = 9\cdot 19$. By Sylow theorems, $n_3|19$ and ...
0
votes
1answer
37 views

Are these groups of order $81$ isomorphic?

The classification of groups of order $p^4$ is well known. However, different sources sometimes classify in different way. I am trying to compare, in the case $p=3$ between Burnside list (p. 100-102) ...
1
vote
1answer
42 views

Lifting representations, kernels and invariant subspaces

Let $G$ be a group, $N \triangleleft G$, $G/N$ the corresponding quotient group. Suppose $\rho : G/N \longrightarrow GL(\mathbb{C})$ is a representation of $G/N$. Then the composition ...
0
votes
2answers
32 views

Action of $G$ on the left cosets of $H$ giving a non-trivial homomorphism

If $H < A_5$ is a subgroup of index $3$, the action of $G$ on the left cosets of $H$ gives a non-trivial homomorphism $$\underset{order \ 60}G \rightarrow \underset{order \ 6}{S_3}$$ which ...
0
votes
1answer
44 views

Considering transitive $G$-set

Question. Suppose that $X$ is a transitive $G$-set of size greater than $1$ and let $\pi$ be the associated permutation representation with the character $\chi$. Show that some element $g \in G$ ...
1
vote
0answers
45 views

A group that can be written as $\frac{G}{Z(G)}$ for some group $G$ [closed]

A group that can be written as $\frac{G}{Z(G)}$ for some group $G$ is called capable. I want to know which one of the following groups is capable? $(\mathbb{Z}_2\times D_8)\rtimes \mathbb{Z}_2$, ...
3
votes
2answers
52 views

Prove that every non-abelian group of order $8$ has a $2$-dimensional irreducible character all of whose values are integers.

Prove that every non-abelian group of order $8$ has a $2$-dimensional irreducible character all of whose values are integers. I get that if $G$ is non abelian it must have an irreducible ...
0
votes
0answers
20 views

Inducing $A_4$ from $\langle (123) \rangle$

Let $G=A_4$ and $H=\langle (123) \rangle < G$. Compute $Ind_{H}^G \chi$ for every irreducible $\chi$ of $H$. Choose the right transversal of $H$ in $G$ as $V_4=\{ 1, (12)(34),(13)(24),(14)(23) ...
7
votes
3answers
49 views

Proving that $D_{12}\cong S_3 \times C_2$

Prove that $D_{12}\cong S_3 \times C_2$. I really dont know how I should start this question. My gut feeling says in some way I have to consider normal subgroups of $D_{12}$ but I cannot see how ...
5
votes
2answers
61 views

Help to prove that a group is cyclic

As part of my study of Abstract Algebra I'm trying to prove that $U_p$ si cyclic for $p$ a prime number. It's a classical result, but I'm trying to prove it following 4 steps stated as problems in my ...
-1
votes
0answers
31 views

Cyclic subgroups of $\mathbb{Z} /100\mathbb{Z} \oplus\mathbb{Z}/25\mathbb{Z}$

$\mathbb{Z} /100\mathbb{Z} \oplus\mathbb{Z}/25\mathbb{Z}$ has 24 elements of order 10. Why each cyclic subgroup of order 10 has four elements of order 10 ?
2
votes
2answers
33 views

Group Theory and Lagrange's Theorem: coprime subgroups. [duplicate]

Let $G_1$ and $G_2$ be finite groups, and let $K≤G_1 \times G_2$. Let $H_1 = \{ g \in G_1 : (g,e) \in K\}$ and $H_2 = \{g \in G_2 : (e,g) \in K\}$ and suppose $|G_1|$ and $|G_2|$ are coprime. Then ...