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

1
vote
1answer
45 views

A group of odd order has no non-identity elements which are conjugate to their inverse.

I want some verification for my proof to a homework problem. (Is it correct? Is there a simpler way to do this?) Let $G$ be a finite group of odd order and suppose there is an element $g$ that is ...
9
votes
3answers
285 views

What is the intersection of all Sylow $p$-subgroup's normalizer?

Intersection of all Sylow $p$-subgroups is generally denoted by $O_p(G)$ and it is one of the well studied topics in group theory as there are many theorems related to this. Let $R$ be ...
0
votes
2answers
91 views

Is the group $G$ cyclic?

Assume that $G$ is a finite group such that for any positive integer $n$ dividing $|G|$, $G$ has one and only one subgroup $H$ with $|H|=n$. Is $G$ cyclic?
0
votes
3answers
42 views

Prove that $N \cap K$ is a normal subgroup in $K$.

Let $N$ and $K$ be subgroup of a group $G$. If $N$ is normal in $G$, prove that $N \cap K$ is a normal subgroup of $K$. Since $N$ is normal in $G$, we have $Ng = gN$ for some $g \in G$. Also ...
1
vote
0answers
29 views

Permutation representations

I need a source for Permutation representations of general linear groups over finite fields. Can anyone introduce some sources?
0
votes
1answer
38 views

What is the order of this group? [duplicate]

Let $H$ be the subgroup of the group $G$ of all $2 \times 2$ non-singular matrices whose entries are integers modulo a given prime $p$ consisting of those and only those matrices in $G$ whose ...
4
votes
2answers
55 views

Representation of $S_4$

Is there a general method to work out all irreducible complex representation of a group? Describe all the the irreducible complex representation of the group $S_4$. $S_4$ is the symmetric group ...
3
votes
1answer
75 views

Every finite group of order more than two has a nontrivial automorphism [duplicate]

I want to prove that every finite group $G$ of order more than 2 has a nontrivial automorphism. I've seen this question answered on this site for infinite groups, but the proofs given use the fact ...
0
votes
0answers
65 views

Sylow 3-subgroup of Sym(11)

Find a Sylow 3-subgroup of Sym(11). I know we can reduce this question to find Sylow 3-subgroup of Sym(9), but how to find exactly the Sylow subgroups ? And what about Sylow 2-subgroups of ...
12
votes
2answers
187 views

How many different element can we obtain by multiplying all element in a Group?

Let $G$ be a finite group, How many different element can we obtain by multiplying all element in a Group? Of course, if $G$ is abelian the answer is one but when G is nonabelian ,changing the order ...
2
votes
1answer
44 views

Nontrivial Homomorphism(s) from $\mathbb{Z_3}$ to $S_3$ - Fraleigh p. 134 13.37

Reference: http://users.humboldt.edu/pgoetz/Homework%20Solutions/Math%20343/hwsome number 1 to 17 that I forgotsolns.pdf There are exactly two nontrivial ...
2
votes
1answer
77 views

Sylow p-subgroups, normal subgroups and the center subgroup

Let: $G$ be a finite group. $p$ be a prime number. $P$ be a Sylow-p subgroup of $G$. If $p\mid o(G)$ and for every $(a,b)\in G$, $(ab)^p=a^pb^p$, please help me prove the following: (1) ...
3
votes
0answers
79 views

In a finite cyclic group of order n, number of solutions to $x^m = e$ - Fraleigh p. 68 6.53,54

(53.) Show that in a finite cyclic group G of order n, written multiplicatively, the equation $x^m = e$ has exactly m solutions $x$ in G for each $m \in \mathbb{N}$ that divides n. (54.) With ...
1
vote
1answer
73 views

Are these two inclusions of finite groups, equivalent?

Definition : Let $\sim$ be the equivalence relation on inclusions of finite groups, generated by : $(H \subset G) \sim (\phi(H) \subset \phi(G))$, with $ \phi: G \to L$ a group morphism, and ...
3
votes
1answer
53 views

How many different group homomorphisms from $\mathbb{Z}/\mathbb{3Z}$ into $SL_{n}(7)$ are there?

I have the following question: How many different group homomorphisms from $\mathbb{Z}/\mathbb{3Z}$ into $SL_{n}(7)$ are there? I think that the answer is the number of elements of order $3$ in ...
2
votes
2answers
49 views

How to list all permutations of $S_n$ for any given value of $n$.

