**5**

votes

**0**answers

207 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

78 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

57 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

82 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

360 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

65 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

**3**answers

377 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

372 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

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

**2**

votes

**0**answers

76 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

88 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

367 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

203 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

166 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

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

**0**answers

99 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

227 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

43 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

151 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

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

**4**

votes

**1**answer

162 views

### Isomorphism of matrix ring over ore domain

Let $R_1,R_2$ be (left and right) ore domains. Does $ Mat_n(R_1)\cong Mat_m(R_2)$ implie m=n and $q.f.(R_1)\cong q.f.(R_2)$?
An counter example, a proof or a reference is welcomed.
Thanks

**2**

votes

**1**answer

119 views

### General criterion to find a Z-basis in a fixed generating subset

Let $V=\mathbf{Z}^N$ be a free $\mathbf{Z}$-module of rank $N$. Let $S\subseteq V$
be a fixed finite subset.
Consider the submodule $M:=\langle S\rangle\leq V$ generated by $S$. We know form the ...

**9**

votes

**1**answer

286 views

### Motivation behind the definition of hochschild cohomology

For an associative algebra $A$ one can define the Hochschild cohomology of $A$ as $ HH^n(A,A):= Hom_{\mathcal{D}(A^{op} \otimes A)}(A, [n]A)$ (this definition also works for the graded and dg cases as ...

**9**

votes

**2**answers

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

**3**

votes

**2**answers

193 views

### Minimal fields of isomorphism for varieties

Let $V$ be an algebraic variety over a field $K$. Is there a constant $d = d(V) \in \mathbb{N}$ such that for any variety $W$ defined over $K$ and isomorphic to $V$ over the algebraic closure of $K$, ...

**2**

votes

**1**answer

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

**3**

votes

**1**answer

74 views

### Intersection of Maximal Left Ideals with Finite Dimensional Quotient

Let $\Gamma$ be a finitely generated group and let $A=\mathbb{C}[\Gamma]$ be the corresponding group algebra over $\mathbb{C}$. Let $X$ be the set of all maximal left ideals of $A$ and let $X_0=\{I ...

**4**

votes

**0**answers

155 views

### A doubt from the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring”

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I have a doubt about the first part of Theorem 2.5. In the proof $(1)\iff ...

**18**

votes

**1**answer

348 views

### Kaplansky's unit conjecture and unique products

There are three conjectures on group rings that bear the name of Kaplansky (see for example this question). The 'unit conjecture' in the title of the present question is the strongest of them, and ...

**2**

votes

**1**answer

147 views

### Vertices of a polytope as algebra generators

I am wondering if the following kind of objects has some name, or are there any studied examples. I apologize for perhaps too specific definition, this is an adoptation of a situation that arises in ...

**1**

vote

**2**answers

142 views

### Finitely generated projective = finitely presented flat over a noncommutative Noetherian ring

Let $R$ be a possibly noncommutative left Noetherian ring and $M$ an $R$-module. I am looking for a reference or a proof for the following fact: $M$ is finitely generated and projective if and only if ...

**12**

votes

**2**answers

654 views

### Are there only finitely many associative algebras of fixed dimension?

Given an algebraically closed field $F$, for any positive integer $n$, are there always only finitely many non-isomorphic (noncommutative) associative algebras (possibly without identity) with ...

**3**

votes

**1**answer

286 views

### How to define a generating subset for algebra in a category?

As is well known, the definition of an monoid can be generalised to the notion of a monoid $A$ in a monoidal category $C$ (see the n-lab entry here). What I would like to know is if the notion of ...

**2**

votes

**0**answers

135 views

### C*-algebras and bounded relations

I'm trying to get used to the language of generators and relations for C*-algebras through Loring's "Lifting Solutions to Perturbing Problems in C*-Algebras". So far this is what I got from the first ...

**5**

votes

**1**answer

184 views

### Injective flat module

Let $R$ be a (right noetherian) ring. Is there always a right $R$-module which is both flat and injective? If $R$ is an integral domain, then the answer is indeed yes, as the quotient field is such.
...

**1**

vote

**0**answers

216 views

### Global dimension of a subalgebra with all units

(All rings here are always assumed to be unital and associative).
Setup
Let $R$ be a ring, and $A$ and $B$ be $R$-algebras, with $A$ a commutative subalgebra of $B$ satisfying:
If $u$ is a unit ...

**3**

votes

**0**answers

110 views

### Finding an integral basis for the lattice of the form $\mathbb{Z}^J \cap \mathbf{p}^{\perp}$

Let $\mathbf{p}$ be a primitive point in the lattice $\mathbb{Z}^J$
and denote the $J-1$ dimensional vector space $V = \mathbf{p}^{\perp} \subseteq \mathbb{R}^J$.
Let $\Lambda' = \mathbb{Z}^J \cap V ...

**7**

votes

**0**answers

163 views

### Does this kind of non-noetherian bimodule exist?

Question: Do there exist simple rings $R$ and $S$ (i.e., rings with no proper nonzero ideals) and an $(R,S)$-bimodule $M$ such that
$M$ is finitely generated both as a left $R$-module and a right
...

**0**

votes

**0**answers

84 views

### Grading a module

Let $R = \bigoplus_{n\in\mathbb{Z}}R_n$ be a graded ring. I'm trying to understand the structure of simple graded $R$-modules.
In C. Nastasescu and F. Van Oystaeyen book, Methods of graded rings, ...

**1**

vote

**1**answer

114 views

### Modules “projective in a subcategory”

In my research I have come up with the following notion which I would like to learn more about. It may be very naive.
Let $R$ be a ring, $M$ an $R$-module and $S$ a class or $R$-modules closed under ...

**4**

votes

**2**answers

158 views

### Is there a purely module theoretic characterization of semiprimitive rings?

A ring (say unital for simplicity) is semiprimitive (or Jacobson semisimple) if its Jacobson radical is trivial, or equivalently it has faithful semisimple module. Semiprimitivity is a Morita ...

**3**

votes

**1**answer

168 views

### On the socle of rings

Is it possible that the socle of a ring (with identity) is cyclic as a left ideal but not finitely generated as a right ideal !?

**3**

votes

**2**answers

342 views

### Degrees of factors of polynomial $f(x)=x^q-(ax^2+bx+c)\in \mathbb{F}_q[x]$

I’m facing the problem of factoring polynomials of type $f(x)=x^q-(ax^2+bx+c)\in \mathbb{F}_q[x]$ and the degrees of factors seem to be quite special. For example, according to my experimental results ...

**3**

votes

**1**answer

135 views

### What do epimorphisms in noncommutative rings look like?

The question I want to ask is inspired by this mathoverflow post about epimorphisms in the category of commutative rings. I found the seminar (by P. Samuel) referenced by David Rydh particularly ...

**5**

votes

**0**answers

127 views

### Software for BMW algebra calculations?

Does software exist for computations in the BMW algebra?
For example, I'd like to be able to express elements in a basis of "totally descending tangles" as in a paper of Morton–Wassermann. At ...

**13**

votes

**1**answer

352 views

### If the tensor power $M^{\otimes n} = 0$, is it possible that $M^{\otimes n-1}$ is nonzero?

This question was asked earlier on math.stackexchange: click here. See the comments and the answer by Jack Schmidt there.
Let $M$ be a module over a commutative ring $R$.
It is possible that $M ...

**16**

votes

**1**answer

559 views

### Does GL_n(Z) have a noetherian group ring?

Has the (left, right, 2-sided) noetherian property of the integral group ring of arithmetic groups like $GL_n(Z)$ been considered in the literature?
Motivation: a recent trend has been to study ...

**3**

votes

**1**answer

57 views

### Does every equivalence class in a Brauer-Wall group have a (graded) division algebra?

It is known that each equivalence class in a Brauer group has a division algebra (or, in other words, every central simple algebra is isomorphic to $\mathrm{Mat}(D)$ for some division algebra $D$). Is ...

**15**

votes

**0**answers

256 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$. ...

**1**

vote

**0**answers

53 views

### Example H-unital algebra which is not unital

What is an example of an algebra which is H-unital (that is its Bar complex is acyclic) and yet it is not unital?