All Questions
Tagged with ra.rings-and-algebras reference-request
37 questions
5
votes
1
answer
243
views
Terminology for a monoid $H$ s.t. $xy \in H^\times$ only if $x, y \in H^\times$
The title has it all. Is there any consolidated terminology for referring to a (multiplicative) monoid $H$ such that $xy \in H^\times$ (if and) only if $x, y \in H^\times$? Here is a short list of ...
- 10.5k
13
votes
3
answers
678
views
IBN for algebraic theories
Let us say that a finitary algebraic theory $\tau$ has IBN (invariant basis number) if the free functor $F : \mathsf{Set} \to \mathsf{Mod}(\tau)$ reflects the isomorphism relation: If $S,T$ are sets ...
- 63.1k
4
votes
0
answers
762
views
Rewrite sum of radicals equation as polynomial equation
My question is about a method described in [Dr.Math forum][1] for simplifying equations involving sums of radical functions.
(The following is a transcription of the example given by Dr. Vogler):
--- ...
- 153
34
votes
1
answer
5k
views
Freyd-Mitchell's embedding theorem
Freyd–Mitchell's embedding theorem states that: if $A$ is a small abelian category, then there exists a ring R and a full, faithful and exact functor $F\colon A \to R\text{-}\mathrm{Mod}$.
I have been ...
- 3,004
8
votes
2
answers
596
views
If a semigroup embeds into a group, then is it a subdirect product of groups?
The title has it all:
Q. If a semigroup $S$ embeds into a group, then is $S$ (isomorphic to) a subdirect product of groups?
If yes, then $S$ is a subdirect product of subdirectly irreducible groups,...
- 10.5k
8
votes
1
answer
321
views
Does every cancellative duo semigroup embed into a group?
Prompted by the comments to a recent answer by YCor to a related question (here), I'd like to ask the following:
Q. Does every cancellative duo semigroup embed into a group?
A (multiplicatively ...
- 10.5k
6
votes
0
answers
339
views
What is the algebraic equivalent of independent elements?
The definition/notion of independence is always a bit odd in measure theoretic probability theory.
Definition Given a probability space $(\Omega,\mathcal{F},P)$, two sets $A,B\in\mathcal{F}$ are ...
- 8,071
6
votes
1
answer
256
views
Is there any structural characterization of the rings in which every element other than the identity is a (two-sided) zero divisor?
[I fear that I'm missing something obvious here, but I'll dare to ask anyway.]
As we all know, a division ring is a (unital, associative, non-zero) ring where every non-zero element is a unit. So, let ...
- 10.5k
4
votes
1
answer
169
views
Is every invertible-free cancellative monoid action represented by "shifting" certain maps?
[Note: This question is closed. It's current content reflects a draft of a potential new question, modified from the original by adding conditions to the premises; see comments]
Let $W,X$ be ...
33
votes
2
answers
2k
views
What do cluster algebras tell us about Grassmannians?
One of the first examples of a cluster algebra given in Fomin and Zelevinsky's original paper is the homogeneous coordinate ring $\mathbb{C}[G_{2,n}]$ of the Grassmannian of planes in $\mathbb{C}^n$. ...
- 1,690
32
votes
1
answer
2k
views
Is this formal noncommutative power series identity known?
I recently discovered the following cute formal noncommutative power series identity: if $(x_i)_{i \in I}$ is some finite collection of noncommuting variables, then the formal power series
$$ 1 + \...
- 114k
24
votes
2
answers
3k
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 ...
- 12.1k
21
votes
1
answer
2k
views
Is there any non-commutative ring such that every element other than the identity is a zero divisor?
A (unital) ring $R$ with the property that every element other than the identity $1_R$ is a (two-sided) zero divisor, seems to be commonly called a "$0$-ring" or "$\mathcal O$-ring"...
- 10.5k
15
votes
2
answers
2k
views
When is bar-cobar duality an equivalence?
Let $A$ be an augmented differential graded algebra over a field $k$. I will write $BA$ for its bar construction (whose homology is $Tor^A(k, k)$). This is a co-augmented differential graded ...
- 4,133
15
votes
1
answer
1k
views
Are wild problems related to undecidable ones?
In representation theory, there is a well-known notion of a wild classification problem (such problems have been discussed often on this forum, for example, here). In logic, there is a notion of an ...
- 5,654
15
votes
1
answer
759
views
How many traces are there on Temperley-Lieb, Fuss-Catalan, Iwahori-Hecke, Birman-Wenzl-Murakami-Kauffman, ... algebras?
There is a theorem (I believe by Ocneanu) that the Markov trace on the tower of Temperley-Lieb algebras is (essentially) unique.
What about just traces on separate algebras? That is, take one of them,...
- 18.4k
13
votes
3
answers
357
views
How should one look at the set of compatible ring structures on a given group?
Earlier today I had a conversation with a friend about ways of putting topologies on sets of first-order structures; we wound up talking about reducts and expansions from a topological point of view, ...
- 21.2k
11
votes
2
answers
2k
views
Generalizing the Fundamental Theorem of Symmetric Polynomials
The fundamental theorem of symmetric polynomials tells us that the ring $\mathbb{Z}[x_1,\ldots,x_n]^{S_n}$ of symmetric polynomials in $n$ variables is generated (without relations) by the elementary ...
- 2,356
10
votes
1
answer
537
views
Coefficient-wise powers of matrices. Reference wanted
Let $K$ be a commutative field and ${\rm M}_n (K)$ be the ring of $n\times n$ square matrices with coefficients in $K$ ($n\geqslant 1$ is an integer). For $k\geqslant 1$ and $A =(a_{ij})_{1\leqslant i,...
- 6,349
10
votes
1
answer
1k
views
Is there a way to define a prime ideal object via diagrams in the category of rings?
I like to think in terms of commutative diagrams rather than referring to elements. So to me a group is really a group object, i.e. an object with some maps satisfying certain commutative diagrams. ...
- 30.3k
7
votes
2
answers
488
views
Is every cancellative semigroup a subdirect product of subdirectly irreducible cancellative semigroups?
By a classical result of Birkhoff (that is, Theorem 2 in [G. Birkhoff, Subdirect unions in universal algebra, Bull. AMS, 1944]) and the trivial fact that the class of semigroups is closed under the ...
- 10.5k
6
votes
2
answers
832
views
Constructing a ring from an abelian group in a minimal way
I'm looking for a specific construction, taking an abelian group (with designated element) $(G,+,1)$ to a commutative ring $(R,+,\cdot,1)$, where $G\subset R$ as a pointed abelian group, and which is ...
- 1,979
6
votes
1
answer
488
views
growth rate of $\mathbb{Z}^2\rtimes_{\sigma} \mathbb{Z}$?
I am interested in the growth rate of this type of group: $G=\mathbb{Z}^2\rtimes_{\sigma} \mathbb{Z}$, where $\sigma(a)=\begin{pmatrix}x&y\\z&w\end{pmatrix}\in SL_2(\mathbb{Z})$, where $a$ is ...
- 1,528
5
votes
1
answer
911
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 ...
- 493
5
votes
0
answers
154
views
One-parameter family of algebra structures: characterizing trivial deformation as adjoint 2-cocycle being a 2-coboundary
$\DeclareMathOperator\C{\mathbf{C}}$Motivation: this post discusses a simple criterion for a 1-parameter family of $n$-dimensional complex algebras to be a "trivial deformation", i.e., be ...
- 63.9k
5
votes
1
answer
367
views
Reference request: locally erasable delta-functor is universal
It is well-documented that an erasable delta-functor $(F^n,\delta)$ is universal. However, in 'small' abelian categories (in the technical sense or otherwise), there aren't always enough objects to ...
- 28.7k
4
votes
1
answer
385
views
Which monoids can be realized as the monoid of ideals of a commutative monoid?
Let $H$ be a commutative monoid (written multiplicatively). We say that a set $I \subseteq H$ is an ideal of $H$ if $IH = I$. The set $\mathcal I(H)$ of all ideals of $H$ is made into a (commutative) ...
- 10.5k
4
votes
0
answers
216
views
Characterizing atomicity in a commutative domain
In Proposition 1.1 of [Math. Proc. Cambridge Phil. Soc. 64 (1968), No. 2, 251-264], P.M. Cohn famously claimed (without proof) that a commutative domain is atomic if and only if it satisfies the ...
- 10.5k
4
votes
0
answers
157
views
On skew monoid rings and skew ordered series rings
To my knowledge (see, e.g., H.H. Brungs and G. Törner's Skew Power Series Rings and Derivations [J. Algebra 87 (1984), 368-379]), skew polynomial rings were first introduced by Ø. Ore in 1933: Given ...
- 10.5k
3
votes
1
answer
141
views
The "semi-symmetric" algebra of a vector space
If $V$ is a vector space over a field $K$, then the symmetric algebra $S(V)$ is defined as the tensor algebra $T(V)$ factorized by the two-sided ideal generated by $x\otimes y-y\otimes x$, with $x,y\...
3
votes
1
answer
343
views
How to define a generating subset for algebra in a category?
As is well known, the definition of an monoid can be generalised to the notion of a monoid $A$ in a monoidal category $C$ (see the n-lab entry here). What I would like to know is if the notion of ...
2
votes
0
answers
95
views
Socle of a quotient of the ring of differential operators of a polynomial ring
I have been reading the following paper:
https://www.sciencedirect.com/science/article/pii/S002240491000263X
Proposition 2.4(ii) shows that if $\mathfrak D$ is a ring of $k$-linear differential ...
- 81
2
votes
1
answer
192
views
Origins of a theorem on an atomic factorizations in domains and cancellative monoids satisfying the ACCPL and the ACCPR
Let $H$ be a (commutative or non-commutative) monoid. We say that $H$ satisfies the ACCPL (ascending chain condition on principal left ideals) if there exists no infinite sequence of principal left ...
- 10.5k
2
votes
0
answers
98
views
Do $r(a) \leq^\oplus R$ and $r(a) = r(a^2)$ imply $r(a) = eR$ and $aR \subseteq (1-e)R$ for some idempotent $e$?
Let $R$ be a (commutative or non-commutative, associative) ring with unity, and let $a$ be an element of $R$ such that $r(a) = r(a^2)$, where $r(\cdot)$ denotes a right annihilator. It follows that $r(...
- 10.5k
1
vote
1
answer
560
views
A good introduction to S unit equations
I was looking up some stuff when I stumbled across S unit equations. It seems to me that they are quite helpful in number theory, as given in this paper.
http://faculty.nps.edu/pstanica/research/...
- 230
1
vote
0
answers
52
views
Is every cyclic right action of a cancellative invertible-free monoid on a set isomorphic to the set of shifts of some homography?
The terms are defined in a related question. [1]
Conjecture 1. Let $A$ be a set, $W$ a cancellative invertible-free monoid, and $\cdot\colon A\times W\rightarrow A$ a cyclic right $W$-action generated ...
1
vote
1
answer
154
views
A property similar to arithmetical property
By an arithmetical ring is understood a commutative ring $R$ with
identity for which the ideals form a distributive lattice, i.e., for which
$(I+J)\cap K=(I\cap K)+(J\cap K)$ for all ideals $I, J$ ...
- 21