**21**

votes

**0**answers

2k views

### Sums of injective modules, products of projective modules?

Under what assumptions on a noncommutative ring R does a countable direct sum of injective left R-modules necessarily have a finite injective dimension?
Analogously, under what assumptions on R does ...

**16**

votes

**0**answers

207 views

### Kaplansky's unit conjecture and unique products

There are three conjectures on group rings that bear the name of Kaplansky (see for example this question). The 'unit conjecture' in the title of the present question is the strongest of them, and ...

**14**

votes

**0**answers

239 views

### Computability of Brauer groups

A friend of mine and I were talking about computable algebra, and this question came up. The answer may already be known, but I couldn't find it with Google:
Suppose I have a countable field, $k$. ...

**12**

votes

**0**answers

511 views

### How to explain the picturesque patterns in François Brunault's matrix?

How to explain the patterns in the matrix defined in François Brunault's
answer to the question Freeness of a Z[x] module depicted below? --
Choosing colors according to the highest power of 2 which ...

**12**

votes

**0**answers

560 views

### Countable Hom/Ext implies finitely generated

Today I learned this interesting fact from Jerry Kaminker: If $A$ is an abelian group such that $\mathrm{Hom}(A,\mathbb{Z})$ and $\mathrm{Ext}(A,\mathbb{Z})$ are both countably generated, then in fact ...

**11**

votes

**0**answers

491 views

### Given an algebra, can it be realized as a block of a Hopf algebra?

During a classification problem I came across a set of algebras given as the path algebra of a quiver with relations. As an example the local ones: $k\langle x,y\rangle/x^2,y^2, xy-qyx$, where $q\in ...

**9**

votes

**0**answers

247 views

### Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?

Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if
(i) $R$ has finite left and right injective dimension (in which case it turns out ...

**9**

votes

**0**answers

458 views

### Is “being a full ring of quotients” a Morita invariant property?

Definition and context:
An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...

**9**

votes

**0**answers

225 views

### What do Multilinear Forms tell us about Representations?

The last few days I have been calculating whether certain group representations are real, complex, or quaternionic. It is well-known that the type of the representation corresponds to what type of ...

**8**

votes

**0**answers

143 views

### Depth for non-commutative rings

The depth of a ring or module is one of the most basic invariants in commutative ring theory.
Q1: Is there also a powerful notion of depth for non-commutative rings ?
By a search in mathscinet, I ...

**8**

votes

**0**answers

458 views

### Skew polynomial algebra

When I was a very little hare, a big grey wolf told me about the following skew polynomial algebra, which I never understood. My question is whether the following construction is a part of some bigger ...

**7**

votes

**0**answers

161 views

### What happens to simple modules under Ringel duality?

If $A$ is a quasi-hereditary algebra then its Ringel dual $A'=End_A(T)$ is the endomorphism algebra of a (minimal) full tilting module $T$ for $A$. The algebra $A'$ is again quasi-hereditary, although ...

**7**

votes

**0**answers

159 views

### Square of primary ideals

Is there any example of a $P$-primary ideal $I$ in a noetherian domain $R$ such that $I^2=PI \not=P^2$?

**7**

votes

**0**answers

129 views

### Is 2 a zerodivisor in the ring parametrizing rank-n algebras?

Let $n$ be a natural number; I am studying (commutative) rings $R$ and $R$-algebras $A$ such that $A\cong R^n$ as $R$-modules. There is a universal such algebra: a ring $R_0$ and a free, rank-$n$ ...

**7**

votes

**0**answers

442 views

### duality between universal enveloping and function algebra for GL(n)

Motivation. Few years ago I constructed a family of internal Hopf algebras in the Loday-Pirashvili tensor category of linear maps which is in a sense a generalization of the algebra of regular ...

**6**

votes

**0**answers

141 views

### Is it possible to define Hopf algebra as an object in the category of (associative) algebras?

I think this must be well-known, but I can't find references, so my apologies from the very beginning.
Consider first the notion of bialgebra. It is usually defined as an object $B$ in the category ...

**6**

votes

**0**answers

232 views

### Descending chain condition in noncommutative rings

By Hopkins Theorem it is well-known that every right (resp. left) artinian unitary ring is right (left) noetherian. Suppose that a noncommutative unitary ring R satisfies the descending chain ...

**6**

votes

**0**answers

128 views

### Classifying algebras with two idempotent generators and involution

Say that a finite-dimensional algebra $H$ over a field $K$ is dihedral if $H$ is generated by idempotents $P_1$ and $P_2$ and there is an algebra involution interchanging $P_1$ and $P_2$.
For ...

**6**

votes

**0**answers

309 views

### Is the class of additive groups of rings axiomatizable?

I know that it is impossible to axiomatize the multiplicative structures of rings, called $R$-semigroups. Is anything known about the first-order axiomatizability of the class of abelian groups which ...

**6**

votes

**0**answers

352 views

### Can we write unitary matrices as positive linear combinations of Hermitian matrices?

The space $M_n:=M_n(\mathbb{C})$ of complex $n\times n$ matrices has the structure of a finite-dimensional complex vector space.
The space of Hermitian matrices forms a cone in this vector space ...

**6**

votes

**0**answers

320 views

### Quantum polynomial rings and singularities

Something I've been thinking about lately has led me to wonder about the following. Consider the quantum polynomial ring $ Q= \mathbb{C}_{-1}[x_1,...x_n]$ generated as a graded ring in degree 1 with ...

**5**

votes

**0**answers

116 views

### Software for BMW algebra calculations?

Does software exist for computations in the BMW algebra?
For example, I'd like to be able to express elements in a basis of "totally descending tangles" as in a paper of Morton–Wassermann. At ...

**5**

votes

**0**answers

138 views

### Series in topological rings that only converge if almost all summands are zero

While trying to understand a certain topological ring better, I stumbled onto the following question.
Suppose $I$ is a fixed infinite index set, $R$ is a topological ring and $(x_i)_{i\in I}$ is a ...

**5**

votes

**0**answers

194 views

### On the linear transformation between matrix space

Suppose we have two matrix subspaces, $n\times n$ matrix subspace $S_1$ and $m\times m$ matrix subspace $S_2$. Every element of $S_1$ and $S_2$ is complex symmetric matrix.
Suppose there exists ...

**5**

votes

**0**answers

185 views

### How to compute the abelianization of the representation theory of a Hopf algebra?

I will ask two versions of my question, which probably aren't precisely the same, and I am also interested in hearing about nuances between the two.
Version 1:
Let $(C,\otimes)$ be any monoidal ...

**5**

votes

**0**answers

249 views

### Homological dimension of completed path algebras.

Let A = c[Q]/I be a finite dimensional quotient of a path algebra over a quiver Q, with I being the ideal of relations.
Is it true that the I-adic completion of A has finite homological dimension?

**5**

votes

**0**answers

206 views

### Cocontinuous monadic functors

Some forgetful functors of algebraic categories preserve colimits, but most do not. In order to understand this phenomen in general, I have classified cocontinuous monadic functors whose target is an ...

**5**

votes

**0**answers

403 views

### A reference on semisimple linear algebra

Is there any literature where the tools familiar from (multi)linear algebra are systematically transferred to the setting of semisimple modules over noncommutative rings?
In fact this question is a ...

**5**

votes

**0**answers

96 views

### Does Mittag-Lefflerness descend?

I have read in the Stacks Project that if $A \to B$ is a faithfully flat ring homomorphism, $M$ is an $A$-module, and $M \otimes_A B$ is a flat, Mittag-Leffler $B$-module, then $M$ is a flat, ...

**5**

votes

**0**answers

141 views

### integral versus adjoint action on Hopf algebra

Suppose that $H$ is a finite dimensional Hopf algebra (with counit $\varepsilon$) and $T$ is a non zero right integral of $H^{\star}$ (the dual Hopf algebra). Let $ad_h$ be the adjoint action on $H$, ...

**5**

votes

**0**answers

243 views

### Testing isomorphism of finitely generated algebras

Let $A=\mathbf{Q}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over the rational numbers. Let $B=\mathbf{Q}[f_1,\ldots,f_r]$ and
$C=\mathbf{Q}[g_1,\ldots,g_s]$ be two finitely generated ...

**5**

votes

**0**answers

219 views

### Roots of unity in algebraic K-theory

For any commutative ring $R$, the tensor product of (finitely generated, projective) $R$-modules equips the algebraic K-theory $K(R) = K_0(R)$ with the structure of a commutative ring with unit.
For ...

**5**

votes

**0**answers

338 views

### Ideal class group isomorphic to $\mathbb{Z}$

Hi everybody,
I wonder if someone could provide me with a simple example of a Dedekind ring whose ideal class group is isomorphic to $\mathbb{Z}$.
The point is I would like the example simple enough ...

**5**

votes

**0**answers

85 views

### Ring properties which can be checked on sufficiently many Ore localizations

Let $R$ be a non-commutative Ore domain, and let $R[S_i^{-1}]$ be a finite set of Ore localizations. The absence of a geometric theory means there is no obvious candidate for when this set of ...

**5**

votes

**0**answers

314 views

### Lie locally nilpotent associative algebras

Let $A$ be an associative algebra over a field. Then $A$ can be regarded as a Lie algebra via the Lie bracket defined by $[a,b]=ab-ba$ for every $a,b\in A$.
The algebra $A$ is called Lie locally ...

**5**

votes

**0**answers

275 views

### Is there an idempotent measure on the free LD system?

This is a follow up question to MO question "Idempotent measures on the free binary system?".
Let $(A,*)$ be the free binary operation on one generator which satisfies the left self distributive law:
...

**5**

votes

**0**answers

382 views

### localization at central maximal ideals

If M is a maximal ideal of Z(R), the center of a ring with identity R, and R_M, the localization of R at M, is a commutative field, what can we say about R?
My guess is that we can's say that much ...

**5**

votes

**0**answers

304 views

### is there a notion of weakly noetherian?

A left module M over a ring is finitely presented iff the functor Hom(M,_) preserves filtered inductive limit. Meanwhile, if M is finitely generated, then for every filtered system { N_i } of left ...

**5**

votes

**0**answers

428 views

### Generalized Haar Measures and Semiring-Valued Integrals on Lie Groups

In an applied research problem I am currently working on, I am using non-commutative semiring convolution to formulate some interesting types of calculations on images and solid objects. For discrete ...

**4**

votes

**0**answers

142 views

### A doubt from the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring”

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I have a doubt about the first part of Theorem 2.5. In the proof $(1)\iff ...

**4**

votes

**0**answers

64 views

### Does this kind of non-noetherian bimodule exist?

Do there exist simple rings $R$ and $S$ (i.e., rings with no proper nonzero ideals) and an $(R,S)$-bimodule $M$ such that $M$ is finitely generated both as a left $R$-module and a right $S$-module, ...

**4**

votes

**0**answers

266 views

### The logarithm over $\mathbb F_1$

In 'Cyclotomy and analytic geometry over F1', Manin proposes a version of the notion of `analytic function' over the 'field with one element $\mathbb F_1$'.
Question 1: can somebody explain or give ...

**4**

votes

**0**answers

110 views

### Formal DG-algebras

Sorry for this question but I really have difficulties with model categories.
Usually a $dg$-algebra $A$ is called formal, if there exists a $dg$-algebra $B$ and quasi-isomorphisms $$A\leftarrow B\to ...

**4**

votes

**0**answers

120 views

### Which endomorphism algebras are not Morita-trivial?

Let $\mathcal C$ be a symmetric monoidal category — for example, $\mathcal C$ might be the category of $R$-modules for a commutative ring $R$. At a minimum, I request further that:
$\mathcal C$ is ...

**4**

votes

**0**answers

92 views

### Sum of projective submodules of a projective over a semihereditary ring

Sorry in advance if this is too silly. Let $R$ be a right semihereditary ring and $P$ a projective right $R$-module. It is well-known that finitely generated (thus projective) submodules of $P$ form a ...

**4**

votes

**0**answers

222 views

### Ext groups of affine scheme

Let $A$ be a commutative ring. $\textbf{Spec}(A)$ is the the
spectrum of $A$. $M$ and $N$ are $A$-modules. $\tilde{M}$ and
$\tilde{N}$ are sheaves associated on $\textbf{Spec}(A)$
respectively.
I ...

**4**

votes

**0**answers

215 views

### Hermitian forms over quaternion algebra

Notations: Let $Q=(a,b)$ be a quaternion algebra over a field of characteristic $\neq 2$, i.e. $i^2=a, j^2=b, k=ij, ij=-ji$. Consider $K=k(t)(\alpha)$, where $\alpha=\sqrt{at^2+b}$. Let ...

**4**

votes

**0**answers

138 views

### Injectivity criterion for surjective coalgebra maps: does it hold in full generality?

Let $k$ be a commutative ring.
Let $C$ be a filtered $k$-coalgebra. This means a $k$-coalgebra equipped with an increasing $k$-module filtration $C^0 \subseteq C^1 \subseteq C^2 \subseteq ...$ ...

**4**

votes

**0**answers

104 views

### What is the composition in SesquiAlg?

To motivate my question, I will describe a famous 2-category. First, there is the 1-category $\text{Vect}$ of vector spaces (over some fixed field). This category has a tensor product $\otimes$, and ...

**4**

votes

**0**answers

426 views

### Elementary polynomial-free proofs of fundamental theorem of Galois theory?

I am looking for simple proofs that show the correspondence between intermediate fields in a field extension and subgroups of the Galois group. I'm happy for everything to be subfields of ...