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

learn more… | top users | synonyms (2)

0
votes
0answers
70 views

Does there exist an Affinization or Projectivization process for Varieties?

Let us consider the classical isomorphism of real manifolds between $S^2$ and ${\mathbb CP}^1$. First strange thing we have here is that both are varieties, but $S^2$ is an affine and ${\mathbb CP}^1$ ...
1
vote
2answers
86 views

Invertibility of all left multiplication maps in non-unital rings

Suppose that $R$ is a ring, not necessarily commutative nor associative. Assume that for every non-zero $a \in R$, the left multiplication map $$ \lambda_a \colon R \to R \colon x \mapsto ax $$ is ...
2
votes
0answers
44 views

Are there nilpotent Manin Triples?

Let $\mathfrak{g}$ be a Lie bialgebra and denote by $\mathfrak{d}$ the double of $\mathfrak{g}$, i.e. $\mathfrak{d}$ is a Manin triple. Are there known examples or conditions on $\mathfrak{g}$ for ...
3
votes
1answer
68 views

Comodules of Cosemisimple Hopf Algebras

A cosemisimple Hopf algebra is one which is the sum of its cosimple sub-cobalgebras. Is it clear that a comodule of a cosemisimple Hopf algebra always decomposes into irreducible parts? Moreover, will ...
5
votes
0answers
111 views

Hemi-Semi Direct Product

In the category of racks (similarly quandles), instead of well-known semi direct product, we have hemi-semi direct product construction as seen on Wagemann & Crans and Fenn & Rourke. As far ...
-5
votes
0answers
49 views

neat identities just for operators? [closed]

In general, two operators aren't commutable. By forseeing this meaning, is there some neat identity formula for operators or matrixes ?
-2
votes
1answer
71 views

Maximal commutative subrings of the endomorphism ring of a vector space

Let $\mathbb{F}$ be a field, and $\mathbf{V}$ a possibly uncountably generated $\mathbb{F}$-vector space. Let $\mbox{End}_\mathbb{F}(\mathbf{V})$ be the endomorphism ring of $\mathbf{V}$. That the ...
2
votes
1answer
132 views

The center of a(n endomorphism) ring is a PID

Let $A$ be a torsion-free Abelian group, and let $\mbox{End}(A)$ be its endomorphism ring. Denote by $R\doteq\mathbf{Z}(\mbox{End}(A))$ the center of $\mbox{End}(A)$. What would be necessary and/or ...
3
votes
0answers
55 views

An order in $\mathbb Q[G]$ which is a maximal $\mathbb Z_p$-order in $\mathbb Q_p[G]$ for finitely many primes $p$

Let $G$ be a finite group and $S$ a finite set of prime numbers. I know that every separable $\mathbb Q$-algebra $A$ contains a maximal $\mathbb Z$-order but I wonder if the following is true. Is ...
3
votes
1answer
80 views

An invariant submodule of a projective module

This is a basic question (not research level) which has already been asked on SE by someone else but doesn't yet have an answer so I'd like to repost it on MO. Let $R$ be a commutative ring with ...
6
votes
1answer
152 views

If a faithfully flat extension of dg/A_$\infty$-algebra is formal, is the original algebra formal (over positive characteristic)?

Proposition 6.2 of Formality of DG algebras (after Kaledin) by Lunts reads (with a few additions to clarify notation): Let $k$ be a field of characteristic 0. Let $A$ be an $A_\infty$ algebra ...
0
votes
1answer
93 views

Example of noncommutative central reduced rings which is not reduced

A ring $R$ is called central reduced if every nilpotent element is central. Ungor et al. math.RA 14 Dec 2013 has given an example of a commutative ring which is central reduced but not reduced. Can we ...
0
votes
1answer
61 views

Definition of a cosemisimple Hopf algebra

A cosemisimple Hopf algebra is usually defined to a Hopf algebra which is the sum of its cosimple subcoalgebras. Does this definition assume that each cosimple subcoalgebra appears only once in the ...
1
vote
1answer
75 views

