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

learn more… | top users | synonyms (1)

44
votes
0answers
1k 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 ...
22
votes
0answers
357 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 ...
21
votes
0answers
192 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 ...
21
votes
0answers
370 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 ...
18
votes
0answers
106 views

Analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$.

We consider an analogue of the Dirichlet $L$-function in $\mathbb{F}_q[T]$. Let $g \in \mathbb{F}_q[T]$, $g \neq 0$, let $\chi: (\mathbb{F}_q[T]/(g))^\times \to \mathbb{C}^\times$ be a homomorphism, ...
17
votes
0answers
748 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 ...
16
votes
0answers
175 views

Where Fermat's last theorem fails

It's fairly well known that Fermat's last theorem fails in $\mathbb{Z}/p\mathbb{Z}$. Schur discovered this while he was trying to prove the conjecture on $\mathbb{N}$, and the proof is an application ...
14
votes
0answers
132 views

Name for a ring that also has composition - aka function application?

What is the following type of ring? Does it have a name? Suppose $(R,\cdot,+,0,1)$ is a ring with another binary operation, $\circ$ with the properties: $$(a\circ b)\circ c=a\circ(b\circ c)\\ ...
14
votes
0answers
350 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 ...
13
votes
0answers
410 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 ...
12
votes
0answers
138 views

$k[x_1, \dots, x_n]$ free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism.

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set ...
12
votes
0answers
145 views

Intuitive/geometric way of thinking about effective divisors?

What is the motivation/intuition/geometric way of thinking about an effective divisor? I know that a divisor is effective if all its coefficients are non-negative. We write $D \ge 0$ for ...
12
votes
0answers
231 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) ...
12
votes
0answers
246 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 ...
11
votes
0answers
132 views

Study of rings of the form $R+I$

In my life I saw lots of ways of constructing rings: polynomial rings, quotient rings, localizations, endomorphism rings, rings of fractions, integral closure of a ring, center of a ring, etc... These ...
11
votes
0answers
189 views

Proving that the number of integer solutions of $x^2-Ny^2=1$ is infinite

I am trying to prove that the number of integer solutions of $x^2-Ny^2=1$ is infinite whenever N is a squarefree integer. For this I define norm of $a+b\sqrt N=a^2-Nb^2$. Now I prove that $a+b \sqrt ...
11
votes
0answers
108 views

The order of subgroup generated by two distinct elements of order 2

$G$ is a group of order $2$6. If $x$ and $y$ are two distinct elements of order $2$, what could the order of $\langle x,y\rangle$ be? By lagranges theorem, $\langle x\rangle$ and $\langle ...
11
votes
0answers
116 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 ...
11
votes
0answers
210 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 ...
11
votes
0answers
354 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
355 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. ...
11
votes
0answers
161 views

Free medial magmas

A medial magma is a set $M$ with a binary operation $*$ satisfying $(a*b)*(c*d) = (a*c)*(b*d)$. Medial magmas constitute an algebraic category $\mathsf{Med}$, therefore there is a functor ...
11
votes
0answers
491 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
89 views

If polynomials are almost surjective over a field, is the field algebraically closed?

Let $K$ be a field. Say that polynomials are almost surjective over $K$ if for any nonconstant polynomial $f(x)\in K[x]$, the image of the map $f:K\to K$ contains all but finitely many points of $K$. ...
10
votes
0answers
267 views

Why differential Galois theory is not widely used?

E.R.Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation. My ...
10
votes
0answers
177 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 ...
10
votes
0answers
274 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 ...
10
votes
0answers
570 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 ...
10
votes
0answers
535 views

Is there a theory that combines category theory/abstract algebra and computational complexity?

Category theory and abstract algebra deal with the way functions can be combined with other functions. Complexity theory deals with how hard a function is to compute. It's weird to me that I haven't ...
9
votes
0answers
234 views

What is “Field with One Element”?

I was reading the Wikipedia article about The Field with One Element and I came across the following quotes: "...F1 refers to the idea that there should be a way to replace sets and operations, the ...
9
votes
0answers
88 views

In which algebraic theories do 'free' and 'projective' coincide?

