Questions tagged [ra.rings-and-algebras]

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.

Filter by
Sorted by
Tagged with
7 votes
0 answers
203 views

Projective modules over maximal orders of central simple algebras

In "Supersingular K3 surfaces" by TetsuJi Shioda, when proving Theorem 3.5 (Deligne) he considers a supersingular elliptic curve $C$ over an algebraic closed field of $\text{char}\ p>0$ and let $R ...
sawdada's user avatar
  • 6,148
4 votes
1 answer
184 views

Quotient of quasi-isomorphic cdga's

I'm looking for a theorem about quotient of quasi-isomorphic cdga's: Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) of nonpositive degrees, and $\mathfrak m \subset A, ...
Hsuan-Yi Liao's user avatar
5 votes
0 answers
638 views

Jacobson radical of a tensor product

Let $R$ be a commutative ring and $A_1$, $A_2$ be $R$-algebras. Is there any general mean to compute the Jacobson radical of the tensor product $A_1\otimes_R A_2$ in terms of ${\rm Rad}(A_i )$, $i=1,2$...
Paul Broussous's user avatar
3 votes
0 answers
49 views

$c$-matrix reduction in hereditary algebras

Let $k$ be an algebraically closed field, $Q$ be a finite connected quiver and $Q'$ a subquiver of $Q$. Let $C$ be the $c$-matrix of a chamber of the scattering diagram/semi-invariant picture of $kQ$. ...
Ying Zhou's user avatar
  • 417
3 votes
1 answer
172 views

If the sum of a right (principal) ideal with a left one contains an invertible element and the product is zero then do they contain idempotents?

I am trying to solve a problem on additive categories, that gives the following question on (non-commutative unital associative) rings: if for elements $a$ and $b$ of a ring $R$ we have $ab=0$ and $a+...
Mikhail Bondarko's user avatar
3 votes
0 answers
70 views

$\Omega^2(S) \cong \tau(S)$ for simple modules

Let $A$ be an Artin algebra with $\Omega^2(S) \cong \tau(S)$ for each simple module $S$. Is $A$ a quasi-Frobenius (=selfinjective) algebra? Here $\tau$ denotes the Auslander-Reiten translate, which is ...
Mare's user avatar
  • 25.7k
0 votes
1 answer
242 views

A peculiar operation on $M_2(\mathbb Z)$ which along with the usual matrix addition, makes $M_2(\mathbb Z)$ into a commutative ring with unity [closed]

For $A=\begin{pmatrix} a_1 & b_1 \\ c_1&d_1 \end{pmatrix}, B=\begin{pmatrix} a_2 & b_2 \\ c_2&d_2 \end{pmatrix}\in M_2(\mathbb Z)$, define $A*B:=a_1L_1BR_1+b_1L_1BR_2+c_1L_2BR_1+...
user521337's user avatar
  • 1,189
7 votes
1 answer
168 views

Cellular and primary binomial ideals

Let $I \subseteq \mathbb{K}[x_1, \dots, x_n]$ be an ideal of a polynomial ring over a field $\mathbb{K}$. $I$ is called cellular if every variable $x_i$, with $i=1, \dots, n$, is either a ...
Ella Smith's user avatar
7 votes
1 answer
202 views

Injective indecomposable modules over Laurent polynomial rings

What does the injective envelope of $\mathbb C[x,x^{-1}]/(p(x,x^{-1}))$ as a $\mathbb C[x,x^{-1}]$-module look like where $p(x,x^{-1})$ is an irreducible element? I’m sure this is well known, but ...
Benjamin Steinberg's user avatar
6 votes
1 answer
345 views

Zero divisors in complex group algebras of residually finite groups

Conjecture. There exists a function $f:\mathbb{N} \rightarrow \mathbb{N}$ such that if $\alpha$ and $\beta$ are non-zero elements of the complex group algebra $\mathbb{C}[G]$ of a finite group $G$ ...
Alireza Abdollahi's user avatar
1 vote
0 answers
135 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 ...
Mare's user avatar
  • 25.7k
