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

learn more… | top users | synonyms (2)

0
votes
0answers
123 views

Rational group scheme

Suppose $G$ is a group scheme over a field $k$, i.e., $G$ is a functor from the category $\text{Alg}_k$ of unital commutative, associative $k$-algebras to the category of $\text{Groups}$. Suppose that ...
1
vote
0answers
54 views

Convention on Clifford Product

When studying the Clifford Algebra associated to some $(V,Q)$, one finds two basic identities differing by a sign: $vv=Q(v)$ (see, for instance, Wikipedia) $vv=-Q(v)$ (see, for instance, MathWorld ...
1
vote
0answers
126 views

local rings with finite type maximal ideal

Let $A$ be a local ring with a maximal ideal $\mathfrak{m}$ finitely generated (not principal). Is there a sufficient condition for $A$ to be noetherian? For example, we know that the completion ...
0
votes
0answers
38 views

Embedding rational simple algebras in the real quaternions [duplicate]

Is there any way to embed a rational division algebra of dimension higher than 4 over its center in the real quaternions ? I think not, but I cannot prove it.
6
votes
0answers
111 views

flatness and derived completion

Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion. If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat. If $A$ is not noetherian, ...
3
votes
1answer
829 views

Who coined “mob” and “clan” and why these words?

A mob is a word used for a topological semigroup which is a Hausdorff space. A clan is a compact connected mob with a two-sided identity element. Who used these words with these meanings first and ...
0
votes
1answer
118 views

configuration spaces of real projective space

Let $F(\mathbb{R}P^n,k)$ be the $k$-th ordered configuration space on $\mathbb{R}P^n$. In http://arxiv.org/abs/1502.04258, the cohomology ring $$ H^*(F(\mathbb{R}P^n,k);R)$$ is obtained for any ...
2
votes
1answer
106 views

Involution on the components of a group algebra

If $G$ is a finite group and $k$ a field, there is a canonical involution (ie an involutive anti-automorphism) $\sigma$ on $k[G]$ induced by $g\mapsto g^{-1}$. Given that the center of $k[G]$ has ...
0
votes
0answers
107 views

Anticommuting operators with positive properties

Which classes of $M\in \mathsf M_k(\Bbb R)^{n\times n}$ admit solutions $N\in \mathsf M_k(\Bbb R)^{n\times n}$ such that $$(M\otimes N+N\otimes M)(u\otimes u)=0$$ forall $u\in \mathsf D_k(\Bbb ...
11
votes
0answers
131 views

Must nonunit in group algebra of free group generate proper two-sided ideal?

Let $F$ be a free group and $k$ be a field. If $x$ is an element of the group algebra $k[F]$ that is not a unit (equivalently, that is not a nonzero scalar multiple of an element of $F$), must the ...
8
votes
0answers
107 views

Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...
2
votes
1answer
112 views

Units in a finite semisimple group algebra

Let $G$ be a finite group and $k$ a finite field, with the characteristic of $k$ not dividing the order of $G$. Then $kG$ is a finite semisimple group algebra with the interesting property that an ...
1
vote
0answers
36 views

About alternating polynomials an the Rowen's notation

Some definitions... Definition 1: A polynomial $f(X_1,\dots ,X_d)$ is $t$-linear if the variables $X_1,\dots ,X_t,\; t\leq d$ appear in all monomials of $f$ and degree of $X_i,\; i=1,2,\dots ,t$ on ...
2
votes
1answer
130 views

What are some good references on the Galois theory, factorization, or minimality of differential equations?

Let $\lambda$ be a nonzero complex number and let $u(x)$ be some smooth function $\mathbb{R}\to\mathbb{C}$, not identically zero. I want to prove that if $u$ satisfies $$u'' + \lambda u'+ \lambda^2 u ...
0
votes
0answers
79 views

Are the Standard Quantum Groups Coordinate Rings Noetherian?

Are the standard quantum groups $C_q[G]$ Noetherian and if so what is a standard reference?
20
votes
2answers
861 views

What do you do if you believe a problem is undecidable?

While the title of this question is subjective, I hope to make what I'm looking for quite concrete. The first, and main question is this: If you believe that a problem you are working on is formally ...
10
votes
2answers
348 views

Computing intersection of subrings

Let $R$ be a finitely generated commutative ring over a field, for concreteness. If $S,T \leq R$ are two finitely generated subrings, is their intersection also finitely generated? (Certainly ...
1
vote
0answers
78 views

Normalization (integral closure) of $\mathbb Z_p[x]$ in function field of a curve to obtain Model of curve

I want to follow this construction of a normal model of a curve: Let $p\neq 2,3$ and $Y\to \mathbb P¹$ be a smooth projective curve over $\mathbb Q_p$ with function field $L/\mathbb Q_p(x)$ e.g. ...
3
votes
0answers
123 views

Certain conditions on cancellative semigroups

This is extracted from this question following Benjamin Steinberg's suggestion. For a semigroup $S,$ let $P(S)$ denote the power semigroup of $S,$ which is made up of all non-empty subsets of $S$ ...
6
votes
1answer
268 views

Rings satisfying the polynomial equation $x^4=x^2$

There are many results concerning the commutativity of rings satisfying a polynomial equation. I want to know if there is any result/reference about (finite) rings that satisfy the polynomial equation ...
4
votes
1answer
264 views

Homomorphisms from projective modules

Let $B$ be a $A$-algebra which is free of finite rank as $A$-module. Let $X$ be a finitely generated projective left $B$ module. (So $X$ is also a f.g. projective $A$ module.) Are these homomorphism ...
0
votes
0answers
68 views

An embedding of modules by tensor product over a Noetherian domain

I have a problem on Ring theory. I would like to prove or disprove the following statement: Let $R$ be a Noetherian domain. Then by the Goldie theorem $R$ have $Q$ as a full ring of quotients and $Q$ ...
5
votes
0answers
107 views

Centralizers of elements in free group algebras

Let $A$ be a group algebra of a free group, and $x \in A$. What is the centralizer of $x$? Is there something like Bergman's theorem for free associative algebras?
2
votes
1answer
255 views

Automorphisms of ideals of $\mathbb{C}[t]$

Let $f(t)\in\mathbb{C}[t]$, and let $I_f$ be the ideal in $\mathbb{C}[t]$ generated by $f(t)$. The ideal $I_f$ has a natural $\mathbb{C}$-algebra structure. My question is the following: For ...
8
votes
3answers
433 views

Ring of differential operators of a quotient ring

All rings are assumed to have unity. Let $k$ be a field. Recall the definition of Grothendieck's ring of ($k$-linear) differential operators $D(R;k)$ of a commutative $k$-algebra $R$: ...
4
votes
1answer
235 views

Cancellable elements of a power semigroup

For a semigroup $S,$ its power semigroup $P(S)$ is the semigroup of all non-empty subsets of $S$ with the operation given by $AB=\{ab\,|\,a\in A,b\in B\}.$ I would like to know about the cancellable ...
4
votes
1answer
95 views

Existence of small projective dimensioned modules

Suppose $A$ is a (if necessary unital) associative ring and $I$ is a left ideal in $A$. Let $\operatorname{pd}(M)$ denote the projective dimension of a left $A$-module $M$. Then do either of the ...
3
votes
1answer
189 views

Classical deformation of algebras

Given a complex manifold (or a smooth scheme) $X$, the classical (infinitesimal) deformation theory is parametrized by the first cohomology with coefficients in the tangent sheaf $H^1 (X, T_X)$. ...
3
votes
0answers
195 views

Is the “algebraic closure” of the quaternions, finite dimensional? [closed]

This post is a sequel of: What's the algebraic closure of the quaternions? $\mathbb{H}$ is algebraically closed for the polynomials of the form $\sum a_r x^r$, but it is not for the polynomials ...
8
votes
1answer
266 views

Division algebras over extension fields / reducibility of $G$-modules

Reformulation of the question (see below for the original question): Let $K$ be an algebraic number field and $D$ a finite-dimensional $K$-division algebra. Is there a description of the field ...
3
votes
1answer
104 views

Extension of an involutive automorphism

Suppose that $g$ is a complex semi-simple Lie algebra and $g'$ its reductive subalgebra. If $\tau$ is an involutive automorphism of $g'$, can $\tau$ be extended to an involutive automorphism of $g$ ...
3
votes
1answer
299 views

Strong Morita equivalence and representation theory

In the context of pure algebra we say that two algebras (in general: rings) $A,B$ are Morita equivalence when there are bimodules $_AP_B,_BQ_A$ such that $P \otimes_B Q \cong _AA_A$ and $Q \otimes_A P ...
2
votes
1answer
258 views

Example of a Frobenius algebra that is not projective over a Frobenius subalgebra

I'd like to know an example of a Frobenius algebra $A$, with a subalgebra $B$ that is itself a Frobenius algebra, such that $A$ is not projective as a left $B$-module. I don't require any ...
1
vote
0answers
77 views

(Affine) Schemes and the point of view of morphisms with values in a field

Let $A$ be a commutative ring with unity. If $\varphi_1 : A \rightarrow K_1$ and $\varphi_2 : A \rightarrow K_2$ are ring morphisms from $A$ to fields, $\varphi_1$ and $\varphi_2$ are said to ...
3
votes
3answers
369 views

Polynomials of low degree that clone polynomials of higher degree

Let $f(x_1,\dots,x_{16})=(x_1+x_2+x_3+x_4)(x_5+x_6+x_7+x_8)(x_9+x_{10}+x_{11}+x_{12})(x_{13}+x_{14}+x_{15}+x_{16})\in\Bbb R[x]$. Let $\mathcal{Z}$ be the zero set of $f$ in ...
6
votes
1answer
210 views

Purely noncommutative algebra-Morita equivalence

Morita equivalence of algebras certainly don't preserve commutativity: even if $A$ is commutative there are plenty of noncommutative algebras which are Morita equivalent with $A$---for example all ...
8
votes
3answers
630 views

Does a left basis imply a right basis, without AC?

If $_DV_D$ is a $D$-$D$-bimodule, and we have a $D$-basis for $V_D$, do we still need AC to get a $D$-basis for $_DV$? (The original question appears below. But this shorter question gets at the ...
0
votes
0answers
97 views

Dimensions of two spaces

Let $R=\Bbb K[x_1,\dots,x_n]/I$ and $Z=\mathsf Z(I)$ where $\Bbb K$ is any field with $char(\Bbb K)\neq 2$. Is there a way to describe space of $f_1,f_2\in R$ that satisfies $$f_1+f_2\neq 0,\mbox{ ...
1
vote
2answers
293 views

Characteristic polynomial of Kronecker/tensor product

This was asked before on stackexchange but no answer was given. The question is the following: Let $A$ and $B$ be matrices in $GL(n)$ and $GL(m)$ respectively. Their tensor product $A\otimes B$ is ...
0
votes
0answers
120 views

Solution to system of polynomial equations

Suppose $A$ is a set of polynomials:$$P_1(x,y_1,\dots,y_n)=0,$$ $$P_2(x,y_1,\dots,y_n)=0,$$ $$\vdots$$ $$P_k(x,y_1,\dots,y_n)=0$$ is a system of equations with coefficients over $\mathbb{Z}$, and ...
4
votes
1answer
301 views

Example of proof using the generic matrix

There is a really nice proof of the Cayley-Hamilton Theorem using the generic matrix. I expose it briefly. One defines the generic matrix $G:=(X_{ij})_{ij} ...
1
vote
0answers
93 views

Criterion for global dimension of subring

All rings are assumed to be associative and unital. If $B$ is a commutative sub-ring of $A$ (which itself needs not be commutative) then what properties of $B$ are both necessary and sufficient for ...
12
votes
3answers
410 views

Is the Amitsur-Levitzki identity essentially unique?

Let us consider the matrix algebra. $Mat_n(\mathbb{C})$. The Amitsur-Levitzki identity states that for any matrices $X_1, X_2, ..., X_{2n} \in Mat_n(\mathbb{C})$ the sum $\Sigma_{\sigma \in S_{2n}} ...
0
votes
0answers
45 views

Analogue of Baer's injectivity criterion for comodule algebras

Let $H$ be a Hopf algebra and $A$ an $H$-comodule algebra; denote by $M^H_A$ the category of right $(H,A)$-Hopf modules [i.e. $A$-module, $H$-comodules, everything is compatible with everything else]. ...
3
votes
0answers
85 views

dual composition of binary relations

I'm not sure if this is of any interest at all, but I spent some time looking at it a couple of years ago so I'd like to ask for input on this. Given two binary relations $\rho,\,\sigma$ on a set ...
21
votes
3answers
880 views

Two (other) rings…are they isomorphic?

Consider the local rings $$R = \mathbb{C}[[x,y,z,w]]/\langle xyz+xyw+xzw+yzw\rangle$$ and $$S = \mathbb{C}[[x,y,z,w]]/\langle xyz+xyw+xzw+yzw+xyzw\rangle.$$ Is $R$ isomorphic to $S$? Some ...
16
votes
1answer
951 views

Two rings…are they isomorphic?

Edit: I have reverted my question to its original version (which Bjorn Pooenen answered correctly) as requested in the comments. Consider the local rings $$R = \mathbb{C}[[x,y,z]]/\langle ...
5
votes
1answer
214 views

Bass' stable range for Bezout rings

As discussed in this MO topic, every principal ideal domain has stable rank at most 2. The proof in the accepted answer uses the fact that PID is a unique factorization domain, but there can be no ...
9
votes
2answers
311 views

A back and forth Euclidean algorithm over the integers--does it have bounded length?

cLet $a,b,c,d\in \mathbb{Z}$ and suppose we have the equation $ac+bd=1$. One way of thinking about this equation is it expresses the fact $\gcd(c,d)=1$. It is well-known that all other similar ...
3
votes
1answer
202 views

Is the equational theory of commutative vN regular rings decidable?

I wanted to check whether $A(x,y):=\frac{xy}{x+y}$ is an associative operation in every commutative vN regular ring. Now $A(-1,A(1,1))=A(-1,\frac{1}{2})=1\neq 0 =A(0,1)=A(A(-1,1),1)$. On the other ...