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)

2
votes
1answer
19 views

Action via automorphism

I want to ask what does it mean to say a group $A$ acts on $N$ via automorphisms. It is a notion used in M.Isaacs book and I am not familiar with. I tried to find how it is defined but a scanned e ...
0
votes
0answers
28 views

Group of order 6 contains an element of of order 3

I need to show that if $G$ is non-abelian group of order $6$ then it contains an element of order $3$. I don't know how to proceed. Any kind of help/hint is appreciated.
1
vote
1answer
22 views

Determine all the subgroups of the dihedral group $D_{15}$

Is there an algorithm for finding all of the subgroups of $D_{15}$? Also, is there a formula for finding the size of that subgroup? Not sure where to start with finding all the subgroups of $D_{15}$ ...
-1
votes
1answer
30 views

showing non-isomorphism of groups [duplicate]

How do I prove that there is no isomorphism between $\Bbb Z$ under addition and $\Bbb Q$ under addition? They both are infinite order. I thought they might be isomorphic. Help would be ...
0
votes
1answer
23 views

Groups isomorphic to $S_{4}/N$

Let $G = S_4$ be a group, $N = \{1, (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3)\}$ a normal subgroup of G. It's easy to see that $G/N$, the set of cosets is $G/N = \{a, b, c\}$, where $$a = \{(1), (1, ...
2
votes
0answers
25 views

Finding homomorphisms in normal groups to $S_n$

This question is related to my trouble in abstract algebra in general so some general advice is really appreciated!! (I'm really new to this.) Let A be an infinite subset of G with $n = \#A$. ...
1
vote
2answers
38 views

Showing a non-isomorphism of groups

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 ...
0
votes
1answer
16 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 ...
2
votes
3answers
28 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 ...
1
vote
1answer
12 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 ...
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
1answer
23 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 ...
0
votes
0answers
18 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 ...
0
votes
0answers
17 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
19 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 ...
3
votes
1answer
38 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
32 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
0answers
27 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 ...
0
votes
0answers
13 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}, ...
2
votes
2answers
34 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 ...
1
vote
1answer
36 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 ...
1
vote
1answer
35 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?
0
votes
1answer
34 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$ ...
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 ...
1
vote
1answer
29 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 ...
-1
votes
1answer
43 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, ...
0
votes
0answers
23 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 ...
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
1answer
41 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
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$ ...
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 ...
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
1answer
13 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 ...
1
vote
3answers
53 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
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
34 views

Is this a linear transformation? in the context of group representations

Let $G$ be a group. A regular representation is given as $V=\mathbb{C}[G]$, a vector space, where $l: G \to GL(V)$ be the action is given by $l(g)(\alpha)(h) = \alpha (g^{-1}h)$ for all $g,h\in G, ...
1
vote
1answer
27 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 ...
1
vote
2answers
28 views

Proving that a homomorphism between two rings is surjective

The problem: ($\mathscr{F}(\mathbb{R})$ is the set of real valued functions) Let $\phi:\mathscr{F}(\mathbb{R})\to\mathbb{R}\times\mathbb{R}$ be a function defined by $\phi(f)=(f(0),f(1))$ Prove ...
1
vote
1answer
18 views

Semidirect product when the action factors

Suppose I am forming a semidirect product of finite groups $G \rtimes_\theta A$. Here, $\theta : A \to \mathrm{Aut}(G)$ is a homomorphism. Now, suppose I notice that the homomorphism $\theta$ factors ...
4
votes
1answer
87 views

Proof that the Rubik’s Cube group is 2-generated

Singmaster (1981) writes, on page 32 of his Notes on Rubik’s Magic Cube: Frank Barnes observes that the group of the cube is generated by two moves: \begin{align*} \alpha &= L^2 B R D^{-1} ...
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
1answer
40 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 ...
0
votes
0answers
66 views

Is $S_3$ a normal subgroup in $S_4$? [on hold]

Let $G=S_4$ and $H=S_3$. Is $H$ a normal subgroup in $G$? What is the fastest way to do this problem. I am sure the answer is no. Is it quicker to find an example of a left coset and right coset ...
1
vote
3answers
58 views

Is the following set a group?

Let $ G= \begin{pmatrix} a & a\\ a & a\\ \end{pmatrix} $ where $a\in \Bbb R, a \neq0$. I need to show that $G$ is a group under matrix multiplication. The ...
1
vote
0answers
38 views

Frobenius-Perron dimension on a fusion category

Let $C$ be a fusion category with simple objects $V_i\in I$. The fusion rule is $V_i\otimes V_j \cong N_{i,j}^k V_k$. The Frobenius-Perron dimension of a simple object $V_i$, $\mathrm{FPdim}(i)$, is ...
2
votes
2answers
28 views

Solvability of nilpotent groups

I'm uncertain about my proof about this exercise regarding nilpotent groups. If someone could me help me out, that would be appreciated. There's a post about this problem, but it uses another ...
1
vote
0answers
14 views

Pro-alternating completion of a free group

Let $F$ be a free group with $r$ generators. Then for every $n \in \mathbb{N}$ there are exactly $H_n = \left(\frac{n!}{2}\right)^r - 1$ nontrivial distinct homomorphisms from $F$ to $A_n$, the ...