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
0answers
31 views

Online Finite Field Calculator

I need to find an online Finite Field calculator with the following operations: Inverse SqrRoot Mult Div I have found one a couple of days ago but lost the url, and cannot find it now. Any ...
2
votes
1answer
58 views

Which non-Abelian finite groups contain the two specific centralizers? - part II

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers isomorphic to both of these two groups (but may contain other ...
0
votes
0answers
22 views

Let G be a group and let diag G denote the subset of GxG defined by diag G:={(g,g) |g∈G}(The subset diag G is known as the diagonal of G in GxG.) [on hold]

Let G be a group and let diag G denote the subset of GxG defined by diag G:={(g,g) |g∈G}(The subset diag G is known as the diagonal of G in GxG.) (a) Show that diag G is a subgroup of GxG. (b) Show ...
0
votes
3answers
34 views

If G acts on X, show that there must be a fixed point for this action. Please help. [on hold]

Suppose that G is a group of order p^k, where p is prime and k is a positive integer. Suppose that X is a finite set and assume that p does not divide the size |X| of X. If G acts on X, show that ...
2
votes
2answers
24 views

Supose that G is a finite abelian group that does not contain a subgroup isomorphic to $Z_p \oplus Z_p$ for any prime $p$. Prove that G is cyclic.

Supose that G is a finite abelian group that does not contain a subgroup isomorphic to $Z_p \oplus Z_p$ for any prime $p$. Prove that G is cyclic. Attempt: If $G$ is a finite abelian group, then let ...
3
votes
1answer
45 views

How do I effectively solve this kinds of problems?

I'm preparing for a test on Monday. This is an exercise in the past homework. Find all subgroups of $\mathbb{Z}_2\times \mathbb{Z}_2\times\mathbb{Z}_4$ isomorphic to $Z_2\times Z_2$. Is there a ...
1
vote
1answer
36 views

Conjugacy classes and centralizers of a SmallGroup

What is the complete lists of conjugacy classes and centralizers of SmallGroup(64,138)? Would someone be willing to provide the complete lists of conjugacy classes and centralizers of ...
0
votes
1answer
21 views

A Criterion for being Sylow p-group

Show that if $H$ is a $p$-group of finite group $G$ and $N_G(H)=H$ then $H$ is a Sylow $p$-group of $G$? Or prove the following more general property,$$[G:H]\equiv1\ (\mod\ p)$$
0
votes
2answers
39 views

permutation problem: cycle representation

Let $n$ be an odd number. Let $C_n$ be the set of permutations $\pi$ of $[n]$ whose cycle representation has only one cycle. Let $\pi,\sigma\in C_n$. Prove that their composition $\pi\sigma$ has an ...
1
vote
1answer
28 views

Groups with single conjugacy class of subgroups. (modified)

I am going to modify my previous question. What are those finite non abelian groups in which non normal subgroups of same order are conjugate. e.g. Dihedral groups of order $4n+2$.
0
votes
1answer
20 views

Questions on proof that transvections are conjugate in $GL(V)$.

I have difficulty following the proof that transvections are conjugates in $GL(V)$, and for $n \ge 3$ even in $SL(V)$. I give the necessary definitions and the proof, with the problematic parts ...
1
vote
1answer
36 views

An assumption used in defining a group of order $mn$

I want to show that the defining relations $a^m=b^n=e, ab=ba^k$ define a group of order $mn$ with a normal subgroup of order $m$, if $k^n \equiv 1 \pmod m$. Consider the set of symbols of the form ...
1
vote
1answer
36 views

Can we give of the fact that a group of order $9$ is abelian without using an argument involving the product of two cyclic groups of order $3$?

A group of order $9$ is always abelian. I've seen proofs of this result, but I would like to prove it the following way: Let $G$ be a group of order $9$. If $G$ has an element $a$ of order $9$, then ...
2
votes
1answer
38 views

Visualizing the 48 actions of GL(2,3)

Hello and thank you for your patience. (DISCLAIMER: I'm a novice and not a mathematician by trade and I'm not certain how to articulate most of my questions here. I am learning from experiences and ...
2
votes
2answers
52 views

What is the most elementary proof of the following: a non-abelian group of order $6$ is isomorphic to $S_3$

We know that, a non-abelian group of order $6$ is isomorphic to $S_3$. While I've been able to locate different proofs of this result, I would like to have one that is as elementary as it can be. So ...
1
vote
2answers
45 views

The Cayley Representation Theorem.

This theorem states that "Any group is isomorphic to a subgroup of a group permutations." I only ask if someone could provide a simple example so that i can fully understand this theorem.
2
votes
0answers
48 views

Which finite groups contain the two specific centralizers?

This is a question requiring the good knowledge of group theory: (Q1) Which finite groups $G$ contains some specific centralizers both of these two groups: i. the elementary group $Z_2^4$, ...
0
votes
0answers
26 views

To Find a subgroup of order $6$ in $U(700).$

Find a subgroup of order $6$ in $U(700).$ Attempt: $U(700)=U(2^2.5^2.7)\thickapprox U(2^2) \oplus U(5^2)\oplus U(7)$ $\thickapprox \mathbb Z_2 \oplus \mathbb Z_{5^2-5} \oplus \mathbb Z_{7-7^0}$ ...
1
vote
1answer
49 views

Is this type of a subgroup always normal? [duplicate]

Let $G$ be a finite group, and let $H$ be a subgroup of $G$ such that the index $(G\colon H)$ of $H$ in $G$ is the smallest prime that divides the order of $G$. Can we say anything about whether or ...
2
votes
2answers
70 views

An application of Sylow theorems in p-groups!

If $G$ is a finite group of order $p^{n}$ (which $p$ is a prime number) and have only one subgroup of order $p^{n-1}$ ,namely $H$ ,then $G$ is cyclic ! My "proof" is as follows: suppose $$x\in G-H$$ ...
0
votes
1answer
36 views

Find all sub groups of order $4$ in $\mathbf{Z}_4 \oplus \mathbf{Z}_4$ . Are they all cyclic?

Find all sub groups of order 4 in $\mathbf{Z}_4 \oplus \mathbf{Z}_4$. Solution : $\mathbf{Z}_4 =\{0,1,2,3\}$ $O(1) = O(3) = 4$, $O(0) = 1$, $O(2) = 2$ Hence, I found the subgroups of order 4 as ...
0
votes
1answer
50 views

If G is a finite group and $x \in G$, there is an integer n $\geq 1$ such that $x^n = e$

Let G be a finite group. Show that, given $x \in G$, there is an integer n $\geq 1$ such that $x^n = e$. I'm trying to use the info that is finite, but I can't find a way. For instance, if G is a ...
3
votes
2answers
76 views

What are the finite groups with 8 or 16 conjugacy classes?

What are the list of finite groups with 8 or 16 conjugacy classes? I learned that dihedral groups $D_{10}$ and $D_{13}$ have 8 conjugacy classes. (Here the order of these groups are $|D_{10}|=20$, ...
2
votes
0answers
28 views

An algorithm for generating a finite group with a finite set of generators

Let $A$ be a finite set of permutations on $\Bbb N$ with finite support. Is there a good efficient algorithm to obtain the subgroup $\left<A\right>$ of the symmetric group ...
13
votes
3answers
782 views

Constructions of the smallest nonabelian group of odd order

I write $|X|$ for the number of elements in a finite set $X$. Recall some basic facts: If $p$ is a prime number, then any group $G$ of order $p^2$ is abelian. Sketch of proof: Fix a prime $p$ ...
0
votes
3answers
38 views

Groups - Inversions

Above is just an example I'm trying to work from as I have the solutions. I've seen lots of definitions of what inversions are but they use signs like sigma, and it doesn't really explain what the ...
2
votes
0answers
32 views

What is the difference between operator groups and group actions?

I have always thought that operator groups and group actions are two names for the same thing. Now I have noticed that they have different codomains. Actually I am still confused, why are they ...
-1
votes
1answer
40 views

conjugacy classes and order of group

Suppost that $k_G(A)$ denotes the number of conjugacy classes of $G$ that intersects $A$ non-trivially ($A$ is an arbitrary subset of $G$) and $M=G^{'}Z(G)$. Also suppose that $G$ is non-solvable, ...
0
votes
0answers
21 views

Conjugacy classes of right cosets

Is it true that all elements of a right coset $Hx$, for a subgroup $H$ of $G$, contained in a unique $G$-conjugacy class? I mean if $Hx=\lbrace{x_1,...,x_s}\rbrace$, then is it true that ...
9
votes
6answers
338 views

Show that $\mathbb{Z}_{2} \times \mathbb{Z}_{4}$ is not a cyclic group

Show that $\mathbb{Z}_{2} \times \mathbb{Z}_{4}$ is not a cyclic group. This question is from the book 'Of Abstract Algebra' by Pinter. Now $\mathbb{Z}_{2} \times \mathbb{Z}_{4}$ containt 8 elements. ...
2
votes
0answers
34 views

Groups with single conjugacy class of subgroups. [duplicate]

I wish to know all those groups in which there is single conjugacy class of subgroups of fixed order.For example, In finite cyclic groups and in Alternating group of degree 4, number of conjugacy ...
-2
votes
0answers
31 views

$|G| \geq 3 $ is finite and has subgroup with index more than 4 then $G$ is not simple.

suppose $G$ is a finite group with more than three elements,prove that if $H$ will be a proper subgroup of $G$ with this property that $[G:H] \geq 4$ then $G$ is not simple. I found this question a ...
6
votes
1answer
76 views

If $G$ is solvable and $G/[G,G]$ is cyclic, can $G\times G$ be generated by 2 elements?

I doubt this is true, but I haven't found any small counterexamples (there are no counterexamples with $|G| < 1536, |G| \neq 768$): Suppose $G$ is finite, solvable, 2-generated, and $G/[G,G]$ ...
1
vote
0answers
37 views

Existence of a map $\phi:\mathbb{Z}_{N^2}^* \mapsto \mathbb{F} $

Is there a map between the group of $\mathbb{Z}_{N^2}^*$ where $N$ is a composite number , a product of two equal size secure prime numbers $p$ and $q$ and a finite field $\mathbb{F}$, such that for ...
1
vote
1answer
63 views

Isomorphisms in finite abelian groups

Let G be an abelian group of order 175 (=5*5*7). Assume $x^5=e$ has at least seven solutions. What is G isomorphic to? I see and can show that G is isomorphic to the its Sylow subgroups (orders 7 and ...
0
votes
1answer
23 views

Normal subgroup $N$, subgroup $U$, then $UN/N = U/N$.

Let $G$ be a group and $N \unlhd G$ a normal subgroup, $U \le G$ some subgroup. Then I guess $U / N$ is always some group, and moreover $U / N = UN / N$, because $UN / N = \{ unN : u \in U, n \in N \} ...
0
votes
1answer
22 views

Normal Sylow $p$-subgroup of a normal subgroup

Any hints for the following question - I am sure that I am missing something very simple here. $K$ is a normal subgroup of $G$ and $P$ is a Sylow $p$-subgroup of $K$. If $P$ is a normal subgroup of ...
2
votes
1answer
33 views

How does the base of a group determine the “sort” of the elements in the group

I'm trying to study groups in Mathematica, and I've asked a question on Mathematica.SE that perhaps only someone from Math.SE could answer. Related: How does ...
1
vote
1answer
23 views

Splitting field of an irreducible polynomial of degree five $f \in \mathbb{Q}[X]$

Let $\Omega/\mathbb{Q}$ be the splitting field of an irreducible polynomial $f \in Q[X]$ of degree five. Show that $Gal(\Omega/\mathbb{Q})$ equals $A_5$ or $S_5$ if $Gal(\Omega/\mathbb{Q})$ has an ...
7
votes
3answers
152 views

Homomorphism from $\mathbb{Z}/n\mathbb{Z}$

Does there exist a non-zero homomorphism from $\mathbb{Z}/n\mathbb{Z}$ to $\mathbb{Z}$ ? If yes, state the mapping. How is this map exactly?
0
votes
2answers
25 views

Group Theory (Abstract Algebra) question! o(G) vs o(g)??

If G is a group, and g is an element of G, what is the difference between the following two notations o(G) and o(g)?
2
votes
2answers
78 views

How many subgroups of $\Bbb{Z}_4 \times \Bbb{Z}_6$?

I have been trying to calculate the number of subgroups of the direct cross product $\Bbb{Z}_4 \times \Bbb{Z}_6.$ Using Goursat's Theorem, I can calculate 16. Here's the info: Goursat's Theorem: Let ...
0
votes
1answer
30 views

$p$-subgroups conjugate iff $\cong$ to Sylow p-subgroups of some other groups?

Let $G$ be a finite group and $p$ a prime such that $p^\alpha$ divides $|G|$ and $p^{\alpha+1} \nmid |G|$. I know that Sylow $p$-subgroups of $G$ are conjugate to one another but if we have some ...
1
vote
1answer
17 views

Simple group question need help…

Alright so I've got a question here in terms of groups. So define $\omega = {e}^{2i\pi\over 13}$ -The exponent of e should be $2i\pi\over 13$ but it's not coming clear when as an exponent of e there ...
1
vote
3answers
68 views

Can we find some constraint about order of $xy$ in a group $G$?

Can we determine order of $xy$ in $G$ if we know order of $x$ and $y$ ? I know that answer is yes for abelian groups and I guess the answer is no for nonabelian case. That is why I am lookking for ...
4
votes
2answers
123 views

Show that $G$ ( subgroup of $\mathrm{GL}(E)$) is finite.

I came across with, I think, a difficult problem : Let E a Hermitian space with a Hermitian norm $||\ ||$. We provide $\mathcal{L}(E)$ with the norm $|||\ \ |||$ subordinated to $||\ ||$. ...
1
vote
0answers
30 views

Do normal group endomorphisms form a normal submonoid?

What it says on the tin. A group endomorphism $v\colon G\to G$ is called normal if $v(aba^{-1})=av(b)a^{-1}$ for all $a,b\in G$. Equivalently, the map $g\mapsto v(g^{-1})g$ is a group homomorphism. ...
0
votes
0answers
34 views

Semidirect products of cyclic groups

Consider $A=\langle a\rangle$, cyclic group of order $9$ and $B=\langle b\rangle$, cyclic group of order $3$. Consider now the following action of $B$ on $A$ via automorphism: ...
2
votes
1answer
323 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 ...
0
votes
1answer
51 views

Subgroups of direct products

Consider a group $G$ which is a direct product of two groups of coprime order: $G = G_1 \times G_2$ with $|G_1|=n_1$, $|G_2|=n_2$ and $\textrm{gcd}(n_1, n_2)=1$. Let $H \le G$. Is it true that ...