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
83 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 ...
4
votes
1answer
202 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
1answer
117 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
1
vote
1answer
111 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 ...
-3
votes
0answers
26 views

On a bijection with a division ring [closed]

Let $K$ be an infinite division ring and $n$ a natural integer . I need to show that there exists a bijection between $K$ and $K^n$. Well, I'm not sure of this, could you help me with it ? A ...
9
votes
1answer
193 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
2answers
250 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
2answers
166 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$, ...
0
votes
0answers
16 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
1answer
64 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
0answers
135 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 ...
16
votes
0answers
188 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
1answer
123 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 ...
0
votes
2answers
79 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 ...
11
votes
2answers
617 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 ...
2
votes
1answer
271 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
0answers
125 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
1answer
167 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
0answers
206 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
0answers
99 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 ...
3
votes
0answers
62 views

Does this kind of non-noetherian bimodule exist?

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 $S$-module, ...
0
votes
0answers
69 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
1answer
98 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
2answers
145 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
1answer
148 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
2answers
314 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
1answer
117 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
0answers
114 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
1answer
328 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 ...
13
votes
1answer
462 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
1answer
50 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 ...
13
votes
0answers
235 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
0answers
38 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?
4
votes
2answers
307 views

A question about pairs of lines in 3D projective space

Consider a 3-dimensional projective space $X$. Let $m$ be the smallest number so that there are $m$ pairs of lines $ \ell_1,\ell'_1$, $ \ell_2,\ell_2'$, ... , $\ell_m, \ell'_m$ in $X$: a) For ...
3
votes
2answers
330 views

Central idempotents from characters in Frobenius algebras (generalizing Lusztig arXiv:math/0208154v1 §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 ...
2
votes
0answers
41 views

Augmentation ideal of the cohomology of an elemntary abelian 2-group [closed]

Let V be an elemntary abelian 2-group and $R=H^{*}V$ its cohomology. What is the Augmentation ideal of R and what is the quotient of R by its augmentation ideal ?
0
votes
0answers
160 views

A noncommutative analogy of the tube lemma

Assume that $A$ and $B$ are two unital commutative Banach algebras. Assume that $\phi \in \mathcal{M} (A)$ is an element of the maximal Ideal space. Define $\alpha: A\hat{\otimes} B \to ...
0
votes
0answers
50 views

Extensions on Higher-dimensional local fields

I have the following question: Let $M/L$ b a finite extension of n-dimensional local fields and $t_1,\dots, t_n$ a system of local parameters of $L$ with valuation $v$. Let us fix an $1\leq i \leq ...
1
vote
0answers
36 views

Valuations in Higher-dimensional local fields

I have the following question which I believ should be true but I would like to have a different opinion about it: Let $M/L$ is a finite Galois extension of $n$-dimensional local fields and ...
1
vote
0answers
125 views

Reductive Group Actions and Completion

Suppose that $A$ is a Noetherian (not necessarily commutative) $\mathbb{C}[h]$-algebra equipped with a rational action of an affine reductive group $G$, i.e., $A$ is a $\mathbb{C}[G]$-comodule and ...
7
votes
1answer
199 views

Why can't one modify Kaplansky's proof to conclude that every projective module is a direct sum of its finitely generated projetive submodules?

Due to the examples given in the answer to this question, I know that the conclusion is of course incorrect. But by reading Kaplansky's proof of theorem 1 in this paper and replacing every occurrence ...
3
votes
1answer
171 views

Possibilities for dimensions of $\mathfrak{m}^i/\mathfrak{m}^{i+1}$ for a local ring

Let $R$ be a local commutative ring with maximal ideal $\mathfrak{m}$, and denote by $k$ the residue field $R/\mathfrak{m}$. Then we can look at the sequence of $k$-vectorspaces $$R/\mathfrak{m}, ...
0
votes
0answers
41 views

Grassmann algebra morphism with universal property

I'm pretty sure that the following doesn't work, but nevertheless i wanted to ask, maybe this is a kind of well-known construction i've never heard of: Let $\Lambda(\mathbb{R}^n)$ be a finite ...
1
vote
1answer
103 views

Weyl algebras $A_n(k)$ as tensor product of the first Weyl algebra

In afew threads I've read that the Weyl algebra $A_{n+1}(k)$ is isomorphic to the $k$-tensor product of $A_n(k)$ with $A_1(k)$, why is this true?
1
vote
2answers
160 views

Is there an intuitionistic generalized boolean algebra (of Stone)?

A "boolean algebra without the greatest element" was called by Stone "generalized boolean algebra" and he axiomatized it. Is there any publication about "preudo-boolean algebras without the greatest ...
2
votes
1answer
63 views

Does a BCL algebra define a partial order?

A BCL algebra is a universal algebra with a binary operation denoted as "$*$" and a $0$-ary operation (constant) denoted as "$0$", satisying the following axioms: (1) $x * x = 0$; (2) if $x * y = 0$ ...
6
votes
1answer
76 views

Infinite dimensional simple algebras of finite degree

Let $F$ be a field and let $B$ be an $F$-algebra. The degree of $B$ over $F$ is the smallest positive integer $\deg_F B = d \geq 1$ such that every element of $B$ satisfies a (monic) polynomial of ...
1
vote
0answers
44 views

On generating Euler Square of index q, q-1 (where q is any prime power)

Can somebody help me in generating Euler Square of index q, q-1 (where q is any prime power). Also, kidly tell me if there is any code availeble for generating the stated Euler Square. The details of ...
1
vote
0answers
121 views

Cycles in Quivers and Path Algebras

I cannot find anything giving the algebra of a quiver with a single cycle on three or more vertices. In other words if your quiver consists of n vertices (n>2), and e_i is connected to e_{i+1} (taking ...
4
votes
0answers
259 views

The logarithm over $\mathbb F_1$

In 'Cyclotomy and analytic geometry over F1', Manin proposes a version of the notion of `analytic function' over the 'field with one element $\mathbb F_1$'. Question 1: can somebody explain or give ...