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

learn more… | top users | synonyms (2)

3
votes
1answer
194 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 ...
-3
votes
0answers
64 views

Linear algebra over principal rings 1 [on hold]

If N is a left-idea of ring R and R is a left R-module, then submodule N is a direct sum of R if and only if N has a right unit.
3
votes
1answer
55 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$ ...
6
votes
2answers
306 views

Integration on Compact Semirings

I want to know if integration of functions $f:X\rightarrow G$ where $G$ is a compact semiring has been defined and if it is possible to ensure that all continuous functions are integrable. This is ...
2
votes
2answers
303 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 ...
4
votes
3answers
849 views

Solving z^n=a+ib using only radicals of positive real numbers

Let $a+bi\in\mathbf{C}$ be a complex number with $a,b\in\mathbf{R}$. Then it is easy to find exact solutions of $z^2=a+ib$. For example let $z=u+iv$. Then $$ u^2+v^2=z\overline{z}=\sqrt{a^2+b^2} $$ ...
0
votes
0answers
41 views

Does an arbitrary product of $f$ and $f^\dagger$ belong to a universal enveloping algebra of the Heisenberg algebra? [migrated]

The Heisenberg algebra is essentially the canonical commutation relations (CCR) for bosons $[f,f^\dagger]=1$. $f$ is called an annihilation operator in physics ($f^\dagger$ creation operator). ...
2
votes
1answer
205 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 ...
4
votes
1answer
348 views

Re-interpreting vector spaces in a choice-less model of ZF as modules over a regular ring in ZFC

I am searching a module $M$ over a (von Neumann) regular ring $A$ ($\forall a\in A$, $\exists x\in A$: $axa=a$) with two properties: (1) every finitely generated submodule of $M$ is projective ...
8
votes
3answers
531 views
+100

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 ...
-8
votes
1answer
143 views

Do the mathematicians really know the exact values of what usually called “indeterminate forms”? [closed]

First of all I would point out that exact value of a function and the limit of the function in that point do not necessarily coincide. For instance, it is often assumed that $0^0=1$ even though the ...
1
vote
0answers
53 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 ...
1
vote
1answer
74 views

Near-ring localizations

Are there any known results on localization for near-rings (i.e., "rings" with non-abelian addition and only one-sided distributive law)? The books on near-rings I checked don't mention this topic at ...
5
votes
1answer
167 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 ...
4
votes
2answers
437 views

Central idempotents from characters in Frobenius algebras (generalizing Lusztig arXiv:math/0208154v2 §19)

$\newcommand{\refone}{\textbf{(1)}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\tr}{\operatorname{Tr}} \newcommand{\kk}{\mathbf{k}}$ Let $\kk$ be a field. Let $A$ be a $\kk$-algebra which is ...
3
votes
1answer
179 views

for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?

Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital. Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...
1
vote
2answers
140 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
33 views

Comparing least degrees of certain polynomials

Let $\Bbb K$ be an infinite or a finite field with $\mathsf{char\mbox{ }}\Bbb K\neq 2$ and let $M\subsetneq\Bbb K[x_1,\dots,x_n]$ be the set of multilinear polynomials. Fix $S\subsetneq\{0,1\}^n$ and ...
3
votes
1answer
182 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 ...
0
votes
0answers
87 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{ ...
4
votes
3answers
414 views

Product-Decomposition of distributive lattices

EDIT I now (strongly) believe that the following claim answers my question (see the text below). However, if it does, then I am sure that it is known. It is not difficult to prove and the question ...
0
votes
0answers
105 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 ...
3
votes
1answer
189 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} ...
0
votes
0answers
69 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 ...
11
votes
2answers
299 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
36 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
56 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 ...
4
votes
3answers
378 views

A classification of non-associative algebras with a norm?

I would like to know if there exists any kind of classification of finite dimensional (possibly non-associative) algebras $A$ over $\mathbb R$ that satisfy the following condition: There exists a ...
9
votes
4answers
843 views

What is about J. v. Neumann's “Continuous geometry”?

I am curious about von Neumann's "Continuous geometry", but found no recent text or survey on it. Does anyone know the book and would be so nice to share their impression, and if/how the concept of ...
21
votes
3answers
857 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 ...
2
votes
1answer
102 views

Projecting solutions of Hermitian forms over local rings

Let $R$ be a local ring (commutative and with $1$) with maximal ideal $M$, with an involution $\theta$. Let $h$ be a Hermitian form on $R^n$, i.e. $h:R^n\times R^n\rightarrow R$ such that $h$ is ...
16
votes
1answer
905 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 ...
1
vote
0answers
44 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
264 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 ...
6
votes
2answers
229 views

