**11**

votes

**1**answer

397 views

### Is the class of additive groups of rings axiomatizable?

I know that it is impossible to axiomatize the multiplicative structures of rings, called $R$-semigroups. Is anything known about the first-order axiomatizability of the class of abelian groups which ...

**2**

votes

**1**answer

325 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

47 views

### What is the algebraic structure of the multiplicative group $\mathbb{F}_q^\times$ after quotienting by the relation $a \sim b$ iff $a/b$ is a square? [on hold]

Define the relation $a \sim b$ by $a/b$ is a square, and consider $S = \mathbb{F}_q^\times / \sim$. What is the structure of $S$?

**6**

votes

**1**answer

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

**4**

votes

**0**answers

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

**19**

votes

**14**answers

6k views

### Geometrical meaning of Grassmann Algebra

I don't understand wedge product and Grassmann algebra. However, I heard that these concepts are obvious when you understand the geometrical intuition behind them. Can you give this geometrical ...

**2**

votes

**0**answers

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

**9**

votes

**1**answer

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

**0**

votes

**1**answer

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

**5**

votes

**1**answer

242 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 $ * ...

**7**

votes

**1**answer

178 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

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

**5**

votes

**3**answers

504 views

### adjoint of multiplication operator in a commutative algebra

Dan Popescu asked me the following question, and since I'm not an expert I'm throwing his question on MO.
Suppose that $A$ is a finite-dimensional vector space over an ordered field $k$ with ...

**0**

votes

**0**answers

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

**1**

vote

**1**answer

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

**0**

votes

**0**answers

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

**19**

votes

**4**answers

1k views

### does the “convolution theorem” apply to weaker algebraic structures?

The Convolution Theorem is often exploited to compute the convolution of two sequences efficiently: take the (discrete) Fourier transform of each sequence, multiply them, and then perform the inverse ...

**4**

votes

**3**answers

788 views

### When does a planar ternary ring uniquely coordinitise a projective plane?

From every projective plane a coordinitisation can be constructed on a planar ternary ring, and conversely from every planar ternary ring a projective plane can be constructed. (For background see ...

**2**

votes

**1**answer

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

**2**

votes

**2**answers

244 views

### What is twisted in a twisted Poisson structure?

The usual definition of a twisted Poisson algebra involving a 3-form
does not seem to refer to a Poisson algebra that is then twisted,
i.e. twisting either the commutative product or the Lie bracket.
...

**0**

votes

**0**answers

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

**15**

votes

**1**answer

336 views

### Computability of Brauer groups

A friend of mine and I were talking about computable algebra, and this question came up. The answer may already be known, but I couldn't find it with Google:
Suppose I have a countable field, $k$. ...

**6**

votes

**0**answers

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

**2**

votes

**2**answers

165 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] = ...

**3**

votes

**1**answer

79 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

**0**answers

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

**12**

votes

**4**answers

2k views

### What are hypergroups and hyperrings good for?

I came across the concept of a hyperring in two recent papers by Connes and Consani (From monoids to hyperstructures: in search of an absolute arithmetic and The hyperring of adèle classes). It's a ...

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

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

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

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

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

**15**

votes

**1**answer

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

**12**

votes

**3**answers

426 views

### Existence of a ring with specified residue fields

Given a finite set of fields $k_1, \ldots, k_n$, is there a (commutative with $1$) ring $R$ with (maximal) ideals $m_i$ such that $R/m_i \cong k_i$?
To prevent things from being too easy, I ...

**4**

votes

**2**answers

384 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

**0**answers

300 views

### Looking for product of symmetric polynomials evaluated at roots of unity

Consider $a_{1} = \alpha^{N-n}, a_{2} = \alpha^{N-n+1}, a_{3} = \alpha^{N-n+2}, a_{4} = \alpha^{N-n+3}, \cdots, a_{n} = \alpha^{N-1}$ where $\alpha$ is a complex $N$th root of unity where $N = 2 + ...

**2**

votes

**1**answer

145 views

### When does $\overline{U(0,1)}=B(0,1)$ hold?

Given $R$ an absolute valued ring (with unit), sometimes $\overline{U(0,1)}=B(0,1)$ (for example, $\mathbb{Q},\mathbb{R},\mathbb{C},\mathbb{H}$) and sometimes $\overline{U(0,1)}\neq B(0,1)$ (for ...

**18**

votes

**6**answers

3k views

### Expressing adj(A) as a polynomial in A?

Suppose $A\in R^{n\times n}$, where $R$ is a commutative ring. Let $p_i \in R $ be the coefficients of the characteristic polynomial of $A$: $\mathop{\mathrm{det}}(A-xI) = p_0 + p_1x + \dots + p_n ...

**1**

vote

**0**answers

40 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

286 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

**1**answer

113 views

### Extension of scalars and projective limits

Consider a morphism of commutative rings $h\colon R\rightarrow S$. This gives rise to a functor $h^*\colon{\sf Mod}(R)\rightarrow{\sf Mod}(S)$, called scalar extension by means of $h$. This functor ...

**1**

vote

**2**answers

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

**1**

vote

**1**answer

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

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

**8**

votes

**5**answers

768 views

### Noncommutative Localization of a Ring : Complete Construction

I've been looking for the following construction in the literature, but I've only been able to find (very) partial proofs or proofs of special cases.
Let $R$ be a non-commutative ring and $S$ a ...

**5**

votes

**2**answers

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

**6**

votes

**2**answers

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

**9**

votes

**0**answers

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

**0**

votes

**1**answer

59 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

71 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)$
...