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$. ...
• 297k
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

• 141
176 views

• 14.8k
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 ...
• 12.7k
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 ...
• 142k
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}$....
• 11.9k
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 ...
• 8,835
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 ...
• 361
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 ...
• 331
344 views

• 2,183
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 ...
• 11.5k
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 ...
• 4,656
164 views

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 ...
• 851
176 views

Liars, adjunctions, and functions $f : S \rightarrow UFS$. Does this lead anywhere interesting?

A student of mine was recently given the following question: "At least one of us is lying," said Andrew. "Only one of us is lying," said Bertas. "Squeak, two of us are lying," said the ...
• 65.3k