The study of symmetry: groups, subgroups, homomorphisms, group actions.

learn more… | top users | synonyms (2)

0
votes
0answers
11 views

on special type of capable group

let $G$ be a group with this property: $G$ is a finite p-group of class two. $G=\langle x, y, Z(G)\rangle$, $|x|=|y|=p^n$ , $Z(G)$ is not cyclic, $Z(G)$ is not subgroup of $\Phi(G)$, Frattini ...
2
votes
1answer
12 views

Conjugation in a groupoid

In a group $G$ , the conjugation of any element $g \in G$ by $h$ defines an inner automorphism $\psi_h : g \to hgh^{-1}$. If one considers instead a connected groupoid $\mathcal{G}$, is there a ...
1
vote
2answers
27 views

Normal subgroup of a group

Let $H$ be a subgroup of $G$ and $K$ be a normal Subgroup of $G$. I need to prove that $KH$ is a subgroup of G where, $KH=\{\text{$kh$ : $k \in K \wedge h \in H$}\}$. Can somebody please help me in ...
3
votes
1answer
33 views

Conjugate Groups

$H$ and $K$ are conjugates of a group $G$ with $a \in G$, where $aHa^-1= \{aha^{-1} : h \in H\}= K$. Prove that the set $A= \{a \in G : aHa^{-1}=H\}$ is a subgroup of $G$. For $a, b \in A$, ...
2
votes
3answers
39 views

Define a normal subgroup of G

$N$ is a normal subgroup of $G$ if $aNa^{-1}$ is a subset of $N$ for all elements $a $ contained in $G$. Assume, $aNa^{-1} = \{ana^{-1}|n \in N\}$. Prove that in that case $aNa^{-1}= N.$ If $x$ is ...
0
votes
0answers
39 views

Understanding a proof about splitting of short exact sequences.

I am reading a paper by Keith Conrad about the splitting of exact sequences. I have a few questions about one particular section. This is Theorem 3.3 in this paper ...
1
vote
2answers
34 views

How to describe $G/U$?

Let $G=SL_2(\mathbb{C})$ and let $U = \{\left( \begin{matrix} 1 & x \\ 0 & 1 \end{matrix} \right): x \in \mathbb{C}\}$. We have an action of $U$ on $G$ by right multiplication. By definition, ...
0
votes
2answers
55 views

Find a group G such that Z(G/Z(G)) is nontrivial when Z(G) is the center of G.

So far I've tried using the quaternion group : $G = \{-1, 1, i, -i, j, -j, k, -k\}$ and $Z(G) = \{-1, 1\}$. I'm kind of stuck from here?
1
vote
1answer
26 views

Proving $H$ is a normal subgroup of $G$ if $H$ and $gH$ ($g\notin H$) are the only distinct left cosets

Let $G$ be a group, and $H$ a subgroup of $G$. If $H$ and $gH$ where $g\notin H$are the only two distinct left cosets in $G$, prove that $H$ is a normal subgroup. I understand that $\{H, gH\}$ forms ...
1
vote
1answer
17 views

Conjugation of element lying in product of 3 groups lies in product of two groups.

I'm reading an article about tree automorphisms and I've got a problem whith something. Here it is: if $w \in \langle \gamma ^{h_1} \rangle \langle \gamma ^{h_2} \rangle \langle \gamma ^{h_1} ...
1
vote
0answers
22 views

Geometric definition of the stable commutator length

In his book, D.Calegari proves the equivalence of the algebraic and geometric definitions of stable commutator length (Proposition 2.10, p. 15). I actually have some difficulties in understanding the ...
1
vote
2answers
41 views

Examples of continuous non-transitive group actions

In studying topology, I encountered this problem: Let $S$ be a topological space and let $G$ be a topological group acting continuously on $S$ (group action as $G \times S \to S$ map is continuous). ...
4
votes
3answers
57 views

Intuitive explanation of even/odd permutation

Given a permutation it can be classified as either even or odd depending on whether it is expressible as a product of even or odd number of transpositions. Is there some geometrical or intuitive ...
1
vote
2answers
62 views

If a group has the element $a^3$ than will it have the element $a$? [on hold]

Is it necessary that in a group $G$ has a element $a^3$ than it will have the element $a$?
4
votes
3answers
82 views

Finding kernel of a particular homomorphism

Let $f:\mathbb Z \to S_8$ be a homomorphism such that $f(1)=(1426)(257)$ , then how to compute $\ker(f)$ and $f(20)$ ? I know that $f(n)=f^n(1)$ but this seems too tedious ; please help
0
votes
1answer
43 views

Find a subgroup of $S_4$ that is isomorphic to V, the Klein group.

So I know that the Klein group is the group with 4 elements that is not cyclic but I'm stuck from there onwards?
0
votes
1answer
39 views

The number of subgroups conjugate to a given subgroup of a finite group

