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)

0
votes
0answers
11 views

Showing isomorphism

I need to show that $\Bbb Z^*_8$ is not isomorphic to $\Bbb Z^*_{10}$. $\Bbb Z^*_n$ means integers up to $n$ coprime with $n$ I do not know how to do this. I have difficulties doing proofs involving ...
23
votes
0answers
356 views

Are there $n$ groups of order $n$ for some $n>1$?

Denote $N(n)$ : the number of groups with order $n$. Can $N(n)=n$ hold for some $n>1$ ? I checked the OEIS-sequence as well as the squarefree numbers $n$ in the range $[2,10^6]$ and found no ...
2
votes
0answers
98 views

Number of non-isomorphic groups of square-free order $n$

$G$ is a group of order $n=p_1p_2....p_k$ then how to find the number of non-isomorphic groups of order $n$ where $p_i's$ are distinct primes I can find the number of number of non-isomorphic ...
0
votes
1answer
83 views

Number of non-isomorphic groups of order 21

Let $G$ be a group of order $21$. Find the number of non-isomorphic groups of order $21$ My solution: If the group $G$ is commutative,then $G$ can be expressed as a direct product of cyclic groups ...
0
votes
2answers
17 views

Two disjunct normal subgroups

Let M, N be normal subgroups of G with M∩N={e}. I'm trying to prove that MxN is isomorphic to G. I proved that nm=mn for all n in N and m in M. So now I'm trying to take any fixed g in G and ...
0
votes
0answers
8 views

Structure of induced module for subgroup $H \le G$, confused by mixing up notions of $FH$-submodule and $F$-subspace

The following is a question on a passage in the book A Course in the Theory of Groups by Derek Robinson. There he constructs the induced module $M^G$ from a $FH$-module for some subgroup $H \le G$ of ...
1
vote
1answer
8 views

Finding all permutations which satisfy given condition

In a symmetric group $S_n$ find number of permutations $P$ such that in the disjoint cycle decomposition of $P$ , length of cycle containing $1$ is $k$ . Here's my attempt at this . I found number of ...
0
votes
1answer
22 views

homomorphism of profinite groups

Let $G$ be a profinite group and consider a continuous surjective homomorphism: $$\phi:G\rightarrow \widehat{\mathbb Z}$$ where $\widehat{\mathbb Z}:=\varprojlim \mathbb Z/n\mathbb Z$. Moreover Let ...
1
vote
1answer
10 views

order of a subrgoup of rank $r\geq 2$ in $\mathbb{F}_p^*$

Let $a,b\in \mathbb{F}_p^*$ with orders $o_p(a)=|\langle a \rangle|=\alpha$ and $o_p(b)=|\langle b \rangle|=\beta$. I have few questions: 1) Is it true in this case ($\mathbb{F}_p^*$ cyclic) that ...
0
votes
0answers
15 views

On the probability distribution of iterated permutations

I have this little problem that has been nagging me for a couple of months now. It occurred to me when considering the fairness of card shuffling methods. Here's my best attempt at formalizing it: ...
0
votes
0answers
22 views

How can I define $H+K$? [duplicate]

Let be integers 5 and 100, and let be $H=5Z$ and $K=100Z$ subgroups of the additive group $Z$. How can I define the subgroup $H+K$ ? I think $5Z+100Z=5Z$ because mcd(100,5)=5 but I'm not sure that ...
2
votes
3answers
1k views

How to determine the number of isomorphism types of groups of a given order?

if $G$ is a group whose order is $n$ can we determine the number of isomorphism types for this number or not ? for instance, if $n=4$ we have 2 types, $Z_4$ and $Z_2 \times Z_2$ " Klein 4-group" ...
3
votes
1answer
75 views

Are there cube-free numbers $n$, for which the number of groups of order $n$ is unknown?

For squarefree $n$, there is a formula allowing to compute the number of groups of order $n$. I do not think that such a formula exists for cubefree numbers. If a cubefree number $n$ has the ...
4
votes
1answer
128 views

