The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
2answers
172 views

Making an algebra the uniqe maximal one-sided ideal in another unital algebra

If $R$ is an algebra without a unit, then the standard unitisation $R^\sharp$ can have maximal one-sided ideals other than $R$. Thus, it is natural to ask about the following. Let $R$ be an algebra ...
4
votes
2answers
350 views

The octonion equations

A good treatment have been given to the quaternion equations. Indeed, Ivan Niven in his paper Equations in Quaternion given in this link ...
3
votes
1answer
391 views

Center of universal enveloping algebra of nilpotent lie algebra

Let g be a finite dimensional nilpotent lie algebra over a field k of characteristic zero. Let U(g) be the universal enveloping algebra and Z(g) be its center. Denote by Z_1(g) the augmentation ideal ...
0
votes
1answer
110 views

Local algebras with small maximal left ideals

Is there an infinite-dimensional, non-commutative complex local algebra $A$ (which is not a field) with the (unique) maximal left-ideal finitely generated as a left ideal? Or as a right ideal?
3
votes
0answers
514 views

Commutator Baker-Campbell-Hausdorff formula

Consider the Baker-Campbell-Hausdorff formula $\Phi(X,Y)\in\mathbb{Q}\langle\langle X,Y\rangle\rangle$ in non-commutative variables. Define $X*Y:=\Phi(X,Y)$ and $[X,Y]=(-X)*(-Y)*X*Y$, and then as ...
12
votes
4answers
746 views

Injective dimension of graded-injective modules

In "Existence theorems..." Van den Bergh proposes the following "pleasant excercise in homological algebra": Let $A$ be a connected graded noetherian $k$-algebra (that is, $\mathbb N$-graded with ...
3
votes
0answers
379 views

Noncommutative analog of Koszul complex

Let $R=R_0 \oplus R_1 \oplus R_2 ...$ be a graded not necessarily commutative algebra over field $k$ and $R$ is generated by $R_1$, $R_0=k$. In commutative situation if one wants free resolution of ...
13
votes
1answer
425 views

Is the ring of quaternionic polynomials factorial?

Denote by $\mathbb{H}[x_1,\dots,x_n]$ the ring of polynomials in $n$ variables with quaternionic coefficients, where the variables commute with each other and with the coefficients. Two polynomials ...
4
votes
1answer
223 views

Prime ideals in maximal orders (1- and 2-sided)

I am an arithmetic geometry graduate student, and I find myself needing to learn about factorisation in orders in division algebras. I know something aout algebraic number theory and commutative ...
3
votes
0answers
338 views

Software for Combinatorial Algebra sought

I am looking for software which helps me do straightforward tasks in combinatorial algebra. Let me give an example of what I mean by a straightforward task: I have two graded (generally ...
0
votes
1answer
262 views

PBW-Theorem and multigraded Lie algebras

Fix a $\mathbb Z_+^n$-graded Lie algebra ${\frak a}=\oplus_{r \in\mathbb Z_+^n}^{} {\frak a}[r]$ such that ${\frak g}:={\frak a}[0]$ is a finite-dimensional semisimple Lie algebra over the complex ...
2
votes
2answers
286 views

Are morphisms of finite length modules determined by the behaviour of the simple modules?

Assume we have a noncommuative ring $R$ with exactly 2 non-isomorphic simple left modules $S_1$ and $S_2$ (up to isomorphism) and an $R$-bimodule $M$, which switches the simples, i.e. $M\otimes_R ...
5
votes
1answer
1k views

Algebra - Decomposition of a matrix polynomial

Dear All, This is related with a problem that I'm trying to solve on my PhD dissertation in econometrics, and I thought that some mathmatician can know the answer. What is known about a possible ...
35
votes
1answer
924 views

Invertible matrices over noncommutative rings

Let $A\in M_m(R)$ be an invertible square matrix over a noncommutative ring $R$. Is the transpose matrix $A^t$ also invertible? If it isn't, are there any easy counterexamples? The question popped up ...
36
votes
1answer
2k views

What is the current status of the Kaplansky zero-divisor conjecture for group rings?

Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group. A couple of good ...
4
votes
1answer
2k views

Binomial Expansion for non-commutative setting

What could be a reference about binomial expansions for non-commutative elements? Specifically, where can I find a closed formula for the expansion of $(A+B)^n$ where $[A,B]=C$ and $[C,A]=[C,B]=0$? ...
4
votes
1answer
161 views

Expressing a element of a Matrix subgroup in terms of subgroup generators

I'm no (computational) algebraist, and my searches have been pretty unyielding (probably due to the vast amounts written on the key words), but perhaps someone may know if this is possible, and if so, ...
6
votes
1answer
410 views

G = [G,G] with two generators

Is it true that groups $\langle a,b \mid a^n b^k=b^ka^{n+1}, b^la^s=a^sb^{l+1}\rangle$ are non-trivial for almost all (in any sense:))) $n,k,l,s\in\mathbb N$?
3
votes
1answer
520 views

