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
22 views

Is the product of group representations commutative?

Consider, for example, the product of $E_6$ representations $$ 78 \cdot \overline{351}_s \cdot 78 \cdot 351_s, $$ where the $s$ denotes symmetric. Is this equal to $$ 78 \cdot 78 \cdot ...
5
votes
4answers
302 views

Why is the commutator defined differently for groups and rings?

The commutator of two elements in a group is defined as $[g, h] = g^{−1}h^{−1}gh.$ In a ring, the commutator of two elements is $[a, b] = ab - ba.$ I'm asking because a ring is a (abelian) group ...
2
votes
0answers
19 views

Projective general linear group on discrete valuation ring

Let $R$ be a complete discrete valuation ring and $k$ its residue field. Let $H$ be a finite subgroup of $PGL_2(k)$ such that its order is prime with char($k$). There is some elementary way to show ...
1
vote
0answers
25 views

Covering groups

I am studying the Steiner system $S(5,6,12)$ and the ternary extended Golay code $\mathscr{C}_{12}$. The automorphism group of the Steiner system is the Mathieu group on twelve elements $M_{12}$ ...
0
votes
1answer
23 views

Abelianization of a $p$ group.

Let $G$ be a $d$ generated finite $p$ group. Let $N$ be normal subgroup of order $p$ contained in $[G,G]\cap Z(G)$. Can we say say that $(G/N)/[G/N,G/N]=(G/N)_{ab}$ is a direct product of $d$ cyclic ...
2
votes
1answer
54 views

On cyclic decomposition of element in $S_n$

Let $S_n$ be symmetric group and $x\in S_n$ be a permutation of $n$ numbers. Let $|x|=p$, where $n/2<p<n$ is prime. Consider $1^{t_1}2^{t_2}\ldots l^{t_l}$ to be the cyclic decomposition of $x$. ...
0
votes
0answers
18 views

Proper formulation of one-to-one and onto proofs for group isomorphism

I have to construct an isomorphism for the two groups. I have the isomorphism itself but I'm not sure if my formulation is correct in regard to proving the mapping being 1-1 and onto and I don't want ...
5
votes
1answer
80 views

Example of non isomorphic groups with isomorphic group algebras

Below is the construction of two non isomorphic groups, $G_1$ and $G_2$ such that $KG_1 \cong KG_2$ for any field $K$. (My Doubts lie within.) Consider two groups $Q_1=\langle x_1,y_1,z_1\ |\ ...
2
votes
1answer
34 views

Conjugates of Sylow $p$-groups in $GL_3(F_p)$

In this list of review questions, there is the following question about $GL_3(F_p)$. Question 1.38. Let $G$ be the group of invertible 3 × 3 matrices over $F_p$, for $p$ prime. What does basic ...
6
votes
1answer
112 views

A game from Exercise in Artin's Algebra (Chapter 2 M.13)