Free models of algebraic theories are always projective objects in the category of models, but the converse is not always true. For instance, some (actually, all) projective modules are direct ...
9
votes
0answers
145 views

Explicit examples of (co)limit arguments in other fields

Over the past weeks, I have noticed that high level lecture notes in subjects like algebraic geometry, algebra, and algebraic topology often sketch proofs in the following form: Proof sketch ...
9
votes
0answers
112 views

Classification of all subrings

Let $R$ be an integral domain whose underlying additive group is finitely generated free and whose field of fractions $K$ is a finite Galois extension of $\mathbb{Q}$. Is there a method of ...
9
votes
0answers
142 views

Whether a functor is exact?

I am stuck with exercise $1$ of section $3$ of chapter $1$ in the book Cohomology of number fields by Neukirch. The exercise is to show that the functor from $A \rightarrow C^n(G,A)$ is exact, where ...
9
votes
0answers
100 views

Genus of $k(T)$?

Let $F$ be a function field in one variable with total constant field $k$, let $X$ be the set of all places $F$, and let $S$ be a nonempty finite subset of $X$. Then the genus of $F$ is equal to the ...
9
votes
0answers
131 views

algebraically closed fields of characteristic 0 and $\mathbb{C}$

Let $k$ be an algebraically closed field of characteristic 0. Then I've heard that if $k$ has cardinality no greater than that of $\mathbb{C}$, then there is an embedding ...
9
votes
0answers
201 views

Proving a ring in which $r^n=r$ for all $r$ is commutative.

Let $R$ be a ring with identity such that there is a positive integer $n\geq 2$ for which $r^n=r$ for all $r\in R$. Prove $R$ is commutative. I had proven before that If $n=2$ it is commutative as ...
9
votes
0answers
41 views

Objects whose limiting behaviour resembles a group

Is there a name for a structure that isn't a group, but that begins to behave like a group the more operations are performed? I'm trying to take the idea of an attractor from dynamical systems and ...
9
votes
0answers
229 views

A More Advanced Version Of Aluffi

Paulo Aluffi's Book, Algebra, Chapter 0 aims to teach basic algebra from a categorical viewpoint. The first chapters of the book, however, introduce groups and rings using very basic categorical ...
9
votes
0answers
325 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 ...
9
votes
0answers
85 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 ...
9
votes
0answers
278 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$ ...
9
votes
0answers
126 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 ...
9
votes
0answers
312 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 ...
9
votes
0answers
424 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 ...
8
votes
0answers
340 views

(Mathematical) Applications of Quantum Group

What are some mathematical applications of Quantum Groups? I have tried researching and found that it is used to find solutions to Yang-Baxter equation. Any other applications? Thanks a lot.
7
votes
0answers
78 views

Algebra defined by $a^2=a,b^2=b,c^2=c,(a+b+c)^2=a+b+c$

Let $\cal A$ be the (noncommutative) unitary $\mathbb Z$-algebra defined by three generators $a,b,c$ and four relations $a^2=a,b^2=b,c^2=c,(a+b+c)^2=a+b+c$. Is it true that $ab\neq 0$ in $A$ ? This ...
7
votes
0answers
74 views

$\mathbb C[X_1, \ldots, X_n]$ is a free module over $\mathbb C[X_1, \ldots, X_n]^G$

Let $G$ be finite subgroup of $GL_n( \mathbb C )$. Let $\mathbb C[X_1, \ldots, X_n]^G$ be the set of all G-invariant polynomials of $\mathbb C[X_1, \ldots, X_n]$. Is there any rule by which we can ...
7
votes
0answers
68 views

Two algebraic number theory questions.

I have two algebraic number theory questions. See page 26 here, specifically Lemma 5.11. Lemma 5.11. The group $\mathcal{O}^\times$ is generated by roots of unity and $[\mathcal{O}^\times]^+$, the ...
7
votes
0answers
103 views

Does it follow that any element of $J(A)$ is necessarily nilpotent?

Let $A[x]$ be the algebra of polynomials with coefficients in a $k$-algebra $A$. Assume that, for any simple $A[x]$-module $M$, one has $\text{End}_{A[x]}M = k$. Does it follow that any element of ...