Questions tagged [ra.rings-and-algebras]

Non-commutative rings and algebras, non-associative algebras, universal algebra and lattice theory, linear algebra, semigroups. For questions specific to commutative algebra (that is, rings that are assumed both associative and commutative), rather use the tag ac.commutative-algebra.

879 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
51
votes
0answers
2k views

What did Gelfand mean by suggesting to study "Heredity Principle" structures instead of categories?

Israel Gelfand wrote in his remarkable talk "Mathematics as an adequate language (a few remarks)", given at "The Unity of Mathematics" Conference in honor of his 90th birthday, the ...
32
votes
0answers
799 views

Groups whose complex irreducible representations are finite dimensional

By a complex irreducible representation of a group $G$, I mean a simple $\mathbb CG$-module. So my representations need not be unitary and we are working in the purely algebraic setting. It is easy ...
30
votes
0answers
3k views

Greatly expanded new edition of a Bourbaki chapter on algebra?

Recently I discovered by accident that Bourbaki issued in 2012 a radically expanded version of their 1958 Chapter 8 Modules et anneaux semi-simples (like other chapters, initially in French) within ...
29
votes
0answers
1k views

Is there a field $F$ which is isomorphic to $F(X,Y)$ but not to $F(X)$?

Is there a field $F$ such that $F \cong F(X,Y)$ as fields, but $F \not \cong F(X)$ as fields? I know only an example of a field $F$ such that $F$ isomorphic to $F(x,y)$ : this is something like $F=k(...
26
votes
0answers
426 views

What algebraic structure characterizes all natural operations between differential operators and differential forms?

On a smooth manifold $M$ one can define various algebraic structures, natural with respect to diffeomorphisms: the differential graded-commutative algebra $\Omega(M)$ of differential forms on $M$; ...
23
votes
0answers
414 views

Topological loops vs. algebro-geometric suspension in Hochschild homology

Let $k$ be a base commutative ring, and let $A$ be a (unital but not necessarily commutative) $k$-algebra. The cone on $A$ is the ring $CA$ of infinite matrices $(a_{ij})_{i,j \geq 1}$ that are ...
17
votes
0answers
626 views

When is the determinant an $8$-th power?

I am working over $\mathbb{R}$ (though most of the story goes over any field). I am looking for linear spaces of matrices such that the restriction of the determinant to this spaces can be written (...
16
votes
0answers
499 views

Are $0, 1, 4, 7, 8$ the only dimensions in which a bivector-valued cross product exists?

It is a well-known mathematical curiosity that ordinary (vector-valued) cross products over $\mathbb{R}$ exist only in dimensions $0, 1, 3$ and $7$ (this fact is related to Hurwitz's theorem that real ...
16
votes
0answers
723 views

How to explain the picturesque patterns in François Brunault's matrix?

How to explain the patterns in the matrix defined in François Brunault's answer to the question Freeness of a Z[x] module depicted below? -- Choosing colors according to the highest power of 2 which ...
15
votes
0answers
289 views

Concept associated to the Eudoxus reals

I am aware of three different constructions of the field of real numbers : The Cauchy sequence construction : in this case, we see the field $\mathbb{Q}$ as a metric space and $\mathbb{R}$ is the ...
14
votes
0answers
768 views

Is "being a full ring of quotients" a Morita invariant property?

Definition and context: An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...
14
votes
1answer
2k views

Finite dimensional real division algebras

A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional (not necessarily associative, unital) division algebra over the real numbers has dimension 1,2,4 or 8. This result is ...
13
votes
0answers
330 views

Analog of Haar element in an algebra

In a Hopf algebra $H $ (over some field $ k $), there is the notion of a Haar element $ h \in H$. This is an element of the algebra which has the property that if $ V $ is a representation of $ H $, ...
13
votes
0answers
350 views

A hard Lefschetz theorem for nilCoxeter algebras

Let $W$ be a finite Coxeter group and $\mathcal{N}(W)$ its nilCoxeter algebra (over the reals, say), as defined at https://en.wikipedia.org/wiki/Nil-Coxeter_algebra. $\mathcal{N}(W)$ has a natural ...
13
votes
0answers
1k views

Kaplansky's theorem and Axiom of choice

Kaplansky in his paper titled by Projective Modules gave an important and essential theorem as follow: Theorem: Let $R$ be a ring, $M$ an $R$-module which is a direct sum of (any number of) countably ...
12
votes
0answers
166 views

Hopf-Galois extensions where the "extension" is a module?

For $H$ a Hopf-algebra, an $H$-Hopf-Galois extension is a map of rings $\phi\colon\thinspace A\to B$ such that $H$ coacts on $B$ over $A$, $B\otimes_AB\cong B\otimes H$, and the cofixed points, or the ...
12
votes
0answers
229 views

Finitely generated skew-fields

There is a well known theorem saying that a commutative field that is finitely generated as a ring has to be finite (Kaplansky). Is the same true for non-commutative "fields" (usually called ...
12
votes
0answers
259 views

How can you unitalize a higher category?

Given an associative nonunital algebra $A$, there are (at least) two standard ways to produce a unital algebra $A'$ together with a map $A \to A'$. Following the discussion in the comments below, ...
12
votes
0answers
197 views

Must nonunit in group algebra of free group generate proper two-sided ideal?

Let $F$ be a free group and $k$ be a field. If $x$ is an element of the group algebra $k[F]$ that is not a unit (equivalently, that is not a nonzero scalar multiple of an element of $F$), must the 2-...
12
votes
0answers
583 views

Given an algebra, can it be realized as a block of a Hopf algebra?

During a classification problem I came across a set of algebras given as the path algebra of a quiver with relations. As an example the local ones: $k\langle x,y\rangle/x^2,y^2, xy-qyx$, where $q\in k$...
11
votes
0answers
293 views

Rings that fail to satisfy the strong rank condition

In T.Y. Lam's book Lectures on Modules and Rings, a ring $R$ is said to satisfy the strong rank condition if, for every natural number $n$, there is no right $R$-module monomorphism $R^{n+1}\to R^n$. ...
11
votes
0answers
413 views

A congruence involving roots of unity

Let $f(x) \in \mathbb{Z}[x]$ and suppose $f(\omega^j) \in \mathbb{Z}$ for all $j= 1, \dots, n$ where $\omega = e^{2 \pi i/n}$ is a primitive $n^{\text{th}}$ root of unity. Computational evidence ...
11
votes
0answers
819 views

Is "Determinant" a Hochschild coboundary?

Assume that $n>2$. Is there an associative unital algebra structure on $\mathbb{C}^{n}$ such that $D$, the determinant as a $n-\text{form} $ on $\mathbb{C}^{n}$, would be a Hochschild ...
11
votes
0answers
378 views

Detecting a module for the free group algebra on a finite quotient

Let $F_2$ be the free group on two generators $x,y$ and let $R$ be the group algebra $\mathbf{Q}[F_2]$. Let $a,b,c$ be integers. Then define a right $R$-module $M = R / (ax + by + c) R$. I am ...
11
votes
0answers
257 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
0answers
456 views

Does there exist a Noetherian ring of finite injective dimension but higher Krull dimension?

Definition: a (not necessarily commutative) left and right Noetherian ring $R$ is said to be Auslander-Gorenstein if (i) $R$ has finite left and right injective dimension (in which case it turns out ...
11
votes
0answers
266 views

What do Multilinear Forms tell us about Representations?

The last few days I have been calculating whether certain group representations are real, complex, or quaternionic. It is well-known that the type of the representation corresponds to what type of ...
10
votes
0answers
404 views

Is $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p$ coherent?

The question is as in the title: Is the ring $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p = \mathbb{Z}_p \otimes_{\mathbb{Z}_{(p)}} \mathbb{Z}_p$ coherent? As shown in the related question, the ...
10
votes
0answers
155 views

What is the meaning of the coefficients of the Alekseev-Torossian associator

Drinfeld associators became a central object in mathematics and mathematical physics. They appear in deformation quantization, quantum groups, in the proof of the formality of the little disks operad, ...
10
votes
0answers
219 views

Generalized eigen property of a matrix

Given a $n \times n$ invertible matrix $A$, I am interested in the set $$ \mathcal{S}(A) = \{ D \textrm{ diagonal matrix } \mid \det(D - A) = 0 \}. $$ Thus, for all eigenvalues $\lambda_i$, we have $...
10
votes
0answers
222 views

Has anyone seen this construction of dg algebras?

Let $A$ be an associative algebra, $M$ a right $A$-module. Suppose we are given an $A$-module homomorphism $M \to A$. Then we can make $M$ itself into an associative algebra via the multiplication $$ ...
10
votes
0answers
365 views

Lazard's theorem and Hopf structures on the polynomial algebra

Let $k$ be an algebraically closed field of characteristic $0$. A well-known result of Lazard's states that an algebraic group which is isomorphic as a variety to an affine space is unipotent (M. ...
10
votes
0answers
227 views

When does Hochschild homology commute with infinite products?

Let $A$ be an associative algebra. Its zeroth Hochschild homology $\mathrm{HH}_0(A)$ is the cokernel of the linear map $A^{\wedge 2} \to A$, $a \wedge b \mapsto ab - ba$. I.e. you quotient the ...
10
votes
0answers
231 views

Are local finite dimensional Hopf algebras symmetric?

Recall that a finite dimensional algebra $A$ over a field $K$is called a Frobenius algebra in case $A \cong D(A)$ as right modules, where $D(A) \cong Hom_K(A,K)$. In case $A \cong D(A)$ as bimodules, ...
10
votes
0answers
602 views

What happens to simple modules under Ringel duality?

If $A$ is a quasi-hereditary algebra then its Ringel dual $A'=End_A(T)$ is the endomorphism algebra of a (minimal) full tilting module $T$ for $A$. The algebra $A'$ is again quasi-hereditary, although ...
9
votes
0answers
179 views

Recover the field from its Milnor K-groups

For every field $F$, consider $K_n^M(F)$ the $n$-th Milnor K-group of $F$ for each $n \in \Bbb N$, and form the Milnor K-ring $K^M(F)=\oplus_{n \geq 0}K^M_n(F)$. For instance, $K_1(F)=F^{\times}$. ...
9
votes
0answers
302 views

Equational theory in the signature (+,*,0,1) of sedenions and beyond

Consider a Cayley-Dickson algebra $(X,+,∗,0,1)$, that is an algebra generated from the reals by the Cayley-Dickson construction. From complexes to quaternions, we lose commutativity of multiplication, ...
9
votes
0answers
163 views

What are the algebras for the codensity monad of $\textbf{FP-Ring} \rightarrow \textbf{Ring}$

Let $\textbf{Fin-Set}$ denote the category of finite sets, and let $\textbf{Set}$ denote the category of sets. The inclusion functor $\textbf{Fin-Set} \rightarrow \textbf{Set}$ from the category of ...
9
votes
0answers
129 views

Where is it shown that a countable self-injective ring is semilocal?

In Lawrence, John. "A countable self-injective ring is quasi-Frobenius." Proceedings of the American Mathematical Society (1977): 217-220. the first line is this: ...
9
votes
0answers
249 views

Name for rings with $R \cong R^{\mathrm{op}}$

Is there a name for rings that are isomorphic to their opposite ring $R^{\mathrm{op}}$ in the literature? I'm especially interested for the class of Artin algebras.
9
votes
0answers
771 views

Scholze's infinite to finite type ring theory reductions?

In following essay "The Perfectoid Concept: Test Case for an Absent Theory" by Michael Harris, there is the following sentence I found to be quite striking. The most virtuosic pages in Scholze's ...
9
votes
0answers
166 views

Super-extensions of the Poincaré Lie algebra

For $(\mathfrak{g},[-,-])$ an ordinary Lie algebra let me say that a super-extension of it (maybe not the best terminology) is a super-Lie algebra $(\mathfrak{s}, [-,-]_{\mathfrak{s}})$ whose bosonic ...
9
votes
0answers
246 views

Is the discriminant of a free (as a module) $R$-algebra always congruent to a square modulo 4?

Let $R$ be a commutative ring. Let $A$ be an $R$-algebra (i.e., an $R$-module equipped with an $R$-bilinear multiplication map that turns $A$ into a unital ring). We do not require $A$ to be ...
9
votes
0answers
312 views

Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...
9
votes
0answers
517 views

Is it possible to define Hopf algebra as an object in the category of (associative) algebras?

I think this must be well-known, but I can't find references, so my apologies from the very beginning. Consider first the notion of bialgebra. It is usually defined as an object $B$ in the category ${...
9
votes
1answer
390 views

Description of p-adics tensor the reals

What is $\mathbb{Z}_{p}\otimes_{\mathbb{Z}}\mathbb{R}$ equivalent to? where $\mathbb{Z}_p$ are the p-adic integers. I am specially interested in the case $p=2$. Do know that $\mathbb{Z}_p\otimes_{\...
9
votes
1answer
398 views

Structure of $Hom(L_1,L_2)$, where $L_i$ are distributive lattices

Is there known structures/ or has there been studies on $Hom(L_1,L_2)$ of distributive lattices? Could it be made into a lattice naturally? Is there any structure on the set of ring valued functions $...
8
votes
0answers
290 views

In search of lost graded rings

$\newcommand{\la}[1]{\kern-1.5ex\leftarrow\phantom{}\kern-1.5ex}\newcommand{\ra}[1]{\kern-1.5ex\xrightarrow{\ \ #1\ \ }\phantom{}\kern-1.5ex}\newcommand{\ras}[1]{\kern-1.5ex\xrightarrow{\ \ \smash{#1}\...
8
votes
0answers
229 views

Towards the complex unit conjecture

After Gardam had found a counterexample to the Kaplansky unit conjecture for the group ring $K[G]$ with $K = \mathbf F_2$ and $G = P$, the Promislow group, Murray extended this to $\mathbf{F}_p[P]$ ...
8
votes
0answers
201 views

A characterisation of symmetric algebras using Hochschild (co)homology

A finite dimensional (connected if needed) $K$-algebra $A$ over a field $K$ is called symmetric when $A \cong Hom_K(A,K)$ as $A$-bimodules. Symmetric algebras are Frobenius algebras and include for ...

1
2 3 4 5
18