**1**

vote

**2**answers

433 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

**0**answers

124 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

**1**answer

346 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

**0**answers

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

**13**

votes

**3**answers

461 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

**0**answers

47 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

**0**answers

88 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

**3**answers

894 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

**1**answer

967 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

**1**answer

227 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

**2**answers

490 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

**1**answer

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

**10**

votes

**3**answers

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

**11**

votes

**2**answers

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

**0**

votes

**0**answers

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

**1**

vote

**1**answer

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

**7**

votes

**3**answers

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

**5**

votes

**2**answers

193 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

**0**answers

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

**2**

votes

**1**answer

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

**10**

votes

**1**answer

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

**16**

votes

**3**answers

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

**2**

votes

**1**answer

78 views

### How can the Cayley table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$, $e_1=i$, $e_2=j$ and so on. I'm looking for an ...

**0**

votes

**1**answer

303 views

### Discriminant of a polynomial in two variables

I want to compute the discriminant of the following polynomial
$$
F(X,Y)=X^mY^n+\sum_{i=0}^{m-1}\sum_{j=0}^{n-1}c_{ij}X^iY^j.
$$
Here the discriminate means the equation $D(c_{i,j})$ in the variables ...

**0**

votes

**1**answer

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

**6**

votes

**1**answer

152 views

### Is the following module over a group ring necessarily infinitely generated?

Suppose $\Gamma$ is a (finitely presented, but this is probably irrelevant) group, and $M$ is a finitely generated (EDIT: finitely presented) module over $\mathbb{Q}\Gamma$ which is ...

**2**

votes

**1**answer

100 views

### A quadratic algebra with four generators and four relations

Algebra that I'm going to describe pop-up in my research, it looks completely elementary, but I don't know any appropriate references.
Let $k$ be an algebraically closed field of characteristic ...

**1**

vote

**3**answers

350 views

### smooth connected affine scheme over Z has good reduction almost everywhere

Let $f(x_1,\ldots,x_n)\in\mathbf{Z}[x_1,\ldots,x_n]$ be a polynomial. Assume that the variety cut out by $f$ is smooth and connected (so irreducible) over $\overline{\mathbf{Q}}$. Where can I find a ...

**9**

votes

**0**answers

133 views

### Detecting invertible elements in group rings by their images for finite quotients of the group

Let $G$ be a "nice" infinite group: at least finitely presented and residually finite, maybe also linear and right-orderable (or even bi-orderable, or residually free nilpotent).
Consider an element ...

**12**

votes

**1**answer

334 views

### Hlawka inequality for determinants of positive definite matrices

It is mentioned here that if $A, B, C\in M_{n}(\mathbb C)$ are positive semidefinite, then $$\det (A+B+C)+\det C\ge \det (A+C)+\det (B+C)$$ (quoted from this article) and the special case ($C=\bf 0$) ...

**3**

votes

**2**answers

175 views

### Finite Dimensional Simple nonunital associative Algebras

I have the following problem:
Let K be any field. An finite dimensional associative non-unital algebra A is a vector space A, togeter with a K-biliniear associative operation such that there is NO ...

**5**

votes

**0**answers

249 views

### A generalization of real characters on a group

Yesterday I understood that I can't live without this construction:
Let $G$ be a group, $A$ an associative algebra over $\mathbb R$ and $n\in{\mathbb N}$. We consider a sequence of maps ...

**1**

vote

**0**answers

101 views

### Examples of Lie subalgebras of universal enveloping algebras

I'm looking for non-trivial examples of triples $(\mathfrak g, L, \psi)$, where $\mathfrak g$ and $L$ are finite-dimensional non-abelian Lie algebras over field $\Bbbk$ and $\psi\colon U_{\mathfrak ...

**1**

vote

**0**answers

77 views

### Examples of noncommutative Bezout domains

I would like to see some (or many!) examples of noncommutative Bezout domains (one-sided principal ideals sum to one-sided principal ideals). I've read somewhere that it's not easy to find an example ...

**2**

votes

