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
1answer
35 views

On a maximal subgroup of the direct product of groups

Let $A$ be a maximal abelian (nilpotent) subgroup of the direct product $G=F\times H$ of groups $F$ and $H$.Then prove that $$A= (A\cap F)\times (A\cap H).$$
0
votes
1answer
283 views

Group Theory- S3 table

$\begin{matrix} & e& a& b& c& d&f \\ e& e& a & b& c& d&f \\ a& a& b& e& d& f&c \\ b& b& e& ...
0
votes
3answers
221 views

$G$ is an abelian group of order a product of distinct primes $\implies G$ is cyclic?

If $G$ is an abelian group of order $p_1p_2...p_k$ , where $p_1,p_2,...,p_k$ are distinct primes , then is it true that $G$ is cyclic ?
4
votes
1answer
195 views

When is a power of $m$-cycle is also an $m$-cycle?

I have a question taken from Abstract Algebra by Dummit and Foote ($pg.33$, $q.11$): Let $\sigma\in S_{n}$ be an $m$-cycle. Show that $\sigma^{k}$ is also an $m$-cycle iff $\gcd(k,m)=1$. My ...
6
votes
3answers
130 views

Automorphisms of $\mathbb{Z}/p\oplus\cdots\oplus \mathbb{Z}/p$

Consider the abelian group $$G = \underbrace{\mathbb{Z}/p\oplus\cdots\oplus \mathbb{Z}/p}_{n},$$ where $p$ is prime and $1\le n \le p$. I want to show that $G$ has no automorphism of order $p^2$. I ...
1
vote
2answers
71 views

Normal subgroup created by a bunch of elements

if I have a finite group $G$ and a bunch of elements that are the elements of a set $A$. How can I systematically calculate the smallest normal subgroup of $G$ that contains $A$? I am rather ...
1
vote
2answers
266 views

Must the centralizer of a non-identity element of a group be abelian?

Q1: Must the centralizer of a non-identity element of a group be abelian? I challenge everyone by asking further about this question one step further. The definition of centralizer is: Let a be ...
1
vote
1answer
91 views

Schur Multiplier of general linear group

Ideally I would like to know the Schur multiplier of $Gl(n, F_3)$, but perhaps this is not reasonable to ask. But for a small fixed $n$, this should be known, but i could not find any result when ...
1
vote
1answer
45 views

Is my proof correct? (about commutators)

I want to prove the following fact: Let $G$ be a finite group and let $x, y\in G$ such that $[x, y] \in Z(G)$. Then $[x, y^s] = [x, y]^s$ for every $s\in \mathbb{Z}$. If we assume that $[x^r, y^s] ...
4
votes
1answer
74 views

Another Presentation of Certain Cyclic Groups

Show that the the group with presentation $$\langle x, y\ \mid\ x^2=y^2x^2y,\ (xy^2)^2=yx^2, \ yx^{-1}y^2=x^n\rangle $$ is cyclic of order $3(n+1)$, for $n=0 \mod 3$ or $n= 1 \mod 3$, $n\ge 0$. This ...
0
votes
1answer
51 views

Homomorphic image of intersection equals intersection of homomorphic images?