Is $n=8{,}574{,}796{,}230$ the smallest squarefree number $n$ with $gnu(n)>10^6$?

The number of groups of order $n$ (gnu(n)) can be calculated by a closed formula, if $n$ is squarefree. I could calculate the values with GAP, additionally, I programmed a version in PARI/GP, working ...
1
vote
0answers
24 views

how to find out generators of the following free group?

following is the subgroup of SL($2,\mathbb{Z}$) \begin{bmatrix}2\mathbb{Z}+1&4\mathbb{Z}\\2\mathbb{Z}&2\mathbb{Z}+1\end{bmatrix} how to find out its generators? i know it is free group of ...
3
votes
1answer
37 views

In proof of $|G| = n_1^2 + n_2^2 + \ldots + n_h^2$ how could equality of dimensions concluded from ring isomorphism

In Derek Robinson, A Course in the Theory of Groups on page 224 he proves: Let $G$ be a finite group and let $F$ be an algebraically closed field whose characteristic does not divide the order of ...
0
votes
0answers
16 views

Conjugate classes of Symmetric group, $S_n$ and partition number of $n$.

In the book "Topics in Algebra", 2nd edition, By I.N. Herstein, the following lemma is given on page 89, Lemma 2.11.3 :The number of conjugate classes in $S_n$(the symmetric group of order $n$) is ...
1
vote
1answer
22 views

Why do $H$ and $K$ have to be Abelian?

I solved the following exercise: For any Abelian group $G$ and any positive integer $n$ let $G^n = \{g^n \mid g \in G\}$. If $H$ and $K$ are Abelian show that $(H \oplus K)^n = H^n \oplus K^n$. Let ...
2
votes
0answers
18 views

About a perfect FN-group

the consept perfect group is new for me. I was reading the following: If a group $G$ is a FN-group and $G'=G$ then $G$ is finite. I tried to prove this and here is my attempt: let $G$ be a ...
0
votes
0answers
26 views

How to find a onto homomorphism between two groups?

Consider the following subgroups of $\text{SL}(2,\mathbb{Z})$ : $A$ the subgroup of matrices with determinant $1$ : ...
1
vote
1answer
39 views

Determine if quotient group $S_4/N$ is isomophic to $S_3$ [duplicate]

Let $N = \{1,(12)(34),(13)(24),(14)(23)\}$. Determine if the quotient group $S_4/N$ is isomophic to $S_3$. I computed the cosets: $N, (12)N, (13)N, (14)N, (123)N, (234)N$, and the others are ...
-2
votes
1answer
59 views

Is the symmetric group $S_4$ cyclic

Is the symmetric group $S_4$ cyclic? By writing all $24$ elements we can write the tabular form of $S_4$. Then choosing each element of $S_4$, we can find its order and thus, we can show that ...
3
votes
4answers
575 views

Prove that the symmetric group $S_n$, $n \geq 3$, has trivial center.

I am trying to prove this: Let $\sigma$ be a non-identity element of $S_{n}$. If $n \geq 3$ show that $\exists \gamma \in S_{n}$ such that $\sigma\gamma \neq \gamma\sigma$. Hint: Let ...
3
votes
4answers
609 views

Are there any Symmetric Groups that are cyclic?

Are there any Symmetric Groups that are cyclic? Because I have been doing some problems and I tend to notice that the problems I do that involve the symmetric group are not cyclic meaning they do not ...
1
vote
1answer
33 views

Prove that $g\in P$

Let $G$ be a finite group and $P$ a Sylow $2$-subgroup. If $g$ is an element of $G$ with order a power of $2$ then it lies in some conjugate of $P$. I get this. But if also $g\in C_G(P)$, then it is ...
0
votes
0answers
11 views

how to find the index of following subgroup?

if I denotes the principal congurence group of level 2 i.e. $I=\{ M \in SL(2,Z) ; \:M \:\:\text{congruent to I} \mod(2)\}$. or I= ...
0
votes
1answer
26 views

