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

2
votes
1answer
18 views

Sylow subgroup of a group

Let $G$ be a group such that $\vert G\vert=231$. I have to show that the unique Sylow 11-subgroup of $G$ is contained in the center of $G$ I proceed as follows: Since the number of Sylow 11-subgroup ...
24
votes
5answers
2k views

Is there an easy way to see associativity or non-associativity from an operation's table?

Most properties of a single binary operation can be easily read of from the operation's table. For example, given $$\begin{array}{c|ccccc} \cdot & a & b & c & d & e\\\hline a ...
2
votes
0answers
31 views

Group of order 112

Let $G$ be a finite group of order $2^4\times 7$ and Sylow $7$-subgroup of $G$ is not normal. Prove that Sylow $2$-subgroup of $G$ is abelian. I am very grateful for any help in this problem.
2
votes
1answer
525 views

Subgroups and quotient groups of finite abelian $p$-groups

Motivation The fundamental theorem of finite abelian groups gives us a concise description of the isomorphism types of finite abelian $p$-groups $G$ (in the following, $p$ is a fixed prime). The ...
1
vote
3answers
38 views

$P\in Syl_p(G)\Rightarrow|G:N_G(P)|=|Syl_p(G)|$

Let $G$ be a finite group s.t. $|G|=p^rm$, where $(p,m)=1$. Let then $P$ be a $p$-Sylow subgroup of $G$, i.e. $P\le G$ with $|P|=p^r$. We want to show that $|G:N_G(P)|$ is the number of $p$-Sylow ...
3
votes
3answers
43 views

Is the map $f:S_n \to A_{n+2}$ a homomorphism where $f(s)=s$ when $s$ is even and $f(s)=s \circ (n+1,\ n+2)$ when $s$ is odd?

Is the map $f:S_n \to A_{n+2}$ given by $$f(s)= \begin{cases} s & s\ \text{is even}\\ s \circ (n+1,\ n+2) & s\ \text{is odd} \end{cases}$$ an injective homomorphism? I can show that if it ...
3
votes
2answers
86 views

Order of the Rubik's cube group

Associated to the Rubik's cube is a group as described in this Wikipedia article: $G = \langle F, B, U, L, D, R\rangle$. For example, the element $F$ corresponds to rotating the front face clockwise ...
7
votes
1answer
96 views

Do these groups have a meaning?

Let $G$ be a group. We can say that $Aut(G)\leq S_G$ where $S_G$ denotes the set of all bijection from $G$ to $G$. But $S_G$ is not a good bound for $Aut(G)$ as $S_G$ grows very fast. Let's define ...
0
votes
1answer
21 views

The generator of a cyclic quotient group

