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
109 views

Covering derivations of a quotient algebra

Let $(\mathcal{A},+,·)$ an algebra and $\mathcal{I}$ an ideal of $\mathcal{A}$. Is easy to check that if $D\in Der(\mathcal{A})$ with $D(\mathcal{I})\subseteq I$ then $D$ induces a derivation $D_I$ ...
0
votes
0answers
47 views

Injective Dimension of a quotient of the quantum plane

I am wondering what the injective dimension of the following ring is: $$\frac{A}{(ax, bx)}$$ where $A$ is the so-called quantum plane $k\langle x, y \rangle/(xy + yx)$ with $k$ a field, and $a, b$ are ...
5
votes
1answer
95 views

Symmetric algebras of given dimension

Fix an algebraically closed field $F$. Are there only finitely many symmetric algebras with unit over $F$ of a given finite dimension (up to isomorphism)? By symmetric I mean a Frobenius algebra where ...
3
votes
2answers
149 views

Rings all of whose torsion modules are cyclic

Let us call a (possibly non-commutative) ring $R$ "very good" if every finitely generated torsion left $R$-module is cyclic. Here is an example of such a ring: Let $k=\mathbb{C}((t))$ and let ...
2
votes
0answers
85 views

Conjugacy classes of involutions in Kac-Moody groups

