All Questions
Tagged with rings-and-algebras or ra.rings-and-algebras
3,500 questions
3
votes
2
answers
255
views
Is being graded commutative a necessary condition on $A$ such that $H^*(A)$ is commutative?
If we consider any differential graded algebra $A^\bullet$, then its homology is a graded algebra, since the tensor product interacts well with homology.
A sufficient condidtion for the homology to be ...
- 4,398
1
vote
0
answers
58
views
When is a bimodule that is projective as a right and as a left module also projective as a bimodule
Are there practical criteria for determining when a bimodule that is projective as a right and as a left module is projective as a bimodule? Some illustrative examples of what goes wrong and what goes ...
2
votes
1
answer
306
views
Serre functors and global dimensions
Let $k$ be a field.
Let $\mathcal{C}$ be an abelian category (over $k$).
We say that $\mathcal{C}$ has a finite global dimension if there exists integer $n > 0$ such that
$$
\operatorname{Ext}^i(M,...
- 889
3
votes
0
answers
89
views
Ordering the elements of a semigroup by $a \le b$ iff $a=b$ or $b=ab=ba$
Let $S$ be a semigroup, written multiplicatively. The binary relation $\le$ on (the underlying set of) $S$, whose graph consists of all pairs $(a,b) \in S \times S$ such that $a = b$ or $b = ab = ba$, ...
- 10.5k
3
votes
0
answers
154
views
Efficient computation of $x^n \bmod g(x)$ in $\mathbb{F}_2[x]$
Related to this question. I wish to compute $x^n \bmod g(x)$ in $\mathbb{F}_2[x]$ for some fixed and known upfront $g$. This problem pops up in computing the 'pure' CRC function of a bit sequence of ...
- 139
3
votes
0
answers
117
views
Which sigma-ideals in a sigma-algebra are contained in an ideal of null sets?
Let $X$ be a Polish space and $\mathcal{B}(X)$ be the $\sigma$-algebra of Borel subsets of $X$. Given a Borel probability measure $\mu$ on $X$, we write $\mathcal{N}(\mu) := \{ B \in \mathcal{B}(X) : \...
0
votes
0
answers
59
views
Bimodule endomorphisms of a bimodule over a noncommutative ring
Let $R$ be a noncommutative ring and $M$ an $R$-$R$-bimodule that is projective as left $R$-module. We know that the bimodule of left $R$-module endomorphisms ${}_REnd(M)$ is isomorphic to the tensor ...
8
votes
1
answer
685
views
The state of the art on topological rings - the Jacobson topology
I was recently studying the Jacobson density theorem and I found it quite interesting.
Most textbooks I've seen, including Jacobson's own Basic Algebra, only spend a few lines about the reason why it ...
- 183
16
votes
0
answers
218
views
If a map between unital rings preserves multiplication and successor, does it preserve addition?
Welcome to my first MathOverflow posting!
This is a question about rings, all of them assumed to be both unital and associative.
Let $f\colon R\to S$ be a map between rings such that $f(xy)=f(x)f(y)$ ...
- 161
5
votes
1
answer
367
views
Reference request: locally erasable delta-functor is universal
It is well-documented that an erasable delta-functor $(F^n,\delta)$ is universal. However, in 'small' abelian categories (in the technical sense or otherwise), there aren't always enough objects to ...
- 28.7k
4
votes
2
answers
227
views
Arithmetic application: Complete group ring and group ring for infinite group
Let $G$ be a profinite(infinite) group, $\Lambda$ be the complete group ring(Iwasawa algerbra) of $G$ over a unity ring $R$. My first question is that do we know something about the relation with $\...
- 319
1
vote
1
answer
112
views
Coprime polynomials and polynomial substitution
Let $F$ be a field, and let $P(X_1,\dots,X_m)$, $Q(X_1,\dots,X_m) \in F[X_1,\dots,X_m]$ be two coprime polynomials. Consider $n$ new polynomials $R_1(Y_{1,1},\dots,Y_{1,n}) \in F[Y_{1,1},\dots,Y_{1,n}]...
- 640
5
votes
1
answer
156
views
The inverse limit of a sequence of ring surjections commutes with taking difference subsets of the respective units & gluing in some primes?
Define $R_n := \Bbb{Z}/p_n\#$ the ring of integers modulo primorial $p_n\# = p_n p_{n-1} \cdots p_1$. Let $U_n$ denote the group of units modulo $p_n\#$ in these rings.
Then if $f_{n,n+1}: \Bbb{Z}/p_{...
- 260
19
votes
2
answers
791
views
Topology on a module over a topological ring
The questions
Let $R$ be a topological ring, and let $M$ (with no topology) be an $R$-module. Does $M$ somehow "inherit" a topology from the action of $R$?
Here's a proposal for such a ...
- 41.4k
10
votes
1
answer
243
views
If $E_\text{sep}/F$ is normal, then must $E/F$ be normal?
This question has been asked in Math.StackExchange (see here) for more than a week and I even put a bounty on it. But still it hasn't been correctly answered (the current answer there was written by ...
- 452
0
votes
1
answer
187
views
Quotient of a ring by a left ideal
This is a simple algebra question I'm struggling with.
Let $A$ be a ring (with unity) and $I\subset A$ a left ideal and $B\subset A$ a two sided Ideal.
$A/I=B$ and $A/B=I$ (in the category of left $A$...
- 71
15
votes
3
answers
1k
views
Are automorphisms of matrix algebras necessarily determinant preservers?
Is every automorphism $\phi : A \to A$ of a subalgebra $A \subseteq M_n$ necessarily a determinant preserver?
I would assume that the answer is no in general, but I'm unable to find an example (or any ...
- 261
4
votes
1
answer
222
views
Recent research on polynomial identities
I work in computational complexity, where I work on the problem of polynomial identity testing over arithmetic circuits. One particular case is when the variables over the polynomial ring don't ...
- 49
2
votes
1
answer
211
views
Direct product of direct sum of a flat module
In the book "Rings and Categories of Modules" by Anderson & Fuller, this problem is given: If $V^A$, i.e. the direct product of the module $V$ by the index set $A$, is flat for all sets $...
- 355
0
votes
2
answers
208
views
Real matrix rings and associative hypercomplex numbers
Are there real matrix rings which are not hypercomplex number systems? Is there a canonical form of a real matrix ring?
By a hypercomplex number system I mean a finite-dimensional, unital, associative ...
- 21
4
votes
0
answers
158
views
Wedderburn-Malcev principal theorem for graded-finite algebras
Let $k$ be a field and $A$ be a noncommutative $k$-algebra with Jacobson radical $J$. If $A$ is finite-dimensional, the Wedderburn-Malcev says that $A$ has a subalgebra $S$ such that $$A = S \oplus J$$...
- 492
2
votes
0
answers
46
views
Are two notions of power-associativity equivalent for loops?
According to Groupprops, a magma $X$ is called power-associative if for every element $x\in X$ there exists a sequence $(x^n)_{n\in\mathbb N}$ of elements of $X$ such that $x^1=x$ and $x^m\cdot x^n=x^{...
- 41.8k
6
votes
1
answer
206
views
What makes the surreals special among other surreal-like fields?
Pre-setup: Let $\kappa = \aleph_\xi$ be an uncountable regular cardinal. Its role in this question is merely to sidestep the technical difficulties surrounding the (imho quite uninteresting) notion ...
- 32.5k
1
vote
1
answer
87
views
An example of a commutative ring which is not SIP
Recall that a module $M_R$ ($R$ is a unital ring) is called an SIP-module if the intersection of any two summands of $M$ is a summand. The ring $R$ is called (left) right SIP-ring if the module (${}...
- 324
3
votes
0
answers
36
views
Computing the truncations (“ancestors”) of a surreal number from its Hahn series representation (“normal form”)
If $x$ is a surreal number and $\alpha$ an ordinal, let us denote $T_\alpha(x)$ and call $\alpha$-truncation of $x$ the surreal number whose sign sequence is obtained by truncating the sign sequence ...
- 32.5k
6
votes
1
answer
199
views
Combinatorial type construction of the free operad
$\DeclareMathOperator\RT{RT}$I am reading the book "Algebraic operads" by J. L. Loday and B. Vallete. The authors have given a combinatorial construction of the free operad over an $\mathbb{...
- 229
3
votes
0
answers
161
views
Generalized dimension property for rings
My question is very basic, I am looking for a characterization (and name) of rings $R$ satisfying the following property $\star$.
For any $V, W$ two finitely generated $R$-modules such that $V\oplus W\...
- 223
5
votes
1
answer
168
views
Countably compact Boolean algebras versus distributivity
Let us say that a complete Boolean algebra $B$ is:
countably distributive when for any sequence $(I_n)_{n\in\mathbb{N}}$ of sets and any elements $(u_{n,i})_{n\in\mathbb{N},i\in I_n}$ of $B$ we have
$...
- 32.5k
3
votes
1
answer
290
views
How do you define the composition of two $\mathbb{S}$-modules?
I am reading the book "Algebraic Operads" by J. L. Loday and B. Vallete. I am stuck with the definition of composition of $\mathbb{S}$-modules in Sec-5.1.6, pg. 99. Below I have written down ...
- 229
3
votes
0
answers
83
views
Non-commutative Gorenstein Koszul algebras
I was wondering if there exists a characterization of finite-dimensional Gorenstein Koszul algebras in terms of their Koszul dual?
- 359
11
votes
2
answers
558
views
Whether an isotone bijection from a power set lattice to another sends singletons to singletons
By the work of Paul Cohen (on the continuum hypothesis), one can neither prove nor disprove from the axioms of ZFC that a bijection $f$ from the power set $\mathcal{P}(S)$ of a set $S$ to the power ...
- 10.5k
0
votes
1
answer
113
views
Constructing an adjunction between algebras and differential graded algebras
Fix a ring R. I am looking for a construction of the adjunction between R-algebras and differential graded R-algebras. I am looking for a reference which constructs the left adjoint to the functor ...
user534056
1
vote
1
answer
75
views
Lemma of Harada and Sai on sums of modules with a "chain" of monomorphisms between them
I am trying to get a contradiction from the following set of hypotheses:
Let $R$ be a ring. Let $M$ be a direct sum of non-zero $R$-modules $M_1$, $M_2$, $\dotsc$. For each $i\ge1$, let $f_i:M_i\to M_{...
- 1,644
1
vote
1
answer
51
views
Exceptional Lenz-Barlotti classes IVa.3 and IVb.3
On this web-site, devoted to the Lenz-Barlotti classification of projective planes, it is written that the class IVa.3 (and its dual IVb.3) is somewhat exceptional, because it contains exactly one ...
- 41.8k
2
votes
0
answers
104
views
$\mathrm{Tor}$'s for submodules of division rings
Let $R$ be a ring, $D$ a division $R$-ring in which $R$ embeds, and $M$ a finitely generated $R$-submodule of $D$. What, if anything, can be said about the finiteness properties of $M$? $\mathrm{Tor}^...
- 163
5
votes
0
answers
434
views
How to define $\mathbb{R}^\frac{1}{2}$?
The Cayley-Dickson construction generates higher-dimensional hyper complex numbers from lower-dimensional ones, producing algebras of dimension $2^n$.
I want to generate an algebra of dimension $2^{-1}...
- 75
4
votes
0
answers
79
views
Closed character formula for the module $L(a\omega_i)$
Let $\mathfrak{g}$ be a complex finite-dimensional simple Lie algebra with a fixed Cartan subalgebra $\mathfrak{h}$. Assume that $\omega_1, \omega_2, \dots, \omega_n\in\mathfrak{h}^{*}$ is the ...
- 41
1
vote
0
answers
34
views
An algebraic characterization of dual translation projective planes
It is well-known that translation projective planes are coordinatized by quasifields. More precisely, a projective plane is translation if and only if it has a ternary-ring $R$ which is linear, the ...
- 41.8k
1
vote
0
answers
73
views
Relationship between units and primitive characters 2
This is a follow up to this question.
Let $(R,+,\cdot)$ be a finite ring.
Definition Given the dual group $\widehat{R}$ of $(R,+)$, a character $\chi\in\widehat{R}$ is said to be primitive with ...
1
vote
1
answer
215
views
Reference about cancellation property for semigroups
Have the semigroups with the following cancellation property been studied?
Property: Let $S$ be a semigroup and $x,y\in S$ such that $xz=yz,$ for all $z\in S,$ then $x=y$.
- 313
1
vote
1
answer
263
views
Relationship between units of a ring and primitive characters of the ring under addition
Let $(R,+,\cdot)$ be a finite ring. Obviously, $(R,+)$ is an abelian group; however the unit (multiplicative) group need not be abelian.
My question is the following problem:
Given the dual group $\...
3
votes
2
answers
468
views
How fast does the number of "fixed" points grow compared to the size of the ball in the following group?
I have copied this question from Math.StackExchange, in the hope that some experts here can provide some relevant insight.
Let $M = \oplus_{i\in \mathbb Z} V^{(i)}$ where each $ V^{(i)} \cong \mathbb ...
- 823
0
votes
1
answer
219
views
Finding $\mathbb{C}(u,v)$ such that $\mathbb{C}(u,v,x^p+y^p)=\mathbb{C}(x,y)$, for every prime number $p$
Denote the set of prime numbers by $P$, $P=\{2,3,5,7,\ldots\}$.
Let $F \subseteq \mathbb{C}(x,y)$ be a subfield of $\mathbb{C}(x,y)$, and for $w \in \mathbb{C}[x,y]$ denote by $F(w)$ the subfield of $\...
- 2,837
2
votes
0
answers
119
views
gcrd and associates of an element of the quaternion algebra over a totally real number field $K$
Let $K$ be a totally real number field of class number 1, and $Q$ the quaternion algebra over the ring of integers of $K$ with basis
$\{1,i,j,k\}$ such that $i^2 = j^2 = k^2 = -1$ and $ij = -ji, ik = ...
- 133
2
votes
1
answer
244
views
Decomposition of an $\text{SL}_n(\mathbb{C})$ representation
Let $W = V \oplus V^*$, where $V$ is the standard $\text{SL}_n(\mathbb{C})$ rep and $V^*$ is its dual. I'm ultimately trying to decompose the space $(W \otimes \bigwedge^2 W) / {\bigwedge^3 W}$.
This ...
- 181
2
votes
1
answer
123
views
Signed measures on algebras (fields) and their boundedness properties
I asked this question here on math.StackEchange, but it might be too technical so I re-post it here.
Let $X$ be a compact Hausdorff second countable topological space. Let $\mathcal{B}$ a countable ...
- 23
1
vote
0
answers
28
views
Most general filtered algebras with Hilbert polynomials and multiplicities
Let $k$ be any base field and $A$ an affine infinite dimensional $k$-algebra.
Let $\mathcal{F}= \{ A_i \}_{i \geq 0}$ be a finite dimensional filtration for $A$: that is, $k \subset A_0$ and each $A_i$...
- 3,318
3
votes
0
answers
152
views
My category is rigid: what this implies for representation theory?
I am studying a subcategory $\mathcal{C}$ of modules for an associative noncommutative algebra $A$ (which is in fact also a Hopf algebra).
It is clear from our definition of $\mathcal{C}$ that it is ...
- 3,318
1
vote
0
answers
125
views
Ring $R$ has IBN $\iff$ $R^n \ncong R^{n+1}$ for all $n \in \mathbb{N}$?
Let $R$ be a ring with $1$. Is it true that $R$ has IBN $\iff$ $R^n \ncong R^{n+1}$ for all $n \in \mathbb{N}$?
Per definition $R$ has IBN (invariant basis number) if $R^{m} \cong R^{n}$ as left $R$-...
- 261
1
vote
0
answers
181
views
Examples of semirings where the additive neutral element is not absorbing for multiplication
In the case of a non unital ring, the additive 0 must be absorbing for the multiplication because we have a⋅0 = a⋅(a − a) = a⋅a − a⋅a = 0 and similarly on the other side.
In the case of a unital ...
- 2,655