Abstract algebra is the study of algebraic objects. Some of the more common algebraic objects are groups, rings, fields, vector spaces, modules, and other advanced topics.

learn more… | top users | synonyms (1)

16
votes
0answers
511 views

Rotman's exercise 2.8 “$S_n$ cannot be imbedded in $A_{n+1}$”

This question is about the (in)famous Rotman's exercise 2.8 in "An Introduction to the Theory of Groups." I've searched and found similar questions here and in MO, but none of them contains a valid ...
14
votes
0answers
214 views

What is Spec of the Adeles?

Let $K$ be a global field and $A_K$ the ring of adeles. What are the prime ideals of $A_K$? I have been told that a full proof of this is quite subtle, but have been unable to find a reference ...
14
votes
0answers
647 views

Is $ f_n=\frac{(x+1)^n-(x^n+1)}{x}$ irreducible over $\mathbf{Z}$ for arbitrary $n$?

In this document on page $3$ I found an interesting polynomial: $$f_n=\frac{(x+1)^n-(x^n+1)}{x}$$ Question is whether this polynomial is irreducible over $\mathbf{Q}$ for arbitrary $n \geq 1$ ? In ...
12
votes
0answers
271 views

Values attained by $|G/Z(G)|$?

So I was working through some problems in a book on $p$-groups and noticed that $p$-groups have some really nice properties. So I started computing what the values of $|G/Z(G)|$ for $p$-groups. I ...
12
votes
0answers
253 views

On solvable quintics and septics

Here is a nice sufficient (but not necessary) condition on whether a quintic is solvable in radicals or not. Given, $x^5+10cx^3+10dx^2+5ex+f = 0\tag{1}$ If there is an ordering of its roots such ...
12
votes
0answers
503 views

The radical solution of a solvable 17th degree equation

(The question is at the bottom of the post.) Here's a "natural" solvable 17-th deg eqn with small coefficients: $$\begin{align*} x^{17}-6 x^{16}&-24 x^{15}-42 x^{14}-31 x^{13}-23 x^{12}-7 ...
11
votes
0answers
57 views

Searching for the complete proof of Sylvester Determinant.

How to prove the following sequence from the determinant of the Sylvester matrix? Let $P=a_{0}X^{m}+a_{1}X^{m-1}+\cdots+a_{m}$ and $Q=b_{0}X^{n}+b_{1}X^{n-1}+\cdots+b_{n}$ ...
11
votes
0answers
220 views

When is $(x^n-1)/(x-1)$ a prime number?

Let $x > 1$ and let $n$ be a prime. I'm wondering if a characterization of this is known. That is, what are sufficient and necessary conditions for $$ \dfrac{x^n-1}{x-1} = 1 + x + x^2 + \cdots + ...
11
votes
0answers
159 views

Ring structure on the Galois group of a finite field

Let $F$ be a finite field. There is an isomorphism of topological groups $(\mathrm{Gal}(\overline{F}/F),\circ) \cong (\widehat{\mathbb{Z}},+)$. It follows that the Galois group carries the structure ...
11
votes
0answers
284 views

Is $\bigl(X(X-a)(X-b)\bigr)^{2^n} +1$ an irreducible polynomial over $\mathbb{Q}[X]$?

Let $a, b \in \mathbb{Q}$, with $a\neq b$ and $ab\neq 0$, and $n$ a positive integer. Is the polynomial $\bigl(X(X-a)(X-b)\bigr)^{2^n} +1$ irreducible over $\mathbb{Q}[X]$? I know that ...
11
votes
0answers
345 views

Character theory of $2$-Frobenius groups.

Edit Summary: I've posted this on MO and received a partial answer there. Can anybody help me expand on this? Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and ...
10
votes
0answers
155 views

When does a polynomial fixing a subring imply its coefficients are in that subring?

Let $S$ be a subring of $R$. If $p$ is a polynomial with coefficients in $S$, then $p$ fixes $S$ (as a function, that is, $p(s)\in S$ for all $s\in S$). A converse statement is: If $p$ is a ...
10
votes
0answers
139 views

Cogroup structures on the profinite completion of the integers

Let $\mathsf{ProFinGrp}$ be the category of profinite groups (with continuous homomorphisms). This is equivalent to the Pro-category of $\mathsf{FinGrp}$. Notice that $\widehat{\mathbb{Z}} = ...
10
votes
0answers
205 views

Non-reflexive module isomorphic to its double dual

Could you give me an example of a non-reflexive module isomorphic to its double dual? I found an example here but I cannot understand it, do you have any simpler examples? By this question we ...
9
votes
0answers
76 views

What's the minimal structure needed to define a notion of derivative?

I know that, for example, to define a limit all you need is the notion of "closeness" generated by a topology; and to define an integral you need a measure function and a sigma-algebra on which it is ...
9
votes
0answers
149 views

Minimal and characteristic polynomials on tensor product spaces

