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

Homomorphisms from $\mathbb{Z}_p$ to $\mathbb{Z}_3$

For which odd values of $p$ can we find a non-trivial homomorphism from $\mathbb{Z}_p$ to $\mathbb{Z}_3$ ? Is there any method to find those homeomorphisms explicitly? I have no any idea to handle ...
2
votes
2answers
27 views

Group Action as permutations

I'm trying to study on Group actions. the paper says(if I understand) that if I have Set $S$ and an action $\alpha$: $G \times S \rightarrow S$ . then the action may be viewed as permutation by $x ...
2
votes
1answer
34 views

Why does there exist a deck transformation mapping here?

See Kevin Dong's answer here. Let $\widetilde{\gamma}$ be a path in $X_N$ based at $x_0^N \in X_N$ with $p(\widetilde{\gamma}) = \gamma$ a nontrivial path in $X$. Since the cover is normal, there ...
0
votes
1answer
26 views

Are subgroups of order $p^{n-1}$ maximal?

Let $G$ be finite p-group of order $p^n$, I know all maximal subgroups of order $p^{n-1}$ Is it right to say all subgroup of order $p^{n-1}$ are maximal subgroups? If not, what property $G$ must have ...
0
votes
0answers
14 views

Condition under which $HK$ is a subgroup

Suppose $G$ is a finite group and $H$, $K$ are subgroups. $H < N_G(K)$ is a sufficient condition for $HK$ to be a subgroup, but is is possible that $HK$ is a subgroup although neither $H$ nor $K$ ...
10
votes
4answers
515 views

How to describe the Galois group of the compositum of all quadratic extensions of Q?

This is Problem 1.7 from Gouvea's lecture notes on deformations of Galois representations. In particular, he asks you to show that it has many subgroups of finite index which are not closed. So here's ...
0
votes
1answer
14 views

Set invariant under reflections is a ball?

Say that $A\subset \mathbb{R}^n$ is measurable and of positive, finite measure. I'm trying to see if the following is true. If $A$ is invariant under all orthogonal reflections across $(n-1)$ ...
1
vote
0answers
14 views

Enumerating functions modulo action on both the domain and codomain.

Let $Hom(A,B)$ be the set of functions from a finite set $A$ to a finite set $B$ and let $G_A \leq S_A$, $G_B \leq S_B$ be a subgroups of the permutation groups of $A$ and $B$. For $f,g \in Hom(A,B)$ ...
1
vote
2answers
25 views

Third isomorphism theorem, about quotients

I'm trying to understand the third isomorphism theorem statement, specifically the one in Wikipedia: https://en.wikipedia.org/wiki/Isomorphism_theorem#Third_isomorphism_theorem I'm stuck at the point ...
3
votes
0answers
25 views

Passage to fixed point spaces is object function of a contravariant functor?

Let $X$ be a $G$-space. What is the easiest way to see that that passage to fixed point spaces, $G/H \mapsto X^H$, is the object function of a contravaraint functor $X^{(-)}: \mathscr{O}(G) \to ...
2
votes
1answer
25 views

Unit group of an algebraically closed field is divisible

In the lecture notes on Valuation theory, in Ex. $1.16$ on page $11$ we are asked to show that: If $k$ is an algebraically closed field, then $k^{\times}$ is a divisible abelian group. Isn't $k ...
-2
votes
0answers
23 views

Suppose $ S = HF $ for $ H \leq S $ and $ H \cap F = 1 $. If $ N \leq H $, show $ N \leq Z(S) $.

Let $ G $ is a soluble group and $ N $ minimal normal subgroup of $ G $. Let $ F = Fit(G) $. Suppose $ S = HF $ for $ H \leq S $ and $ H \cap F = 1 $. If $ N \leq H $, show $ N \leq Z(S) $. I show ...
0
votes
1answer
39 views

Number of groups with a certain property that that every element commutes with identity and itself only

Let $S$ be the collection of groups ( isomorphism classes) $G$ which have the property that every element commutes with identity and itself only . Then what is the ...
0
votes
2answers
77 views

In how many ways can a group act on a set?

$\mathbb Z_{5}$ is the group to act on the set $\{ 1,2,3,4,5\}$. In how many ways is that possible $?$ Now $0$ will give the identity map. $1$ will give a bijection in $5!$ ...
3
votes
1answer
53 views

Commutative Diagram for group structure

I remember seeing once a commutative diagram that explained group structure. Where the associativity, identity element, inverse, multiplication and all was shown in a singular diagram, it is trivial ...
0
votes
0answers
16 views

How to find a Sylow p-group?

