Non-commutative rings and algebras, non-associative algebras, universal algebra and lattice theory, linear algebra, semigroups. For questions specific to commutative algebra (that is, rings that are assumed both associative and commutative), rather use the tag ac.commutative-algebra.

**1**

vote

**0**answers

47 views

### Characterisation of projective modules over tensor products of fields

Let $k$ be a field and $L_1$ and $L_2$ finite field extensions of $k$.
Let $A:=L_1 \otimes_k L_2$ as an algebra.
Question:
Given a finitely generated $A$-module $M$, do we have that $M$ is ...

**0**

votes

**0**answers

75 views

### Unitary element of the group algebra

Let $G$ be a torsion free group. Are unitary elements of $\mathbb CG$ studied? By unitary element I mean an element $\alpha$ in $\mathbb CG$, such that $\alpha^*\alpha=1$? Do the triviality of unitary ...

**4**

votes

**0**answers

78 views

### Does this element belong to $\mathbb CG$?

Let $G$ be a torsion-free group. Let $\alpha$ be a symmetric element of $\mathbb CG$, i.e. $\alpha^*=\alpha$, with $\|\alpha\|_1=\sum|\alpha(g)|<1$, so $\beta:=\sum_{n\ge 0}(-1)^n\alpha^n$ is an ...

**4**

votes

**2**answers

277 views

### When is $\Omega^1$ an equivalence?

