Questions tagged [noncommutative-algebra]

Non-commutative rings and algebras, non-associative algebras. Can be used in combination with ra.rings-and-algebras

Filter by
Sorted by
Tagged with
0 votes
0 answers
48 views

Definition of maximal order on an integral scheme

In the paper: The minimal model program for orders over surfaces by Daniel Chan and Colin Ingalls, they give the following definition. Let $Z$ be an integral normal scheme with quotient field $K$. An ...
user avatar
  • 101
2 votes
0 answers
49 views

On continuous seminorms on Fréchet-Stein algebras

Let $K$ be a discretely valued complete non-archimedean field and $U$ be a left Fréchet-Stein algebra as defined in Algebras of p-adic distributions and admissible representations, with a Fréchet-...
user avatar
0 votes
1 answer
61 views

Reference request: Left $R/k$-modules [closed]

In the paper titled: On the module of differentials of a noncommutative algebra and symmetric biderivations of a semiprime algebra I found the following definition: Let $k$ be a commutative ring with ...
user avatar
2 votes
1 answer
252 views

On the definition of the Cherednik algebra of a variety with a finite group action

Let $X$ be a connected complex smooth affine variety, acted on by a finite group $G$. We define a reflection hypersurface $(Y,g)$ as a smooth codimension one subvariety $Y\subset X$ which is fixed by $...
user avatar
0 votes
0 answers
57 views

Submodule of matrix space is free

Let $\mathcal{H}$ be an infinite dimensional complex inner product space, and denote by $\mathcal{H}^{n \times n} = \mathcal{H} \otimes_{\mathbb{C}} \mathbb{C}^{n \times n}$ the corresponding matrix ...
user avatar
5 votes
1 answer
224 views

Quasi-coherent cohomology in non-commutative algebraic geometry

In non-commutative algebraic geometry, the motto so to speak is to replace the study of a scheme $X$ with the study of the category $D_{qcoh}(X)$ of quasi-coherent sheaves and study the properties ...
user avatar
6 votes
0 answers
127 views

Noncommutative algebra question inspired by Young-Jucys-Murphy elements

This is really a followup to Why are Jucys-Murphy elements' eigenvalues whole numbers? , specifically to Igor Makhlin's beautiful answer. I'm trying to make it even more beautiful by getting rid ...
user avatar
3 votes
1 answer
210 views

When are simple holonomic D-modules of the form $\mathcal{D}/\mathcal{D}L$?

Let $\mathcal{D}=\mathcal{D}_X$ be the sheaf of rings of differential operators on a smooth algebraic curve $X$. Since $\dim X=1$, the D-modules of the form $\mathcal{D}/\mathcal{D}L$ are necessarily ...
user avatar
  • 1,317
2 votes
1 answer
196 views

The combinatorics of $(f \partial)^n$ in the noncommutative setting?

This is a noncommutative version of these three previous questions: differential operator power coefficients Сlosed formula for $(g\partial)^n$ A Leibniz-like formula for $(f(x) \frac{d}{dx})^n f(x)$? ...
user avatar
  • 5,661
3 votes
0 answers
202 views

How to go from primitive idempotents in $\text{End}_A(M)$ to primitive idempotents in $A$?

Let $K$ be a large enough finite field, let $A$ be a finite-dimensional $K$-algebra. Moreover, let $M$ be a finitely generated $A$-module and let $M = M_1\oplus ... \oplus M_n$ be a decomposition of $...
user avatar
4 votes
0 answers
68 views

Nullstellensatz for maximal left ideals of quantum plane

Let $R=\mathbb{C}\langle x,y\rangle/\langle xy=qyx\rangle$ be the quantum plane algebra. Does some sort of Nullstellensatz holds for the maximal left ideals of $R$? By this we mean all maximal left ...
user avatar
2 votes
0 answers
131 views

Moduli spaces of stable sheaves on noncommutative projective schemes

In noncommutative algebraic geometry in the sense of Artin and Zhang, can we construct moduli spaces of stable sheaves on noncommutative projective schemes as (commutative)schemes ? I would appreciate ...
user avatar
5 votes
1 answer
121 views