This is a tangent of this question. I wanted to remark in my answer that it is not generally true that given a group homomorphism $f:G\rightarrow H$ and two subgroups $X,Y\leq G$ that $$f(X\cap ...
2
votes
2answers
65 views

Determine the center of this finitely presented group.

Consider the group $G(n)= \langle a, b \ \vert\ aba^{-1}=b^{n+1}, bab^{-1}=a^{n+1} \rangle$, $n\ge 1.$ Show that the center $Z$ is cyclic of order $n$ and that $G/Z$ is abelian of order $n^2$. This ...
0
votes
1answer
112 views

Show that the symmetric group $S_p = <\sigma , \tau >$, where $\sigma$ is any transposition and $\tau$ is any p- cycle and p is a prime number.

Let $\sigma = (a_1\ a_2) \ \ and \ \ \tau = (a_1\ b_2\ \ldots\ b_p)$. (We have $a_2 = b_i$ for some i.).We know that $S_p$ is generated by $\{ (a_1\ a_2) \ \ and \ \ (a_1\ a_2\ \ldots\ a_p) \}$. So ...
1
vote
1answer
100 views

Can every group be faithfully represented as a group of permutations?

Definition (Group action) An action of a group $G$ on a mathematical object $X$ is a group homomorphism $G \rightarrow \mathrm{Sym}(X)$. i.e. Given an action $f$ of a group $G$ on a mathematical ...
0
votes
1answer
39 views

My question is about the definition of a map called the “reduction map”.

Let $G$ be a group and $N$ normal in $G$. I have read about a map $\alpha : G\rightarrow \frac{G}{N}$ called the reduction map mod $N$. I would love if someone could please explain this to me. Is it ...
4
votes
2answers
105 views

In group theory, is it true that $f(X \vee Y) = f(X) \vee f(Y)$?

($\vee$ denotes join). Let $G$ and $H$ denote Abelian groups, $X$ and $Y$ denote subalgebras of $G$, and let $f : G \rightarrow H$ denote a homomorphism. Then: $$f(X \vee Y) = f(X+Y) = f(X)+f(Y) = ...
0
votes
2answers
507 views

Prove that the order of $U(n)$ is even when $n>2$.

I'm trying to provide a solution to the following claim: "The order of $U(n)$ is even when $n>2$." Note: here, $U(n)$ is the set of all positive elements that are less than and relatively prime ...
5
votes
1answer
363 views

Is S a group under matrix addition

Another matrix question! Let $$S=\{A \in M_2(\mathbb{R}):f(A)=0\}\text{ and }f\left(\begin{bmatrix}a&b\\c&d \end{bmatrix}\right)=b$$ Is S a group under matrix addition. Either prove that ...
1
vote
1answer
123 views

Group of order 1183 is abelian if and only if contains an element of order 91

Let $G$ be a group such that $|G|=1183=7\cdot 13^2$. Show that $G$ is abelian if and only if $G$ has an element of order $91=7\cdot 13$. What i did: $7||G|\Rightarrow \exists x\in G : |x|=7$ and ...
2
votes
1answer
59 views

Join of finitely many nilpotent subgroups (+ additional properties) is nilpotent?

I have the following: A group $X$ and a family $(X_n)_{n \in \mathbb{Z}}$ of subgroups of $X$, such that the following holds: $X = \langle X_n \;\vert\; n \in \mathbb{Z} \rangle$ $X_n \times X_{n+1} ...
1
vote
0answers
61 views

Family of equivalent unitary representations is not a set.

I have recently come across a statement in the book: Kazhdan's property (T) by B. Bekka, P. de la Harpe, A. Valette at the beginning Appendix F.2. Fell topology on sets of unitary representations. ...
6
votes
1answer
76 views

Group elements $x$ and $y$ satisfying $x^2 = y^2x^2y$ and $yx^{-1}y^2 = x^7$ commute.

The Question Suppose that $x$ and $y$ are elements of a group such that $$x^2 = y^2x^2y$$ and $$yx^{-1}y^2 = x^7.$$ Show that $x$ and $y$ commute. Motivation This came up in another question, where ...
3
votes
0answers
125 views

Why are Lie Groups so “rigid”?

This is probably a naive question, but here goes. To motivate my question, I'll consider a unit circle in $\mathbb C$ or $\mathbb R^2$. This is a compact Lie group equipped with the usual exponential ...
1
vote
2answers
63 views

How many recursively definable groups are there on $\mathbb{N}$?

How many non-isomorphic, (non-free), non-trivial, recursively definable groups are there on $\mathbb{N}$? I know we can at least get 1. Let $F:\mathbb{N} \to \mathbb{Z}$ be the "natural bijection". By ...
2
votes
2answers
85 views

Rank of a free group

I am trying to know whether the following result is true. Let $F$ be a free group with a basis $X$, and let $X'=\{xF':x\in X\}$, where $F'$ is the commutator subgroup of $F$. Then, $|X|=|X'|$. ...
3
votes
0answers
62 views

