# Tagged Questions

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.

92 views

### Push-out of product of push-out diagrams

Let $\pi(U\cup V)$ be the push-out of the diagram $\pi(U)\leftarrow \pi(U\cap V) \rightarrow \pi(V)$ that appears when we apply Vam-Kampen Theorem to the open sets $U,V$ in a topological space $X$. ...
44 views

### Let $p$ be a prime, and $k \in \mathbb N$. What is the order of $U(p^{k})$?

Q: Let $p$ be a prime, and $k \in \mathbb N$. What is the order of $U(p^{k}) = |U(p^{k})|$? I understand that $|U(p)| = (p-1)$. With some experimenting I suspect that $|U(p^{k})| = (p-1)*p^{k-1}$. ...
86 views

### Power Automorphism of P Groups

The lower exponent p-central series for a p-group G is defined by $G=P_1(G) \geqslant P_2(G) \geqslant...\geqslant P_c(G)=I$, , where $P_{i+1}(G)= [P_{i}(G) , G ] P_{i}(G)^{p}$ for $i \geqslant1$ and ...
100 views

### Textbook proof for uniqueness of inverse in a group

A Textbook of Abstract Algebra by Pinter gives the following proof of the property that an element in a group can have only one inverse (consider $*$ to be the operation and $e$ to be the identity ...
648 views

### Prove the order of an element divides the order of the group using cosets

I know how to use cyclic groups and Lagrange's theorem to prove this, but I don't know how to use the notion of cosets to prove this.
250 views

### What is the Betti number of a group?

I'm studying the Fundamental Theorem of finitely generated Abelian group, and it says that the number of factors equal to $\mathbb Z$ (textbook says it is the Betti number of the group) is unique up ...
138 views

### Second cohomology group of a perfect group

Consider a finite perfect group $G$ and a $G$-module, $U\left(1\right)$, on which $G$ acts trivially. Here $U\left(1\right)$ is the set of $1 \times 1$ unitary matrices over $\mathbb{C}$. Are there ...
393 views

70 views

### Orbits of action of $SL_m(\mathbb{Z})$ on $\mathbb{Z}^m$

I'm considering the action of $SL_m(\mathbb{Z})$ on $\mathbb{Z}^m$: if $A\in SL_m(\mathbb{Z})$ and $v\in\mathbb{Z}^m$, then $Av\in\mathbb{Z}^m$. My question is: what are the orbits of this action? I'...
170 views

### A diagram of group homomorphisms

Consider the commutative diagram of group homomorphisms: $$\require{AMScd} \begin{CD} A @>{f}>> B\\ @V{h}VV @V{k}VV \\ C @>{g}>> D \end{CD}$$ If both $f$ and $g$ are injective ...
44 views

### How many groups are there of order 12?

All I could think of was the direct products of additive integer groups whereas $gcd(m,n) = 1$, such that $m$, $n$ elements of $\mathbb{Z}_{m} \times \mathbb{Z}_{n}$ . A hint would be really helpful.
39 views

### Defining a function and showing it is an automorphism

Let G be a group. Let $a \in G$ and keep it fixed. In terms of $a$, define a function $F_a$ from $G$ to itself by the rule $F_a(x) = axa^{-1}$. Prove that $F_a$ is an automorphism of $G$ I know it ...
45 views

### Solving a divisibility problem using group theory

Inspired by this I decided to show this: Let $P_n=\displaystyle\prod_{1\leq i<j\leq n} \big(x_i-x_j\big)$ where $x_1\,\dots\, x_n$ are arbitrary integers. Prove $n!\,\big|\, 2P_n$. I am ...
130 views

### Is the intersection of a core-free maximal subgroup with an abelian normal subgroup, trivial?

Let $G$ be a group, $H<G$ a core-free maximal subgroup and $A \triangleleft G$ an abelian normal subgroup. Question: Is it true that $A \cap H = \{e\}$
48 views

### Having trouble grasping the class equation as an explanation as to why a conjugate class's order divides the order of a group.

Suppose $|G|$ is a prime power $p^n$ and that $N$ is a normal subgroup of $G$. Show that $|y^G|$ is a power of $p$ whenever $y \in G$ Attempt: Firstly, I assume that $y^G = \{ gyg^{-1} | g \in G \}$'...
60 views

Prove: If a coxeter system $(W,S)$ is reducible, then it is the product of parabolic subgroups. Reducible system means the coxeter diagram is disconnected. Parabolic subgroup: let $S$ be the set ...
71 views

### Number of degree-$d$ representations of a perfect group?

It seems to be a standard result that the number of degree-1 representations of a group $G$ is equal to $[G : G']$ where $G'$ is the commutator subgroup (e.g. Lemma 6.2.7 in the 2012 textbook "...
83 views

593 views

### Let $G$ be a group, where $(ab)^3=a^3b^3$ and $(ab)^5=a^5b^5$. Prove that $G$ is an abelian group.

Let G be a group, where $(ab)^3=(a^3)(b^3)$ and $(ab)^5=(a^5)(b^5)$. Prove that $G$ is abelian group. Thank you in advance. Any help is appreciated.
144 views

### Let $A$ be a group, where $a^2=1$, a belongs to $A$. Prove that this group is commutative.

Let $A$ be a group, where $a^2=1$ and $a$ belongs to $A$. Prove that this group is commutative. Thank you for help.
1k views

### Find the center of the group GL(n,R) of invertible nxn matrices. [duplicate]

Find the center of the group GL(n,R) of invertible nxn matrices. Please can someone please help me? I know that by definition the center Z of a group is defined by Z(G) = { ag = ga | for all a in G}. ...
77 views

### Closure of divisibility in denumerator, under sum of fractions

I have to prove that for a fixed positive integer n, the subset A of Q consisting of rationals with denumerator that divide n under addition, forms a group under addition. I just did that it's ...
609 views

85 views

### Show that the orbit of $H$ containing $x$ is equal to the right coset $Hx$

Let $G$ be a group and let $H$ be a subgroup of $G$. Let $X$ be the set of elements of $G$. Let $\ast : H \times X \to X$ be given by $$h \ast x = hx (h \in H, x \in X)$$. QUESTION: Let $x \in X$. ...
288 views

### Show that matrix under addition is isomorphic with the group of complex numbers under addition

Q: Let $M = \{ \begin{bmatrix} a & b \\ -b & a \end{bmatrix} | a, b \in \mathbb R \}$. Show that $(M,+)$ and $(\mathbb C,+)$ are isomorphic. Show that $(M^{*},*)$ and $(\mathbb C^{*},*)$ are ...
102 views

### group theory proof

Let $G=\langle t \rangle$ be a cyclic group with $\text{ord}(t)=n$. I want to show that for all $d|n$ it holds that \left\lbrace s \in G ;\text{ord}(s)=d \right\rbrace=\left\lbrace t^{\frac{n}{d}k} ...
178 views

### Quotient groups and normal subgroups

I am wondering if there is some characterization of the normal subgroups of a quotient group. More precisely let $G$ be a group and $H$ a normal subgroup. Let $U$ be a normal subgroup of the quotient ...
44 views

### Prove $o(g) | |G|$ using Lagrange's Theorem

I'm confused of the following steps: How did the lecturer form the subgroup $H$? How do we know that $H$ is cyclic? if anyone could please explain, thank you
47 views

### Does this condition gaurantee the cyclicity of a finite abelian group?

Let $G$ be a finite abelian group in which there are at most $n$ solutions of the equation $x^n = e$ for each posivite integer $n$. How to determine if $G$ is cyclic or not?
35 views

### Raising multiplied group elements to a power

If for example we have $(aba^{-1})^n$, how do you go about expanding this to show that it's the same as $a^nba^{-n}=ab^na^{-1}$?
34 views

### Given $H \le G$ and $P \in \text{Syl}_{p}(G)$, to show that $\exists a \in G, aPa^{-1} \cap H \in \text{Syl}_{p}(H)$.

The problem is as follows: $G$ is a finite group. $H \le G$ and $P$ is a Sylow $p$-subgroup of $G$. To prove that: $\exists a \in G$ such that $aPa^{-1} \cap H$ is a Sylow $p$-subgroup of $H$. ...
86 views

### Product of cyclic groups

How can you quickly tell that the product of cyclic groups $\mathbb{Z}_4 \times \mathbb{Z}_3$ has a 2-subgroup containing an element of order 4? Also, I don't understand the notion of multiplying ...
807 views

### If in a group $G$, we have $a^5 = e$ and $aba^{-1} = b^2$ for some $a$, $b$ in $G$, then what is the order of $b$?

If in a group $G$, we have $a^5 = e$ and $aba^{-1} = b^2$ for some $a$, $b$ in $G$, then what is the order of $b$?. Here $e$ denotes the identity element in $G$.
211 views

### Why $a^p\in N$ if $[a]^p=[e]$ holds in $G/N$

Suppose there exists an element in $G/N$ of order $p$, where $p$ is a prime number. In other words, there exists an $a\in G$ such that $[a]^p=[e]$, where $[a]\neq[e]$. Then why $a^p$ belongs to $N$? ...
57 views

### Which elements of this cyclic group would generate it?

Let $n$ be a given arbitrary positive integer, and let $U_n$ denote the group of all the positive integers less than $n$ and relatively prime to $n$ under multiplication mod $n$. Then for which values ...