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

learn more… | top users | synonyms (2)

11
votes
1answer
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
1answer
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
0answers
47 views
6
votes
1answer
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
0answers
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
14answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
3answers
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
0answers
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
1answer
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
0answers
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
4answers
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
3answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
4answers
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
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 ...
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
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
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
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
1answer
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
3answers
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
2answers
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
0answers
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
1answer
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
6answers
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
0answers
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
2answers
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
1answer
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
2answers
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
1answer
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
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 ...
8
votes
5answers
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
2answers
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
2answers
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
0answers
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
1answer
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
0answers
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)$ ...