Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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 ...