# Tag Info

### Why is the bicategory viewpoint useful?

You believe the 1-category is interesting but somehow not the bicategory, yet one could say the exact same thing one dimension below: Why is this category even interesing while you could just consider ...
• 39.9k

### Subtraction-free identities that hold for rings but not for semirings?

The answer to your first question is yes (which was very surprising to me, to be honest). I have no idea whether the second question also has a positive answer. (By the way, don't let the work below ...
• 18k
Accepted

• 1,593
Accepted

### Subtraction-free identities that hold for rings but not for semirings?

Tim Campion's idea works, though his example needs a little fixing. As in Tim's answer, we will find a rig with two elements $X$ and $Y$ such that $X+Y=1$ but $XY \neq YX$. Let $(M,+,0)$ be any ...
• 150k

### Center of a monoid ring

This was originally two questions, one asking about the center of a group ring and one asking about the center of a monoid ring. The answer for groups is quite simple but the answer for monoids is ...
• 37.2k
Accepted

### Ring in which $x^n-x$ is central for every $x$

Herstein, "A generalization of a theorem of Jacobson" Amer. J. Math. 73 (1951), 756–762 proves this. Also part III, Amer. J. Math. 75 (1953), 105–111 proves something a bit more general. ...
• 11.2k

### Subtraction-free identities that hold for rings but not for semirings?

The answer to the second question is no in general. For instance, in an associative ring, the elements $x(x+y)^{-1}$ and $y(x+y)^{-1}$ necessarily commute — in other words, if $a + b = 1$, then $a$ ...
• 60.2k
Accepted

### Categories of modules generated under coproducts by a small set?

The rings satisfying your condition (for right modules) are the right pure semisimple rings. There are many equivalent conditions. You can find a lot of information in Section 4.5 of the book Prest, ...
• 33.7k
Accepted

### If the Grothendieck ring of a semiring on a free commutative monoid is unital, is the original semiring unital?

The answer is no. Let $S$ be a finite meet semilattice without maximum. For concreteness, take $S$ to be the proper subsets of $\{1,2\}$ under intersection. Let $\mathbb NS$ be the semigroup ...
• 37.2k
Accepted

### Morita equivalences and centers of some algebras

The answer is that in your matrix $\left(\begin{smallmatrix} 0&x_0\\0&0\end{smallmatrix}\right)$, the $x_0$ denotes the isomorphism of modules given by left multiplication by $x_0$, so it ...
• 11.2k
Accepted

### Kaplansky inverse element theorem on group C-star algebra

This is not accurate as far as discrete groups are concerned. First of all it is an open question, called Kaplansky's direct finiteness conjecture, whether every group ring over a field has the ...
• 37.2k

### Does $R$ is Dedekind-finite imply $\mathbb{M}_n(R)$ is Dedekind-finite

The answer is no, even for $n=2$. One thng to note is that over the decades, different groups of authors have used different terminology. The property you call Dedekind-finite has been called ...
• 25.4k

### Idempotent Laurent polynomials (in noncommuting variables)

No, it can not. $R$ is a group ring of the free group with $n$ generators. This group is locally indicable (any non-trivial subgroup has a homomorphism onto $\mathbb{Z}$), thus by result of Higman (...
• 102k
Accepted

### $H^1(X, GL(n, \mathcal{O}_X))$ and Vector Bundles

Yes, this is called non-abelian sheaf cohomology. If $X$ is a topological space and $\mathcal{G}$ is a sheaf of groups, then $H^0(X, \mathcal{G})$ is the global sections of $\mathcal{G}$, and there is ...
• 150k
Accepted

### Infinite linearly independent set in finitely generated module

In a commutative ring $R$ this does not exist. Better for any $n\ge 0$, if $M$ is an $R$-module generated by $n$ elements, then $R^{n+1}$ doesn't embed into $M$. Indeed, lifting if necessary, we can ...
• 60k

### Is every graded hereditary ring hereditary?

No, consider the graded ring $R_{\ast}=\mathbb{Z}[x,x^{-1}]$ with $|x|=1$. Then the functor $M\mapsto M_0$ gives an equivalence from graded $R_{\ast}$-modules to abelian groups, so $R_{\ast}$ is ...
• 54.8k
Accepted

### Quotient Ring number

The definition of $N_i(R,I)$ depends only on $R/I$, which is a ring isomorphic to $M_n(q)$ as HeinrichD has already observed. Thus, the question is: what is the sum  S = \sum_{A\in M_n(q)} A^i \quad?...
• 12.1k

### the relation between projective and quasi-projective modules

Every simple module is trivially quasi-projective, and if every simple $R$-module is projective then $R$ is semisimple. So semisimple rings are the only rings for which quasi-projective implies ...
• 33.7k
Accepted

### number of indecomposable summands of an extension of two modules

The answers to both questions are no in general, with a counter-example being given by the path algebra of a quiver of type $\mathsf{D}_4$—the category of left modules over this algebra is a Hom-...
• 1,660
Accepted

### invertibility of matrix over free associative algebra

You are asking whether the following holds. Claim. Let $F$ be a field. Then the free associative algebra $F\langle x,y\rangle$ is a $GE_2$-ring in the sense of P. M. Cohn [2]. The answer ...
• 7,343
Accepted

The answer is yes, by Corollary 2.2 in C. Nastasescu, F. Van Oystaeyen, Graded rings with finiteness conditions II, Comm. Algebra 13 (1985), 605-618. More generally, we have the following. Let $G$ ...
• 6,650
Accepted

### Curious anti-commutative ring

I noticed this now, and I want to remark that the underlying abelian group can in fact be described very precisely. To do that, note that: (1) the defining relations easily imply that the abelian ...
• 16.1k