properties of formal delta functions

The formal delta function is $\,\,\displaystyle\delta(x):=\sum_{n\in\mathbb Z}x^n. $ If we agree that expressions $(x+y)^n$ for $n\in\mathbb Z$ are always expanded in non-negative powers of the second ...
7
votes
1answer
149 views

Can Schwartz-Zippel be formulated for commutative rings instead of fields?

The polynomials which occur in the Schwartz-Zippel lemma could be defined for any commutative ring, yet the lemma is restricted to fields. This makes it inapplicable for ...
2
votes
1answer
196 views

Graphs of tensoring modules

Let $A$ be a ring, and $L,M,N$ an $A^\mathrm{op} \otimes A$-modules. $L \otimes_A M$ is then an $A \otimes A^\mathrm{op}$ module so we can tensor it again with $N$ to get an abelian group $(L ...
13
votes
3answers
970 views

Continuum Hypothesis

I am new here, so forgive me if this question does not satisfy the protocols of the site. I know there are so many equivalents to the AC (axiom of choice) and there are books that lists this ...
10
votes
3answers
435 views

Natural associative law for a ternary “group”?

Suppose one were to define a group-like structure based on a set $G$ with a ternary (rather than binary) operator $g( a, b, c ) = \left< a, b, c \right>$. One possible definition for the ...
0
votes
0answers
80 views

Is every non-invertible element of a commutative von Neumann regular ring a zero-divisor? (answered: yes!)

As I learned from a previous old question, every commutative von Neumann regular ring is a subdirect product of a family of fields. For a direct product of fields, it seems clear to me that every ...
14
votes
2answers
507 views

Nice Algebraic Statements Independent from ZF + V=L (constructibility)

Background and Motivation I've always been fascinated about algebraic statements independent from ZFC set theory. One such fascinating example comes from considering ...
1
vote
1answer
178 views

Self-similarity for simple algebraic structures [closed]

I'm doing this thread because I have some ideas about how to define self-similarity in algebra, but I don't know if this is known at all. Any critics, comments and references are more than welcomed. ...
5
votes
0answers
151 views

Operator connected with Hermite polynomials

For $n \geq 1$, define the following operator $M_n$ on the ring of all polynomials with real coefficients. $$M_n P(x) = nP(x)^2 - x \int_0^x (P'(t))^2 \, \mathrm{d}t$$ Monomials $x^k$ are mapped to $n ...
5
votes
2answers
166 views

Can this way of comparing numbers of the form a+b sqrt(K) be generalized?

So I want to make a system for computing with various classes of numbers. One of those is a class of number closed under the standard arithmetic operators ($+$, $-$, $*$ and $/$) along with square ...
2
votes
0answers
87 views

Orders of Clifford algebra

Let $C_n$ be the Clifford algebra over $\mathbb{Q}$ associated to negative definite quadratic form $-I_n$ (i.e. $-x_1^2-\dots-x_n^2$). Let $\mathcal{O}$ be a $\mathbb{Z}$-order of $C_n$. Q1) Is it ...
1
vote
1answer
118 views

non unital composition algebra

It is well-known the Hurwitz theorem showing that every unital composition algebra is of dimension 1, 2, 4 or 8 over the base field. Is there an analogue in the non unital case? ¿Do non unital ...
9
votes
1answer
241 views

How do I check that this is a Frobenius algebra?

Let $f_1,f_2,\ldots,f_n\in \mathbb C[z_1,\ldots, z_n]$ be such that the quotient ring $$A:=\mathbb C[z_1,\ldots, z_n]/(f_1,f_2,\ldots,f_n)$$ is finite dimensional (in other words, it's a ...
14
votes
3answers
548 views

Characterize the category of rings

(Sub)categories of many well-studied mathematical objects have been characterized purely in terms of their morphisms. Some (famous) examples: Sets and functions, due to Lawvere. Modules over some ...
3
votes
3answers
185 views

Modules for an idempotented algebra

Recall that an associative algebra $A$ is called idempotented provided that is the filtered union of subalgebras $eAe$ for $e \in A$ idempotent. I think sometimes people say that $A$ has approximate ...
0
votes
1answer
53 views

Reference request for stably free modules

I am looking for some references on the theory of stably free modules. I will call (F) the following property for a ring $R$: every f.g. stably free module over $R$ is free. 1) Is there a standard ...