I use Mathematica to do what I refer to as computational group theory. I know how, theoretically, to find a Sylow p-group. I want to know how to use Mathematica to solve this: Given a (large, finite, ...
0
votes
0answers
11 views

On Weisner Method

I read in chapter 2 "Weisner Method" in the book "Obtaining Generating Functions" by Elna Browning McBride In Sec 5" The extended form of the group generated by B and C " I did not understand ...
5
votes
1answer
30 views

Classification of all conjugacy classes of $GL_2(\mathbb{R})$, $GL_2(\mathbb{Q})$.

Give a classification of all conjugacy classes in the following groups. $GL_2(\mathbb{R})$ $GL_2(\mathbb{Q})$ My progress so far. If the characteristic polynomial splits, the matrix ...
1
vote
1answer
13 views

prove unique minimal normal subgroup of soluble group by $ P_{G}(M) > M $

Let $ G $ be a soluble group. If $ P_{G}(M) = \langle y\in G | \langle y \rangle M = M\langle y \rangle \rangle > M $for any subgroup $ M $ of prime power index in $ G $, then every chief factor ...
4
votes
0answers
8 views

$\mathbb{C}\{X\}^\chi$ a $G$-stable subspace of $\mathbb{C}\{X\}$?

Let $\mathbb{F}$ be a finite field with $q$ elements, and let $G = SL_2(\mathbb{F})$. The group $G$ acts on the set $X := \mathbb{F}^2 \setminus \{0\}$, the complement of the origin. For any group ...
4
votes
1answer
60 views

If $|H|=112$ then $A_7\cap H \lhd H$?

I posted this because Alex Clark asked in chat and I'm not sure how to proceed. Let $G$ be a group such that it has a fixed subgroup isomorphic to $A_7$, which we denote simply by $A_7$. Let $H$ be a ...
1
vote
1answer
16 views

Torsion-free nilpotent Group

I am looking for a short proof to the following fact: In torsion-free nilpotent group we have: an non-trivial element cannot be conjgate to it inverse. I know very little about nilpotent ...
0
votes
1answer
36 views

If G is finite p-group then $d(G)=d(\frac{G}{\Omega_1(Z(G))})$

Let $G$ be a finite p-group such that $G$ has no non-inner automorphism of order p leaving Φ(G) elementwise fixed If $\Omega_1(Z(G))\le G'\le \Phi(G)$ how we can get $d(G)=d(\frac{G}{\Omega_1(Z(G))})$ ...
0
votes
0answers
21 views

Decomposition of certain representation of cyclic group by irreducible.

Let $C_{n}$ denotes cyclic group of order $n$. Let the set of real irreducible representations of $C_{n}$ can be listed as $$ \begin{cases} \{1,\xi,\xi^2 , \cdots \xi^{(n-1)/2}\}, \text{when $n$ is ...
3
votes
0answers
22 views

$\mathscr{O}(G/H, G/K) \cong (G/K)^H?$

What I am about to ask is related to the question presented here. Let $X$ be a $G$-space, where $G$ is a (discrete) group. For a subgroup $H$ of $G$, define$$X^H = \{x : hx = x \text{ for all }h ...
4
votes
1answer
57 views

Is there a “unique factorization theorem” for finite groups?

Sometimes it is difficult for me to understand what a group seems like. For example, the dihedral group $D_5$ is easy to visualise when I think it of as a "product" of two cyclic groups $C_2$ and ...
7
votes
1answer
104 views
+50

Is the space of $G$-maps $G/H \to X$ naturally homeomorphic to $X^H$?

Let $X$ be a $G$-space, where $G$ is a (discrete) group. For a subgroup $H$ of $G$, define$$X^H = \{x : hx = x \text{ for all }h \in H\} \subset X;$$$X^H$ is the $H$-fixed point subspace of $X$. ...
3
votes
1answer
37 views

$ S_{4} $ has a sylow tower?

A group having a Sylow tower is a finite group that possesses a Sylow tower: a normal series such that the successive quotient groups of the normal series all have orders that are powers of primes, ...
8
votes
1answer
90 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
3answers
392 views

Order of $\phi(g)$ divides the order of $g$

Let $\phi: G \to H$ be a group homomorphism, and let $g$ be an element of $G$. Show that the order of $\phi(g)$ divides the order of $g$.
0
votes
1answer
47 views

On formula $\sum_{i=1}^n 1/(G : H_i) = 1$ on a group $G$

Let $G$ be a group. Let $H$ be a subgroup of $G$ such that $(G : H) \lt \infty$. Then there exists a sequence of elements $a_1,\cdots, a_n$ such that $G = \bigcup_{i=1}^n a_iH$ is a disjoint union. ...
2
votes
1answer
33 views

looking for example of infinite p-group of nilpotency class 2

Is there infinite p-group of nilpotency class 2? If p=2 or p=3 would be better. and I prefer simple examples
3
votes
1answer
35 views

product of subgroups and group G

Is there any example of two subgroups H and K of G whose product give G i.e. G = HK but none of which is normal in G
2
votes
0answers
41 views

$ p $ the largest prime factor of $ \vert G \vert $. I show if $ p > 3 $ and $ P \in Syl_{p}(G) $ then $ P \unlhd G $.

Let $ G $ be a soluble group, $ p $ the largest prime factor of $ \vert G \vert $. I show if $ p > 3 $ for prime $ p $ and $ P \in Syl_{p}(G) $ then $ P \unlhd G $. For proof i employ the ...
0
votes
2answers
35 views

Need to prove that the A4 group is Normal sub-group of S4

I already proved that N, wich is a sub-group of S4 (4-permutations), which is all the permutations, which look's like: $(a,b)(c,d)$ (which are defintly are in A4 (even permutations of S4)) are a ...
1
vote
1answer
25 views

Can the order on an ordered, cancellative monoid be extended to its Grothendieck group?

Suppose we have an ordered, cancellative monoid and we wish to apply the Grothendieck group construction to it. Can the total order be extended to the larger group? Example: consider the ordered ...
-10
votes
0answers
43 views

Is there a link between music theory and the mechanics of the universe? [on hold]

The production(formation)[death] of a chromatic(spherical)[gravitational] piece(droplet)[star] of music(liquid)[space/time] minimizes the tonal-area(surface-area)[dimensions] which is the ...
-4
votes
1answer
57 views

I need this book by Michael Weinstein, Between nilpotent and solvable [on hold]

I need this book by Michael Weinstein, Between nilpotent and solvable. I live in iran and i can't find this book. Please help me.
4
votes
3answers
98 views

Is this Cayley table correctly computed? If so, is it correct way of presentation of this dihedral group?

Is the following table for $D_4$ correct? $$\begin{array}{c|c|c|c|c|c|c|c|c|} * & 1 & g & g^2& g^3& f& fg & fg^2 & fg^3 \\ \hline 1 & 1 & g & g^2 ...
5
votes
2answers
200 views

A theorem from the theory of groups

Let $K$ be a (not necessarily normal) subgroup of the group $G$ : $K < G$ A fixed element $g\in G$ can act, from the left, on all elements of $G$, thus generating a bijection of $\,G\,$ onto ...
0
votes
1answer
22 views

Is Bs(1,-1) linear?

I would like to prove that the Baumslag-Solitar group $BS(1,-1)=\langle a,b| bab^{-1}=a^{-1}\rangle$ is embeddable in $GL_n(\mathbb{Z})$ for some nonnegative integer $n.$ So i tried to find two ...
0
votes
0answers
18 views

Endomorphisms of $\mathbb C^{\times}$

What are all continuous multiplicative endomorphisms of $\mathbb C$? As $\mathbb C^{\times} \simeq \mathbb R_{>0}^{\times}\times S^1$ this question can be reduced to the description of continuous ...
0
votes
1answer
15 views

$ G $ is $ p $-supersolvable group . $ Q \in \operatorname{Syl}_{2}(G^{\prime}) $. Show $ Q \unlhd G $.

Let $ G $ is a finite $ p $-supersolvable group for odd prime numbers . Suppose $ Q \in \operatorname{Syl}_{2}(G^{\prime}) $. Now i'll show $ Q \unlhd G $. Since $ G $ is $ p $-supersolvable, then $ ...
-4
votes
1answer
36 views

Is the free abelian group of rank 2 linear?

Is the group $\mathbb{Z}^2$ linear? By linear I mean There is a injective homomorphism from $\mathbb{Z}^2$ to $GL_n(\mathbb{Z})$ for some nonnegative interger $n.$ I tried the following homomorphism ...
4
votes
1answer
35 views

Showing a subset of $S_n$ is a subgroup

Let $P$ be the set of all the elements of $S_n$ which can be written as $\sigma\mu\sigma^{-1}\mu^{-1}$ for $\sigma, \mu \in S_n$. Show this is a subgroup. This doesnt seem to be as simple as ...
15
votes
3answers
2k views

Normal subgroups of free groups: finitely generated $\implies$ finite index.

I am looking at what should be a simple exercise in geometric group theory. I have reduced the problem to just completing an exercise from Hatcher, Section 1.B page 87: 7. If $F$ is a finitely ...
1
vote
1answer
27 views

Inner automorphisms Inn(D4).

We need to show that elements of $Inn(D_4)$ are distinct , where , $Inn(D_4)= \phi_{{R_0}} , \phi_{{R_{90}}} , \phi_{H} , \phi_{D}$. Is it sufficient to construct a Cayley table for the elements of ...
2
votes
2answers
183 views

Prove that G is a group

The exercise is: Let $g\in G$. $G$ is a group. Prove that $G=\{gx:x\in G$}. I know the the definition of group but the proof that is in the book is the next one: Let $H=\{gx:x\in G\}$ ...
2
votes
3answers
57 views

Find groups that contain elements $a$ and $b$ such that $|a|=|b|= 2$ and $|ab|=5$

Find groups that contain elements $a$ and $b$ such that $|a|=|b|= 2$ and $|ab|=5$ My thoughts: $|a|=|b|=2\implies a^2=e$ and $b^2=e$ I see that the group cannot be abelian as the order wont be ...
5
votes
1answer
58 views

Finite partition of a group by left cosets of subgroups

Let $G$ be a group. Suppose there exist a finite sequence of elements $a_1, \cdots, a_n$ and a finite sequence of subgroups $H_1, \cdots, H_n$ such that $G = \bigcup_{i=1}^n a_iH_i$ is a disjoint ...