Let $A=(a_{s,s'})_{s,s'\in S}$ be a generalized Cartan matrix. Let $G=G(A)$ be the corresponding simply connected complex Kac-Moody group with Cartan subgroup $H$ and Weyl group $W$ acting on $H$. ...
1
vote
0answers
67 views

Embedding of fields in central simple algebras over number fields

Let $K$ be a non-real CM number field of degree $2d$, with maximal totally real subfield $K_0$, and let $A$ be a central simple algebra over $K$, so that $A\simeq M_n(E)$, the $n\times n$ matrix ring ...
2
votes
1answer
127 views

annihilator of minimal prime ideal in a commutative Noetherian ring

Let M be an R-module of finite length and N a maximal submodule of M. Is there an element m in M such that m(N:M)=0? It is an generalization of this result: In a Notherian ring R, all minimal prime ...
7
votes
0answers
159 views

Terminology for vanishing of Hochschild homology with symmetric coefficients?

In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then it should hopefully be understood by most readers as saying ...
1
vote
0answers
27 views

Projectivity of a faithfully balanced self-orthogonal bimodule

Let $_RT_S$ be a faithully balanced self-orthogonal bimodule over a pair of noncommutative rings $(R,S)$, if $_RT$ is projective as a left $R$-module, can we say $T_S$ is also projective as a right ...
0
votes
0answers
176 views

Name of some commutative ring akin to $p$-adics

I need help in identifying the naming convention of some commutative ring described below. Let $p$ be a prime, let $k$ be a positive integer, and let $$\textbf{e} = (e_0,\ldots,e_{k-1})$$ be a list ...
2
votes
3answers
325 views

Subring of ring

Let given ring $R$ without zero divizors, where adittive group of $R$ with zero torsion. Let given subring $R_0\leq R$, and $p$ is prime number, such that $\forall r\in R, \exists i>0 : p^ir\in ...
9
votes
1answer
232 views

Does it follow that any element of $J(A)$ is nilpotent?

Let $A[x]$ be the algebra of polynomials with coefficients in a $k$-algebra $A$. Assume that, for any simple $A[x]$-module $M$, we have $\text{End}_{A[x]} M = k$. Does it follow that any element of ...
2
votes
1answer
92 views

projective module of rank one over notherian ring

Is finitely generated projective module M of rank one over regular commutative notherian ring free? Bass (Illinois Math J, 1963) showed that in case M is nonfinitely generated, it is free. I am ...
0
votes
0answers
50 views

One-sided endomorphism rings of centred bimodules

Let R be an associative unital ring. An R-bimodule M is called centred bimodule if M = R*Z(M), where Z(M)={m:rm=mr,∀r∈R}, i.e., M is generated as an R-module by the set of R-centralizing elements. ...
0
votes
0answers
104 views

Quotient modules of polynomial rings by maximal one-sided ideal

Let $R[X]$ be a ring of polynomials over an associative unital ring $R$ which is not necessarily commutative. Let $M$ be a maximal left ideal in $R[X]$. It is easy to see that if the intersection of ...
2
votes
1answer
204 views

Finite rank ring

Let given ring $R$ of finite rank. Is it true that for all primes $p$ large enough modules $Der_{\mathbb{Z}}(R/pR) = \{0\}$? For every ring we define $Der_{\mathbb{Z}}(R)$ as set of linear operators ...
19
votes
0answers
273 views

Topological loops vs. algebro-geometric suspension in Hochschild homology

Let $k$ be a base commutative ring, and let $A$ be a (unital but not necessarily commutative) $k$-algebra. The cone on $A$ is the ring $CA$ of infinite matrices $(a_{ij})_{i,j \geq 1}$ that are ...
1
vote
0answers
33 views

connected stable rank

There is a beautiful formula by Leonid Vaserstein relating the Bass and topological stable rank of a commutative unital Banach algebra A to that of the matrix algebra M_n(A). Is there something ...
1
vote
0answers
63 views

notation for vector product in the space

The notation for vector (a.k.a. cross) product in $\mathbb{R}^3$ I usually see is $\times$. However, some places use $\wedge$ instead, which IMHO creates a lot of confusion, as $\wedge$ usually is ...
2
votes
0answers
118 views

For f: X -> Y -> X, what is the name of the property whereby for all x in X and y1, y2 in Y, f(f x y1)y2 = f(f x y2)y1?

My PL group has been discussing this (so we are really professional reject mathematicians, but this is more about the math behind what we are doing). Some of us called it a "generalized ...
5
votes
2answers
184 views

Lefschetz Principle for semisimplicity

I think I can prove the following using the compactness of first order logic and I am wondering what a purely algebraic proof would look like. Let $R$ be a unital ring (not necessarily ...
2
votes
1answer
171 views

Where does the algebraic closure enter into Block's Theorem?

When applying Block's Theorem on the structure of differentiably simple rings to Lie algebras most authors require an algebraically closed field, but I can see no reference to algebraic closure in ...
5
votes
0answers
208 views

A roadmap to learn about finite-dimensional commutative associative real or complex unital algebras

I've always been secretly fascinated with the rich structure and applications of finite-dimensional associative unital algebras over complete fields. In particular, I am very much interested in the ...
1
vote
0answers
103 views

A simple Lie algebra with modules of a particular type

I’m trying to copy the following construction of P. Forster in group theory for Lie algebras. He takes a non-abelian simple group E which has an FpE-module V such that R = Rad(V ) is faithful and ...
3
votes
1answer
139 views

Is every $n$-ary semigroup a subalgebra of an algebra derived from a binary semigroup?

Let $(A,f)$ be an $n$-ary semigroup ($n \ge 2$). Then there exists a ($2$-ary) semigroup $(\overline A,*)$ with an inclusion homomorphism $A \hookrightarrow \overline A$ such that that the ...
1
vote
1answer
75 views

how to write down comatrix of the exceptional Jordan algebra

Suppose we have exceptional Jordan algebra, which is a $3\times3$ matrix ...
1
vote
1answer
137 views

A characterization for the ideals of $A+XB[X]$ and $A+XB[[X]]$

Let $A \subseteq B$ be an extension of commutative rings with identity. Then $A+XB[X]$ and $A+XB[[X]]$ are the polynomial and power series rings over $B$ whose constant terms are in $A$. Is there any ...
3
votes
1answer
304 views

Maximal ideal of group ring

Let $R$ be a finite commutative ring with identity and $G$ an finite abelian group. Is there any more conditions (on $R$ or on $G $) under which we can characterize maximal ideals of group ring $RG $, ...
2
votes
0answers
88 views

What is the relation (if any) between Clifford algebras and Azumaya algebras?

Suppose the base field is $\mathbb{C}$ and the Clifford algebra is the classical one (i.e. associated to a quadratic form in $n$ variables). It seems that there are relations between Clifford algebras ...
7
votes
1answer
244 views

Jordan-Hölder-like statements for modules with $\Delta$-filtrations over a quasihereditary algebra

Definitions Let $A$ be an Artin algebra (for instance, take $A$ to be a finite dimensional algebra over some field) and label the isomorphism classes of simple $A$-modules by the elements of a ...
3
votes
0answers
397 views

Some counter examples in group theory

In this question, which we flag it as a community wiki question, we search for a big list of groups $G$ which can not be isomorphic to a structure mentioned in $i.$ for some $i \in ...
5
votes
2answers
124 views

Positive Elements of a $\ast$-Algebra

In a $C^*$-algebra ${\cal A}$, a positive element is a one of the form $aa^*$, for some $a \in {\cal A}$. It is known that the set of positive elements is a cone, and that for $a,b$ two non-zero ...
7
votes
1answer
219 views

Fuzzy logic of Godel

In Gödel logic, is conjunction definable from implication, negation , and disjunction? We know that conjunction in that logic is not definable from negation and implication.
5
votes
1answer
456 views

vector spaces with uncountable dimension and a nice basis

Unlike the reals considered as a vector space over the rationals, I know of a number of nice examples of vector spaces with uncountable dimension that have a nice basis. For example, the space of ...
2
votes
0answers
69 views

Non-existence of commutative rings with many nilpotent elements with some restrictions where matrix powers are efficient

At the moment can't find better reference than "Cycle Enumeration using Nilpotent Adjacency Matrices with Algorithm Runtime Comparisons" though certainly there are others. Consider the following ...
0
votes
2answers
142 views

Making idempotent element by a relation [closed]

Let $R$ be a commutative ring with identity and let $a, b \in R$ such that $a=ab$. How can we make a non zero idempotent element of $R$ by this relation?
2
votes
1answer
151 views

Cyclic faithfully flat modules

I am looking for an example of a cyclic faithfully flat $R$-module that is not projective. Could someone help me?
1
vote
0answers
52 views

Extremal roots of Bernstein-Sato polynomials

Let $f \in \mathbb{C}[x_1,\ldots,x_n]$. Consider $D[s]$, where $D$ is the ring of polynomial coefficient differential operators in $n$ variables, and $s$ is an additional formal variable. Suppose ...
11
votes
1answer
244 views

Are all separable algebras Frobenius algebras?

Let $\mathcal C$ be a [added later: semi-simple] tensor category, and let $A=(A,m:A\otimes A\to A,i:1\to A)$ be an algebra object in $\mathcal C$. The algebra is... Separable if there is an ...
5
votes
2answers
223 views

Dickson/determinant type polynomial (updated)

For $2\leq \ell \leq k$, consider the polynomial \begin{equation} P_{k,\ell} = \prod_{1\leq a_1+\ldots+a_k\leq \ell} (a_1x_1+\ldots + a_kx_k)\in \mathbb{F}_2[x_1,\ldots, x_k] \end{equation} ...
2
votes
0answers
77 views

Morita equivalence of $K$-algebras

Given $K$ a unital commutative ring and $A$ a $K$-algebra different from $K$. Can $K$ be Morita equivalent to $A \amalg A$, where $A \amalg A$ is the coproduct in the category of unital associative ...
2
votes
0answers
72 views

Involution of unital based ring (Grothendieck ring of a fusion category)

Let $A$ be a unital based ring in the sense of [Ostrik, arXiv:math/0111139]. As part of the data we have a base $B = \{b_i\}_{i\in I}$, and an involution $i \mapsto \bar i$ of $I$ whose induced map ...
3
votes
1answer
122 views

A question about a form of elements of G2

Let $f$ be an automorphism of the octonions algebra. Then $f(x)=x$ for $x\in \mathbb R$ and $f$ restricted to $Im \mathbb O$ is in $SO(7)$. By the properties of the rotations there is an orthonormal ...
1
vote
1answer
89 views

Independent set of relations in an algebra [closed]

Let $k⟨X⟩$ be a free associative algebra generated by a set $X$ over a field $k$. Let $S$ be a set of $k$-algebra relations. Then what does it mean by the set of relations are independent ?
3
votes
1answer
384 views

A particularly “natural” algebraic structure with three commutative, pairwise-distributive operations

EDIT: As mentioned in my answer below, I was mistaken in thinking Dirichlet convolution distributes over ordinary convolution. I'm leaving this question here for reference. I keep stumbling on the ...
4
votes
0answers
173 views

Hochschild Cohomology of the Quantum Torus

I would like some advice on how to compute directly, or by a higher powered method the Hochschild Cohomology groups of the quantum torus using the stated complex I have found. I think there are ...
6
votes
1answer
145 views

presentations of subalgebras

Assume that I have a finitely presented algebra $A$ over the complex numbers (by which I mean that $A$ is generated over $\mathbb{C}$ by finitely many elements $x_1,...,x_n$ subject to finitely many ...
0
votes
1answer
227 views

Determinants of tensors [closed]

Consider a tensor of dimension $[d]\times[d]\times[d]$ which is symmetric with respect to every permutation of the indices. Are there any $\textbf{explicit}$ formulas for notions like determinant-like ...
7
votes
1answer
225 views

In modules over finite rings $Rv = Rw \iff R^\times v = R^\times w$

Let $R$ be a finite ring (with unit, possibly non-commutative), and $M$ a left module over $R$. Let $v,w\in M$. Then $$Rv = Rw \iff R^\times v = R^\times w.$$ This follows from Lemma 6.4 in ...
3
votes
0answers
185 views

Ring epimorphisms, and epimorphism in the category of small preadditive cats

This question is related to this other question I have asked some time ago. Let $R$ and $S$ be two rings and let $\phi:R\to S$ be a ring homomorphism. It is well-known that $\phi$ is an epimorphism ...