# Questions tagged [abstract-algebra]

For questions about monoids, groups, rings, modules, fields, vector spaces, algebras over fields, various types of lattices, and other such algebraic objects. Associate with related tags like [group-theory], [ring-theory], [modules], etc as necessary. To clarify which topic of abstract algebra is most related to your question and help other users when searching.

14,564 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2k 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$. ...
2k 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 ...
931 views

176 views

199 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 ...
572 views

### What properties do the rings of infinite, upper-triangular matrices have?

I'm very familiar with the ring of $n\times n$ matrices over a field, the ring of $n\times n$ upper triangular matrices over a field, and the ring of infinite column-finite matrices over a field. But ...
747 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 $k\hookrightarrow\mathbb{C}$....
3k views

I was wondering if "rings" with noncommutative addition are studied at all? Of course, if a ring $R$ has a $1$, then for all $a, b\in R$, $a+a+b+b=(1+1)a+(1+1)b=(1+1)(a+b)=(a+b)+(a+b)=a+b+a+b$, from ...
121 views

### Let $F_\infty=\bigcup_{n\geq1}\operatorname{Q}(2^{1/2^n})$ , $K_\infty=\bigcup_{n\geq1}\operatorname{Q}(\zeta_{2^n})$, what is the intersection?

Let $F_\infty=\bigcup_{n\geq1}\operatorname{Q}(2^{1/2^n})$ and $K_\infty=\bigcup_{n\geq1}\operatorname{Q}(\zeta_{2^n})$. What is the intersection $F_\infty\cap K_\infty$? (Here $\zeta_{2^n}$ is a ...
449 views

### Applications of Jordan-Holder theorem in an abelian category

The Jordan-Holder theorem says that any chain of subobjects of a finite lenght object can be refined to a composition series, and that any composition series has the same lenght. This theorem holds ...
344 views

457 views

### Fermat's Last Theorem ($n=3$) using the Eisenstein integers

I'm doing the first part of the following exercise in Miles Reid's Undergraduate Commutative Algebra: Exercise 0.18: Prove the cases $n=3$ and $n=4$ of Fermat's last theorem. I'm assuming I should ...
401 views

### Finite algebraic structures where all hyperoperations (addition, multiplication, exponentiation, tetration, etc.) are well-defined

Let $\langle R, +, \times, \uparrow, \uparrow\uparrow, \uparrow\uparrow\uparrow, \ldots; 0, 1\rangle$ be an algebraic structure with two constants $0, 1$ and where an infinite sequence of binary ...
164 views

### UCT and Künneth, Hom-Tensor adjunction

A few days ago, there was a similar question in an other context. Künneth: Consider the tensor product of modules $H_i(X;\mathbb{Z})\otimes A$, where $A$ is an abelian group, $X$ is a topological ...