The Jacobson radical of an infinite dimensional algebra

Does any one know the Jacobson radical of the path algebra of the following quiver? $$\bullet \leftrightarrows \bullet$$ How many simplerepresentations of it are there? Is there any software that ...
3
votes
3answers
408 views

Gröbner/SAGBI bases for non-commutative setting

It is well known that SAGBI/Gröbner bases are important for commutative and non-commutative algebra. The references for commutative scenery is ample and vast, but I am in trouble to find a good ...
2
votes
1answer
585 views

Central division and quaternion algebras

I would like to know if there are some central-simple algebras $D_1$, $D_2$ and $D_3$ over a field $k$ satisfying the following properties : $ind(D_1)=exp(D_1)=4$ ($ind$ is the Schur index and $exp$ ...
5
votes
1answer
394 views

A Question on Koszul duality and $B(\infty)$ structures on $HH^*$

The following theorem is known from a paper "Duality in Gerstenhaber Algebras" by Felix, Menichi, Thomas. Given a simply connected space X of finite type. There is an equivalence of Gerstenhaber ...
1
vote
1answer
612 views

Local Rings problem

$\newcommand{\End}{\operatorname{End}}$ let $R$ be a local ring, $\varphi\in \End(R_{R}^{2})$, $\overline{\varphi}\in \End(\overline{R}_{\overline{R}}^{2})$, $\overline{R} =R/J(R)$ , $J(R)$= ...
4
votes
2answers
439 views

An example where finitistic dimension does not equal right global dimension?

The (right) big finitistic dimension of a ring is Findim$(R) =$ sup{proj.dim(M) | $M$ a right $R$-module of finite projective dimension}. The (right) little finitistic dimension findim$(R)$ is the sup ...
6
votes
2answers
522 views

Simple Ore extensions

Let $R[x;\sigma,\delta]$ be an Ore extension, where $R$ is an associative and unital ring and $\sigma : R\to R$ is a (not necessarily injective!) ring endomorphism. (In the literature it is often ...
6
votes
1answer
270 views

A potential resolution of $R/r$

The DGA For $k$ some field, let $R$ be a $k$-algebra, and let $r\in R$. Define a differential graded algebra $\mathbf{R}_r$ as follows. As a graded algebra, it is isomorphic to $R\langle t\rangle$, ...
2
votes
0answers
281 views

Tensor power- Notation question

Hi everyone I have a notational question, which is written usually in papers, but I can not figure it out what could be. Let $M$ be an $A$-module. I have seen this notation $$M^{\otimes -n}$$ I ...
17
votes
8answers
3k views

Simplest examples of rings that are not isomorphic to their opposites

What are the simplest examples of rings that are not isomorphic to their opposite rings? Is there a science to constructing them? The only simple example known to me: In Jacobson's Basic Algebra ...
2
votes
2answers
398 views

Model Theoretic Localization

This is a re-post on a previous question I asked. My first question was too vague to warrant detailed responses. Really, I have two specific questions to ask. 1) Let $\sigma = (A; \{0,1\}; +, ...
7
votes
1answer
1k views

Are there any finitely generated artinian modules that are not Noetherian?

It is well known that for rings, Artinian implies Noetherian (the famous Hopkins–Levitzki theorem) and it is also well known that there are Artinian modules which are not Noetherian. A simple example ...
2
votes
2answers
524 views

Torsion in tensor products over noncommutative rings

I know that the problem of torsion in tensor products, even of torsion free modules, is a very delicate thing. Unfortunately i don't have a deeper insight into this subject, so i don't know how things ...
1
vote
0answers
337 views

The sum of a nilpotent left ideal and a nil left ideal

In class, we recently saw that the sum of 2 two-sided nil ideals is a nil ideal. We were asked to show that the sum of a niplotent left ideal and a nil left ideal is a nil left ideal. I am having ...
1
vote
1answer
233 views

Ore Extensions and the Construction of the Quantum General Linear Group

In the usual (fomal) construction of the quantum general linear group $GL_q(N)$, an Ore extension is used. See for example Kassel. Why is this necessary? Surely one can just augment the set of ...
2
votes
2answers
221 views

unitary reduction of $q$-normal matrices

The unitary reduction of normal matrices is a well-known fact: if $A\in M_n(\mathbb C)$ commutes with its Hermitian adjoint $A^*$, then there exists a unitary $U\in\mathbb U_n$ and a diagonal matrix ...
29
votes
7answers
3k views

What makes a theorem *a* “nullstellensatz.”

I know what the (Hilbert) Nullstellensatz says. A MathSciNet search on "nullstellensatz" turns up nearly 200 papers, with only a minority offering either new proofs or new applications of the classic ...
7
votes
2answers
2k views

Jacobson radical = intersection of all maximal two-sided ideals

I'm embarassed to ask this question, but the literature on noncommutative rings seems to give this a berth as if it was absolutely trivial and not worth discussing, and I can't prove it, so all I can ...
4
votes
0answers
571 views

Generalized Courant-Fischer theorem

Consider some quaternionic matrix $A$. A right eigvenvalue of $A$ is a quaternion $q$ such that $Ax=xq$ for some $x\in \mathbb{H}^n$. Similarly, a left eigenvalue of $A$ is quaternion $q$ such that ...
2
votes
2answers
378 views

on existence of matrices X, Y s.t. XAY is diagonal over non-commutative ring

Given $A\in Mat_{n\times n}(R)$ where $R$ is a non-commutative associative ring are there exist any (non-zero) matrices $X, Y\in Mat_{n\times n}(R)$ such that $XAY=diag(a_1, \ldots , a_n)$ for some ...
-2
votes
2answers
570 views

Unit ideal in non-commutative rings [closed]

In a non-commutative ring (with identity), is it possible for an element which does not possess left or right inverses to generate the entire ring? i.e. $(r)=R$, where (r) is the two-sided ideal ...
3
votes
1answer
308 views

Finite Homological Dimension of R/P for all P for module finite non-commutative rings

I have a reasonably precise question which I hope is clear enough to get a nice answer. Let R be a Noetherian non-commutative ring which is finite as a module (and flat/free if it helps) over it's ...
10
votes
2answers
1k views

Why does the Grothendieck group $K_0(R)$ of a ring not depend on our choice of using left modules instead of right modules?

I am under the impression that in the definition of the Grothendieck group $K_0(R)$ of a (non-commutative) ring it doesn't matter whether we apply the usual $K_0$ construction to the exact category of ...
9
votes
2answers
1k views

Compute Lie algebra cohomology

Is there a computer algebra system that is able to compute the Lie algebra cohomology in a given representation? What if the Lie algebra is finite dimensional? In my case I would like to be able to ...
0
votes
3answers
1k views

How to work with co-multiplication?

Let $C$ be a coalgebra and $\Delta: C \to C\otimes C$ a co-multiplication map. Then, due the co-associative property we can consider $\Delta^m$. But how is defined $\Delta^{m}: C \to C^{\otimes m}$??? ...
-1
votes
2answers
254 views

Identifying a sequence of polynomials

Studying a specific quantum cluster algebra, I have come across the following sequence of polynomials : $$X_1$$ $$q^{-1/2}(X_1X_2-1)$$ $$q^{-1/2}(X_1X_2X_3-X_3-X_1)$$ ...
6
votes
1answer
260 views

Does there exist any massive proper $C^*$-subalgebra?

Definition 1: Suppose $B$ is a $C^* $-algebra. $A$ is massive $C^* $-subalgebra of $B$ iff 1. $A$ is a subalgebra of $B$; 2. for each irreducible representation $\pi$ of $B$ representation $\pi|_A$ is ...
3
votes
0answers
155 views

Pulling out factors in a Noetherian Domain

Let $R$ be a Noetherian domain (not-necessarily commutative), and let $S$ be a Noetherian subring of $R$. An element $r\in R$ is left $S$-irreducible if, for any $s\in S$ and $r' \in R$ with $sr'=r$, ...
4
votes
3answers
650 views

Set of invertible operators in B(H) is connected. Is it true? Is there a reference?

Suppose $H$ is a Hilbert space, $B(H)$ is the algebra of bounded linear operators on it, $K(H)$ is ideal of compact operators in $B(H)$, $Inv(B(H)/K(H))$ is the topological group of invertible ...
1
vote
1answer
267 views

Morphisms of a simple sheaf over an algebra to its double dual

Given a smooth and projective surface $S$ over an algebraically closed field $k$ and a sheaf of Azumaya algebras $R$, i.e. $R$ is a locally free $O_S$-module of finite rank. Let $M$ be a coherent and ...
4
votes
1answer
742 views

Length of a module over different rings

Given a regular local ring $(R,m)$ and a finitely generated $R$-algebra $S$, which is free as an $R$-module. Let $M$ be a left $S$-module of finite length, $\ell_S(M)=r<\infty$. Under what ...
23
votes
1answer
679 views

Idempotents in Rings of Differential Operators

Differential Operators on General Commutative Rings Let k be an algebraically closed field of characteristic zero, and let R be a commutative k-algebra. Then a (Grothendieck) differential operator ...