# 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.

15,752 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
4k views

### Does every ring of integers sit inside a ring of integers that has a power basis?

Given a finite extension of the rationals, $K$, we know that $K=\mathbb{Q}[\alpha]$ by the primitive element theorem, so every $x \in K$ has the form $$x = a_0 + a_1 \alpha + \cdots + a_n \alpha^n,$$ ...
• 2,157
3k 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$. ...
• 332k
3k 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 ...
1k views

### Does the $32$-inator exist?

Background It is common popular-math knowledge that as we extend the real numbers to complex numbers, quaternions, octonions, sedenions, $32$-nions, etc. using the Cayley-Dickson construction, we lose ...
• 5,821
982 views

### If $K\cong K(X)$ then must $K$ be a field of rational functions in infinitely many variables?

If $k$ is any field, then the field $K=k(X_0,X_1,\dots)$ of rational functions in infinitely many variables satisfies $K(X)\cong K$ (by mapping $X$ to $X_0$ and $X_n$ to $X_{n+1}$). My question is, ...
• 332k
761 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 should ...
• 1,479
2k views

### Is there a group theoretic proof that $(\mathbf Z/(p))^\times$ is cyclic?

Theorem: The group $(\mathbf Z/(p))^\times$ is cyclic for any prime $p$. Most proofs make use of the fact that for $r\geq 1$, there are at most $r$ solutions to the equation $x^r=1$ in $\mathbf Z/(p)$...
• 4,942
666 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 ...
• 12.6k
591 views

### Galois correspondence and characteristic subgroups

It is well-known that Galois correspondence sends a normal subgroup to a normal extension of a field. Specifically, given a Galois extension $L/K$ and the corresponding Galois group $G$, normal ...
• 560
1k views

• 20.1k
178 views

### Understanding $(x)=(y)$ in rings that aren't domains

Suppose $R$ is a commutative ring with $1$. I would like to get a better understanding of the equivalence relation on $R$ $$x\sim y\iff(x)=(y)\iff\exists u,v\in R,~x=uy~\text{ and }~y=vx$$ where $(x)$ ...
• 20.3k
277 views

• 16.5k
203 views

• 1,297
890 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. ...
• 1,430
743 views

### Dual of a finite dimensional algebra is a coalgebra (ex. from Sweedler)

Let $(A, M, u)$ be a finite dimensional algebra where $M: A\otimes A \rightarrow A$ denotes multiplication and $u: k \rightarrow A$ denotes unit. I want to prove that $(A^*, \Delta, \varepsilon)$ ...
• 962
656 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.
• 19.7k