**-1**

votes

**0**answers

53 views

### Interpolating Product of two Polynomials

Consider we have two non-constant polynomials $A(x)$ and $B(x)$. We define the polynomials over field $\mathbb{Z}_p$, for a large prime number $p$.
We define Polynomial $A(x)$ as follows: ...

**2**

votes

**0**answers

21 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

**2**answers

109 views

### Making idempotent element by a relation [on hold]

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?

**-4**

votes

**0**answers

90 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

**0**answers

46 views

### Avoiding the range of a bivariate integer function or Diophantine function [on hold]

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

**0**answers

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

**1**answer

205 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

**2**answers

188 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

**0**answers

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

**0**answers

53 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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

150 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

**0**answers

46 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

**1**answer

133 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

**1**answer

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

**1**answer

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

**0**answers

164 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

**0**answers

52 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

**0**answers

108 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

**1**answer

251 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

**1**answer

264 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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

256 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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

88 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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

276 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

**1**answer

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

**0**answers

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

**2**answers

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

**2**answers

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

**0**answers

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

**0**answers

103 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

**1**answer

171 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

**2**answers

361 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

**2**answers

452 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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

72 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

**0**answers

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

**0**answers

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 ...