(I'll use (a) to denote the subgroup of G generated by a) Let G be a finite abelian group of order n. Let a be an element of G of order k. We can easily see that (a) is a normal subgroup of G. If we ...
2
votes
1answer
26 views

Is this extension of $Sp(4,2)$ a semidirect product?

Somebody I trust has been insisting to me that a certain extension of $Sp(4,2)$ is actually a semidirect product, and I'm inclined to believe him, but I haven't been able to convince myself he's ...
0
votes
2answers
54 views

Isomorphism of Groups (C.S.I.R)

Suppose $(F , +, .)$ is the finite Field with 9 elements. Let $G = (F , +)$ and H = (F \ {0}, .) denotes the underlying additive and multiplicative groups respectively, Then $ G \cong \mathbb Z_3 ...
1
vote
2answers
35 views

Proving complete reducibility of modular representations

Let $G$ = $S_{3}$ and consider the $3 \times 3 $ permutation representations. For example, we have $$ \psi (123) = \begin{pmatrix} 0 & 0 & 1\\ 1 & 0 & 0\\ 0 & 1 & 0\\ ...
3
votes
2answers
72 views

Exercise 1: Galois Theory (J. Rotman)

Definition: Let $F$ a figure in the plane, its symmetry group is defined by $\Sigma(F):=\{\sigma \in O(2,\Bbb R)\mid \sigma(F)=F\}$. Here $O(2,\Bbb R)$ denotes the real orthogonal group. Exercise 1: ...
2
votes
1answer
21 views

The group action of $S_n$ given a partition of $n$

We know that irreducible representations of $S_n$ are given by partitions of $n$. I would like to know if there is a way to explicitly write down the action of some $g \in S_n$ on the representation ...
2
votes
1answer
40 views

A normal intermediate subgroup in L30 lattice with an additional index condition?

This post is a sequel of: A normal intermediate subgroup in L30 lattice? Let $G$ be a finite group and $H$ a subgroup. Let $\mathcal{L}(H \subset G )$ be the lattice of intermediate subgroups ...
5
votes
1answer
52 views

A normal intermediate subgroup in L30 lattice?

Let $G$ be a finite group and $H$ a subgroup. Let $\mathcal{L}(H \subset G )$ be the lattice of intermediate subgroups between $H$ and $G$. An intermediate subgroup $H \subset K \subset G$ is a ...
2
votes
1answer
22 views

Eigenvalues of operator on $S_n$'s group algebra

Take the group algebra of the symmetric group $S_n$ (or equivalently consider $S_n$'s regular representation) - I guess over $\mathbb{C}$. If $e_{i,j} \in S_n$ denotes the element which swaps only ...
1
vote
1answer
23 views

Primitive Roots Modulo $2^n$ for $n\geq3$

Question: (a) Prove that there is no primitive root modulo $2^n$ for any $n\geq3$, where $\bar{a}\in(\mathbb{Z}/2^n\mathbb{Z})^\ast$ is a primitive root modulo $2^n$ if the order of $\bar{a}$ is ...
2
votes
1answer
23 views

Inequivalent representations of a finite group

I'm looking for this result: A finite group has only finitely many inequivalent representations of given degree over a field of characteristic $0$. Do someone know where I can find a proof of ...
34
votes
10answers
6k views

Examples of nonabelian groups.

Can anybody provide some examples of finite nonabelian groups which are not symmetric groups or dihedral groups?
0
votes
0answers
15 views

Group theory and centres [duplicate]

If $G$ is a $p$-group and $H$ is a non trivial normal subgroup of $G$, how do I show that the size of $H\cap Z(G)$ (where $Z(G)$ is the centre of $G$) is $\ge p$? A hint is given to consider the ...
1
vote
0answers
32 views

Intuition behind the link between coding theory and group theory

I am trying to find an easy link between group theory and coding theory. The usual path that most of the texts follow is that they present introductory material on groups, fields, rings, etc., and ...
0
votes
1answer
32 views

what is the maximom order of an element is $\mathbb S_{15}$ [duplicate]

Let $S_n$ be the permutation group of order $n$. What is the maximom order of an element on $\mathbb S_{15}$. Is there any way to find maximom order of an element in $\mathbb S_{15}$ or find the ...
0
votes
0answers
18 views

A question about finite simple groups of Lie type

I have a question about finite simple groups of Lie type. By the classification theorem of finite simple groups, we know that there are four important class of finite simple groups as follows: ...
2
votes
1answer
68 views

Finding all the group elements of a certain order of a finite group

Consider a group $G=\langle P, Z, Q \rangle$ generated $P,Z,Q$ where $$Z=\left[ {\begin{array}{ccc} -1 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & -1\\ \end{array} } \right] ...
4
votes
1answer
80 views

Is there a simple group and a subgroup with intermediates lattice L30?

Let $G$ be a finite simple group and $H$ a subgroup. We consider the lattice of intermediate subgroups between $H$ and $G$, noted $\mathcal{L}(H \subset G )$. Let $\mathcal{L}_n = ...
3
votes
1answer
41 views

When a normal subgroup $N$ admits a complament?

Let $G$ be a finite group and let $N$ be a normal subgroup. I am looking for conditions on $N$ (and maybe also on $G$) such that there exist a subgroup $H$ of $G$ such that $$G=N\rtimes H.$$ Clearly, ...
0
votes
1answer
24 views

Number of subgroups and normal subgroups

I am struggling to understand how to calculate the nunmber of subgroups with permutations, for example: How many normal subgroups does S3 have? How many subgroups of order 4 has group S4? And does ...
1
vote
1answer
37 views

What is the forgetful functor for this simple finite category (based on the cyclic group C3)?

I am trying to understand what a forgetful functor is. I have read the definition here but I still cannot figure out what the forgetful functor is exactly for the simple cyclic group C3 viewed as a ...
1
vote
1answer
33 views

calculate the number of sylow p subgroups of a5

Calculate the number of Sylow $p$-subgroups of $A_5$ We have $|G|=60=2^2\cdot 3\cdot 5$ Let $n_p$ be the number of Sylow $p$-subgroups of $G$. By Sylow's third theorem, we have $n_3\in\{1,4,10\}$. ...
1
vote
2answers
32 views

Injective Homomorphism from a group into $GL_n$

$|G|=n\ge 2<\infty,$ A group, I need to know which of the followings are true? $\exists$ allways an injective homomorphism from $G$ into $S_n$ $\exists$ allways an injective homomorphism from $G$ ...
4
votes
1answer
58 views

Show that there is a positive integer $n$ such that $G \cong \ker(\phi^{n}) \times \phi^{n}(G)$

Let $G$ be a finite abelian group and let $\phi: G \rightarrow G$ be a group homomorphism. I am trying to show that there is a positive integer $n$ such that $G \cong \ker(\phi^{n}) \times ...
1
vote
2answers
84 views

Cyclic finite groups and their direct product

Let $C$ be a cyclic group with three elements. prove that $C \times C \times C$ can not be generated by two elements. I was thinking that showing that $C ^{3}$ is isomorphic to ${\mathbb{Z}_{3}} ^{3}$ ...
0
votes
0answers
66 views

Finite groups and manifolds

my question is: can we connect finite groups with algebraic manifolds as: Take for example Togliatti surface $X$ with set of 31 singular points $P$. Then consider action $Aut(X)$ on $P$, then group ...
4
votes
1answer
50 views

Sylow subgroups of Symmetric Group

The symmetric group (=permutation group) $S_n$ acts on the set $X_n$ of polynomials in $n$ variables $x_1, x_2, \cdots, x_n$ [with coefficients from $\mathbb{Z}/ \mathbb{Q}/$ or any ring of ...
3
votes
1answer
81 views

Presentation of a group isomorphic to $A_4$

I have a group $G$ defined by $G = \langle x,y,z|x^2 = y^3 = z^3 = xyz \rangle$ and we know that $a$ $=$ $xyz$ belongs to the centre of $G$. But im struggling to show that $\frac{G}{\langle a\rangle} ...
0
votes
3answers
58 views

elements of order $3$ in $A_n$

Let $S_n$ be the permutation group on $n$. We know that $A_n \trianglelefteq S_n$. How many elements $ a \in A_5$ have order three. Is there any formula for finding number of elements in $ S_n $ or ...
3
votes
1answer
114 views

Normal subgroups of group with order $p^2 $

Let $G$ be a group of order $p^2$ for a prime $p$. Show that $(a)$ There exists a subgroup $N$ of order $p$ which is normal. $(b)$ Any group $K$ of prime order is cyclic. $(c)$ Groups ...
4
votes
2answers
73 views
+50

Let $H$ be a subgroup of the group $(R, +)$ such that $H$ $∩$ [-1,1] is a finite set containing a non zero element. Show that $H$ is cyclic.

Observations: Since $H$ is a subgroup of $(R, +)$ so $0 \in H.$ If $1 \in H,$ then all positive integers belong to $H.$ But $H$ is closed wrt addition, so the negative integers must belong to $H$ ...
5
votes
0answers
55 views

Semigroups and solutions of equation

It is easy to prove: in a finite semigroup if for all $a$ and $b$, $ax=b$ and $ya=b$ has unique solution. then it is group. But if in a finite semigroup, if for all $a$ and $b$, $ax=b$ and $ya=b$ has ...
0
votes
1answer
22 views

Groups of order 36 - another step in lemma 5.4.

This is a follow up to my question last night Groups of order 36 where I was confused about the first step of Lemma 5.4 of http://matwbn.icm.edu.pl/ksiazki/fm/fm92/fm9211.pdf. I am now confused about ...
1
vote
3answers
33 views

Prove that there is a fixed point in any subgroup $H$ of $S_4$ of order $6$.

Prove that in every subgroup $H$ of $S_4$ of order 6 there is a fixed point in {$1,2,3,4$}, i.e, there exists $1\le i\le 4$ such that $h(i)=i$ $\forall h\in H$. $Start$: Suppose there is a subgroup ...
1
vote
1answer
49 views

What are the cosets of this presentation?

I'm reading a book on algebra, and they give a presentation for $S_3$, with 6 elements $\{1, x, x^2, y, x y, x^2y\}$ as $$x^3 = 1,\quad y^2 = 1,\quad y x=x^2y$$ Now later in the book, there is a ...
1
vote
1answer
31 views

How many possible isomorphisms do we have between G and H? [duplicate]

Let $G=(Z_4,+)$ and let $H=(U_5,*)$ where $U_5 = \{[1],[2],[3],[4] \}$ . I know that $[1]$ and $[3]$ are both generators for $G$. I also know that $[2]$ and $[3]$ are both generators for $H$. In order ...
3
votes
2answers
246 views

Example of non-Abelian group with 4, 5, or 6 elements of order 2

Is there any example for non-Abelian group in which has more than $3$ elements of order $ 2$, but has less than 7 elements of order $2$?
3
votes
1answer
55 views

Group of order 396 isn't simple

Prove that group of order $396=11\cdot2^2\cdot3^2$ is not simple. $n_{11}$ is $1$ or $12$, so I assumed $n_{11}=12$ and tried to look at the action of the group on $Syl_{11}\left(G\right)$ by ...
1
vote
2answers
39 views

Relationship between submonoids and subgroups

I'm taking my first abstract Algebra course. During one of the last lessons, my teacher told us that If $G$ is a group and $M$ is a finite submonoid of $G$, then $M$ is a subgroup of $G$. For the ...
3
votes
2answers
82 views

Order of any element divides the largest order.

Let $A$ be a finite Abelian group and let $k$ be the largest order of elements in A. Prove that the order of every element divides $k$. This is my attempt, I sense there is something wrong\incorrect ...
0
votes
1answer
48 views

Sylow subgroups in a group of order 112 [closed]

Let $G$ be a group of order $112=2^47$. Prove that if a Sylow $7$-subgroup of $G$ is not a normal subgroup of $G$, then $G$ has a normal Sylow $2$-subgroup. Any comments are appreciated for me.
1
vote
2answers
51 views

Groups of order 36

Prove: If a group $G$, of order 36 has a subgroup of order 18 ,$H$, then $G$ either has a normal subgroup of order 9, or a normal subgroup of order 4. This came about while reading the same article ...