Let $H$ and $K$ are subgroups of $G$ conjugate to each other. $A$ is defined as $$A = \{a \in G \mid aHa^{-1} = H \}$$ for all $a\in G$. Prove that $A$ is a subgroup of $G$ and prove that if $G$ ...
0
votes
1answer
41 views

2 question on solvable group's property

A theorem says a finite group G is solvable if and only if for every divisor n of $\vert G\vert$ such that (n,$\frac{\vert G\vert}{n})=1$,G has a subgroup of order n. Does this imply that G must ...
1
vote
0answers
40 views

how is the jordan-holder theorem used in conjunction with short exact sequences to construct groups of certain order?

I am an undergraduate and have been asked to explain how simple groups can be used to construct groups of finite order. I started with reading about the extension problem in group theory and from ...
0
votes
0answers
39 views

On $O^{p'}(G)$ for a finite group $G$ (is my proof correct?)

Let $G$ be a finite group and let $N\unlhd G$. Consider $O^{p'}(G)$ which is the smallest normal subgroup of $G$ with factor group order coprime to $p$. Is $O^{p'}(G/N) = O^{p'}(G)/N$ if $N\le ...
3
votes
2answers
48 views

The semidirect product as a deformation of the direct product

The way I think of the semidirect product is as a "deformation" of the direct product. Is there a way of making this intuition precise? Perhaps using some certain (co-) homology theory of groups?
6
votes
1answer
92 views

$A\oplus C \cong B \oplus C$. Is $A \cong B$ when $C$ is finite, A and B infinite.

So my question is simply that for groups $A, B, C,$ if C is finite, A and B infinite and $A\oplus C \cong B \oplus C$, is $A \cong B$? My gut tells me this must be the case, and logically I can find ...
0
votes
1answer
74 views

How to prove that every nonabelian group of odd order is not simple?

How to prove or disprove that every nonabelian group of odd order is not simple? I have no ideas concerning that.
3
votes
0answers
38 views

Groups of order $n^2$ with no subgroup of order $n$ [duplicate]

Is it possible to classify those groups whose order is $n^2$ for some natural number $n$ but which do not have any subgroups of order $n$? To be a bit more specific (in case a full classification is ...
9
votes
2answers
122 views

Groups of order $n^2$ that have no subgroup of order $n$

For which $n$ is there a group of order $n^2$ without a subgroup of order $n$. Such groups can not be nilpotent. This question is related to Sudokus as composition tables of finite groups.
0
votes
0answers
30 views

A proposition to check two isomorphic nonabelian finite simple groups [on hold]

Let $S$ and $T$ be two nonabelian finite simple groups and $G=S \times T$. How do we prove the following proposition: S and T are isomorphic if and only if G has a maximal proper subgroup which ...
0
votes
1answer
42 views

Let G be a group s.t g^3=e for all g in G. Prove that G is abelian. [duplicate]

Let G be a group s.t g^3=e for all g in G. Prove that G is abelian. From here I have got (ab)^2=(b^2)(a^2) & (ab)^3=a((ba)^2)b Then what??
0
votes
2answers
38 views

Prove that $G$ has a element whose order is least common multiple of $m$ and $n$.

Let $G$ be an abelian group and suppose that $G$ has elements of order $m$ and $n$ respectively. Prove that $G$ has an element of order $lcm[m,n]$
0
votes
0answers
25 views

Prove that $G$ must be abelian with some given conditions. [duplicate]

Let $G$ be a finite group whose order is not a multiple of $3$. Suppose that $(ab)^3=a^3b^3$ for all $a,b\in{G}$. Prove that $G$ must be abelian.
1
vote
0answers
36 views

No cycles in finite coxeter graphs

Is there an elementary (no consideration of root systems involved) proof of the fact that the graph of an finite coxeter system doesn't entail any cycle? I got as far as this: If there were any cycle ...
2
votes
3answers
118 views

Proving that the center of a factor group is trivial

Prove that the center of the factor group $G/Z(G)$ is the trivial subgroup $[e]$. So far I've proved that $Z(G)$ is a normal subgroup of $G$ for all $a \in G $.
0
votes
2answers
65 views

Prove that if G is a cyclic group with more than 2 elements, then there always exists an isomorphism ϕ:G→G that is not the identity mapping [duplicate]

The full question is Prove that if G is a cyclic group with more than 2 elements, then there always exists an isomorphism ϕ:G→G that is not the identity mapping.I have no idea where to start?
3
votes
1answer
30 views

General lists of techniques to prove whether a set is a generator of a matrix group

It seems like a rather common problem in group theory, at least in undergraduate maths, to check whether a set is a generator of a group. The question is usually as follow: Given a group $G$, and a ...
0
votes
1answer
47 views

N is a normal subgroup of G if $aNa^{-1} \subset N $ for all $a ∈ G$. Prove that in that case, $aNa^{-1} = N $.

I said if N is a normal subgroup of G when $aNa^{-1} \subset N $ aN = Na as N is a normal subgroup of $G$. Therefore $aNa^{-1} = Naa^{-1} $ and $aNa^{-1} = N $. I would like to go with this proof ...
0
votes
1answer
68 views

What are the non-trivial normal subgroups of $O(3)$?

What are the non-trivial normal subgroups of $O(3)$? My guess is that the only one is $SO(3)$, but it's really only a guess, based on the fact that $O(3)$ is disconnected 3-manifold of $SO(3)$ and the ...
2
votes
1answer
64 views

Structure of a group, $G$, of order $pq$ where $p, q$ are prime.

There is a proposition in Beachy and Blair's Abstract Algebra that I don't entirely follow. The proposition is the following: Let $G$ be a group of order $pq$, where $p > q$ are primes. a) If ...
2
votes
1answer
76 views

A certain two-step subgroup of a nilpotent group

Let $\Gamma$ be a finitely-generated, torsion-free, nilpotent group, of nilpotency class $n\ge 2$. Is there an $N \lhd \Gamma$, such that (i) $N$ is two-step nilpotent, (ii) $\Gamma / N$ is torsion ...
3
votes
2answers
79 views

Characterization of nilpotent groups

It is trivial that a group $G$ is abelian if and only if every subgroup of $G$ with two generators is abelian (i.e., any two elements commute). If $G$ is a nilpotent group, every subgroup with two ...
0
votes
0answers
32 views

Compact operators on $L^2(G)$ as a reduced cross product of $C_0(G)$ and $G$.

If any of the terminology is unclear then please don't hesitate to point it out. My question is: is it true that when $G$ is a locally compact second countable group then: \begin{equation*} C_0(G) ...
2
votes
1answer
32 views

Is a torsion-free discrete abelian group of finite rank isomorphic to a subgroup of $\mathbb{Q}^k_d$?

If $G$ is a torsion-free discrete abelian group of rank $k$, then is it true that $G$ is isomorphic to a group $H$, where $\mathbb{Z}^k < H < \mathbb{Q}^k_d$? Here, $\mathbb{Q}^k_d$ is the ...
-1
votes
0answers
33 views

Commutator series of some group

What mean length of commutator series of group $G$? Is it true that if this length is finite, then $G\not= G'$?
1
vote
0answers
23 views

Positive definite functions generated by irreducible representations — what do people call them?

Let $G$ be a group and $\pi:G\to B(H)$ be its irreducible unitary representation (one can endow $G$ with topology and claim that $\pi$ is continuous in some sense, this doesn't matter). For a given ...
1
vote
1answer
62 views

Projective special linear groups

Is it known if $PSL(2,\, F)$, with $F$ a field of prime $p$ characteristic (maybe with all proper subfields of finite order), is co-hopfian? I've searched everywhere but found nothing. Definition A ...
4
votes
1answer
68 views

Free product as automorphism group of graph

Let $A$ and $B$ be two groups. We define following graph $X$. The set of vertices is the left cosets $gA$ and $gB$ where $g\in A*B$ (By $A*B$, I mean the free product of $A$ and $B$). The edges of the ...
0
votes
0answers
20 views

Irreducible representations of group

I'm basically interested in $C^*$-algebras $A$, where the following conditions for a $^*$-representation $\pi$ on Hilbert space $H$ are all equivalent: 1. $\pi$ is irreducible i.e. there are no ...
2
votes
1answer
71 views

$\operatorname{Aut}(S_4)$ is isomorphic to $S_4$

I already proved this, but I think I can reduce my solution. My solution : There are 4 Sylow 3-subgroup of $S_4$, and denote the set of Syl 3-subgroups by $P=\{P_1,P_2,P_3,P_4\}$. Then, by a group ...
2
votes
1answer
43 views

Relation of order of a permutation with its sign

Let $G$ be a group with order $2m$ where $m$ is odd. Consider the left action $\lambda_g:G\to G$. It appears that if $g$ has odd order iff $\lambda_g$ has odd order iff $\lambda_g$ is an even ...
1
vote
2answers
84 views

On finite exponent abelian $p$-groups

Let $G$ be an abelian $p$-group non-isomorphic to any group of the form $H\times K$ where $H$ and $K$ are nontrivial groups. And let $\{|a|\mid a\in G\}$ have an upper bound in $\Bbb N$ . Is $G$ ...
2
votes
1answer
57 views

Proving $H \subseteq K$ & $[G:H]=[G:K] $ $\implies$ $H=K$ , without using extended Lagrange's theorem

Let $H \subseteq K$ be subgroups of $G$ such that $[G:H]=[G:K] $ (finite) , then without using the formula $[G:H]=[G:K][K:H]$ , can we prove that $H=K$ ?
0
votes
0answers
54 views

Group theory deep applications [on hold]

I don't have a math degree but I have been learning group theory on my own, starting with getting a conceptual understanding of it using books such as "The Symmetry of Things" by John Conway and ...