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

learn more… | top users | synonyms (2)

3
votes
0answers
21 views

Meaning of the term $X/H$ and orbits

I am trying to find representations of the group $G=GL_2(F(t)/t^2) = (M_2(F_p) , + ) \rtimes GL_n(F)$ So I was trying to do exactly what Serre has explained in this section. I am not quite able to ...
-1
votes
0answers
23 views

Cyclic subgroups of $\mathbb{Z} /100\mathbb{Z} \oplus\mathbb{Z}/25\mathbb{Z}$

$\mathbb{Z} /100\mathbb{Z} \oplus\mathbb{Z}/25\mathbb{Z}$ has 24 elements of order 10. Why each cyclic subgroup of order 10 has four elements of order 10 ?
2
votes
2answers
25 views

Group Theory and Lagrange's Theorem: coprime subgroups.

Let $G_1$ and $G_2$ be finite groups, and let $K≤G_1 \times G_2$. Let $H_1 = \{ g \in G_1 : (g,e) \in K\}$ and $H_2 = \{g \in G_2 : (e,g) \in K\}$ and suppose $|G_1|$ and $|G_2|$ are coprime. Then ...
11
votes
1answer
225 views

Can I represent groups geometrically?

I have just taken up abstract algebra for my college and my professor was giving me an introduction to groups, but since I like geometric definitions or ways of looking at stuff, I kept thinking, "How ...
-5
votes
1answer
34 views

Are ℚ/ℤ and ℚ isomorphic as (additive) groups? [on hold]

Is there an isomorphism $${\Bbb Q} / {\Bbb Z}\cong\Bbb Q$$ (of additive groups)? Justify your answer.
3
votes
0answers
20 views

Why can we write the weights of a representation in terms of the simple roots?

I'm currently trying to get my head around the fact that we can write the weights of any representation in terms of the simple roots of the algebra. Is there any, not too-technical, explanation? I ...
1
vote
0answers
28 views

A free group is residually nilpotent

How can I prove that a free group is residually nilpotent group. Definition- A group G is residually nilpotent if for every non-trivial element $g$ there is a homomorphism $h$ from G to a nilpotent ...
-2
votes
0answers
13 views

group theory problem in m.a. [on hold]

if G is finite group of order n and G/z(G)=4 show that 8 divide n.
1
vote
0answers
18 views

Compatibility of direct product and quotient in group theory

This question came to me when I tried comparing direct product and quotients of groups with products and quotients of natural numbers. When we divide a number by another and multiply the result with ...
0
votes
0answers
26 views

centralizers of $X= (M_2(F_p),+)$ in $H=GL_2(F_p)$

I need to find the centralizers of $X= (M_2(F_p),+)$ in $H=GL_2(F_p)$ in order to find the action of $H$ on $X$ which will help me find the orbits of $X$ I Know that the centralizers of $M_2(F_p)$ ...
0
votes
0answers
29 views

Need an example

Let $p$ be a prime number. I need an example of finite group $G$ generated by the elements of order $p^n$ ($n\in \mathbb N$) , which contains a normal subgroup $H$ that is not generated by the ...
3
votes
1answer
45 views

Intuition behind quotient groups?

I am having a hard time seeing the intuition behind quotient groups or rings. Intuitively, for a group, say Z/nZ would the quotient groups be the different sub groups of order 0 to n-1? Or how would ...
16
votes
8answers
565 views

What does it mean for something to hold “up to isomorphism”?

For example, to say that there are 2 such groups up to isomorphism such that the order of G is equal to $p^2$?
2
votes
1answer
55 views

Why do we have a basis?

A corollary that is in my book that I think is relevant to my question is: If E is an extension field of F, $\alpha \in E$ is algebraic over F, and $\beta \in F(\alpha)$, then $\deg(\beta,F)$ ...
1
vote
1answer
14 views

nilpotent algebraic groups in terms of extensions

Let $N$ be a nilpotent linear algebraic group over a field $k$. If $k = \mathbb{C}$ and $N$ is connected, one can write $N = U \times T$, where $U$ is a unipotent algebraic group and $T$ is a ...
3
votes
0answers
32 views

Inner automorphisms as the kernel of a homomorphism

By a straightforward computation, it is not hard to show that the set $\operatorname{Inn}(G)$ of the inner automorphisms of a group $G$ is a normal subgroup of $\operatorname{Aut}(G)$, see for example ...
0
votes
2answers
32 views

A prime order group must be cyclic [duplicate]

I have a question about prime order group. This answer by amWhy says that: It follows that any group of order 5 (and any group of prime order) must be generated by a single element and is hence, ...
-1
votes
0answers
21 views

assume subgroup $H$ of $G$ such that $N$ is also a subgoup of $H$, then $ P_{G/N}(H/N) = P_{G}(H)/N$

The permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$, i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...
1
vote
3answers
29 views

Why is it the smallest subfield containing F and $\alpha$?

Please take a look at the sentence in red: I understand that $\phi_\alpha[F[x]]$, is a subfield which contains $\alpha$, and F(we just need to evaluate $\phi_\alpha$ at the appropriate values). But ...
3
votes
1answer
57 views

Difference between definitions of $p$-subgroup and Sylow $p$-subgroup

I'm reading Abstract algebra by Dummit and Foote and the following definitions are made: $1$. A group of order $p^{\alpha}$ for some $\alpha\geq1$ is called a $p$-group. Subgroups of $G$ which are ...
0
votes
3answers
47 views

Does every finite field have a subfield $\mathbb{Z}_p$?

It seems that in the answers for my exercises in the book, the book uses that every finite field, has a subfield $\mathbb{Z}_p$. Is this true? They seem to use it in the answer for one exercise. But ...
-1
votes
1answer
28 views

Covering relation over functions

F is a group that includes all functions from N to N K is relation over F. For f,g ∈ F: (f,g) ∈ K iff ∀ n∈N, f(n)≤g(n). Obviously K is Partially ordered set and not Total Order. My problem is with ...
-2
votes
0answers
18 views

Let $N$ be a minimal normal subgroup of $G$, then $G/N$ is supersoluble? [on hold]

The permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$, i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...
1
vote
1answer
19 views

If $\sigma\in S_p$ with $|\sigma| = p$, why is $\sigma$ a $p-$cycle, and why is $|\sigma^r| = p$?

If $\sigma\in S_p$ with $|\sigma| = p$, why is $\sigma$ a $p-$cycle, and why is $|\sigma^r| = p$ for each $r$, $1\leq r < p$? ($p$ is a prime) I guess I am just having a hard time understanding ...
1
vote
1answer
24 views

Is the unreduced Burau representation completely reducible?

To be specific, my question is about specializations $\beta \colon B_n \to GL_\text{n}\left( \mathbb C \right)$ of the unreduced Burau representation given by \begin{array}{cr} \beta \left( \sigma_{i} ...
1
vote
0answers
24 views

How can I find the Weights of a Subalgebra

I'm currently trying to understand how we can derive the weights of a subalgebra of a given representation of a Lie group. For example, if we start with the 16-dimensional representation of ...
2
votes
1answer
38 views

Finite presentability of a group

Le $F$ be a free group of infinite rank (say countable rank) and consider a semidirect product $G = F \rtimes \mathbb Z$. Is it possible that $G$ is finitely presentable? If not, can we say something ...
9
votes
2answers
100 views

Prove that $x$ has order $5$.

let $ x \in G$ such that $(a^{-1})*(x^2)*(a) = x^3$ for some self inverse $a.$ Prove that $x$ has order $5.$ I don't know how to start this proof. Seems really difficult.
2
votes
2answers
58 views

Is every group of odd order isomorphic to a subgroup of $A_n$ for some $n$?

Is every group of odd order isomorphic to a subgroup of $A_n$ for some $n$? If not, what is a counterexample; if so, how can I prove it? Hints will be appreciated.
0
votes
0answers
41 views

Proving a group is $PSL(2,q)$ with $q>3$ odd.

How can I prove the following theorem If $G$ is a nonabelian simple group with Sylow $2$-subgroups being of order $4$ then $G=PSL(2,q) $ where $q>3$ is odd. with the help of this theorem: ...
2
votes
1answer
28 views

If $G$ is finite group that supersoluble then $G$ satisfy the maximal permutizer condition?

The permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$, i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...
-1
votes
0answers
24 views

What is the permutizer of the Sylow 3 subgroup in $S_4$ ? [on hold]

The permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$, i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...
3
votes
1answer
44 views

Classify $ \mathbb{Z}_9\times\mathbb{Z}_8\times\mathbb{Z}_8$/<(3,2,4)> according to the fundamental theorem of finitely generated abelian groups.

Since the order of $(3,2,4)$ is $12,$ the quotient group is of order $48.$ Now I have a problem. Consider $(1,0,1)+<(3,2,4)>.$ The element is of order $ 72,$ I think. But, it's impossible you ...
0
votes
1answer
44 views

If $(G, \oplus)$ has order $2n$, prove that every proper subgroup of $(G, \oplus)$

These questions are really bothering me. Any help would be much appreciated. Let $p$ be prime a) If $(G, \oplus)$ has order $2p$, prove that every proper subgroup of $(G, \oplus)$ is cyclic b) If ...
0
votes
2answers
30 views

Prove that $(\mathbb{R^+} \times \mathbb{R^+}, \oplus)$ is a commutative group, where $(a,b) \oplus (c,d) = (ac, bd)$