Which of the following are isomorphic?

I am a beginning learner of group theory. Which of the following are isomorphic:$$\mathbb{Z_{24}}, D_{4}\times \mathbb{Z_{3}},A_{4}\times \mathbb{Z_{2}},\mathbb{Z_{2}}\times D_{6}, ...
-1
votes
1answer
41 views

Subgroups of $G = \{\sigma \in S_{14}: \mathrm{ord}(\sigma)\mid 12 \}$ [on hold]

Let $$G = \{\sigma \in S_{14}: \mathrm{ord}(\sigma)\mid 12 \}.$$ Is this a subgroup? By examining particular examples, one can see that it is not, since it is not closed under composition. However, ...
1
vote
0answers
36 views

how to find coefficient c1, c2, c3, c4 of a polynomials of degree 4 from resolvent

if not starting from standard resolvent of each degree and use (y-x1...)(y-x2...)(y-x3...) and group theory how to find corresponding c1, c2, c3, c4 of polynomial x^4+c4*x^3+c3*x^2+c2*x+c1 which c1, ...
2
votes
2answers
31 views

Morphisms of a category with one object, which is a group

I've read two articles(1,2), but still have a question about structure of group, say $G$, as an one-object category. Let's call this category $C$. I understand that morphisms of $G$, which is ...
3
votes
1answer
389 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 ...
1
vote
1answer
34 views

Expressing $z\in G$ as $z=gh^2$ where $g$ is a $2$-element and $|h|$ is odd

Let $z\in G$ where $G$ is a finite group, then is it always true that there exist elements $g,h\in G$ such that $z=gh^2$ where $|g|=2^k$ for $k \in \Bbb{Z_{\ge0}}$ and $|h|$ is odd?
1
vote
2answers
24 views

reference request Schur Zassenhaus Theorem

I am looking for a reference for the Schur Zassenhaus Theorem, saying that any normal Hall subgroup admits a complement. An on-line search show that it is supposed to be in "The theory of groups" by ...
0
votes
1answer
33 views

Showing a subgroup contains the identity element

Let $G$ be the set of all functions from $\mathbb{R}$ to $\mathbb{R}$ along with $+$. Show that $H$ defined by $H=\{f:f(x)=0 \text{ for all } x \in [0,1]\}$ is a subgroup. I am able to show $H$ ...
1
vote
1answer
47 views

Classify the group of order 33, sylow theorem

From artin's 2nd edition of Algebra on the sylow theorem section. Problem: Classify groups of order (a) 33 Answer: Let $G$ be the group. $n(G)=33$ Factors of $33$ are $1,3,11,33$ If for any any ...
1
vote
1answer
38 views

Order and generators of intersection of cyclic groups