Separability of conjugacy classes in conjugacy separable semidirect products.

We say that group $G$ is conjugacy separable if for every $g \in G$ the set $g^G = \{cgc^{-1} \mid c \in G\}$ is closed in the profinite topology on $G$, i.e. for every $f \in G \setminus g^G$ there ...
0
votes
1answer
55 views

Prove $Q_8$, the group generated by two complex matrices $A$ & $B$ (see below) is a nonabelian group of order 8.

Problem: Let $Q_8$ be the group (under ordinary matrix multiplication) generated by the complex matrices $A=\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}$ and $B=\begin{pmatrix} 0 & i \\ i ...
2
votes
1answer
46 views

Please check my proof on: $\sim$ is an equivalence relation $\Leftrightarrow S<G$

Problem: Let $\emptyset\ne S\subset G$, where $G$ is a group, and define a relation on $G$ by $a\sim b\Leftrightarrow ab^{-1}\in S$. Show that $\sim$ is an equivalence relation if and only if $S$ is a ...
0
votes
1answer
55 views

Countably generated group has at most countably many finite index subgroups

I know that if $G$ is a finitely generated group, then $G$ has at most countably many finite index subgroups. Is this result still true if $G$ is countably generated?
2
votes
1answer
32 views

Why does $x^{m \cdot 2^i} \equiv -1$ with odd $m$ imply that $x$ has order $m \cdot 2^{i+1}$?

It is clear that $$x^{m \cdot 2^{i+1}} \equiv 1$$ for odd $m$ but is there a theorem or an obvious reason why $x$ cannot have order smaller than $m \cdot 2^{i+1}$? Context: I am trying to understand ...
5
votes
1answer
94 views

Almost pointwise inner automorphism of free products of groups.