Prove that $(\mathbb{R^+} \times \mathbb{R^+}, \oplus)$ is a commutative group, where $(a,b) \oplus (c,d) = (ac, bd)$. I had this written up but not sure if there needs to be more done. Thanks. Let ...
2
votes
0answers
24 views

Generate specific reduced words that “violate freeness”

Let $G$ be a group, and let $g_1,g_2\in G$ be nontrivial elements that do not commute. If $g$ and $h$ are not free as group elements, then the only a priori information this provides us is that there ...
1
vote
0answers
18 views

can say every group that satisfy in maximal permutizer condition then satisfy then permutizer condition

The permutizer of a subgroup $H$ of $G$ is defined to be the subgroup generated by all cyclic subgroups of $G$ that permute with $H$, i.e. $\langle x \in G | \langle x \rangle H = H \langle x \rangle ...
3
votes
1answer
37 views

Trying to show $|ab|$ divides lcm$(|a|,|b|)$

I'm trying to solve this Putnam problem. The problem is "show that for a finite group with $n$ elements of order $p$, where $p$ is prime, either $n=0$ or $p\: \vert\: n+1$." I'm trying to do this by ...
1
vote
1answer
48 views

Prove that $f$ is an onto function and a homomorphism function from $(\mathbb{Z} \times \mathbb{Z}, \oplus)$ to $(\mathbb{Z}, +)$

I have a lot of issues trying to figure out this problem. Any advice? Consider the two groups $(\mathbb{Z} \times \mathbb{Z}, \oplus)$ and $(\mathbb{Z}, +)$, where $(a,b) \oplus (c,d) = (a + c, b + ...
0
votes
1answer
22 views

What is the group $C_2^4$?

I'm trying to do a problem which asks me to show that a certain group is isomorphic to $C_2^4$. What is this group?
2
votes
1answer
31 views

Subgroups of every order dividing the order of the group imply the group is abelian?

Let $G$ be a finite group, denote $|G|=n$. I know about Cauchy theorem which states that if for a prime $p$: $p|n$ then there is $H\leq G$ with $|H|=p$. I also know that an abelian group $G$ have a ...
19
votes
1answer
247 views

Groups with “few” subgroups

If $G$ is a finite group of order $n,$ and the number of divisors of $n$ is $k,$ can $G$ have fewer than $k$ subgroups? A cyclic group $G$ of order $n$ has exactly one subgroup for each divisor of ...
1
vote
1answer
19 views

Group theory disjoint cycles

Let $a=(1 3 5)(1 5 6)(1 3 5)$ I had to write this as a product of disjoint cycles and got $(1 5)(3 6)$ which I believe is correct. Then figure out $a^{24}$ and $a^{25}$. Now $a^{24}$ is the ...
0
votes
1answer
48 views

Algebraic groups?

I have been doing group theory lately but I can not seem to find what I am looking for online (partly because I am not entirely sure what I am looking for). An example of one of the questions: If ...
0
votes
0answers
16 views

How to represent $B_4$ The braid group with $4$ strings non-pictorially?

How Do I represent $B_4$ The braid group with $4$ strings non-pictorially? What is the group presentation for $B_4$? It would seem the presentation is: $$B_4 = \langle ...
3
votes
2answers
58 views

Construct Group of Order 21 Without Semi Product

We have two possibilities, I know that one of the possibilities is the cyclic group$\frac{\Bbb{Z}}{21\Bbb{Z}}$. The other possibility as shown below with Sylow's theorems is $\Bbb{Z}_7 \times ...
2
votes
2answers
29 views

Show that $\overline \varphi (a Z (D_4)) = Id$

Consider $$\begin{align}\overline \varphi : \frac{D_4}{Z(D_4)} &\to \frac{D_4}{Z(D_4)} \\aZ(D_4) &\mapsto xax^{-1}Z(D_4)\end{align}$$ where $$D_4 = \{id, \alpha, ...
3
votes
0answers
47 views

Normal subgroup of General linear group

What is the list of all normal subgroups of general linear group $GL_n(q)$? (n*n invertible matrix on finite field with $q$ elements) It is well known $SL_n(q)$ and subgroups of $Z(GL_n(q))$ are ...
1
vote
2answers
42 views

A question about direct product of subgroups.

Let $H$ and $K$ be two subgroups of a group $G$. Suppose that $H$ is normal in $G$ and $G/H\simeq K$. My question is when $G\simeq H\times K$? My guess is if $K$ is normal in $G$ and $G=HK$ then ...
3
votes
1answer
35 views

Show that if $r$ is nilpotent in a ring with identity, then $1-r$ is a unit in $R$ [duplicate]

Let $R$ be a ring. An element $r \in R$ is called nilpotent if $r^n=0$ for some integer $n \ge 1$. Show that if $r$ is nilpotent in a ring with identity, then $1-r$ is a unit in $R$. Proof. Recall ...