For questions about rings which are not necessarily commutative and modules over such rings.

learn more… | top users | synonyms

1
vote
1answer
52 views

Why is there no $[X,[X,[X,Y]]]$ and $[Y,[Y,[X,Y]]]$ in the fourth order term of BCH formula?

While trying to deal with a problem involving BCH (Baker-Campbell-Hausdorff) formula, I've noticed something strange. Everywhere in the literature I've managed to fetch (for example: this and this ...
1
vote
1answer
51 views

A Direct Sum of Members of a Certain Class of Modules

Let $S$ be a class of $R$-modules and let an $R$-module $M$ be countably generated. Suppose that, for every direct summand $K$ of $M$, each element of $K$ belongs to a direct summand of $K$ that is ...
2
votes
3answers
39 views

Example of ring $R$ with ideals $I\neq J$ such that $R/I \cong R/J$ as modules

It's easy to prove that if $I$, $J$ are two-sided ideals and $R/I\cong R/J$ as modules over $R$, then $I=J$. What about left ideals? Is there a simple counterexample? I believe I've found an answer, ...
2
votes
1answer
41 views

Show that $D \cong {\rm End}_A(D^n)$ where $D$ is a division algebra and $A\cong M_n(D)$

Define $A$ to be a finite dimensional simple algebra over a field $k$. $D$ is a $k$-division algebra (not necessarily commutative) such that $A\cong M_n(D)$ for some integer $n$. Let $L$ be a minimal ...
1
vote
0answers
34 views

A condition of equivalence of flatness and projectiveness

This is a problem in "Foundations of Module and Ring Theory" of Wisbauer: " Let $R$ be a subring of the ring $S$ containing the unit of $S$. Show that a flat $R$-module $N$ is projective if and only ...
2
votes
0answers
46 views

BCH (Baker-Campbell-Hausdorff) formula for $[X,Y]=xY-yX$

If some $X$ and $Y$ satisfy the commutation relation $[X,Y]=XY-YX=xY-yX$, where $x$ and $y$ are numbers (or commute mutually and with $X$ and $Y$), then what is the closed form of $\ln(\exp X \exp ...
3
votes
2answers
36 views

A doubt about lower nil radical while proving 2-primality of ring.( Baer-McCoy Radical)

I was proving that a reversible ring is 2-Primal for an exercise in T.Y Lam's book, but I got stuck. Here is where I'm stuck: let $a$ be a nilpotent element of $R$ with $a^n=0$. Then using ...
1
vote
0answers
36 views

Simple Cogenerator for the category of left $R$-modules

I want to prove that if the category of left $R$-modules has a simple cogenerator $M$, then $R$ is a simple ring. (Here, $R$ is an arbitrary ring with $1$.) My try is to take an ideal $I$ of $R$ ...
2
votes
1answer
35 views

if $\frak{u}$ is a left ideal in a simple ring $R$, then $\frak{u}$$\cdot R =R$?

I am reading $\textit{noncommutative rings }$ by Lam. In his proof of Wedderburn-Artin theorem($\S 1.3.11$) he seems to use the following: if $\frak{u}$ is a left ideal in a simple ring $R$, then ...
0
votes
1answer
26 views

If $Rx$ is nil then $Rxr$ is nil for any $r \in R$

i am studying kothe's conjecture, ad got stuck here. if $R$ is any non commutative ring, then how is it true that if the ideal $Rx$ is nil then $Rxr$ is nil for any $r \in R$. let $sx\in Rx$, then ...
4
votes
1answer
53 views

$z\in\mathfrak R$ iff for every $a\in A$ there is $w$ for which $z+w=zaw=waz$.

In his BAII, Jacobson gives the following exercise, which he attributes to McCrimmon. Show that $z\in\mathfrak R(A)$ iff for each $a\in A$ there exist $w\in A$ such that $z+w=zaw=waz$. I have ...
1
vote
1answer
53 views

Identities involving adjoint action

I'm looking for list of identities involving adjoint action $\mathrm{ad}_A X = [A,X] = AX - XA$. For example, it can be easily shown that: \begin{equation} e^{\mathrm{ad}_A} X = e^A X e^{-A} ...
2
votes
0answers
31 views

Hochschild cohomology of skew polynomial rings

Definition The skew polynomial algebra over $\mathbb{C}$ is defined as $\mathbb{C}\langle x,y\rangle/(xy-yx+x)$ or alternatively as $\mathbb{C}[x,y,\sigma]$, where $\sigma$ is the automorphism on ...
0
votes
0answers
49 views

Global dimension of translation algebra

What is the Hochschild cohomological dimension of the "translation algebra": $\mathbb{C}\langle x,y\rangle/(xy-yx-x)$? I expect it to be $2$, but I haven;t found a serious argument as to why this ...
2
votes
0answers
66 views

Direct product of direct sum of a flat module

I have a problem concerning flat modules: Let $M$ be an $R$-module such that the direct product $M^A$ is flat for all sets $A$. I want to prove that $(M^{(B)})^A$ is also flat for any sets $A$ ...
1
vote
1answer
44 views

idempotents acting as local identities

Let $R$ be a ring with unity (not necessarily commutative) and $I$ an ideal of $R$. Suppose that for every element $a \in I$ there exists an element $c\in I$ such that $ac=a$. Note that $c$ is ...
5
votes
0answers
49 views

When is an $R$-projective module a projective module?

Let $R$ be a semiperfect ring. Is it a true fact that every $R$-projective module $M$ with $Rad(M)$ superfluous in $M$ is projective? I could not reach a good result using just the fact that ...
2
votes
1answer
53 views

The reals as an algebra over the rationals

R, the real numbers, is an infinite dimensional commutative division algebra over the rationals Q. Is there an example of an infinite dimensional noncommutative division algebra over the rationals Q?
3
votes
1answer
59 views

Locally unital ideals [duplicate]

Let $R$ be a ring with unity not necessarily commutative and $I$ an ideal of $R$. Let for every element $a \in I$ there exists an element $c\in I$ such that $ac=a$. Note that $c$ is related to $a$. ...
2
votes
0answers
34 views

Ordered rings $R$ with $ab = ba$, $ab \leq ba$ or $ba \leq ab$ for all $a, b \in R$?

Ordered rings $R$ with $ab = ba$, $ab \leq ba$ or $ba \leq ab$ for all $a, b \in R$? Are there any good examples that are not also commutative rings? I can't seem to think of any.
-2
votes
0answers
23 views

locally unital ideals of ringa [duplicate]

1 down vote favorite Let R be a ring with unity not necessarily commutative and I an ideal of R.Let for every element a of I there exists an element c of I such that ac=a.Note that c is related to a. ...
1
vote
0answers
35 views

Graduations and filtrations for localizations

I'm trying to answer the following questions: Let $A$ be a (not necessarily commutative) $\mathbb{Z}$-graded ring and $S$ a multiplicative subset of $A$ such that $AS^{-1}$ exists. Is $AS^{-1}$ a ...
0
votes
0answers
40 views

Ideals of infinite product rings

(Rewritten following earlier feedback...) (1) What are the ideals of ${\mathbb Z}^{\mathbb N}$? That is, take the ring which is the product of a countable infinity of copies of $\mathbb Z$; is there ...
1
vote
1answer
20 views

A simplified definition and examples of prime radical of a non-commutative ring

please provide a definition and some examples of prime radical (or Baer-McCoy radical or lower nilradical) of a non-commutative ring.please be specific.
5
votes
1answer
62 views

Defining algebras over noncommutative rings

A definition of "algebra" (that is, an associative algebra, in the sense of ring theory) generally requires a commutative base ring. But there are cases where it's reasonable to consider algebras ...
2
votes
1answer
94 views

Does an ideal of finite codimension in a finitely generated algebra have always to be finitely generated?

I have been reading a book on Lie Algebras ("Álgebras de Lie" by San Martin) and there is this exercise in the chapter on universal enveloping algebras with a claim that I can not prove: Suppose ...
1
vote
2answers
46 views

Building quotient rings

The quotient rings are following: $\mathbb{Z}[i]/(1+i)$, $\mathbb{Z}[i]/(1+2i)$, $\mathbb{Z}[\sqrt{-2}]/(2)$, $\mathbb{Z}[\sqrt{-2}]/(1+ \sqrt{-2})$. I know that the two first are likely to be ...
2
votes
1answer
27 views

Simplicity is invariant under extension of scalars

Problem Suppose $A$ is a central simple $k$-algebra, which means that the field $k=Z(A)$ and $A$ is itself a simple ring, where $Z(A)$ is the center of $A$, and $K/k$ is a field extension, then ...
0
votes
1answer
39 views

Lie rings: reference request

Dear friends: I am looking for a modern reference for Lie rings (In particular, I would like to have nice references for the structure of Lie ideals), let it be lecture notes or a book, in the sense ...
0
votes
1answer
43 views

Localization of a direct product

Is the localization of a direct product of two rings at a maximal (or prime) ideal identified with a localization of one of them? I would appreciate for any detailed answer.
0
votes
0answers
13 views

Finitely generated left (right) unitary modules over left(right)-Artinian ring with identity are Artinian [duplicate]

Finitely generated left (right) unitary modules over left(right)-Artinian ring $R$ with identity are Artinian. How to prove it?
1
vote
1answer
33 views

Associative ring with identity, inverses, divisors of zero and Artinianity

How to prove the following? $R$ is an associative ring with identity. $R$ contains element $r$. The element is not invertible on the right and is not a left divisor of zero. Then the ring $R$ cannot ...
1
vote
1answer
26 views

Commutativity of comodules

If C is a cocommutative R-coalgebra, R is some commutative semi-simple artinian ring and A and B are C-bicomodules, then is $A\otimes_R B \cong B \otimes_R A$ as $R-modules$. However, this also true ...
3
votes
2answers
56 views

When does multiplication with an ideal commute with the product of modules?

I have tried for some time now to prove the following statement from an exercise, and now I wonder if it is even correct: Let $A$ be a ring and $E$ a left $A$-module. For a left ideal ...
1
vote
1answer
43 views

Annihilator of a quotient module

Let $J$ be an ideal of $R$, and $M$ a right $R$-module. Since $Jr \subseteq J$, $M / MJ$ is naturally a right $R$-module. Since it seems relevant to another problem, I am trying to determine ...
1
vote
1answer
16 views

a ring which is right primitive but not left primitive.

i am doing the example constructed by BERGMAN in 1964 (see below for link), and i have a little doubt , he defines r.s=rs in Q(X) but Q(X) must have addition as operation as it is being checked for ...
1
vote
2answers
38 views

unique maximal semisimple submodule

I read a property An $R$-module $M$ has a unique maximal semisimple submodule. I am not sure whether R as a ring needs to be commutative or not. How to proof it?
5
votes
0answers
73 views

Is there an analog of Cech complex for local cohomology over noncommutative rings?

Let $A$ be a noetherian ring, and let $I\subseteq A$ be an ideal. Suppose $I$ is generated by $a_1,\dots,a_n$. Let $M$ be a left $A$-module. If $A$ is commutative, then one can compute the derived ...
1
vote
1answer
33 views

Skolem-Noether theorem

Skolem-Noether Theorem: Let S be a finite dimensional central simple k-algebra, and let R be a simple k-algebra. If f,g: R-> S are homomorphism (necessarily one-to-one), then there is an inner ...
0
votes
1answer
14 views

doubt in example of left primitive ring.

According to Lam, let k be any division ring, V be a right k-vector space, and E=End(V), operating on the left of V. then it says clearly V is faithful simple left E module, so E is left primitive ...
1
vote
1answer
76 views

How to prove that every simple left $R$-module is isomorphic to a minimal left ideal of $R$

We know that: $T$ is a simple left $R$-module $\Longleftrightarrow T\cong R/M$, where $M$ is a maximal left ideal of $R$. So please tell me how to prove that every simple left $R$-module is ...
3
votes
1answer
135 views

Pure states and irreducible *-representations

If $A$ is a $C^*$-algebra, then a $*$-representations of $A$ is irreducible if and only if the corresponding state is a pure state. What happens if don't insist on $A$ being a $C^*$-algebra? Is one ...
2
votes
1answer
46 views

Is there a (hypercomplex) number system, in which addition is **not** commutative

Now, we all know and love the quaternions, in which multiplication is not commutative, and the fact that, in all Clifford algebras, exponentiation is not commutative. Having looked at the properties ...
0
votes
1answer
32 views

Examples of algebras having a module basis

I'm looking for examples of associative $R$-algebras, for which an $R$-module basis can be specified. Of course, if $K$ is a field, then any $K$-algebra admits such a basis, but this dis not what I'm ...
1
vote
1answer
37 views

Proving this quotient of an endomorphism ring is simple.

Let $V$ be a right $D$ (a division ring) vector space of countably infinite dimension. Let $E=\mathrm{End}(V_D)$, then I is the ideal of E consisting of endomorphisms of finite rank. The claim is ...
1
vote
4answers
183 views

Global dimension of free algebra.

Is there any easy way to see the global dimension of a free algebra $$ A=k\langle x_{1},\dots,x_{n} \rangle $$ is 1?
1
vote
0answers
28 views

An inverse limit of a certain inverse system

Let $∆$ be a directed set and $(N_i,f_{ji})_{i∈∆}$ be an inverse system of $R$-modules. Fix $α \in∆$ and consider $(M_i,g_{ji})_{i\in∆}$ as follows: $M_i=N_i$ for $i≥α$, $M_i=0$ for $i<α$, and ...
0
votes
1answer
34 views

a doubt in wedderburn artin theorem

i am doing proof of wedderburn artin theorem from T Y Lam but the fact used in proof is decomposing semisimple Ring R as FINITE direct sum of minimal left ideals, but in in definition it is said to be ...
1
vote
2answers
31 views

does simple ring implies artinian ring?

so my doubt is that i am studying wedderburn artin theory and it gives structure of simple artinian rings, but if a ring is simple, it has no nonzero proper 2-sided ideals so it satisfies DCC on ...
0
votes
1answer
48 views

Is this algebra a simple ring?

Is the algebra $ \mathcal{M}_{3} ( \mathbb{C} [X,Y,Z] ) $ a simple ring (a simple algebra)? $ \mathcal{M}_{3} ( \mathbb{C} [X,Y,Z] ) $ is the matrix algebra over $ \mathbb{C} [X,Y,Z] $. Thanks a ...