Finding non-inner derivations of simple $\mathbb Q$-algebras

What's a good example of a simple algebra over a field of characteristic $0$ which has a non-inner derivation but also has the invariant basis number property (IBN)? I'm under the impression that when ...
user avatar
  • 1,127
1 vote
0 answers
90 views

Pseudo-coherent complexes over sheaves of non-commutative rings

I am posing a question on derived categories to which I was not able to find an answer anywhere in the literature. I would appreciate any answer, hint or suggestion. Assume that $\mathcal{R}_X$ is a ...
user avatar
3 votes
0 answers
49 views

Explicit separability idempotent for the center of a separable algebra

Let $A$ be a $k$-algebra for some commutative ring $k$. Recall that $A$ is said to be separable over $k$ if the multiplication map $A\otimes_k A^{\operatorname{op}}\to A$ has a section as a map of $A\...
user avatar
  • 8,150
2 votes
1 answer
160 views

Existence of reduced norms for CSAs using fpqc descent

Let $k$ be a field and $A$ be a central simple algebra over $k$. It's known that $A$ has a splitting field (i.e. a field $K/k$ such that $A_K\cong M_n(K)$ for some $n$) which is finite and Galois. ...
user avatar
  • 1,317
4 votes
0 answers
107 views

A non-commutative, left duo ring whose only unit is the identity

Let $R$ be a ring (here, rings are always associative, unital, and non-zero). We say that $R$ is a left duo ring if $aR \subseteq Ra$ for every $a \in R$. Question. Is there a non-commutative, left ...
user avatar
0 votes
2 answers
171 views

Are there any central simple algebras admitting a standard basis?

Are there any central simple algebras admitting a standard basis? By a standard basis I mean a normal basis that has a cyclic property generalizing that of the familiar basis $1, i, j, k$ for ...
user avatar
  • 103
5 votes
1 answer
212 views

Rings s.t. each element has a power lying in the center (and their completely prime ideals)

Let $R$ be a ring (throughout, all rings are associative and unital). We say $R$ satisfies condition (C) if, for every $a \in R$, there exists an integer $n \ge 1$ (depending on $a$) such that $a^n$ ...
user avatar
4 votes
0 answers
128 views

Non-commutative rings where every non-unit is contained in a completely prime ideal

Below, all rings are associative and unital; and the word "ideal" always refers to a two-sided ideal. Let's stipulate that a ring $R$ has property (P) if every non-unit of $R$ is contained ...
user avatar
5 votes
1 answer
205 views

'Lie correspondence' for formal power series in non-commuting indeterminates

This is related to an earlier question of mine. I would like an argument or a reference (or a missing hypothesis if needed) for the following. Let $\mathbb{F}\langle\langle \alpha\rangle\rangle$ and ...
user avatar
6 votes
1 answer
259 views

Question concerning the coefficients of block idempotents