Jordan algebra of $3 \times 3$ quaternionic hermitian matrices

Let $\mathbb H = \mathbf H \otimes_{\mathbf R} \mathbf C$ be the tensor product of the quaternions with $\mathbf C$, and let $\mathcal J_3(\mathbb H)$ denote the set of $\mathbb H$-hermitian $3 \times ...
5
votes
0answers
150 views

A question on symmetric functions

Let $0 \leq m \leq n$ be integers. The group $S_n$ of permutations acts on the ring $\mathbb{Z}[X_1,\dots,X_n]$ by permuting the coordinates, with fixed subring $\mathbb{Z}[\sigma_1,\dots,\sigma_n]$, ...
-3
votes
1answer
74 views

Free algebra and ring of quotients [closed]

I am reading of example T.Y.Lam 'A first Course in Noncommutative Rings': Let $R=\mathbb{Z}\langle x,y\rangle/(y^2,yx)$. To work with $R$, we shall confuse $x,y$ with their images in $R$. Thus,we ...
1
vote
0answers
61 views

Does this system of equations have a closed form solution? [closed]

I am faced with the following system of equations and I'm looking for tools that allow me to characterize its solutions. The unknowns are $\{x_i\}$, $\{y_i\}$, and $\lambda$, for $i=1,...,N$. So there ...
8
votes
0answers
177 views

How bad can $SK_1$ of a commutative ring be?

For a commutative ring $R$ define $\mathrm{SK}_1(n, R)=\mathrm{SL}(n, R)/\mathrm{E}(n, R)$, the quotient of the special linear group by its subgroup generated by the elementary matrices. When ...
1
vote
0answers
52 views

Completion of an algebra

Based on arXiv:math/9802041v1, there is a definition for $NC$-filtration and $NC$-completion of an associated algebra over the complex numbers: Let $R$ be an associative algebra and $R^{\rm Lie} = ...
3
votes
0answers
66 views

False optima for control on Lie groups?

Consider the equation $\frac{d Y_t}{dt} = (A + w(t)B) Y_t$ evolving on a compact semi-simple Lie group $G$ where $\frak{g}$ is the Lie algebra of $G$ and $A,B \in \frak{g}$ and: $J:G \rightarrow ...
1
vote
0answers
82 views

Transitivity for algebraic extensions of integral domains?

I'm trying to prove the following result. Let $R_1\subseteq R_2\subseteq R_3$ be integral domains such that $R_1\subseteq R_2$ and $R_2\subseteq R_3$ are algebraic extensions (note: I do not want to ...
8
votes
0answers
223 views

Conjecture on matrix with reciprocal principal minors

Some notation: $A(\alpha|\beta)$ is the submatrix of $A \in \mathbb{R}^{n \times n}$ with with rows $\alpha$ and columns $\beta$. $\textrm{det } A(\alpha|\alpha) =: \textrm{det } A(\alpha)$ are the ...
-2
votes
0answers
52 views

Closed form solution to this equation (inner product of matrix inverse)

Is there a way to simplify this equation, so I can get a closed form expression for $T$? In the following, $\beta$ and $\mathbf{1}$ are $n \times 1$ vectors, and $\beta \cdot \mathbf{1}=1$. $B$ is ...
8
votes
3answers
472 views

is every element in a C* algebra a product of normal elements?

I have the following question and since I am not an expert on C*-algebras, I thought I ask it here: I know that in general the sum and product of normal elements need not be normal. It is even true ...
2
votes
0answers
65 views

Is the positive part of an algebraic bilateral p-adic convergent power series algebraic?

Let $\mathbb{Z}_p \{ X\}$ and $\mathbb{Z}_p \{ X , X^{-1}\}$ be the henselizations of $\mathbb{Z}_p [X]$ and $\mathbb{Z}_p [ X , X^{-1}]$ with respect to the ideals $p\mathbb{Z}_p [X]$ and ...
0
votes
1answer
83 views

