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
172 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
54 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
277 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
31 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
45 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 ...
20
votes
3answers
839 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
893 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
39 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
257 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 ...
2
votes
0answers
110 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 ...
-1
votes
0answers
60 views

Complement for Jacobson radical [migrated]

Suppose $R$ is a ring with identity and $R$ is of prime power order. Also suppose jacobson radical of $R$ is not trivial. Under which condition there exist a subring $S$ such that $$R=J(R)\oplus S$$. ...
10
votes
3answers
420 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 ...
7
votes
1answer
141 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
0answers
74 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
1answer
169 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. ...
6
votes
2answers
224 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
2answers
163 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
86 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
1answer
194 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 ...
9
votes
1answer
233 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
536 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 ...
0
votes
1answer
151 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
1answer
51 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
1answer
136 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
1answer
93 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 ...
0
votes
0answers
55 views

The space of sequences of rationals and its dimension [duplicate]

In the following page, I give an example of a vector space not isomorphic to its double dual. I use the space $E$ of sequences of reals. Its dimension (over the field of the reals) is the one of the ...
1
vote
3answers
299 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
0answers
102 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 ...
11
votes
1answer
201 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
2answers
118 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
0answers
199 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
0answers
72 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 ...
0
votes
0answers
47 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 ...
1
vote
1answer
62 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 ...
9
votes
1answer
349 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 ...
1
vote
0answers
64 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 ...
1
vote
3answers
356 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
1answer
362 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
0answers
150 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
0answers
74 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
1answer
82 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, ...
2
votes
1answer
353 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 ...
1
vote
0answers
195 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
1answer
164 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
0answers
54 views

Change of relative base

If $k$ is a commutative ring, $A$ a $k$-algebra and $\phi: k \rightarrow k'$ is a morphism of rings then how (/under what conditions) can the relative homology functors $Ext_{A/k}(-,-)$ and ...
0
votes
0answers
95 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
2answers
219 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
0answers
37 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
1answer
143 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
1answer
256 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 ...