Let $G$ be a finite group. Let $p$ be a prime number such that $p \mid |G|$. Let Irr$(G)$ denote the set of ordinary irreducible characters of $G$. For $\chi\in$ Irr$(G)$ define $e_{\chi} := \frac{\...
user avatar
6 votes
1 answer
458 views

Combinatorics for the action of Virasoro / Kac–Schwarz operators: partition polynomials of free probability theory

In the background sections below, I establish the relations among characterizations of the action of Virasoro / Kac–Schwarz operators of 2D gravity models presented in terms of Laurent series by ...
user avatar
  • 7,920
6 votes
0 answers
171 views

Strange formula for the dimension of a certain space of noncommutative polynomials

Consider a vector space $V_r(n)$ spanned by (noncommutative) monomials in variables $x_1,\ldots,x_r$ $$ x_{1}^{n_1}x_{2}^{n_2}\ldots x_{r}^{n_r} $$ of total degree $n.$ Inside this space consider a ...
user avatar
2 votes
0 answers
94 views

The "matrix direct sum" monoid modulo unitary equivalence

Given a commutative $*$-ring $(R,*)$, let $M(R,*)$ be the monoid whose elements are matrices over $R$ of all possible shapes and entries, including those that have $0$ columns or $0$ rows. Let the ...
user avatar
  • 3,321
7 votes
2 answers
1k views

A ring for which the category of left and right modules are distinct

What is an example of a ring $R$ for which the abelian category of left $R$-modules is not isomorphic to the category of right $R$-modules?
user avatar
1 vote
0 answers
49 views

Exponential of a sum in a non-commutative graded algebra

Let $a,b$ be two elements of a graded algebra $A$ such that $\deg(a)=1$, $\deg(b)=0$ and $[a,b]\neq 0$. I would like to know whether there exits an explicit expression for the degree 1 component $$\...
user avatar
  • 765
3 votes
1 answer
220 views

RIng that is flat over a subring as a right module but not as a left module

What is an example of a ring $R$ and a subring $S \subseteq R$ such that $R$ is flat as a right module but not flat as a left module. The following question is my motivation: Faithful flatness for ...
user avatar
4 votes
0 answers
287 views

A projective module over a domain that is not faithfully flat?

Let $R$ be a (noncommutative) unital ring which is a domain and let $\mathcal{N}$ be a non-zero projective (right) module. Projectivity of course implies that $\mathcal{N}$ is flat, but does the fact ...
user avatar
2 votes
2 answers
153 views

Module complements to rings embedded in a projective module

Let $R$ be noncommutative unital ring and $M$ a projective (right) $M$-module. Assume that $R$ embedds into $M$ as a right -module. A) If $R$ is a semisimple ring, then of course $R$ admits an $R$-...
user avatar
1 vote
0 answers
87 views

Sequences generated from commuted quaternions and general commuted linear transformations