**1**answer

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

**10**

votes

**1**answer

414 views

### Can a division algebra have degree divisible by its characteristic?

I apologize in advance if this is easy, but I've tried Googling, and had no luck.
I'm currently working on a proof, and I realized in the course of writing that this proof will break if out there ...

**2**

votes

**0**answers

72 views

### Orders of certain quotients of power series rings

Let $\Lambda_d := \mathbb{Z}_p[[T_1, \ldots, T_d]]$ denote the ring of formal power series in $d$ variables over the ring of $p$-adic integers. Suppose that $g \in \Lambda_d$ is an irreducible ...

**2**

votes

**3**answers

566 views

### Is there a general notion of semigroup action?

The analogous result to Cayley’s theorem or Yoneda lemma in semigroup theory represents semigroups as semigroups of functions from a set to itself. This suggests that a semigroup action consists of a ...

**15**

votes

**1**answer

412 views

### If $B\subseteq A$ are free & finite rank $R$-algebras, is $R\to A \otimes_B R$ injective?

(In this question, all rings and algebras are commutative with identity.)
I have a situation that boils down to the following data: a ring $R$, an $R$-algebra $A$ with a subalgebra $B$ such that $A$ ...

**5**

votes

**0**answers

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

**2**

votes

**0**answers

101 views

### Separating duality for TVS?

What is the modern concept (term) for "separating duality" (dualité séparante in french) in the sense of Bourbaki (TVS Ch II § 6) as explained in the following ?
...

**0**

votes

**1**answer

95 views

### $I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$

In a semmi-quasi local domain $D$ ( i.e. $D$ has finitely many maximal ideals),
an ideal $I$ is principal if and only if $ID_M$ is principal for all $M \in Max(D)$.
[See Comm. Rings by Kaplansky, ...

**4**

votes

**1**answer

399 views

### Who defined and who coined “module”?

The title of my Q. says it all:
QUESTION: Who defined and who coined: module?
Would it be Emmy Noether?
EDIT In view of @anon's and KConrad's answers, and as it could have been ...

**2**

votes

**0**answers

217 views

### Kaplansky Idempotent conjecture and Extension theory

We consider the Idempotent Kaplansky conjecture with $\mathbb{C}$- coefficients, that is the problem of nontrivial idempotents for group algebra $\mathbb{C}\Gamma$ where $\Gamma$ is a torsion free ...

**3**

votes

**1**answer

182 views

### Linear dependency of real numbers with integer coefficients adding up to zero [closed]

Let $x = (x_1, \dots, x_n)$ be a vector of real number. I was asking myself if there was an efficient way of telling whether there exists a non-zero vector of integers $z \in \mathbb Z$ such that both
...

**0**

votes

**0**answers

109 views

### A special Lie subalgebra

Motivated by comments of the following post A question on involutions on the Lie algebra of vector fields we ask the following question:
Let $L$ be a Lie algebra. We consider the Lie subalgebra ...

**6**

votes

**2**answers

245 views

### String diagrams for bimodules over noncommutative algebras?

I'm trying to do some calculations with bimodules (over Azumaya algebras, as it happens), and I need a string diagram notation that mixes the tensor product over the base ring (a symmetric monoidal ...

**2**

votes

**0**answers

50 views

### Gelfand Kirillov dimension of induced modules

How does the Gelfand-Kirillov dimension of induced modules behave?
In patricular, if $S$ is an Ore extension of $R$, how is the GK-dimension of an $R$-module say $N$ related to the GK dimension of $N ...

**3**

votes

**1**answer

201 views

### What is a degenerate Legendre Transformation?

I am studying the Lagrangian and Hamiltonian description of some dynamical systems. The problem with this description of the particular kind of systems I am studying, is that the Legendre ...

**5**

votes

**1**answer

308 views

### Noncommutative HKR theorem

What is the analog of HKR theorem in the noncommutative world?
Recall that the well-known theorem by Hochschild-Kostant-Rosenberg says that for a smooth commutative algebra $A$ of finite type ...