1 vote
0 answers
174 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 ...
Meisam Soleimani Malekan's user avatar
3 votes
0 answers
106 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 ...
Meisam Soleimani Malekan's user avatar
4 votes
2 answers
334 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{...
Mare's user avatar
  • 25.7k
3 votes
0 answers
116 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 ...
Nacho Garcia Marco's user avatar
5 votes
2 answers
261 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 ...
Arun 's user avatar
  • 725
3 votes
0 answers
74 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 ...
Roman's user avatar
  • 1,496
9 votes
0 answers
352 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 ...
Julian Kuelshammer's user avatar
12 votes
2 answers
546 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}$, ...
Ben Webster's user avatar
  • 43.9k
2 votes
0 answers
47 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}^...
Юрий Волков's user avatar
5 votes
0 answers
82 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}...
nikola karabatic's user avatar
5 votes
0 answers
266 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+...
Meisam Soleimani Malekan's user avatar
6 votes
1 answer
678 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 ...
Joakim Arnlind's user avatar
1 vote
0 answers
91 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*?
B.Gillan's user avatar
0 votes
0 answers
298 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 $\...
BrianT's user avatar
  • 1,197
4 votes
1 answer
146 views

Dimension of a module over a left-Ore domain

If $R$ is a domain, and $M$ a (left) $R$-module, what are the different notions of dimension of $M$ and their respective assets, what do they measure? I found out that if $\dim_RM$ is the cardinal of ...
Drike's user avatar
  • 1,555
3 votes
0 answers
111 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$ ...
Denis T's user avatar
  • 4,371
3 votes
2 answers
214 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 ...
Mare's user avatar
  • 25.7k
0 votes
1 answer
249 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{...
BrianT's user avatar
  • 1,197
5 votes
0 answers
213 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 ...
TerryL's user avatar
  • 111
2 votes
0 answers
200 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 ...
Mare's user avatar
  • 25.7k
3 votes
0 answers
97 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....
Iteraf's user avatar
  • 482
4 votes
1 answer
157 views

Question on $n$-regular modules

Let $A$ be finite dimensional connected algebra. A simple module $S$ is called $n$-regular in case $pd(S)=n$, $Ext_A^i(S,A)=0$ for $i=0,1,...,n-1$ and $Ext_A^n(S,A)$ being a simple $A$-left module. ...
Mare's user avatar
  • 25.7k
6 votes
0 answers
332 views

Independence of characters with respect to polynomials

I came across the following property : Let $\mathfrak{g}$ be a Lie algebra over a ring $k$ without zero divisors, $\mathcal{U}=\mathcal{U}(\mathfrak{g})$ be its enveloping algebra. As such, $\mathcal{...
Duchamp Gérard H. E.'s user avatar
2 votes
1 answer
394 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 ...
Gear's user avatar
  • 153
7 votes
0 answers
340 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 ...
arsmath's user avatar
  • 6,720
3 votes
0 answers
85 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/...
Anton Xue's user avatar
  • 131
5 votes
1 answer
340 views

Existence of non-trivial reflexive modules

Recall that a module $M$ over a ring $R$ is reflexive in case the natural evaluation map $f_M:M \rightarrow M^{**}$ (where $M^{*}=Hom_R(M,R)$) is an isomorphism, where $f_M(m)=g$ with $g(h)=h(m)$, ...
Mare's user avatar
  • 25.7k
3 votes
1 answer
199 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 ...
GuNa's user avatar
  • 55
37 votes
0 answers
1k 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 ...
Benjamin Steinberg's user avatar
2 votes
1 answer
291 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$. ...
Pierre's user avatar
  • 563
7 votes
0 answers
171 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 ...
Janik's user avatar
  • 171
5 votes
2 answers
318 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 ...
Mare's user avatar
  • 25.7k
7 votes
1 answer
201 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)$ ...
DiegoS10's user avatar
1 vote
0 answers
343 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 ...
user304582's user avatar
2 votes
0 answers
60 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}...
Fred Rohrer's user avatar
  • 6,650
3 votes
1 answer
94 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 ...
Mahsa Pavenejad's user avatar
7 votes
0 answers
218 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 ...
Lukas Woike's user avatar
  • 1,372
5 votes
0 answers
112 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 ...
R. Shhaied's user avatar
6 votes
0 answers
125 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 $\...
Tyler Lawson's user avatar

1
23 24
25
26 27
67