Let $C$ be an abelian category with enough projectives and $\underline{C}$ the stable category of $C$ that is obtained by factoring out projective modules.
When is the functor $\Omega^1 : \underline{...

**3**

votes

**0**answers

66 views

### Sparsest similar matrix

Given a square matrix A (say with complex entries), which is the sparsest matrix which is similar to A?
I guess it has to be its Jordan normal form but I am not sure.
Remarks:
A matrix is sparser ...

**4**

votes

**2**answers

156 views

### Naturality of PD model of a CDGA

In the paper "Poincaré duality and commutative differential graded algebras", Lambrechts and Stanley constructed PD model for cdga with simply connected cohomology. My question is: if $A$ and $B$ are ...

**3**

votes

**0**answers

58 views

### conditions for algebra cohomology finiteness

Let $A=\bigoplus\limits_{n\geq 0}A_n$ be a graded (unital associative) ring, say an algebra over a field with finite dimensional graded components and $A_0$ semisimple. Are there reasonable conditions ...

**5**

votes

**0**answers

67 views

### Duality between coalgebras and (pseudocompact) algebras - uniqueness

The following result is well-known. It can for example be found in [Iovanov: The representation theory of profinite algebras, Theorem 1.0.2]. For definitions, see below.
Let $k$ be a field. The ...

**0**

votes

**0**answers

63 views

### Question about Jacobson rings

I am studying theorem (1.11)* from this article: https://sci-hub.tw/https://onlinelibrary.wiley.com/doi/abs/10.1112/jlms/s2-9.2.337
Theorem (1.11)*. Let $R$ be a Jacobson ring, then $S = R[x,\alpha]$ ...

**-4**

votes

**0**answers

51 views

### Maximal subring of matrix ring [closed]

Which ring is the maximal subring of matrix ring $M_{n}\left(R\right)$.n is the given number,maximal subring means maximal dimension.

**12**

votes

**2**answers

387 views

### Is there a good name for the operation that turns $A\operatorname{-mod}$ and $B\operatorname{-mod}$ into $A\otimes B\operatorname{-mod}$?

The name pretty much says it all: there's a well-defined operation on categories equivalent to modules over some ring: if $\mathcal{C}_1=A\operatorname{-mod}$ and $\mathcal{C}_2=B\operatorname{-mod}$, ...

**2**

votes

**0**answers

36 views

### Annihilation in algebras derived from a potential

Let $k$ be a field and $w$ be a homogeneous (may be twisted) potential of degree $s+1\ge 4$ in the algebra $k<x_1,\dots,x_n>$. This means that $w=\sum\limits_{i=1}^nx_if_i=\sum\limits_{i=1}^...

**5**

votes

**0**answers

45 views

### von Neumann regular ring homomorphisms

Let us call a ring homomorphism $f\colon R\rightarrow S$ von Neuman regular if it has the property that for every left $S$-module $M$, the left $R$-module $f^*M$ is flat.
In particular, $\mathrm{id}...

**5**

votes

**0**answers

142 views

### Are these element in a group algebra of a torsion-free group zero divisors?

Let $G$ be an arbitrary torsion-free group. For $x,y\in G$, which of these elements can be decided immediately not to be zero divisors in $\mathbb ZG$ (or in $\mathbb CG$)?
$$1+x+y,\quad 4+x+x^{-1}+y+...

**0**

votes

**0**answers

55 views

### A relation between an radical ideal and its $J$-radical

Let $R$ be a commutative ring with $1$. For an ideal $I$ of $R$ the $J$-radical of $I$, denoted by $J-rad(I)$, is the intersection of all maximal ideals of $R$ containing $I$, that is, $J-rad(I)=\cap_{...

**5**

votes

**1**answer

96 views

### Equivalence of idempotents and projective modules over nonunital rings

For a nonunital ring $R$ (or "rng") one has to be a little bit careful when considering the category of (left or right) $R$-module and, furthermore, the standard equivalent definitions of projective ...

**1**

vote

**0**answers

58 views

### Extension of a derivation

Let I be a closed left ideal of a Banach algebra A and let D:I\to I* be a derivation. Does D extend to a derivation from A to A*?

**0**

votes

**0**answers

92 views

### Krull dimensions and regular sequences

I am trying to understand if a certain condition on quotient rings is sufficient for a sequence to be regular. Here is the setting:
Let $\mathbb{C}[u_1,...,u_n]$ be the ring of regular functions on $\...

**3**

votes

**0**answers

58 views

### Can we abelianize quasi-isomorphisms of dga?

Suppose that $A \leftarrow X_1 \to \dots \leftarrow X_m \to B$ is quiso of differential graded algebras, and $A, B$ happen to be (graded) commutative. Can we find commutative $Y_1, \dots, Y_n$ ...

**1**

vote

**0**answers

46 views

### Rings with flat injective envelope and global dimension at most one

Is there a classification of rings $R$ with the following properties:
-The injective envelope of $R$ is flat.
-The global dimension of $R$ is at most one.
In case $R$ is a finite dimensional ...

**1**

vote

**1**answer

208 views

### When does a subspace of the affine space form a regular sequence in a ring of regular functions?

Let $J$ be an ideal in the ring $\mathbb{C}[u] := \mathbb{C}[u_1,...,u_n]$ of regular functions on $\mathbb{C}^n$.
Given a subspace $\mathbb{C}^k \subset \mathbb{C}^n$ and $I$ its ideal in $\mathbb{...

**4**

votes

**0**answers

167 views

### Constructing a noncommutative algebra from a commutative algebra

I was told at a conference that one way to construct a noncommutative algebra from a commutative one is to "replace the product of finite spaces (which on the level of continuous functions corresponds ...

**0**

votes

**0**answers

34 views

### Cassels Frohlich, Module index

In the book “Algebraic Number Theory” written by Cassels and Frohlich, module index is defined.
Let R be Dedekind domain, K be its quotient field, U be a n-dimensional vector space over K, and L,M be ...

**2**

votes

**0**answers

161 views

### Homological conjecture for finite dimensional algebras

In the theory of finite dimensional algebras there are many homological conjectures. When working over an algebraically closed field it is well known that any such algebra is Morita equivalent to a ...

**4**

votes

**0**answers

73 views

### Infinite-dimensional wild commutative algebras with non-trivial units

Let $A$ be an arbitrary (not necessarily finite-dimensional) associative algebra over an algebraically closed field $K$, and let $\mathrm{fin\,}A$ denote the category of finite-dimensional $A$-modules....

**0**

votes

**1**answer

117 views

### The property of category of Semirings

I’m now thinking about the property of category of semirings Rig.
Is it complete or co-complete?
I think that Rig has projective and inductive limits, and finite products and co-products, so it ...

**8**

votes

**0**answers

165 views

### Is there a theory of algebraic universal algebra?

An algebraic group is a group that is also an algebraic variety. There is also a theory of algebraic monoids. Is there are version of universal algebra that incorporates these examples, and other ...

**3**

votes

**0**answers

66 views

### Diagonalization of matrices over semirings

I was wondering if anyone happens to know results for diagonalizing matrices over semirings. I was able to find a result for commutative rings:
https://www.sciencedirect.com/science/article/pii/...

**3**

votes

**1**answer

120 views

### Coinduced modules in the BGG category $\mathcal O$ over complex semisimple Lie algebras

For a given finite-dimensional complex semisimple Lie algebera $\mathfrak g$, we fix Cartan $\mathfrak h$ and Borel subalgebras $\mathfrak b$, then we have the BGG category $\mathcal O$. As usual, we ...

**26**

votes

**0**answers

329 views

### Groups whose complex irreducible representations are finite dimensional

By a complex irreducible representation of a group $G$, I mean a simple $\mathbb CG$-module. So my representations need not be unitary and we are working in the purely algebraic setting.
It is easy ...

**4**

votes

**1**answer

120 views

### Heights of contracted ideals

Let $R$ be a non-noetherian domain. $S$ be a multiplicatively closed subset of $R$. Let $S^{-1}R$ be a localisation of $R$, where all element of $S$ is invertible. Suppose we have an ideal $I$ of $R$. ...

**4**

votes

**0**answers

46 views

### Wedderburn decomposition of twisted group algebras

Let $K$ be a field and $G$ be a finite group. Maschke's theorem states that the group algebra $KG$ is semisimple iff $|G|$ is not divisible by $\text{char}K$. In particular, if $\text{char}K=0$, the ...

**4**

votes

**0**answers

53 views

### Questions on weakly symmetric algebras

A finite dimensional algebra $A$ over a field $K$ is called weakly symmetric in case $soc(P)=top(P)$ for every indecomposable projective module $P$ and it is called symmetric in case $D(A) \cong A$ as ...

**7**

votes

**1**answer

125 views

### The Image of a Derivation is Contained in the Jacobson Radical

Let $A$ be a finite-dimensional unital commutative associative algebra over a field $K$ of characteristic $0$. Is it true that for any derivation $D$ of $A$ we have $D(A) \subseteq J(A)$ where $J(A)$ ...

**1**

vote

**0**answers

116 views

### A family of prime ideals and a family of maximal ideals

Let $R$ be a commutative ring with $1$ and let $\{\frak{p}_\alpha\}_{\alpha\in A}$ and $\{\frak{m}_\beta\}_{\beta\in B}$ be a family of prime ideals and a family of maximal ideals of $R$, respectively,...

**2**

votes

**0**answers

67 views

### Intersection condition for polynomial ring and maximal ideals

In ring theory, there is interest in a condition known as the intersection condition. There is a brief comment in McConnell-Robson along these lines: Consider the ring $R = k[x,y]$ where $k$ is a ...

**3**

votes

**0**answers

49 views

### Linearity of a canonical morphism related to scalar extension and coextension

Let $h\colon R\rightarrow S$ be a morphism of commutative ring. Let $M$ and $N$ be $R$-modules. We consider the canonical morphism of $R$-modules $$p\colon{\rm Hom}_R(S\otimes_RM,N)\rightarrow{\rm Hom}...

**3**

votes

**1**answer

77 views

### What is K+M structure?

In the following paper (Example 2.1), it has been mentioned to K+M to provide an example of a pseudo valuation domain which is not a valuation ring, and its reference is Gilmer's book, but I have no ...

**7**

votes

**0**answers

111 views

### Hochschild-Mitchell Homology

There is the notion of Hochschild-Mitchell homology for a $k$-linear category $\mathcal{C}$ (here $k$ can be a field). The definition is straightforward and so are some general properties, but somehow ...

**5**

votes

**0**answers

87 views

### The cyclic modules and self injective ring

It is well-known that if R is a Noetherian ring, and every finitely generated right R-module embeds in projective, then R is a self-injective.
My question is that could one replace "finitely ...

**6**

votes

**0**answers

95 views

### Localizations of group algebras of free groups

$\newcommand{\QQ}{\Bbb Q}$
Let $G$ be a free group on the symbols $x_1, \dots, x_n$, with $\QQ[G]$ its rational group algebra.
Write $\varepsilon: \QQ[G] \to \QQ$ for the augmentation, and for $\...

**11**

votes

**0**answers

102 views

### Group rings such that every (countably generated) module has a maximal submodule

Every (non-zero) finitely generated module over a ring has a maximal proper submodule by a simple application of Zorn's lemma.
I am interested in the following question, with two variants.
...

**2**

votes

**0**answers

45 views

### Units in the (stable) center of a Frobenius algebra [duplicate]

Let $A$ be a Frobenius algebra with center $Z(A)$ and $I\subset Z(A)$ the ideal of elements in the image of some $A$-bimodule map $A\rightarrow A\otimes A\rightarrow A$, where the second map is ...

**1**

vote

**0**answers

37 views

### Relation between left projections

Let $A$ be a Baer *-ring. Let $x$ be in $A$, $L(x)$ is the left projection of $x$ that is the smallest projection with $L(x)x=x$.
Q. Let $p,q$ are projections in $A$ with $p\leq q$. For a given ...

**7**

votes

**1**answer

235 views

### Can a positive polynomial on sphere be represented as the sum of squares of spherical harmonics

Let $p\in {\mathbb{R}}[x_1,\ldots, x_d]$ be a homogenous polynomial degree $2n$. We know that if $p$ is positive on $[-\pi,\pi]^d$, $p$ is sum of squares polynomial, i.e. $p$ can be witten as sum of ...

**1**

vote

**1**answer

69 views

### Lanczos algorithm for finding $k$ smallest eigenvector

I am trying (and have been recommended) to use the Lanczos algorithm to find the $k$ smallest eigenvectors. However, all of the literature seems to talk about this algorithm as a way to estimate the $...

**14**

votes

**2**answers

465 views

### Structures of the space of neural networks

A neural network can be considered as a function
$$\mathbf{R}^m\to\mathbf{R}^n\quad
\text{by}\quad x\mapsto w_N\sigma(h_{N-1}+w_{N-1}\sigma(\dotso h_2+w_2\sigma(h_1+w_1 x)\dotso)),$$
where the $w_i$ ...

**6**

votes

**1**answer

312 views

### The soccer splitting problem in arbitrary commutative ring

There's a folklore problem:
Let $x_1, \cdots, x_{23} \in \mathbb{Z}$ be the weights of $23$ soccer players. Now Master Yoda want's to form two soccer teams with $11$ players each. Turns out for ...

**0**

votes

**1**answer

204 views

### Book on algebraic structures

What is the most complete book on algebraic structures that deals with the complete taxonomy from magmas to Lie algebras and inner product spaces?

**1**

vote

**0**answers

35 views

### The statue of a sequence of finite projections

Let $A$ be a Baer $*$-ring. Let $\{p_n\}$ be a sequence of finite projections in $A$. True or false?
Suppose that there is no $N$ with $p_n=p_{n+1}$ for $n\geq N$. We have then $\inf_{1\leq n\leq ...