In writing out a symmetric subgroup $S_n$ with some given $n$-value, how would I go about doing this? For example, allow me to attempt with $n=3$: $S_3 = \{ (1 3), (2 3), (1 2), (1 2 3), (1 3 2), (2 ...
-1
votes
1answer
36 views

Showing $\mathbb{Z}_2 \times \mathbb{Z}_2$ and $\mathbb{Z}_4$ have a different number of subgroups of order $2$.

Looking at this example, can someone explain to me what is $_1$, $H_2$, $H_3$, and how they came about it?
2
votes
1answer
33 views

Embedding symmetric groups into general linear groups

Note that any finite abelian group $\Gamma$ can be embedded into $\operatorname{GL}(1,A)$ for some commutative ring $A$. Indeed, let $A=\mathbf Z[\Gamma]$ and $\Gamma\hookrightarrow ...
4
votes
1answer
39 views

Conjugate element

Let $G$ be a group of order $2014$. Let $\theta\in G$ such that $|\theta|=19$ and $\alpha\in G$ such that $|\alpha|=2$. Show that $\alpha\theta\alpha=\theta^{\pm1}$. Since the order of $\alpha$ is 2 I ...
0
votes
1answer
42 views

general linear groups and definitions

We have two groups, one of them is automorphisms group of a vector space over GF(2) and another one is the direct product of two automorphism group (they are also over GF(2)). Also, via some ...
0
votes
1answer
52 views

Proving that there exists an element of order $p^2$ in a finite abelian group

I've been stuck on this problem for a while now. Let $G$ be finite and abelian. Suppose $\exists x \in G$ such that $x$ has non-square-free order, i.e., $|x| = p^km$ with $p$ prime and ...
4
votes
1answer
69 views

Estimate the Number of Conjugacy Classes of $G$

This is a series of questions in my book unanswered. Let $c(G)$ be the number of conjugacy classes in $G$. Define $\bar{c}(G):=\frac{c(G)}{|G|}$. Now we estimate the $\bar{c}(G)$ of a non-abelien $G$. ...
1
vote
0answers
35 views

Identity based encryption

I am implementing ID based encryption in c# right now i am having problem at the following mathematics $$H_1: \{0,1 \}^n \times \{0,1 \}^n \to \mathbb{Z}^*_p, \text{ what does this expression ...
0
votes
1answer
68 views

Character Table of the Monster

Does anyone have a link to a website having the character table of the Griess Monster in characteristic $0$?
0
votes
0answers
37 views

Class of groups having all subnormal subgroups cyclic

Does there exist a class of non abelian groups whose all subnormal subgroups are cyclic? I searched out by myself but I did not found it.
2
votes
1answer
45 views

Abstract Algebra: Index of Subgroups

Here's the problem I'm working on: Prove: Suppose $H$ has index $p$ and $K$ has index $q$, where $p$ and $q$ are distinct primes. Then the index of $H \cap K$ is a multiple of $pq$. (Plus: do you ...
1
vote
0answers
29 views

From linear invariants of group to general ones

There is a lot of information about classical/linear invariants of finite groups. But does it lead to general invariants of group (for example, when we consider some action of our group on finite ...
0
votes
1answer
19 views

Understanding semi-direct product construction

I am a student studying semi-direct products for the first time, and have this question:say $G = N \rtimes H$, where $N$ is normal and $H$ is another subgroup that "acts" on $N$. The quotient $G/N ...
5
votes
2answers
141 views

Why is studying maximal subgroups useful?

When looking at finite group theory research, it seems to me that a lot of energy is devoted to determining the maximal subgroups of certain classes of groups. For example, the O'Nan Scott theorem ...
0
votes
0answers
25 views

How to show that $Ind_K^G \mathbb{C}_\chi$ is natrally isomorphic to $\mathbb{C}[G]e_{\chi}$?

Let $K \subset G$ be finite groups and $\chi: K \to \mathbb{C}^*$ be a homomorphism. Let $\mathbb{C}_{\chi}$ be the corresponding 1-dimensional representation of $K$. Let $$ e_{\chi} = \frac{1}{|K|} ...
1
vote
2answers
46 views

Residually finite group with finitely many conjugacy classes of elements of finite order

Let $G$ be a residually finite group. Show that if $G$ has finitely many conjugacy classes of elements of finite order then $G$ has a torsion free finite index subgroup. Not sure how to get started ...
0
votes
3answers
49 views

How many subgroups there is for $\mathbb{Z}_{23}\times \mathbb{Z}_{31}$?

How many subgroups there is for $\mathbb{Z}_{23}\times \mathbb{Z}_{31}$? I try to understand how to solve it but I don't finding a way... I'll be glad if you help me with this... Thank you!
0
votes
0answers
21 views

the best book for exercising finite groups theory. [duplicate]

I need a book in finite group theory which contain lots of question and also with answers,the answers is important for me because I need to compare my answers to the the right answers and learn right ...
2
votes
0answers
75 views

Calculating sylow subgroups of some concrete groups

Question is to : exhibit all sylow $3$ - subgroups of $S_4$ What i have done so far is : Number of elements in symmetric group is $|S_4|=4.3.2=2^3.3$ number of elements of order $3$ in $S_4$ ...
0
votes
1answer
35 views

Finite groups with no common prime factor of their orders

Let $G$ and $H$ be finite groups s.t. their orders have no common prime factor, and let $\phi: G\rightarrow H$ be a homomorphism. I want to show that $\phi(g)=e \space \forall g \in G$ where $e$ is ...
2
votes
2answers
82 views

About the converse of Maschke's theorem

The Maschke's theorem say that\ Let $G$ be a finite group and $F$ a field whose characteristic does not divide $\mid G \mid$. Then every $FG$-module is completely reducible (I'm using the notation of ...
3
votes
2answers
51 views

Group theory - Finite or Infinite group

I am just beginning to learn Group theory. As an example of finite groups our Professor wrote this group with just two elements, given by $$ \left( \begin{array}{cc} 0 & z \\ z^{-1} & ...
1
vote
1answer
41 views

Semi-direct product in general linear groups

$\operatorname{GL}(n,F)$ can be written as a semidirect product : $\operatorname{GL}(n,F) = \operatorname{SL}(n,F) ⋊ F^\times$ where $F^\times$ is multiplicative group of the field $F$. According to ...
0
votes
1answer
57 views

A Problem About Finite Groups

Suppose that $G$ is a finite group and $H,K \leq G$. First prove that $\left | \left \langle H,K \right \rangle :K\right |\geq \left | H:H\cap K \right |$. Then if $\left| H:H\cap K \right |> ...
0
votes
0answers
33 views

Find the automorphism group of Klein four-group [duplicate]

If we have $V_{4}=\langle a,b \mid a^{2}=b^{2}=(ab)^{2}=1\rangle$ please find the the automorphism of Klein four-group.
1
vote
1answer
64 views

Classification of automorphism groups of groups of order $p^4$

For the purpose of classifying another algebraic structure which is parametrised by the choice of a group and of an automorphism I need the classification up to isomorphism of automorphism groups of ...
1
vote
0answers
69 views

Sylow theorem Cyclic sylow p subgroup

$p$ is the smallest prime dividing order of $G$. $P$ is a sylow p subgroup which is cyclic. Prove that $N_G(P) = C_G(P)$ This is my approach : Since $P$ is sylow p subgroup so its order is some power ...
4
votes
3answers
189 views

An automorphism on generating set of a group

Let $G$ be a finite group and $A=\{a_{1},...a_{k}\}$ and $B=\{b_{1},...,b_{k}\}$ be two minimal generating sets of $G$ such that $|a_{i}| = |b_{i}|$ for $i=1,\dots,k$. We define ...
3
votes
0answers
66 views

On automorphisms of finite abelian group

Let $G$ be a finite abelian group such that $a, b\in G$ and $\mid a\mid=\mid b\mid$. Then does there exist an automorphism of $G$ such that $\alpha(a)=(b)$? Thank you
0
votes
2answers
77 views

Basic Abstract Algebra - Homomorphism [duplicate]

Given a homomorphism $f:G \rightarrow H$, $G$ finitely generated, what can you say about the order of $g_i$ and $f(g_i)$? I've thought about this question for a while but haven't come to a ...
2
votes
1answer
80 views

Groups of order $pq$ have a proper normal subgroup

I am doing the following exercise from [Birkhoff and MacLane, A survey of modern algebra]: Let $G$ be a group of order $pq$ ($p,q$ primes). Show that either $G$ is cyclic or contains an element ...
0
votes
1answer
53 views

elementary abelian groups and finite fields

in group theory, an elementary abelian group is a finite abelian group, where every nontrivial element has order $p$, where $p$ is a prime; it is a particular kind of $p$-group. now suppose that we ...
1
vote
3answers
49 views

Generating Alternating Groups

Is there a way to think about how to generate alternating groups? Say I wanted to generate the alternating groups $A_3,A_4,A_5$.
1
vote
2answers
87 views

Basic Abstract Algebra - Subgroups of Abelian Group

I'm trying to prove the following: Let $G$ be an abelian group of order 72. Show that $G$ has exactly one subgroup of order 8. I know by theorem that $G$ must have at least one subgroup of order ...
0
votes
2answers
26 views

Set of Normal subgroups is a sublattice of a set of subgroups

I need to show that if $ G$ is a group then $\mathcal N(G)$ is a sublattice of $S(G)$. Obviously $N(G) \subseteq S(G) $. How do I show that operations join and meet agree with those of the original ...