Finitely generated projective modules over matrix rings [closed]

Is every (left) finitely generated projective modules over the matrix ring $M_n(\mathbb{C})$ isomorphic to a trivial module? Is there a good reference to look at this problem? Apologies for asking ...
2
votes
0answers
159 views

Unique product groups (and semigroups)

A group $G$ is called a u.p.-group (short for unique product group) if for all nonempty finite subsets $A,B\subseteq G$, there exists an element $g\in A \cdot B$ which can be uniquely written as a ...
7
votes
1answer
174 views

Hopfian modules

My question is slightly motivated by basic results in linear algebra, for example, that if $F$ is a field then a surjective linear map $F^n \rightarrow F^n$ is injective. More generally, any ...
2
votes
1answer
68 views

Dimension of preprojective algebra of Dynkin type

Fix a field $\Bbbk$. Let $Q$ be a Dynkin quiver and let $\Pi(Q)$ be its preprojective algebra. It is well-known that in this case $\Pi(Q)$ is finite-dimensional, but I've been unable to find a ...
1
vote
0answers
56 views

The projective resolution of a direct summand

For an $R$-module $M$ fix a projective resolution $P^\bullet\to M$. If $N$ is a direct summand of $M$, that is there is $L$ such that $M=N\oplus L$, then is there a projective resolution of $N$ which ...
9
votes
0answers
154 views

Detecting a module for the free group algebra on a finite quotient

Let $F_2$ be the free group on two generators $x,y$ and let $R$ be the group algebra $\mathbf{Q}[F_2]$. Let $a,b,c$ be integers. Then define a right $R$-module $M = R / (ax + by + c) R$. I am ...
3
votes
0answers
102 views

Does a given bound quiver algebra admit an algebra analogous to the preprojective algebra of a path algebra?