Given two finite-dimensional vector spaces $V$ and $W$ over a common field $k$ as well as linear transformations $\varphi \colon V \to V$ and $\psi \colon W \to W$, what (if anything) can one say in ...
9
votes
0answers
99 views

A group acting on functions of functions of functions

Given a group acting on a set $X$, there is a standard way to define an action of the group on the set of functions of $X$. This can be extended to the set of functions of functions of $X$ as I show ...
9
votes
0answers
215 views

How much do idempotent ultrafilters generate in terms of semigroups?

It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
9
votes
0answers
233 views

cohomological proof of Maschke's theorem

I have been working on the following problem.. I have spent plenty of time trying to solve it myself. I am, however, unable to prove one small step in the argument. Beneath you can find my attempt. ...
9
votes
0answers
162 views

What's the latest on Laver tables?

A couple of years ago, I was astonished and delighted to learn about Laver tables, a sequence (indexed on $n$) of Cayley-like tables for a binary operation $\star$ on numbers $i,j\leq 2^n$ that ...
9
votes
0answers
342 views

Trivial intersection of algebraic sets?

The question came up while reading a bit more into the Hilbert-Zariski theorem I asked about the other week. Suppose $V$ is an algebraic variety over arbitrary field $k$. (For this situation, I'll ...
9
votes
0answers
267 views

On group automorphism of subgroup a group $G$

Let $G$ be a group and $H$ be a subgroup of $G$. When is $\rm{Aut}(H)$ a subgroup of $\rm{Aut}(G)$?
8
votes
0answers
42 views

How smooth can non-nice associative operations on the reals be?

Suppose ${*}:\mathbb R\times\mathbb R\to\mathbb R$ is $\mathcal C^k$ and associative. Does it necessarily satisfy the identity $a * b * c * d = a * c * b * d$? For $k=0$ the answer is "no" -- a ...
8
votes
0answers
142 views

What is the overall idea of Galois theory?

I am a third year undergraduate, doing a course on Field and Galois theory. Now, while I seem to understand most of the concepts locally, I do not seem to get the 'Whole picture' of what is happening ...
8
votes
0answers
219 views

On a Proof in Galois Theory

We have the following lemma (used in the proof of Abel's Theorem): If $\text{Char}(F)=0$, $E/F$ is a radical extension, and $K/E$ is the Galois closure of $E/F$, then $K/F$ is also a radical ...
8
votes
0answers
62 views

Can we find a bound so that we can conclude $G$ is a $p$ group?

Let $n_p$ be number of the elements of order $p$ in a group $G$, My motivation is that if $n_2\ge\dfrac 34 |G|$ then $G$ is $2$ group. You can check it from this. Is there such general bound for ...
8
votes
0answers
94 views

Galois Group of Composite Field vs. Second Isomorphism Theorem

$\DeclareMathOperator{\Gal}{Gal}$ In my abstract algebra class, we learned about how Galois groups interact with composite fields. Namely, if $K/F$ is Galois, and $L/F$ is any extension: $$\Gal(KL/L) ...
8
votes
0answers
59 views

What can we learn about a magma by studying these monoids?

Given a magma $(X,*)$, we get three monoids in the following way. First, define a pair of functions $L,R : X \rightarrow (X \rightarrow X).$ $$(Lx)(y) = x*y,\quad (Rx)(y) = y*x$$ Then each of the ...
8
votes
0answers
245 views

$G$ is finite, $A \leq G$ and all double cosets $AxA$ have the same cardinality, show that $A \triangleleft G$

If $G$ is a finite group and $A$ is a subgroup of $G$ such that all double cosets $AxA$ have the same number of elements, show that $gAg^{-1}=A$ for all $g \in G$. Here is my attempt, I guess it's ...
8
votes
0answers
224 views

Generalizing the natural numbers - has this been studied before?

The ordinals numbers generalize the natural numbers and satisfy a generalized induction principle. However, the algebraic properties of the ordinal numbers aren't so good. For example, ordinal sums ...
8
votes
0answers
200 views

How is $\mathrm{PGL}(V)$ a subgroup of $\mathrm{P\Gamma L}(V)$?

I've stumbled upon a strange exercise while reading "Notes on Infinite Permutation Groups" by Bhattacharjee, Möller, Macpherson and Neumann. If you have the book, the exercise is 7(ix) on page 66. ...
8
votes
0answers
352 views

Proof that a finite separable extension has only finite many intermediate fields

Let $E/F$ be finite separable extension. Is there any proof of the fact that there are only finitely many intermediate fields without using primitive element theorem or fundamental theorem of Galois ...
8
votes
0answers
118 views

Free medial magmas

A medial magma is a set $M$ with a binary relation $*$ satisfying $(a*b)*(c*d) = (a*c)*(b*d)$. Medial magmas constitute an algebraic category $\mathsf{Med}$, therefore there is a functor $\mathsf{Set} ...
7
votes
0answers
146 views

Why the Steinberg idempotent is idempotent?

Consider the group $GL_n(\mathbb{F}_p)$. We have the following subgroups : -$\Sigma_n$ the symmetric group (permutation matrices) -$B_n$ the Borel subgroup (upper triangular matrices) -$U_n$ the ...
7
votes
0answers
160 views

Prerequisites for Differential Galois theory

I would like to know the prerequisites for Differential Galois theory. I have taken Rings, Fields, Groups, Galois theory, and Algebraic Geometry + Commutative Algebra. Looking at the wikipedia page, ...
7
votes
0answers
178 views

The order of $H$ is relatively prime to its index $[G:H]$

Suppose that a subgroup $H$ of a finite group $G$ satisfies one of the following two conditions: (i) For any nonidentity element $x$ of $H$ we have $C_{G}(x) \subset H$ (ii) If $K$ is a subgroup of ...
7
votes
0answers
165 views

Morita-invariance of Hochschild (co)homology.

Ok, I'm reading this paper by Christian Kassel on associative algebras and Hochschild (co)homology and on page 19 he says that Hochschild homology is Morita-invariant, by which he means that if $R$ ...
7
votes
0answers
212 views

Is there some sort of correspondence between groups and partitions of a set?

Every group action on a set $S$ partitions the set into orbits. Conversely, for every partition of $S$ is there a group action such that the set of orbits of the group action equals the partition? ...
7
votes
0answers
89 views

Find the homogeneous polynomials whose set of values is closed under multiplication

Let $f(x_1,x_2,\dotsc,x_n)$ be a homogeneous polynomial. Let $$S=\{f(a_1,a_2,\dotsc,a_n)\mid a_1,a_2,\dotsc,a_n \in\Bbb Z\}.$$ If $S$ satisfies the following condition: for all $m,n\in S$, we have ...
7
votes
0answers
195 views

Show that in any group of order $23 \cdot 24$, the $23$-Sylow subgroup is normal.

Show that in any group of order $23 \cdot 24$, the $23$-Sylow subgroup is normal. Let $P_k$ denote the $k$-Sylow subgroup and let $n_3$ denote the number of conjugates of $P_k$. $n_2 \equiv 1 ...
7
votes
0answers
82 views

Ramification group fixing an unramified extension

For a Galois extension of local fields $L/K$ with Galois group $G$, define the ramification groups $G_i$ by $$G_i = \{ \sigma \in G : \nu_{L}(\sigma(x) - x) \geq i+1 \text{ } \forall x \in ...
7
votes
0answers
143 views

Orders of elements and homomorphisms.

Corollary 4.6.8 There is a group $G$ of order $n^3$ given by $G= \{b^ic^ja^k \mid 0 ≤ i, j, k < n\}$, where $a$, $b$, and $c$ all have order $n$, and $b$ commutes with $c$, $a$ commutes with ...
7
votes
0answers
96 views

Clifford theory and induction

in the answer to this post there was the statement that a representation $\vartheta$ of a subgroup $\langle z\rangle$ can extend to a representation of the whole group $D_{2n}$. If I start the other ...
7
votes
0answers
112 views

An example of a compact multiplicatively unbounded ring

My teacher asked me to build an associative topological Hausdorff compact ring $R$ with $1$, which is multiplicatively unbounded. That means there is a neighborhood $U\ni 1$ such that $FU\not=R$ for ...
7
votes
0answers
198 views

Induced representation, Ind(Res(U))

I am reading a book of Fulton and Harris "Representation theory, a first course". Now it's all about representation theory of finite groups, and there is one exercise, which I can't solve: If $U$ is ...
7
votes
0answers
120 views

Monoids with positive and negative elements

By a pointed monoid I mean a monoid $M$ together with an absorbing element $0 \in M$ (i.e. $0x=x0=0$). Equivalently, this is a monoid in the monoidal category $(\mathsf{Set}_*,\wedge)$. By a ...
6
votes
0answers
49 views

Let $G$ be a group, and $H$ a subgroup of $G$. Let $a, b \in G$. Prove $Ha=Hb$ iff $ab^{-1} \in H$.

Let $G$ be a group, and $H$ a subgroup of $G$. Let $a, b \in G$. Prove $Ha=Hb$ iff $ab^{-1} \in H$. $\rightarrow$ If $Ha=Hb$, then $h_1a=h_2b$ for some $h_1, h_2 \in H$. So, $ab^{-1} = ...
6
votes
0answers
239 views

Another Algebraic de Rham Cohomology question…

NOTE: scroll down to read my latest edit first if you're reading this for the first time :) My aim is to calculate the de Rham cohomology of the variety $U = \text{Spec} \ A$, where: $$A = ...
6
votes
0answers
78 views

The number of orbits of a (normal) subgroup

I want to solve the following problem from Dummit & Foote's Abstract Algebra text: Assume $G$ acts transitively on the finite set $A$ and let $H$ be a normal subgroup of $G$. Let ...
6
votes
0answers
86 views

the homophonic group: a mathematical diversion

By definition, English words have the same pronunciation if their phonetic spellings in the dictionary are the same. The homophonic group H is generated by the letters of the alphabet, subject ...