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

learn more… | top users | synonyms (2)

-4
votes
0answers
77 views

Prove $R$ is a finite ring [on hold]

Suppose that $R$ is a ring and $D(R)$ is the set of all elements $x\in R$ such that there exist $b,c\neq 0$ with $xb=cx=0$. Prove that if $1<|D(R)|<\infty$ then $|R|<\infty$. ($|S|<\infty$ ...
1
vote
0answers
31 views

Avoiding the range of a bivariate integer function or Diophantine function

I have a bivariate integer function $f(x,y)=5+23x+7y+30xy$ where $x,y \geq 0$ and are integers. The lattice points of this function, or its range contain a large number of values. I'm trying to see if ...
0
votes
0answers
37 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 ...
10
votes
1answer
204 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
178 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} ...
1
vote
0answers
64 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
52 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
112 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
85 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 ?
2
votes
1answer
346 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
149 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 ...
2
votes
0answers
45 views

question about the group completion of a simplicial monoid

In Daniel Quillen, On the group completion of a simplicial monoid pdf, MIT preprint 1971, Memoirs of the AMS vol 529, 1994, pp. 89-105, I do not understand the following part with question mark ...
6
votes
1answer
132 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
211 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
184 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
161 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 ...
0
votes
0answers
51 views

Writing a module as a direct sum

Let $q_1, q_2, q_3 \in \mathbb{Z}[x,y]$ such that $q_1, q_2$ are algebraically independent and let $S$ be an algebra generated by $q_1, q_2, q_3$ over $F_p$. If writing $S$ as a module over $F_p ...
0
votes
0answers
106 views

Intersections of ideals and nilpotence

Let $R$ be a polynomial ring over a field $k$, $R = k[x_1, \dots, x_n]$. Suppose $R'$ is an associative $R$-algebra and it has the property that there exists a degree $m<n$ monomial in the $x_i$'s ...
5
votes
1answer
250 views

Does the following $ C^{*} $-algebraic result have a purely algebraic proof?

While studying the proof of Bott periodicity for operator $ K $-theory in this set of notes, I learned this fact: Theorem. Let $ A $ and $ B $ be $ C^{*} $-algebras. Let $ f,g: A \to B $ be $ * ...
9
votes
1answer
262 views

Non-field example of a commutative, local, dual ring with nilradical $N$ such that $ann(N)\nsubseteq N$

I asked this question on math.stackexchange a month ago with no progress, even after a bounty. I hope to eliminate one if the other receives a satisfactory answer. For an ideal $I\lhd R$ in a ...
2
votes
1answer
105 views

Do representations of the universal enveloping algebra $\mathrm{U}\mathfrak{su}_2$ retain the Hopf algebra structure?

A Lie algebra $\mathfrak{g}$ generates its universal enveloping algebra $\mathrm{U}\mathfrak{g}$, which has the structure of a Hopf algebra. Modules of $\mathrm{U}\mathfrak{g}$ are exactly the of ...
0
votes
0answers
76 views

The universal property of ring of big Witt vectors

Let $X_1,X_2,\cdots$ be infinite many indeterminates. Define \begin{equation*} W_n = \sum_{d\mid n} d X_d^{n/d}. \end{equation*} A big Witt vector over a commutative ring $R$ is a sequence ...
2
votes
2answers
179 views

Generalizing the commutator and anti-commutator

I was wondering if there's any attempt to generalize the commutator for something general for more than two terms. Here's what I was thinking of, for $[A,B]=AB-BA$, so for three terms: $[A,B,C] = ...
7
votes
0answers
254 views

Can every commutative ring of characteristic $p\in\mathbb P$ be written as the form $R/(p)$ with $R$ being a ring of characteristic $0$?

All rings here are associative, commutative and unital. By a ring of characteristic zero (resp. of characteristic $p$, for prime $p$) I mean a ring $A$ such that the canonical homomorphism $\mathbb ...
3
votes
1answer
88 views

Can you test flatness on $FP_3$-modules?