Let $Q=(Q_0,Q_1,s,e)$ be a finite quiver. In the formal construction of the preprojective algebra associated to $Q$, we set $\ Q^*_1=\{\alpha^*:y\rightarrow x| \alpha\in Q_1, \alpha:x\rightarrow y ...
2
votes
0answers
70 views

Poincaré-Birkhoff-Witt theorem for Leibniz algebras

Leibniz algebras can be seen as a non-skew-symmetric generalization of Lie algebras. I have already taken a look at some papers related to Leibniz algebras and extending main results of Lie algebras ...
1
vote
0answers
57 views

Classical ring of Quotients [closed]

Let $S$ be multiplicative set (in a ring $R$,$SS\subset S,1\in S,0\notin S$) of all regular elements.We can say S is right permutable,if for any $a \in R$and $s \in S,aS\cap sR\neq \emptyset. $We say ...
6
votes
1answer
128 views

Trivial algebras given by generators and relations

Let $V$ be a finite dimensional vector space over a field $K$ of characteristic zero. Assume that we are given a set of (not necessarily homogeneous) elements $f_1,\ldots f_n$ in the tensor algebra ...
1
vote
2answers
83 views

A Lie-like product in rings with involution

Suppose $R$ is a ring with involution $*$ and $x,y\in R$. Does the quantity $xy-y^{*}x^{*}$ have a standard name? Has this product undergone systematic study in the ring-theory literature, and if so, ...
0
votes
1answer
160 views

About the Wedderburn-Malcev Theorem

The Wedderburn-Malcev theorem states that for every (associative unital) finite-dimensional algebra $A$ over field $F$, there exist a semisimple subalgebra $S$, such that $A=\mathrm{Rad}(A)\oplus S$ ...
2
votes
2answers
434 views

For a ring R, does $GL_n(R)$ embed into $GL_m(F)$ for some field F?

Suppose $R$ is a noncommutative ring. What is the sufficient and necessary condition for $GL_n(R)$ embedding into $GL_m(F)$ for some field $F$? In particular, what if $R$ is the group ring ...
3
votes
0answers
82 views

Is there a name for a noncommutative generalization of Poisson algebra?

Is there a name for an associative algebra which is further endowed with a Lie algebra structure such that the Leibniz rule holds, i.e., $$[a, b \circ c]=[a,b]\circ c+b\circ [a,c], \hspace{15mm}(*)$$ ...
0
votes
0answers
146 views

When Noetherian ring is Artinian

Let R be a ring with1. It is known that if R is left Noetherian and every finitely generated left R-module embeddable in a free left R-module, then R is Artinian. It is known also that if every ...
2
votes
0answers
69 views

Irreducible representations in BGG category $\mathcal{O}$ over (finitely) direct sum of general linear Lie superalgebra

Let $\mathfrak{g} = \oplus_i^k\mathfrak{gl}(m_i|n_i)$ be a direct sum of general linear Lie superalgebras $\mathfrak{gl}(m_i|n_i)$'s with the Cartan subalgebra $\mathfrak{h} = \oplus_i^k ...
7
votes
1answer
134 views

Can every trace preserving isomorphism of unital self-adjoint matrix algebras be realized as conjugation by a unitary?

In this paper, Friedland shows (in Lemma 3.4) that if $\phi$ is an isomorphism of coherent algebras, then there exists a unitary $U$ such that $$ \phi(M) = UMU^\dagger$$ for all $M$. I am wondering if ...
1
vote
1answer
49 views

Under what assumptions can endomorphisms of $M/IM$ be realized as a subquotient of endomorphisms of $M$?

Suppose we have an algebra $A$ (unital, associative), with an ideal $I \leq A$ and a finitely generated module $M$ over $A$. It is possible to obtain both $\mathrm{End}_A(M)$ and ...
2
votes
1answer
89 views

An isomorphic invariant in ring theory

Let $R$ be a unital ring. We define the Murray Von Neumann relation $M$ on $R$ as follows: We say $a M b$ iff $a=xy,\;b=yx$ for some $x,y\in R$. (This is inspired by the usual Murray Von Neumann ...
1
vote
0answers
155 views

Semidirect product of semidirect products

For algebraic objects, say for groups $ N,K$ and algebra $A$, if we have the semidirect product of a semidirect product, $(A \rtimes_{\gamma} N ) \rtimes_{\theta} K$, are there conditions that would ...
3
votes
1answer
92 views

How to obtain an quantization of the algebra of functions of a given space?

My question is inspired by quantum spheres and quantum projective spaces (studied by Dijkhuizen & Noumi, Vaksman & Soibelman, etc., i.e. "A FAMILY OF QUANTUM PROJECTIVE SPACES AND RELATED ...
5
votes
1answer
263 views

A Hom-Tensor identity - $\text{Hom}_{R}(P,B)\otimes _SC \cong \text{Hom}_{R}(P,B \otimes_S C) $

let $R,S$ be associative algebras over $\mathbb{C}$. Let $\mathcal{C} \subseteq$ $R$-Mod be a full abelain subcategory of $R$-Mod which is the category of $R$-modules. Let $B$ and $C$ be, a ...
3
votes
2answers
201 views

On rings $R$ such that $xR\cap yR$ is non zero whenever $x$ and $y$ are non zero

I've isolated a property of rings (integral domains, associative, unitary, non necessarily commutative) that is useful to me : $$xR\cap yR\neq\{0\}\quad\text{ whenever $x$ and $y$ are non zero.}$$ ...
1
vote
0answers
162 views

A functor on the category of rings, algebras or compact Hausdorff topological space

Assume that $R$ is a unital ring or a complex or real (Banach or $C^{*}$) algebra. We define a relation $M$ on $R$ as follows: $$a\;M b \;\;\; \text{iff}\;\; a=xy,\;b=yx \;\; \text{for ...
7
votes
0answers
116 views

Associated graded of double Koszul dual

Let $k$ be a field, and let $A$ be a graded, connected, augmented, locally finite $k$-algebra. If $\Omega^* A$ denotes the cobar complex of $A$ (i.e., the dual $Hom_k(B_*(A), k)$ of the bar complex ...