Let $A,B$ be groups, let $G = A\ast B$ be their free product and let $\phi \in \text{Aut}(G)$ be a automorphism of $G$. We say that $\phi$ is pointwise inner if $\phi(g) \sim_G g$ (there is $w \in G$ ...
3
votes
1answer
152 views

Semidirect products as (amalgamated) free product

It is well known that $\mathbb{Z}\rtimes \mathbb{Z}_2$ is free product $\mathbb{Z}_2 \star \mathbb{Z}_2$. Are there more examples of these kind?
0
votes
0answers
127 views

Prove $H_1 \cap H_2 \le H_1 $ when $H_1, H_2 \le G$ and $H_1$, $H_2$ are finite.

Prove that $H_1 \cap H_2 \le H_1 $ when $H_1, H_2 \le G$ and $H_1$, $H_2$ are finite. What I've done Use the definition of subgroup: $G$ is a group and $H \subseteq G$. $H \le G \iff HH=H $ and ...
5
votes
2answers
388 views

Is there a group-theoretic proof of the Riemann rearrangement theorem?

The analytic proofs of the Riemann rearrangement theorem are easy to understand but they don't explain why commutativity breaks down when you go from finite sums to infinite sums of real numbers. I ...
0
votes
3answers
78 views

If $H$ and $K$ are subgroups of G then $H \times K$ is a subgroup of $G \times G$

I know that if $H$ and $K$ are subgroups of $G$ then $HK= \{ hk \mid h \in H , k \in K\}$ is not necessarily a subgroup of $G$, this requires that $HK = KH$. But it follows that if $H$ and $K$ are ...
2
votes
1answer
244 views

Irreducible action of a group on a set

Let $p$ be a prime. I am solving a problem and I am told that I should use that the action of $\text{SL}_2(p)$ on $\mathbb{F}_p^2$ is irreducible. But I don't know what this means?
2
votes
1answer
58 views

Lower central series and the center of $S/S^k$

Let $S$ be a $p$-group and assume that $S$ has maximal class - so if we assume $\vert S \vert = p^n$ then the lower (and upper) central series has length $n-1$. I don't know much about lower central ...
2
votes
2answers
92 views

How to find $[A_n,A_n]$

Let $n \in \mathbb{N}$. How could I find $$ [A_n,A_n] \quad \cong \quad \langle ghg^{-1}h^{-1} \ : \ g,h \in A_n \rangle $$ My own thoughts I remembered that any element in $A_n$ can be written as ...
4
votes
2answers
97 views

Realizing $\mathbb{Z}/n \mathbb{Z} \oplus \mathbb{Z}/n\mathbb{Z}$ as an isometry group

Every finite group arises as the isometry group of a subspace of an euclidean space (Albertsona, Boutin, Realizing Finite Groups in Euclidean Space). What are natural examples of spaces realizing the ...
3
votes
2answers
237 views

Is an arbitrary group generated by a traversal of the conjugacy classes?

Let $G$ be a group, and let $\mathcal C$ be the collection of conjugacy classes of $G$. Let $S$ be a traversal of $\mathcal C$ (that is $S$ contains exactly one element from each set in $\cal C$). ...
0
votes
1answer
74 views

what are the other 2 nontrivial elements of the automorphism group of $\Bbb Z/5\Bbb Z$?

It is known that the automorphism group of the units of $\Bbb Z/5\Bbb Z$ is isomorphic to the cyclic group of order $4$, so the automorphism group must also have $4$ elements. The two nontrivial ones ...
3
votes
2answers
513 views

Is isomorphism not always unique?

Given two isomorphic groups G and H, is it possible that two or more functions define their isomorphism? Also, is it possible that another group say, L is isomorphic to G but not to H?
8
votes
1answer
101 views

Solvable groups and orders of elements

I am trying to prove the following result. Let $G$ be a group containing elements $x$ and $y$ such that the orders of $x$, $y$, and $xy$ are pairwise relatively prime; prove that $G$ is not ...
4
votes
2answers
293 views

Cyclic Group Presentation

Show that the the group with presentation $$\langle x, y\ \mid\ x^2=y^2x^2y,\ (xy^2)^2=yx^2, \ yx^{-1}y^2=x^7\rangle $$ is cyclic of order 24. This presentation was obtained using the Todd-Coxeter ...
1
vote
2answers
115 views

Free action by cyclic group.

Let $G$ be a group acting on a set $X$. If $g\in G$ has no fixed points, prove or disprove the cyclic group $\left \langle g \right \rangle$ acts freely on $X$. edit: Can also assume $g$ has finite ...
2
votes
1answer
46 views

Finite groups with a cyclic maximal subgroup.

In the book A Course in the Theory of Groups by Derek J.S. Robinson, Finite $p$-groups with a cyclic maximal subgroup are classified. Now I wish to know whether finite groups with a cyclic maximal ...
1
vote
0answers
46 views

Can the derived subgroup be realized as an intersection of stabilizers?

For any group $G$, we have that $Z(G)=\bigcap_{x\in G}C_G(x)$ and that each $C_G(x)$ is the stabilizer of $x$ when $G$ acts on itself by conjugation. Is there a similar representation for $G'$? That ...
1
vote
1answer
65 views

Finitely generated, periodic group such that each conjugacy class is finite must be finite?

This is essentially a repeat of this question. However, the OP didn't seem to put in any work towards a solution and didn't provide context. Nevertheless, I'm still interested in the solution, and I ...
1
vote
1answer
103 views

A question about Tarski Monster Group [closed]

Let $\alpha$ be a cardinality. Is there a Tarski moster group with exacly $\alpha$ non-trivial proper subgroups‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌‌? Edit: I found it interesting to know if there is such ...
0
votes
1answer
66 views

Absolutely and Relatively free abelian groups.

I see that there are the notions of absolutely free abelian group and relativley free abelian group. Could you please explain the difference between the two notions. Thanks!!