Let $A$ be a ring, and let $M$ be a right $A$-module. Then $M$ is flat if and only if for each left $A$-module $N$ we have that $Tor^1_A(M,N) = 0$. Becasuse $Tor$ commutes with filtered direct limits, ...
1
vote
1answer
130 views

Counting Roots of Unit

Let $p\left( x\right) =% %TCIMACRO{\tprod \limits_{k=1}^{m}}% %BeginExpansion {\textstyle\prod\limits_{k=1}^{m}} %EndExpansion \left( x^{e_{k}}-\omega_{k}^{e_{k}}\right) $ be a polynomial with ...
1
vote
0answers
96 views

cohomlogy of Diagonal ring

Let $S=\bigoplus_{\underline n\in\mathbb N^r } S_{\underline n}$ be a standard multigraded ring over a local ring and M be a finitely generated $\mathbb N^r $-graded $S$-module. Let ...
1
vote
1answer
86 views

Direct limit and finite presentation of modules

Let $R$ be a ring. Recall that a module $M$ is called finitely presented if there is an exact sequence $R^n \to R^m \to M \to 0$. with $n,m \in \mathbb{N}$. A well known result states that any ...
7
votes
1answer
248 views

For a ring $k$ and a set $X$, what are the $k$-algebra homomorphisms $k^X \to k$?

Let $k$ be a commutative ring. Feel free to assume it's a field. Let $X$ be a set. This question is only interesting when $X$ is infinite. Write $k^X$ for the $k$-algebra of functions $X \to k$, ...
1
vote
1answer
186 views

Is a prime index inclusion of finite groups, separating?

Let $(H \subset G)$ be an inclusion of finite groups. Let $\{ g_i \ \vert \ i \in I=[1, \dots ,n] \}$ a subset of $G$ of double coset representatives, i.e. $$G = \coprod_{i \in I} Hg_iH$$ On the ...
2
votes
0answers
72 views

When the Lie algebra of matrices with zero last rows is Frobenius?

Let $\mathcal{A}_{n,k}$ be the Lie algebra of $n \times n$ matrices over $\mathbb{C}$ for which the last $k$ rows are equal to zero. Suppose that $k$ does not divide $n$. How to prove that ...
15
votes
1answer
273 views

What are applications of commutativity theorems for rings?

Herstein's little book "Noncommutative Rings" has a chapter called Commutativity Theorems in which he proves results like Jacobson's theorem: if a ring (associative with identity, please) has the ...
15
votes
1answer
425 views

How many traces are there on Temperley-Lieb, Fuss-Catalan, Iwahori-Hecke, Birman-Wenzl-Murakami-Kauffman, … algebras?

There is a theorem (I believe by Ocneanu) that the Markov trace on the tower of Temperley-Lieb algebras is (essentially) unique. What about just traces on separate algebras? That is, take one of ...
1
vote
0answers
41 views

Locally free sheaves of algebras vs. algebra bundles

It is well known that there is a bijective correspondence between locally free sheaves of modules and vector bundles (cf. ...
4
votes
2answers
288 views

Relation between Associative algebra and group algebra

Let $A$ be an associative algebra over a filed $k$. Q) What are the condition we can impose on $A$ such that there exists a $G$ such that $A=k[G]$, the group algebra generated by $G$? I am ...
1
vote
2answers
151 views

Degree of sum of integral elements over a UFD

Is it possible to generalize Degree of sum of algebraic numbers (especially Pete L. Clark's answer, based on Keith Conrad's answer) in the following way: Let $D$ be a (noetherian) UFD of zero ...
0
votes
0answers
27 views

Extending scalars in Ore extensions

Given an Ore extension $k[y : \delta]$, where the field is not necessarily central is it possible to extend scalars in the usual way, that is, by tensoring with an extension of $k$? Is $K \otimes_k ...
9
votes
0answers
101 views

When does Hochschild homology commute with infinite products?

