# Tagged Questions

Do NOT use this tag. Instead you could consider gr.group-theory, ac.commutative-algebra, ra.rings-and-algebras or various more specific tags.

4k views

### when is A isomorphic to A^3?

this is totally elementary, but I have no idea how to solve it: let $A$ be an abelian group such that $A$ is isomorphic to $A^3$. is then $A$ isomorphic to $A^2$? probably no, but how construct a ...
4k views

### Infinite Tensor Products

Let $A$ be a commutative ring and $M_i, i \in I$ be a infinite family of $A$-modules. Define their tensor product $\bigotimes_{i \in I} M_i$ to be a representing object of the functor of multilinear ...
700 views

### Is there one binary operation foundational for set theory?

The membership relationship "$\epsilon$" is foundational for set theory, in the sense that the axioms of any set theory are formulated in the language of "$\epsilon$". Naturally, the question arises ...
229 views

### Adjunction algebra - is there anything similar to this in abstract algebra?

I call adjunction algebra a universal algebra with one binary operation denoted as the punctuation sign (;) "semicolon" (but I will be using only one space after it, not on both sides - to avoid going ...
7k views

### When is the tensor product of two fields a field?

Consider two extension fields $K/k, L/k$ of a field $k$. A frequent question is whether the tensor product ring $K\otimes_k L$ is a field. The answer is "no" and this answer is often justified by ...
5k views

### What are the reasons for considering rings without identity?

I think a major reason is because Lie algebras don't have an identity, but I'm not really sure.
2k views

### Invariant Polynomials under a Group Action (hidden GIT)

Let's say I start with the polynomial ring in $n$ variables $R = \mathbb{Z}[x_1,...,x_n]$ (in the case at hand I had $\mathbb{C}$ in place of $\mathbb{Z}$). Now the symmetric group $\mathfrak{S}_n$ ...
3k views

### Feit-Thompson Theorem: The Odd Order Paper

For reference, the Feit-Thompson Theorem states that every finite group of odd order is necessarily solvable. Equivalently, the theorem states that there exist no non-abelian finite simple groups of ...
550 views

### Do all exact sequences $0 \rightarrow A \rightarrow A \oplus B \rightarrow B \rightarrow 0$ split for finitely generated abelian groups?

Suppose $A$ and $B$ are finitely generated Abelian groups. Are all exact sequences of the form $0 \rightarrow A \rightarrow A \oplus B \rightarrow B \rightarrow 0$ split? If not, is there an example?
258 views

### Is there any research of universal algebras axiomatized by non-Horn clauses?

A Horn clause in the language of a universal algebra is a disjunction of equations and of at most one inequality ("equation" and "inequality" are the terms used by A.Horn in his paper "On sencences ...
281 views

### Rewrite sum of radicals equation as polynomial equation

My question is about a method described in Dr.Math forum for simplifying equations involving sums of radical functions. (The following is a transcription of the example given by Dr. Vogler): --- ...
8k views

### How do you decide whether a question in abstract algebra is worth studying?

Dear MO-community, I am not sure how mature my view on this is and I might say some things that are controversial. I welcome contradicting views. In any case, I find it important to clarify this in my ...
5k views

### Canonical examples of algebraic structures

Please list some examples of common examples of algebraic structures. I was thinking answers of the following form. "When I read about a [insert structure here], I immediately think of [example]." ...
3k views

### $A$ is isomorphic to $A \oplus \mathbb{Z}^2$, but not to $A \oplus \mathbb{Z}$

Are there abelian groups $A$ with $A \cong A \oplus \mathbb{Z}^2$ and $A \not\cong A \oplus \mathbb{Z}$?
3k views

### Consequences of not requiring ring homomorphisms to be unital?

As defined in many modern algebra books, a homomorphism of unital rings must preserve the unit elements: $f(1_R)=1_S$. But there has been a minority who do not require this, one prominent example ...
2k views

### Does any textbook take this approach to the isomorphism theorems?

Below, I present an outline of a proof of the first isomorphism theorem for groups. This is how I usually think of the first isomorphism theorem for ______, but groups will get the points across. My ...
463 views

1k views

### Sign of infinite permutations?

Let $S_\infty$ the group of permutations of $\mathbb{N}$. It can be shown that there is no homomorphism $S_\infty \to \mathbf{Z}/2$ extending the sign on the finite symmetric groups. Is it possible to ...
604 views

### Obstructions for a group to be the multiplicative group of a field [duplicate]

It is well known that every finite multiplicative subgroup of a field is cyclic. I somehow got interested in a possible reverse implication: Assume we have an abelian group $G$ whose every finite ...
426 views

### Generalizing detropicalization

Given an identity in max,plus arithmetic, are there ways to turn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by ...
2k views

### Example of an infinite abelian but non-cyclic group whose automorphism group is cyclic.

Can anyone give me an example of: An infinite abelian but non-cyclic group whose automorphism group is cyclic.
423 views

### How does Constructive Quantum Field Theory work?

Please correct me if I'm wrong, but it seems to me that two and three dimensional axiomatic quantum field theory were constructed as follow: the wightman axioms were formulated in euclidean space via ...
285 views

396 views

### When does $R [x]/I$ has infinitely many idempotents?

Let $R$ be a commutative ring with identity and $R[x]$ its polynomial ring. I am looking for a ring with finitely many idempotents and an unextended ideal $I$ in $R[x]$ such that $R[x]/I$ has ...
217 views

### Endofunctors on the category of groups which are Galois- related to a linear map on $\mathbb{Q}[x]$

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with ...
458 views

### Why Jacobson, but not the left (right) maximals individually?

I firstly asked the following question on MathStackExchange a couple of months ago. I did not receive any answers, but a short comment. So, I decided to post it here, hoping to receive answers from ...
576 views

### Shape of axioms in abstract algebra

When defining abstract algebraic structures (like monoids, groups, etc...), are there some constraints on the shape of the axioms, for the structure to have good properties that we implicitly use in ...
Assume $A=K[x,y]\subset K[x,y][w]=B$, $K$ is a field of characteristic zero, $w$ is integral over $A$ (so $B$ is a f.g. $A$-module), but $w$ is not in the field of fractions of $A$, and $B$ is an ...