Let $\sigma$, $\tau$ be two permutations of $S_n$. We know that $\langle \sigma \rangle \cap \langle \tau \rangle$ is a cyclic subgroup and (from Lagrange's Theorem) that its order divides ...
1
vote
1answer
28 views

Where can I find a proof of the Presentation for Semidirect Products?

I have seen it claimed online that: Given two groups $G = \langle X \mid R \rangle$ and $H = \langle Y \mid S \rangle$ with some action $\theta \colon H \to \text{Aut}(G)$, then $$ G\rtimes_\phi ...
0
votes
0answers
14 views

All equivalent moves on a rubik's cube

Call the primitive moves on the rubik's cube "R,L,U,D,F,B" for right, left, up, down, front, and back respectively. Let us say that I have a permutation of the stickers on the cube written as a word ...
0
votes
0answers
22 views

Let $X : S_3 → GL_2(\mathbb{R})$ . Compute the six matrices {$X(\pi) : \pi \in S_3$} and show they faithfully represent $S_3$.

Consider an equilateral triangle $V_1V_2V_3$ with center at the origin, and vertex $V_1 = (0,1)$ and vertices $V_1, V_2, V_3$ in counterclockwise order. Consider the action of the symmetric group ...
1
vote
1answer
12 views

normaliser of dihedral group of order 4

Let $D_{2n}$ be the dihedral group of order $2n$. I would like to show that if $4$ divides $n$, then the normaliser $N_{D_{2n}}(D_{4})=D_{8}$. I know that ...
4
votes
2answers
88 views

Count the number of elements of ring [closed]

1/ How to count the number of elements of $\mathbb{Z}[i]/(1+2i)^n$? 2/ How to write $\mathbb{Z}[i]/(1+2i)^n$ as direct sum of cyclic groups (in view of the structure theorem of finite abelian ...
6
votes
3answers
58 views

$H$ be a proper subgroup of finite group $G$ such that $H \cap gHg^{-1}=\{e\} , \forall g \in G \setminus H$ , then $|\cup gHg^{-1}|>\dfrac 12 |G|+1$

Let $H$ be a proper subgroup of finite group $G$ such that $H \cap gHg^{-1}=\{e\}$ for all $g \in G \setminus H$. Then is it true that $$|\cup_{g \in G \setminus H}gHg^{-1}|>\dfrac 12 |G|+1$$ If ...
0
votes
1answer
21 views

Several true/false statements about a finite group $a,g\in G$ such that $a$ is of order $2$

Let $G$ be a finite group, and $a,g\in G$ such that $a$ is of order $2$, then the following is either true or false: The element $gag^{-1}$ is of order $2$. $(ag)^2=g^2$ if $ag$ is of ...
1
vote
0answers
33 views
+50

If $M < M < G$ with certain conditions and a special subgroup $U < G$, then we can choose $|G / M| = p$ and $p \nmid |M|$.

Let $G$ be a finite group and $U \le G$ a subgroup of odd order. Assume that $N_G(U) = TU$ with $T = \langle t \rangle$ for some involution $t \notin U$. Also assume $U^g \ne U$ implies $U^g \cap U = ...
0
votes
1answer
30 views

Characteristic subgroups of order $2$

Could anybody give an example of a finite abelian $2$-group with more than one characteristic subgroup of order $2$ ? (In other words, a finite abelian $2$-group $G$ with a Klein subgroup $V$ such ...
2
votes
1answer
20 views

Regarding part of proof of proposition: Any topological group $(G, \tau)$ which is a $T_1$-space is also a Hausdorff space.

Proposition: Any topological group $(G, \tau)$ which is a $T_1$-space is also a Hausdorff space. Part of Proof: Let $x$ and $y$ be distinct points of $G$. Then $x^{-1}y \neq e$ (identity ...
1
vote
2answers
13 views

Multiplying elements of a multiplicative cyclic group

This is about correct operation in a multiplicative cyclic group. Say we have the group $\mathbb Z_4^{\times} = \{1,2,3\}$, if we multiply the elements, say $3\cdot 2\cdot 2 $ we get $12 \mod 4 = 0$ ...
1
vote
0answers
24 views

Estimate the number of “solvable” polynomials with degree $d$ and coefficient limit $l$

Enumerate the irreducible polynomials with degree $d$ and integer coefficients $[-l,l]$ and check how many of them have a solvable galois-group. We can assume that the leading coefficient of the ...
1
vote
3answers
52 views

$G$ is a finite group, if $m\in \mathbb N$ such that $g^m=1$ for all $g\in G$, then $m=n$.

Prove / disprove: Let $G$ be a finite group of order $n$, if $m\in \mathbb N$ such that $g^m=1$ for all $g\in G$, then $m=n$. I can't find a group that will satisfy this condition so I think it's ...
1
vote
1answer
26 views

Subgroups of $S_{10}$ that contain $\langle \sigma = (123)(456)\rangle$

In $S_{10}$ let us consider the permutation $\sigma = (123)(456)$ and the cyclic subgroup $ G = \langle \sigma \rangle$. I can fairly easily find that $$\langle \alpha = (1,4,2,5,3,6)(7,8) \rangle ...