Let $A$ be an associative algebra. Its zeroth Hochschild homology $\mathrm{HH}_0(A)$ is the cokernel of the linear map $A^{\wedge 2} \to A$, $a \wedge b \mapsto ab - ba$. I.e. you quotient the ...
1
vote
1answer
170 views

a problem about ideals of polynomial rings

Let $\{f_n\}_{n=1}^\infty\in \mathbb{C}[x,y]$ be a sequence of polynomials given by the following expressions $$ f_n(x,y)=\sum_{i=0}^{[\dfrac{n}{2}]}(-1)^{n-i}{{n-i}\choose i}x^{n-2i}y^i. $$ Let ...
8
votes
2answers
360 views

Strategies for proving a category is Noetherian?

Let $C$ be a small linear category over a commutative ring $R$. A representation of $C$ is an $R$-linear functor $C \to \mathrm{Mod}(R)$. For example, for each $c\in C$, there is a representation ...
5
votes
2answers
451 views

The number of ideals in a ring

Here is a question that I first asked in math.stackexchange, but I think the question must be proposed here. Let $R$ be a finite commutative ring with identity. Under what conditions the number ...
0
votes
1answer
60 views

Is the following ideal zero-dimensional?

Let $\left\{ p_{k}\in\mathbb{R}\left[ x_{1},\ldots,x_{n-1}\right] :k=1,\ldots,n\right\} $ be a family of linear polynomials such that $p_{k}\left( 0,\ldots,0\right) =0$. Let ...
0
votes
0answers
73 views

Degree of function field extension in several variables (degree of an endomorphism over an AV)

I just want to know which is the best way to calculate the degree of a function field extension like this $[\mathbb{F}_q(a,b,c):\mathbb{F}_q(x,y,z)]$ where $x\mapsto f(a,b,c)$ $y\mapsto g(a,b,c)$ ...
6
votes
0answers
148 views

How to prove that a projective module is not free?

Let $A$ be a noncommutative (perhaps $\ast$-) algebra (over $\mathbb{C}$) and let $M$ be a projective module defined via a projector $P\in M_n(A)$; i.e. $M=P(A^n)$. Furthermore, assume that all ...
1
vote
1answer
69 views

ideals of polynomial ring of two variables generated by two elements

Let $f,g$ be two polynomials in $\mathbb{Z}[x,y]$, given by $$ f(x,y)=x^4-3xy+y^2,$$ $$ g(x,y)=x^5-4xy+3xy^2.$$ Let $I=(f,g)$ be the ideal in $\mathbb{Z}[x,y]$ generated by $f$ and $g$. Is ...
0
votes
0answers
71 views

Action of semidirect products of cyclic groups

Is there anything known about group actions of $C_{p}\rtimes C_{p}^{*}$ on the ring of real polynomials $\mathbb{R}[X_{1},\ldots,X_{n}]$, where $C_{p}$ denotes the cyclic group of order $p$ and $p$ is ...
1
vote
0answers
83 views

Global dimension of graded Lie algebra

The rational global dimension of a graded algebra $A=(A_k)_{k\geq 0}$, with $A_0=\mathbb Q$, denoted here ${\rm gl}\dim A$ is defined to be the greatest integer $k$ (or $\infty$) such that ${\rm ...
6
votes
2answers
636 views

How do I apply the Boolean Prime Ideal Theorem?

I have become aware of an amazing phenomenon from a myriad of questions and answers here on MathOverflow: many of the results that I would typically prove using the Axiom of Choice can actually be ...
4
votes
0answers
44 views

examples of local, nonsemisimple , nonsymmetric hopf algebras

I'm searching for (a class of) examples of Hopf algebras , which have the following properties: they should be finite dimensional they should not be semisimple they should be local they should ...
5
votes
0answers
103 views

Noncommutative group of invertible ideals of a ring

Let $R$ be a noetherian domain and let $\mathcal{O}$ be an $R$-algebra that is finitely generated and projective as an $R$-module. The set of invertible fractional ideals of $\mathcal{O}$ is a group ...