Non-commutative rings and algebras, non-associative algebras, universal algebra and lattice theory, linear algebra, semigroups.

learn more… | top users | synonyms (2)

3
votes
2answers
316 views

noncommutative polynomials equality

Suppose $x$, $y$, $z$ are three variables satisfying $yz=zy$, $zx=xz$, $xy=yzx$. Could anyone give me two (non-commutative) polynomials $f$ and $g$ in the above three variables such that the ...
2
votes
0answers
175 views

Automorphisms of the affine quadric $z_1^2+\dots+z_n^2=1$

Denote by $V$ the vanishing locus of the affine quadric $z_1^2+\dots+z_n^2-1$ in $\mathbb{C}^n$. Clearly $V$ is a complex manifold. Let $g:V\to V$ be an automorphism of $V$ (a biholomorphism, not ...
5
votes
0answers
140 views

Series in topological rings that only converge if almost all summands are zero

While trying to understand a certain topological ring better, I stumbled onto the following question. Suppose $I$ is a fixed infinite index set, $R$ is a topological ring and $(x_i)_{i\in I}$ is a ...
4
votes
1answer
370 views

Topological Problems Solved by Lattice Duality

It is well known the success of lattice dualities (as Pontryagin duality for abelian groups, Stone duality for Boolean algebras and Priestley duality for distributive lattices) to solve algebraic ...
3
votes
1answer
107 views

left primitive but not right primitive

There is a known example due to Bergman (goes back to 1963) of a ring which is left primitive but not right primitive. I am wondering if there is another (preferably simpler) example of such a ring!?
0
votes
0answers
71 views

algebras of infinite injective dimension

Are there any connected graded Noetherian algebra of infinite injective dimension but has a balanced dualizing complex? Thanks a lot.
1
vote
1answer
98 views

How to calculate $(A^{-1})_{ii}$ for an invertible hyperhermitian quaternionic matrix $A$?

The article Alesker, S. (2003). Quaternionic Monge-Ampere equations. The Journal of Geometric Analysis, 13(2), 205-238. has the following CLAIM: Claim. Let $A$ be an invertible hyperhermitian ...
4
votes
1answer
209 views

Two-sided bar construction

On page 4 of this paper by H. Abbaspour, the author defines the two-sided bar construction $$B(A,A,A):=A\otimes T(s\bar{A})\otimes A$$ of a differential graded algebra $(A,d_A)$ (over a field). The ...
6
votes
1answer
121 views

Abelian groups injective over their endomorphism

Let $M$ be an abelian group and let $R = \mbox{End}_\Bbb{Z}(M)$. Under what conditions (on $M$), $_RM$ is injective!?
0
votes
1answer
234 views

Example of a ring satisfying this variant definition of “symmetric” on nilpotent elements

I want an example to show that if $a,b$ are nilpotent elements of a ring $R$ with 1 and if $c$ is any element of $R$, then $abc=0\Rightarrow acb=0$ but $cab=0$ does not imply $acb=0$. This is unlike ...
1
vote
0answers
49 views

injective dimension of dualizing complex

Let $R$ be a balanced dualizing complex of a Noetherian connected graded algebras $A$. Dose one always have $\text{id}_A R = \text{id}_{A^{op}} R$? Thanks a lot.
9
votes
1answer
244 views

Bernstein-Sato polynomial (one variable)

Let $R = \mathbb{C}[x_1,...,x_n]$, $p \in R$. There exists a monic (of lowest degree) $b_p(x) \in \mathbb{C}[s]$ and a differential operator $D(s)$ such that $$b_p(s) p^s = D(x)p^{s+1}.$$ The ...
1
vote
0answers
44 views

Duality of morphisms induced by multiplication of regular normal element

I was confused by the sequence of modules in [Yekiutieli and Zhang, Rings with Auslander dualizing complex, p.33, l.-10]. The question is that: why is the second morphism right multiplication of $t$? ...
1
vote
2answers
116 views

On modules with finite uniform dimension

Is it true that if a module $M$ has finite uniform dimension then the same is true for its homomorphic images ?
2
votes
2answers
184 views

Tychonoff spaces and ideals

Let $X$ be a tychonoff space and let $T$ be the set of all $f \in C(X)$ such that for any $g$ the equation $fg = 1$ has at most finitely many solutions. Under what conditions on $X$, the set $T$ is an ...
2
votes
0answers
58 views

Quotient categories and essential extension

Let $A$ be a right Noetherian positively graded ring. Let $Gr(A)$ be the category of right graded $A$-modules, and $Tors(A)$ be the full subcategory of $Gr(A)$ of torsion modules. Let $QGr(A)$ be the ...
0
votes
0answers
73 views

Krull dimension of Noetherian positively graded rings

Suppose that $A$ is a positively graded Noetherian ring and $x\in A$ is a homogeneous normal element of positive degree. Do we have $K\dim A/x < K\dim A$? Krull dimension of rings is the one ...
7
votes
1answer
446 views

On the full rings of matrices

Let $R$ be a ring with elements $a,b$ such that $a^2 = 0 = b^2$ and $a+b$ is a unit. How to show that $R$ is a ring of $2\times2$ matrices? COMMENT: The converse is clearly true, just take $a = ...
8
votes
1answer
207 views

Rings in which every module has an injective image

Consider the class of rings $R$ with identity such that any left $R$-module has a non-zero injective homomorphic image. Any such ring is clearly a left V-ring. Is it true that any such ring must be ...
3
votes
2answers
227 views

on a characterisation of regular D-modules

Let $X$ be a smooth variety over a field of characteristic zero. Let $M$ be in the derived category of holonomic $\mathcal{D}_{X}$-modules, $D^{b}_{h}(\mathcal{D}_{X})$. We know that if we assume ...
2
votes
3answers
449 views

Is it true that simple projective modules are injective?

It is known that simple modules are either projective or singular. Is it true that simple projective modules over (commutative) rings are injective ?
8
votes
2answers
465 views

Origin of the Socle of a module

Where does the notation $\mbox{Soc}(M)$ (the sum of all simple submodules of a module $M$) first appear?
4
votes
0answers
237 views

Hermitian forms over quaternion algebra

Notations: Let $Q=(a,b)$ be a quaternion algebra over a field of characteristic $\neq 2$, i.e. $i^2=a, j^2=b, k=ij, ij=-ji$. Consider $K=k(t)(\alpha)$, where $\alpha=\sqrt{at^2+b}$. Let ...
-2
votes
1answer
318 views

For a ring $A$, is $A$ Morita equivalent to $M_\infty(A)$? [closed]

Let $A$ be a ring, let $M_n(A)$ be the ring of $n$-by-$n$ matrices with elements in $A$, $A$ is Morita equivalent to $M_n(A)$, I was wondering if this also applied to infinite matrices? That is, if ...
3
votes
2answers
173 views

A ring with 2 minimal left ideal and 3 minimal right ideal

Is there a (finite) ring with exactly 2 minimal left ideal and exactly 3 minimal right ideal? (rings are assumed to have identity)
0
votes
1answer
127 views

Local rings with simple radical

Is there a (finite) non-commutative local ring $R$ (containing identity) such that $J(R)$ is simple as a left module?
3
votes
0answers
159 views

Comparing different Euclidean algorithms on a Euclidean domain

I have posted this question at stackexchange (502413), without responses until now. In the papers by T. Motzkin: The Euclidean Algorithm, Bull. AMS 55, 1949, pp. 1142--1146 and P. Samuel: About ...
3
votes
3answers
312 views

A question concerning the isomorphic type of continuous functions

let $S$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are continuous outside a bounded open interval containing zero (depended on $f$). Is it possible to consider $S$ as ...
4
votes
3answers
464 views

Units in a group algebra

Let k be a field and let G be a finite group. I would like to know if there is any nice description of the group of units in the group algebra kG. (If there is no nice answer in this generality, ...
0
votes
1answer
218 views

Which algebra of functions can be represented as $C(X)$

I don't know if this problem is known or not, so any information would be appreciated: Let $\cal A$ be an $\Bbb{R}$-algebra of (not necessary continuous) real valued functions defined on a ...
8
votes
2answers
468 views

rings in which every element is a sum of two commuting idempotents

Is there a known characterization of the rings $R$ (containing $1$) with this property: every element of $R$ is a sum of two commuting idempotents.
4
votes
1answer
294 views

Does $\text{Mat}_n(k)$ have some universal properties similar to its universal enveloping algebra?

Let $k$ be a field and $\text{Mat}_n(k)$ be $n \times n$ matrices over $k$. Let's consider $\text{Mat}_n(k)$ as an associative algebra and denote $gl_n(k)$ be the same $k$-linear space as ...
3
votes
3answers
180 views

Modules for an idempotented algebra

Recall that an associative algebra $A$ is called idempotented provided that is the filtered union of subalgebras $eAe$ for $e \in A$ idempotent. I think sometimes people say that $A$ has approximate ...
5
votes
1answer
421 views

Uncountable Reduced ring $R$ with $R[x]$ has only a countable number of maximal left ideals

The question is following: Is there an uncountable reduced ring (i.e., a ring with no non-zero nilpotent element) $R$ (with identity) such that $R[x]$ has only a countable number of maximal ...
14
votes
3answers
575 views

Can one show the equivalence of the abstract and classical Jordan decompositions for simple Lie algebras without complete reducibility?

The following fact is basic in the theory of complex Lie algebras: Theorem. Let ${\mathfrak g} \subset {\mathfrak gl}_n({\bf C})$ be a simple Lie algebra, and let $x \in {\mathfrak g}$. Let $x = ...
4
votes
2answers
295 views

Is there a Tychonoff space $X$ of cardinality not of the form $2^\alpha$ such that $|C(X)| = |X|$

Let $X$ be the real line with the usual topology. Then clearly $|C(X)| = c = |X|$ and on the other hand $|X| = 2^{\aleph_0}$. Now my question is as in the title: Is there a Tychonoff space $X$ of ...
10
votes
2answers
382 views

Are these rings of functions isomorphic?

Let $R$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are continuous outside $(-1,1)$ and let $S$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are ...
12
votes
1answer
521 views

Counting representations of $k[x,y]$ when $k$ is finite

$\newcommand{\GFq}{\mathbf F_q}$ Let $r_n(q)$ denote the number of isomorphism classes of $n$-dimensional modules of the $\GFq$-algebra $\GFq[x,y]$. Is it known whether there exists a polynomial ...
5
votes
1answer
290 views

Dualizing Complexes

Let $R$ be a dualizing complex of a Noetherian graded algebra $A$ (not necessary commutative). For any $M\in D_c^b(A)$, there is a natural morphism $$ \theta: R\Gamma_m(M) \to ...
9
votes
2answers
248 views

Non-commutative reduced rings of order $p^2$

Let $p$ be a prime number. Is there a non-commutative reduced ring of order $p^2$? (Note that any ring of order $p^2$ with identity is commutative).
2
votes
1answer
187 views

Characterization of non-commutative local rings of orders 64 and 128

I need the characterization (up to isomorphism) of non-commutative local rings (with identity) of orders 64 and 128. If you know the characterization or a reference, please let me know.
8
votes
2answers
353 views

Is it true that if $M$ is injective then $S^{-1}M$ is also injective

Let $R$ be a commutative ring with identity and let $S$ be a multiplicative subset of $R$. Is it true that for any injective $R$-module like $M$, $S^{-1}M$ (as the $S^{-1}R$-module) is also injective ...
11
votes
2answers
1k views

Writing a matrix as a sum of two invertible matrices

Let $n\geq 2$. Is it true that any $n\times n$ matrix with entries from a given ring (with identity) can be written as a sum of two invertible matrices with entries from the same ring ?
0
votes
1answer
176 views

Number of Minimal left ideals in the full matrix ring over a finite commutative local ring

Inspired with another QUESTION I would like to know the number of minimal left ideals of $M_n(R)$ in terms of $n$ and $R$ where $R$ is a finite local commutative ring with identity ?
2
votes
1answer
136 views

How to compute that Socle of the full matrix rings

Ler $R$ be a ring with identity. I believed that $M_n(\mbox{Soc}(R_R)) = \mbox{Soc}(M_n(R)_{M_n(R)})$ but I can not prove it. Any help would be helpful.
4
votes
1answer
178 views

When are infinite dimensional path algebras hereditary?

I allready asked this on MO, but did not get any answer. Given a finite quiver with relations. When is the path algebra modulo relations hereditary? If the path algebra is finite dimensional or ...
1
vote
1answer
344 views

The space $\psi$

Is the space $\psi$ (described in problem 5I of L. Gillman and M. Jerison, Rings of continuous functions, Springer Verlag, 1976) a F-Z-space (i.e, space with $cl(X-Z(f))$ is a zero set for every $f$ ...
3
votes
2answers
281 views

How to understand a solenoid?

Consider the invertible extension of the circle-doubling map T(x)=2x (mod 1), the new system can be represented as X={(x_k)|x_{k+1}=T(x_k)}(see GTM 259 ...
0
votes
1answer
116 views

Number of minimal left ideals

Is there any way to compute the number of minimal left ideals of $M_n(K)$, the full $n\times n$ matrix ring with entries in the field $K$ ?
6
votes
4answers
366 views

How universal is operadic approach to studying algebras?

I have just started to read about operads, so this question might be silly. So it seems to me that any "reasonable" class of algebras can actually be defined as a class of all algebras over a certain ...