All Questions
Tagged with ra.rings-and-algebras reference-request
329 questions
2
votes
0
answers
91
views
Reference request: structure of group of units of finite group ring
Let $G$ be a finite group, let $F$ be a finite field and let $F[G]$ be the group algebra of $G$ over $F$.
What is known about the structure of the group of units $F[G]^\times$? Of course, it must ...
- 1,433
1
vote
0
answers
123
views
Four octonionic loops to identify
A loop is a quasigroup with the identity. I have to disclose that loop-theory is something outside my expertise.
I have four loops arising from octonionic elements of unitary norm that have order 16, ...
- 16.9k
19
votes
2
answers
1k
views
Hopf algebra reference
I was talking this morning to a colleague who thinks about combinatorial Hopf algebras. He mentioned several rings, which are of interest in combinatorics, for which he didn't know whether a Hopf ...
- 63.9k
5
votes
1
answer
256
views
Classifying indecomposable modules over $\mathbb{Z}/p^{2}\mathbb{Z}[\mathbb{Z}/p\mathbb{Z}]$
I'm now interested in classifying the indecomposable modules over $\mathbb{Z}/p^{2}\mathbb{Z}[\mathbb{Z}/p\mathbb{Z}]$ : the group ring of $\mathbb{Z}/p\mathbb{Z}$ over the ring $\mathbb{Z}/p^{2}\...
- 16.2k
2
votes
0
answers
134
views
Algebra of finite width matrices
$\DeclareMathOperator\FWM{FWM}\DeclareMathOperator\End{End}$For any ring $R$ there's an algebra of finite width matrices with entries in $R$. By finite width matrices I mean the ones that have only ...
- 63.9k
3
votes
1
answer
173
views
$\Omega$ for noetherian semiperfect rings
Let $A$ be a a two-sided noetherian semiperfect ring and assume that the injective dimension of the left and right regular modules are equal to $n \geq 1$.
Let $\Omega^n(mod A)$ be the category of $n$-...
- 16.2k
3
votes
0
answers
116
views
A theory of refined h- and f-polynomials for the permutahedra, associahedra, noncrossing partitions, and tropical Grassmannians (references)
Looking for references (insights) on a theory encompassing a notion of refined face polynomials and their associated refined h-polynomials that are generalizations of the relation between ordinary f-...
- 10.5k
3
votes
1
answer
135
views
Does Noetherianity imply division theorem?
I am trying to understand something which is probably basic for experts so I am sorry if this is not suited for this forum.
Let $\mathcal{O}_n$ denote the ring of germs at $0 \in \mathbb{R}^n$ of real-...
- 12.9k
2
votes
1
answer
297
views
Papers on distribution of high order elements over $\mathbb{F}_p$
I am interested in knowing about the distribution of exponentially high order elements in $\mathbb{F}_p$. To be precise let $s$ be of the order $\frac{p}{\log^{k}(p)}$ for some fixed $k$ and integer. ...
- 63.9k
3
votes
1
answer
123
views
Equivalent definitions of pro-unipotent coalgebras
I'm trying to find a reference in the literature for equivalence of the following two definitions of pro-unipotent coalgebras.
Definition Let be $H$ a coagumented coalgebra and let $\Delta \colon H \...
- 63.9k
0
votes
0
answers
206
views
Vector-valued valuations on lattices
There's a fair amount of work on valuations on (modular) lattices, by which I mean functions $v : \mathcal{L} \rightarrow R$ that satisfy the modular expression
$$v(x) + v(y) = v(x \wedge y) + v(x \...
- 4,219
4
votes
1
answer
520
views
List of Casimir elements of low dimensional Lie algebras
I am interested in explicit formulae for the Casimir elements (or "Casimir operators") of low-dimensional, real, non-Abelian Lie algebras (d=2,3, and possibly 4). I am wondering if there is any ...
- 63.9k
1
vote
2
answers
333
views
Condition for equality of modules generated by columns of matrices
Let $R$ be a commutative ring with unit. Let $M_A$ denote the submodule of $R^m$ generated by columns of a matrix $A$ with entries in $R$. Suppose we are given two matrices $A,B \in R^{m \times k}$. I ...
- 431
2
votes
0
answers
138
views
Construction of a certain long exact sequence
Let $A$ be a noetherian ring (not necessarily commutative) or for simplicity even a finite dimensional algebra over a field.
Let $X$ and $U$ be finitely generated $A$-modules and let $add(U)$ be the ...
- 26.5k
1
vote
1
answer
1k
views
Does it make sense that "Representations of groups over finite ring" ?
I am an undergrad student who wants to know about the representation theory over
arbitrary finite fields or finite rings of characteristic p (p a prime). (called modular
representation theory.)
In ...
- 1,446
7
votes
1
answer
608
views
Name for vector spaces with two algebra structures that satisfy the exchange law
Is there a name/reference for the following object? We have a vector space $V$ over some field with two associative bilinear operations $\circ,*:V \times V \to V$ which satisfy the interchange law, i....
- 5,040
5
votes
3
answers
577
views
Attaching an ideal whose square is zero: does this operation have a name and a notation?
I know I met the following construction somewhere, but I cannot remember where. Let $A$ be
a (unital associative) ring, and let $N$ be an $A$-$A$ bimodule. On the product set $A\times N$ we define ...
- 11
2
votes
1
answer
192
views
Origins of a theorem on an atomic factorizations in domains and cancellative monoids satisfying the ACCPL and the ACCPR
Let $H$ be a (commutative or non-commutative) monoid. We say that $H$ satisfies the ACCPL (ascending chain condition on principal left ideals) if there exists no infinite sequence of principal left ...
CommunityBot
- 1
3
votes
1
answer
262
views
Locally nilpotent derivations on rings with zero divisors
Almost all books that I have found deal with derivation on several types of rings (or algebras) (for instance, commutative, noncommutative, domains, non-domains etc).
However, each paper about ...
CommunityBot
- 1
2
votes
0
answers
98
views
Question concerning relationships between different $p$-modular systems and Brauer character values
Let $(K,\mathcal{O},k)$ be a large enough $p$-modular system, where $\mathcal{O}$ is a complete discrete valuation ring of characteristic zero with unique maximal ideal $J(\mathcal{O})$, algebraically ...
- 1,755
2
votes
1
answer
170
views
Reference for lattices as algebraic structures
I want to study lattices as a structure related to ring theory. I am familiar with lattices as a beginner but I want to go further and know their connections to ring theory. Do you know a book which ...
- 1,355
4
votes
1
answer
273
views
Wedderburn decomposition of special linear groups
$\DeclareMathOperator\SL{SL}\newcommand\card[1]{\lvert#1\rvert}$I want to study about Wedderburn decomposition of group algebra $k\SL(n,\mathbb{F}_p)$ where $k$ is either an algebraically closed field ...
- 13k
3
votes
1
answer
402
views
A few reference questions about the Baker–Campbell–Hausdorff formula
I'm looking at the article Baker–Campbell–Hausdorff formula - Wikipedia and I have a few questions.
Under the "Special cases" section, there is a notation $\DeclareMathOperator{\ad}{ad}$
$$ \...
- 1,446
7
votes
1
answer
440
views
Center of a monoid ring
According to the Wikipedia page the center of a group ring $R[G]$ is the set:
$$
\{ p | \forall g,\, h \in G.\, p(g) = p(hgh^{-1}) \}
$$
i.e. class functions which do not distinguish elements of the ...
- 1,446
4
votes
0
answers
762
views
Rewrite sum of radicals equation as polynomial equation
My question is about a method described in [Dr.Math forum][1] for simplifying equations involving sums of radical functions.
(The following is a transcription of the example given by Dr. Vogler):
--- ...
- 2,821
4
votes
0
answers
157
views
On skew monoid rings and skew ordered series rings
To my knowledge (see, e.g., H.H. Brungs and G. Törner's Skew Power Series Rings and Derivations [J. Algebra 87 (1984), 368-379]), skew polynomial rings were first introduced by Ø. Ore in 1933: Given ...
- 10.5k
3
votes
1
answer
106
views
Reference request for equivalent formulations of being absolutely indecomposable
I would like to ask the following question.
I am searching for a reference for the following statement:
Suppose $k$ is a perfect field. Let $A$ be a (symmetric) $k$-algebra and let $M$ be a finitely ...
- 311
9
votes
1
answer
1k
views
When does the homological dimension of a tensor product equal the sum of dimensions?
The notion of dimension I prefer most is right global dimension, but the question can also be asked for other notions (e.g. weak dimension, injective dimension, Krull dimension). Letting $d$ be ...
- 2,821
7
votes
1
answer
179
views
Symmetry of unique generator property
In this article:
Canfell, M. J. "Completion of Diagrams by Automorphisms and Bass′ First Stable Range Condition." Journal of algebra 176.2 (1995): 480-503.
the author defines a ring $R$ to ...
- 1,507
2
votes
0
answers
92
views
Is there a standard reference for: taking projective covers of simple modules commutes with finite Galois field extensions?
Let $\Lambda$ be an Artin algebra over a finite field $k$. Is there a standard reference for the fact that taking projective covers of simple $\Lambda$-modules commutes with finite Galois field ...
- 311
4
votes
0
answers
216
views
Characterizing atomicity in a commutative domain
In Proposition 1.1 of [Math. Proc. Cambridge Phil. Soc. 64 (1968), No. 2, 251-264], P.M. Cohn famously claimed (without proof) that a commutative domain is atomic if and only if it satisfies the ...
- 10.5k
6
votes
1
answer
325
views
Distributive lattice of subspaces
Let $V$ be a finite dimensional vector space. Let $\Lambda$ be a collection of subspaces of $V$ such that, if $X$ and $Y$ are in $\Lambda$, then $X\cap Y$ and $X+Y$ are in $\Lambda$. This makes $\...
- 38.6k
21
votes
1
answer
2k
views
Is there any non-commutative ring such that every element other than the identity is a zero divisor?
A (unital) ring $R$ with the property that every element other than the identity $1_R$ is a (two-sided) zero divisor, seems to be commonly called a "$0$-ring" or "$\mathcal O$-ring"...
- 495
5
votes
0
answers
302
views
Reference for countable and uncountable algebraic closures of $\mathbb{Q}$ in ZF
The following facts seem to be part of the folklore (where $\mathsf{ZF}$ means Zermelo-Fraenkel set theory with no axiom of choice):
it is consistent with $\mathsf{ZF}$ that there exists an ...
- 32.5k
0
votes
1
answer
72
views
Reference request: Left $R/k$-modules [closed]
In the paper titled:
On the module of differentials of a noncommutative algebra and symmetric biderivations of a semiprime algebra
I found the following definition:
Let $k$ be a commutative ring with ...
- 5,878
2
votes
0
answers
145
views
Solvability and nilpotency for Banach algebras
Do we have topological counterparts of solvability and nilpotency, which are central concepts for (finite-dimensional) Lie algebras, for infinite dimensional Banach algebras with the commutator ...
- 2,605
9
votes
0
answers
460
views
Does the book "Algebra III" exist (within the Encyclopaedia of Mathematical Sciences series from Springer)?
Within the series "Encyclopaedia of Mathematical Sciences", as published by Springer, one finds the 8 volumes, namely,
the volumes I, II, IV, V, VI, VII, VIII, IX but zbMath has no listing ...
- 4,713
16
votes
2
answers
4k
views
A geometric reference for (affine) Gorenstein varieties and singularities
I would like to ask for a reference to some text that explains in relatively down to earth (if possible geometric) terms (for dummies) what is a Gorenstein singularity and Gorenstein variety (for a ...
- 35.5k
8
votes
0
answers
112
views
Identity for the associator involving a third root of unity
This is a reference request. I came across the class of nonassociative algebras satisfying the following identity:
$$
(a,b,c)+\omega(b,c,a)+\omega^2(c,a,b)=0.
$$
Here:
by an "algebra" I mean a ...
- 12.9k
2
votes
1
answer
257
views
Possible "algebraic" direction in hyperplane arrangements
I have been studying hyperplane arrangements from R. Stanley's notes and so far, I have read until lecture 5. But, Lecture 6 and end of Lecture 5 seems very combinatorial. I'm more interested in the &...
- 24.2k
3
votes
1
answer
222
views
Is there a name for a noncommutative generalization of Poisson algebra?
Is there a name for an associative algebra which is further endowed with a Lie algebra structure such that the Leibniz rule holds, i.e.,
$$[a, b \circ c]=[a,b]\circ c+b\circ [a,c], \hspace{15mm}(*)$$ ...
- 16.9k
34
votes
1
answer
5k
views
Freyd-Mitchell's embedding theorem
Freyd–Mitchell's embedding theorem states that: if $A$ is a small abelian category, then there exists a ring R and a full, faithful and exact functor $F\colon A \to R\text{-}\mathrm{Mod}$.
I have been ...
- 6,367
31
votes
5
answers
5k
views
Gossip about Grothendieck and distributive lattices
In Gian-Carlo Rota's Indiscrete Thoughts, there a list of mathematical gossip among which one reads:
[...] What would have happened [...] if Grothendieck had known the theory of distributive ...
- 4,713
7
votes
1
answer
281
views
Question concerning the coefficients of block idempotents
Let $G$ be a finite group. Let $p$ be a prime number such that $p \mid |G|$.
Let Irr$(G)$ denote the set of ordinary irreducible characters of $G$.
For $\chi\in$ Irr$(G)$ define $e_{\chi} := \frac{\...
- 44.4k
4
votes
2
answers
299
views
Relation of the first Hochschild cohomology and the outer automorphism group
Let $R$ be a ring.
Qeustion: Is it true that the first Hochschild cohomology of $R$ is zero if and only if the outer automorphism group of $R$ is finite?
(It is not true, by the two answers. Is it ...
CommunityBot
- 1
7
votes
2
answers
748
views
Simplicial set construction of the classifying space
What would be the best book, article, or otherwise to reference for the specific construction of the classifying space for a discrete group $G$ which goes as follows?:
Regard $G$ as a category with ...
- 4,519
4
votes
0
answers
84
views
Associative rings with "big" commutative subrings
Let $A$ be an associative ring and $R\subset A$ be a commutative subring. Suppose that every element of $A$ has the form $urv$ where $r\in R$ and $u, v\in A^*$ are invertible. A basic example is $A=...
- 41
5
votes
0
answers
788
views
Rings such that torsion-free/flat/projective modules are flat/projective/free
While thinking about this question (and specifically YCor's remarks), I tried to remember what can be said about rings such that every torsion-free module is free, and I could not; and such things, ...
- 19.6k
6
votes
1
answer
244
views
What is a Serre-smooth algebra?
Let $A$ be an $R$-algebra.
In the book "Noncommutative Geometry and Cayley-smooth Orders" by Le Bruyn one can find the notion of "Serre-smooth" in the introduction.
But no formal ...
- 4,277
2
votes
1
answer
287
views
Every module of finite uniform dimension is a direct sum of (finitely many) indecomposable
Crossposted on StackExchange on July 28 (no answer so far).
Let $R$ be a (commutative or non-commutative, associative, unital) ring. It is well known that any artinian or noetherian $R$-module $M$ can ...
- 18.7k