I found an interesting problem in Chapter 2 for Artin's Algebra (2nd Ed) in the Miscellaneous section that I haven't been able to figure out. The text of the problem is quoted below. M.13 (a ...
4
votes
0answers
57 views

Prove that $|\operatorname{Aut}(G)| \leq \prod_{i=0}^{k}(n-2^i)$ [on hold]

Suppose that $G$ is a group of order $n > 1$, prove that $$|\operatorname{Aut}(G)| \leq \prod_{i=0}^{k}(n-2^i)$$ where $k=\lfloor \log_2 (n-1)\rfloor$.
2
votes
1answer
28 views

Derived subgroup of $S_n$ and $D_n$

I know that Derived/Commutator subgroup of $S_3$ is $A_3$ and commutator subgroup of $D_4$ is cyclic of order $2$. But What about derived groups of $S_n$ and $D_n$? How can I calculate them?
1
vote
2answers
25 views

Necessary and Sufficient conditions to be a subgroup and/or a normal subgroup.

If $x \in G$, is it possible that $C = \{g^{-1}xg : g \in G \}$ is a subgroup of $G$? Can $C$ be a normal subgroup of $G$? (What are necessary and sufficient conditions to be such a subgroup?) ...
1
vote
3answers
19 views

The Stabilizer of the coset for the action of G on $G/H$ by left multiplication.

Let $H$ be a subgroup of $G$. What is the stabilizer of the coset $aH$ for the action of $G$ on $X=G/H$ by left multiplication? So, I think I've done this one correctly: The Stabilizer is of the ...
1
vote
0answers
22 views

What's the asymptotic of the radius of the Rubik square Cayley graph?

This post is a sequel of The Rubik Square permutation groups, which should be read first to understand the notation. Question: what's the radius$^*$ of the Cayley graph of $G_n$ generated by the red ...
0
votes
1answer
36 views

Group Theory: Suggest video lecture (In English)

Please suggest video lecture for following topics in Group Theory. Revision of definition and examples of groups, subgroups. Cyclic Groups, Classification of subgroups of cyclic groups. Permutation ...
2
votes
1answer
66 views

The Rubik Square permutation groups

This post was inspired by this webpage of mathematical challenge due to Mickaël Launay (French). Let $G_n$ be the subgroup of $S_{n^2}$ generated by the red arrow permutations as for the following ...
22
votes
1answer
181 views

Group $G$ whose center $Z(G)$ is cyclic and with $G/Z(G)$ commutative

I have some issue to solve following exercise. The exercise is from a French book on Algebra (cours d'Algèbre) from Jean Querré. The book is from the 1970's. If the center $Z(G)$ of a group $G$ is ...
0
votes
1answer
28 views

Number of Cosets of Intersection of Subgroups

Similar question has been asked on SE before but the problem statement is usually more specific and gives more information (in particular, tells you what to prove), but this problem asks to prove or ...
2
votes
1answer
81 views

Is a nontrivial finite group of order $n$ always isomorphic to a subgroup of $GL_{n-1}(\mathbb{Z})$?

I saw this question on an old qualifying exam: Let $G$ be a group of order $n\ge2$. Is such a group always isomorphic to a subgroup of $GL_{n-1}(\mathbb{Z})$? A simpler problem would be to show ...
5
votes
4answers
61 views

A problem on order of a Group. [on hold]

Let $G$ be a group of order $8$ and $x$ be an element of $G$ of order $4$. Show that $x^2 \in Z(G)$, the center of $G$. How this result can be proved?
0
votes
0answers
27 views

Proof that the kernel is a normal subgroup of the domain: repeated line

On proofwiki (https://proofwiki.org/wiki/Kernel_is_Normal_Subgroup_of_Domain), the lines corresponding to 'definition of identity' and 'definition of kernel' are identical. Why do we need the second ...
5
votes
1answer
25 views

Quotient of the upper-half plane as a projective line

In the discussion of the Belyi theorem here one pointed out that $\mathbb{H}^{*}/SL(2, \mathbb{Z})$ is isomorphic to the (complex) projective line $\mathbb{P}^1$, where $\mathbb{H}^{*}=\mathbb{H} \cup ...
2
votes
1answer
73 views

Classifying groups of order $5 \cdot 11 \cdot 61$

My question is whether I'm classifying groups of order $5 \cdot 11 \cdot 61$ correctly. (This is a qualifying exam question, so I also want to make sure that I'm doing it “efficiently”.) Sylow's ...
0
votes
1answer
40 views

The related concepts to a special statement

I saw the following statement later but I don't know it is true or not and I don't remember its reference: Suppose that $A$ and $B$ are non-empty sets and $G$ is a group with the generating set $A$ ...
3
votes
3answers
71 views

Finding the number of elements of particular order in the symmetric group

I know how to find the order of element in any group $G$, for example the order of $2$ in $\mathbb{Z}_5$ is $5$ as $2 + 2 + 2 + 2 + 2 = [10]_5 = 0 0$, which is the identity in $\mathbb{Z}_5$. But, ...
3
votes
2answers
32 views

Prove image of symmetric group into additive group of real numbers is zero

Suppose $ f : S_{n} \rightarrow (\mathbb{R} , + , 0 , - )$ is a group homomorphism. Prove $ f(S_{n}) = {0} $, i.e., $f(\sigma) = 0$ for every $ \sigma \in S_{n}$with $n \geq 1 $ I cannot seem to find ...
0
votes
2answers
29 views

Find character table for symmetric group $S_3$

This group contains all permutations of 3 elements, so it has order 3!=6. Its three congruency classes are {1}, {(1,2),(1,3),(2,3)}, {(123),(132)}. As we know that the number of congruency classes ...
1
vote
2answers
61 views

Why is $U(10)\not\approx U(12)$?

I'm trying to understand this example on isomorphism but failing to do so. I know that if two groups have a differing number of elements of each order they are not isomorphic. I assume this is what ...
-1
votes
1answer
74 views

$GL_n(\mathcal{F})$ is a finite group if and only if $\mathcal{F}$ is finite

Show that $GL_n(\mathcal{F})$ is a finite group if and only if $\mathcal{F}$ has a finite number of elements. These are my thoughts. The order of the group $GL_n(\mathcal{F})$ is ...
2
votes
2answers
50 views

Structure of the unit group $(\mathbb{Z}[i]/8\mathbb{Z}[i])^\times$

I know that $\mathbb{Z}[i]/8\mathbb{Z}[i]=\{a+ib \mid a,b\in\mathbb{Z}_8\}$. But I'm not able to comprehend what $(\mathbb{Z}[i]/8\mathbb{Z}[i])^\times$ is. Can someone please help me get its ...
3
votes
0answers
37 views

Nontrivial homomorphisms from G to T

Let $G$ be a compact metric abelian group. $T$ be the circle group. Let $\mathcal{A}$ be the set of all finite linear combinations of continuous homomorphisms from $G \to T$. I want to show ...
1
vote
3answers
53 views

Explain why D3 cannot be a subgroup of D8

To be a subgroup, a subset of a group must satisfy the group axiom but in this case, I do not see how the group axiom plays a part. Could someone explain to me why the above question is true?
0
votes
1answer
23 views

What is the order of a rotation group

I was recapping some question on groups for my upcoming exams and chanced upon a question asking for the order of a rotation group $$C_{8}$$. Is the order of a rotation group 2n or $$\frac{2 ...
1
vote
2answers
54 views

Quotients of Solvable Groups are Solvable

I just proved that subgroups of solvable groups are solvable. So given that $G$ is solvable there is $1=G_0 \unrhd G_1 \unrhd \cdots \unrhd G_s=G$ where $G_{i+1}/G_i$ is abelian and for $N$ a normal ...
0
votes
2answers
35 views

Let $G$ be a group containing exactly $2n$ elements, $n\ge1$ integer. [duplicate]

Let $G$ be a group containing exactly $2n$ elements, $n\ge1$ integer. Prove that, $\exists$ $x\neq e$ such that $x^2=e$ where $e$ represents the identity of $G$.
0
votes
0answers
37 views

Groups and morphisms making a lattice structure

(1) Let X and Y be groups. Write mono:X->Y and epi:X->Y (resp.) to denote the existence of a monomorphism or epimorphism from X to Y (resp). mono:X->Y would mean that there is a subgroup of Y ...
1
vote
1answer
35 views

What does it mean to find elements in $S_9$ that are “not cycles”?

I came across this wording in the following question. Some clarification on what this means and how to approach this problem would be helpful. Thanks!
1
vote
2answers
40 views

Help with some simpler symmetric group $S_n$ problems.

I apologize if the problems seem trivial but I have not been able to find example problems or solutions to some of these questions. Could someone please confirm my attempts are correct or not? ...
2
votes
1answer
36 views

Intuition on Hall subgroups and solvability

I see there are many questions on Hall subgroups, but I can't find one that answers my question. Let $G$ be a finite group. A subgroup $H<G$ is a Hall $\pi$-subgroup if its order is the product of ...
1
vote
1answer
41 views

group theory - subgroup question (closure)

Q) Define the relation ρ on R by the rule: ∀x, y ∈ R, x ρ y if and only if ∃n ∈ Z such that y = x + nπ. let G denote the set of all equivalence classes under ρ. Let + : G × G → G be defined as [x] + ...
0
votes
3answers
47 views

How to determine non trivial homomorphisms [closed]

I am trying to understand and it doesn't make any sense to me: How can I determine if there are any non trivial homomorphisms between groups or rings? How do I find them? and once I found them, how ...
1
vote
1answer
37 views

Prove that every element $S \in SO(n)$ is a product of even numbers of reflections

Prove that every element $S \in SO(n)$ is a product of even numbers of reflection. I proved that for SO(2),SO(3) and 2 reflections. How is it with SO(n)?
3
votes
0answers
44 views

Schur multiplier of “large” groups.

Let $G$ be a finite group and let $M(G)=H^2(G,\mathbb{C}^*)$ be its Schur multiplier. For "small" groups I can compute the Schur multiplier by hand in terms of corresponding roots of unity. However, ...
3
votes
0answers
47 views

What is the diameter of the Cayley graph of $S_n$ w.r.t the generator $\{(12),(23),…,(n−1n)\}$?

Given a symmetric group $S_n $ and the generator set : $S = \{(12),(23), . . . ,(n − 1 n) \}$ is there any closed form expression for the diameter of the Cayley graph generated by this set of ...
0
votes
1answer
35 views

Show that the order of $a\times b$ is equal to $nm$ if gcd(n,m)=1 [duplicate]

$(G,*)$ is an abelian group and $a,b$ are elements of G. Let $n=ord(a)$ and $m=ord(b)$ in $G$. Show that the order of $a*b$ is equal to $nm$ if $gcd(n,m)=1$. I have already proved that $ord(a*b)|nm$. ...
3
votes
0answers
32 views

Example of a metric group over $\mathbb{R}_0^+$

Do you know an example of a function $d:\mathbb{R}_0^+\times\mathbb{R}_0^+\to \mathbb{R}_0^+$ for which the following properties hold? Or can you prove this does not exist? There exists an $e\in ...
2
votes
0answers
63 views

Fundamental Group of a Surface [on hold]

I came across the term "fundamental group of a surface" while reading a paper, and I'm not sure what it it all about. As well, what is understood by the generators of the fundamental group of a ...
2
votes
2answers
19 views

Construct non trivial group endomorphism (rigid motion group)

My question, in it's general formulation, is : is there a way to construct non trivial group endomorphism other than conjugation ? Now for my specific needs, I wont to find some endomorphism other ...
2
votes
1answer
56 views

What does $(G:G')$ mean?

I'm trying to teach myself some ring theory from a book, and have come across this sentence: "There are $(G:G') = 4$ linear characters" where $G$ is a group, and $G'$ is the derived group. I ...