Given a pair of non-commuting linear transformations, $A$ and $B$, define the "next pair" in a sequence as $A*B$ and $B*A$. I am interested in finite cycles (i.e., the sequence eventually ...
user avatar
  • 1,425
2 votes
1 answer
84 views

Every module of finite uniform dimension is a direct sum of (finitely many) indecomposable

Crossposted on StackExchange on July 28 (no answer so far). Let $R$ be a (commutative or non-commutative, associative, unital) ring. It is well known that any artinian or noetherian $R$-module $M$ can ...
user avatar
26 votes
3 answers
655 views

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

Here is a concrete, if seemingly unmotivated, aspect of the question I am interested in: Question 1. Let $a$ and $b$ be two elements of a (noncommutative) semiring $R$ such that $1+a^3$ and $1+b^3$ ...
user avatar
3 votes
0 answers
55 views

Image of the reduction of a maximal order in a central simple algebra over $\mathbb Q$

Suppose $A$ is a $n^2$-dimensional central simple algebra over $\mathbb Q$, and $O_A$ is an maximal order of $A$. Choose a finite place $p$ such that $A \otimes \mathbb Q_p \cong M_n(\mathbb Q_p)$. ...
user avatar
  • 6,040
2 votes
0 answers
81 views

Do $r(a) \leq^\oplus R$ and $r(a) = r(a^2)$ imply $r(a) = eR$ and $aR \subseteq (1-e)R$ for some idempotent $e$?

Let $R$ be a (commutative or non-commutative, associative) ring with unity, and let $a$ be an element of $R$ such that $r(a) = r(a^2)$, where $r(\cdot)$ denotes a right annihilator. It follows that $r(...
user avatar
1 vote
0 answers
34 views

Rings where every indecomposable principal right ideal is extensive

Let $R$ be a (commutative or non-commutative, associative) unital ring. Following Nicholson & Yousif [1, p. 21], we say that a right ideal $\mathfrak i$ of $R$ is extensive if every $R$-linear ...
user avatar
2 votes
2 answers
91 views

Every non-zero submodule of $R_R$ has an indecomposable direct summand: True when $R$ is von Neumann regular?

Let's say that a (right) module $M$ is well complemented if every non-zero submodule of $M$ has an indecomposable direct summand (by the way, is there a better or more standard name for this property?)...
user avatar
1 vote
0 answers
101 views

On the rings $R$ with the property that $eR \cong fR$ for all primitive idempotents $e, f \in R$

Let $R$ be a (commutative or non-commutative) ring with identity. As usual, an idempotent $e \in R$ is primitive if $eR$ (the principal right ideal generated by $e$) is indecomposable as a right ...
user avatar
6 votes
0 answers
487 views

What are the topics in noncommutative algebraic geometry?

Preface: I know very little about noncommutative algebra and noncommutative geometry, so please feel free to make improvement suggestions for my question. Also, to my knowledge there are several ...
1 vote
1 answer
138 views

Origins of a theorem on an atomic factorizations in domains and cancellative monoids satisfying the ACCPL and the ACCPR

Let $H$ be a (commutative or non-commutative) monoid. We say that $H$ satisfies the ACCPL (ascending chain condition on principal left ideals) if there exists no infinite sequence of principal left ...
user avatar
14 votes
1 answer
772 views

Is there any non-commutative ring such that every element other than the identity is a zero divisor?

A (unital) ring $R$ with the property that every element other than the identity $1_R$ is a (two-sided) zero divisor, seems to be commonly called a "$0$-ring" or "$\mathcal O$-ring"...
user avatar
6 votes
1 answer
184 views

Is there any structural characterization of the rings in which every element other than the identity is a (two-sided) zero divisor?

[I fear that I'm missing something obvious here, but I'll dare to ask anyway.] As we all know, a division ring is a (unital, associative, non-zero) ring where every non-zero element is a unit. So, let ...
user avatar
1 vote
1 answer
302 views

Are there algebras over reals besides complex numbers, where identities, analoguous to $(-1)^i=e^{-\pi}$ and $i^i=e^{-\pi/2}$ hold?

Are there algebras over real numbers (with exponentiation), such that there is such $z$ that does not include components in $\mathbb{C}$ (or in a subset isomorphic to $\mathbb{C}$), for which $(-1)^z\...
user avatar
  • 8,368
2 votes
1 answer
86 views

The ring of upper triangular $n$-by-$n$ matrices over a skew field is (left and right) Rickart

Let $T_n(R)$ be the ring of upper triangular $n$-by-$n$ matrices with entries in a (commutative or non-commutative) unital ring $R$. It happened to me to note that, if $R$ is a skew field, then $T_2(R)...
user avatar
4 votes
1 answer
145 views

Is it possible to complete a basis for a free module over a finite-dimensional associative unital real algebra?

Let $\mathbb F$ be a finite-dimensional associative unital real algebra. Consider $V:=\mathbb F^n$ and let's say $p \in V$ is good if $xp=0$ only has $x=0$ as solution. Question: If $p_1$ is good, ...
user avatar
  • 374
0 votes
0 answers
110 views

Applications of directed graphs with weights in certain algebras

Let $ F $ be a rational function field in infinitely many variables and $ B $ the (non-commutative) quotient algebra $ \mathbb C\langle x_i, y_i : i \in \mathbb N \rangle / ( x_i y_i - a_i : i \in \...
user avatar
  • 117
6 votes
2 answers
298 views

Is there Z_n graded supersymmetry?

I have tried searching for something similar to what is described below, but to no avail. It would be great if somebody could show some right references, where this has been done, or explain why such ...
user avatar
  • 63
2 votes
0 answers
259 views

Bi-differential operators in the definition of star product in deformation quantisation

Let $X$ be an (affine) Poisson variety (not necessarily smooth) over an algebraically closed field of characteristic 0 (such as $\mathbb{C}$), denote $\mathcal{O}(X)$ its ring of functions and $\{-,-\}...
user avatar
2 votes
0 answers
212 views

Reference request: the UEA of the LR-algebra of tangent vector fields on a smooth manifold coincides with the derivation ring and the ring of diff ops

Let $\mathcal{M}$ be a smooth real manifold and let $A:= \mathcal{C}\left(\mathcal{M}\right)$ be the real algebra of smooth functions on $\mathcal{M}$. Recall from McConnell, Robson, Noncommutative ...
user avatar
3 votes
0 answers
149 views

Central division algebras over $ \mathbb{Q} $

Quaternions over $ \mathbb{Q} $ are an example of a Central Division algebra over $\mathbb{Q} $ for which the basis elements $\{ i,j,ij \} $ other than $1$ are represented by skew-symmetric matrices ...
user avatar
  • 693

1
2 3 4 5
9