Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 22989

For questions on modules over rings.

6 votes
Accepted

Does hereditary and connected imply that the underlying ring $k$ of a $k$-algebra is a field?

.$$ If $R$ is right hereditary then $aR$, as a right ideal of $R$, is projective, and so this short exact sequence splits (as a sequence of right $R$-modules). …
Jeremy Rickard's user avatar
6 votes
Accepted

A question about freeness of a certain class of abelian groups

The Baer-Specker group $B$, the direct product of countably many copies of $\mathbb{Z}$, is semi-free but not free. It is semi-free, because for any nonzero element $x\in B$ there is some projection $ …
Jeremy Rickard's user avatar
5 votes
Accepted

$A^2$ is isomorphic to $A^{(\omega)}$, but not $A$

If the answer to Question 1 is ``no'', then this answers the supplementary question in the OP about modules. As for abelian groups: Clearly $R$ is countable. Question 2. Is $R$ torsion free? …
2 votes
Accepted

On the definition and an example of silting/tilting subcategories in a triangulated categori...

$\operatorname{Hom}_{\mathcal{T}}(\mathcal{M}, \mathcal{M}[>0]) = 0$ means that $\operatorname{Hom}_{\mathcal{T}}\left(X, \Sigma^i(Y)\right) = 0$ for all objects $X,Y$ of $\mathcal{M}$ and all integer …
Jeremy Rickard's user avatar
6 votes

What is the largest subcategory $C$ of a module category over an Artin algebra, such that $C...

So you could take $\mathcal{C}$ to be the full subcategory of finite direct sums of pure-injective modules. … By induction, $\mathcal{C}$ contains $X/\operatorname{rad}X$, which is an infinite direct sum of simple modules. …
Jeremy Rickard's user avatar
11 votes
Accepted

Must the inclusion of an indecomposable module in the direct sum of two copies always split?

Yes, it must be split. Since $M$ is an indecomposable module for an Artin algebra, its endomorphism ring $E$ is a local ring with nilpotent Jacobson radical $J(E)$. Say $J(E)^n=0$. Let the monomorphis …
Jeremy Rickard's user avatar
4 votes
Accepted

Finitely presented modules admitting projective covers

(The structure of projective modules.), Invent. Math. 13, 295-304 (1971). ZBL0232.16020. Azumaya, Goro, F-semi-perfect modules, J. Algebra 136, No. 1, 73-85 (1991). ZBL0717.16005. …
20 votes
Accepted

Classification of subgroups of finitely generated abelian groups

The answer to Question 1 is no. Let $A=\mathbb{Z}/8\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$ and let $B$ be the subgroup generated by $(2,1)$. Since $B$ is cyclic of order $4$, if it were contained in a …
Jeremy Rickard's user avatar
1 vote
Accepted

References about transfinite socle series

There is quite a lot of literature to be found on semi-artinian rings and modules. … Dung; Smith, Patrick F., On semi-artinian $V$-modules, J. Pure Appl. Algebra 82, No. 1, 27-37 (1992). …
Jeremy Rickard's user avatar
3 votes

Does H-supplmented module have D2?

Isn't the $\mathbb{Z}$-module $\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/4\mathbb{Z}$ $H$-supplemented but not $D2$?
Jeremy Rickard's user avatar
2 votes

Global splitting field for algebras

By the second Brauer-Thrall conjecture, $\bar{k}\otimes_kA$ has infinitely many nonisomorphic indecomposable modules of some dimension, and so has some that are not defined over $k$ (i.e., not of the form …
Jeremy Rickard's user avatar
2 votes
Accepted

A weak Schur's lemma for non-semisimple finite dimensional algebras

So we just need to find simple modules $S$ for $kH$ and $T$ for $kG$ for which $S$ is a composition factor of $T\!\downarrow$ but $T$ is not a composition factor of $S\!\uparrow$. … Then $kG$ has a $4$-dimensional simple projective module $T$ and $kH$ has three one-dimensional simple modules: take $S$ to be one of the non-trivial ones. …
Jeremy Rickard's user avatar
12 votes
Accepted

Inverse of the Structure Theorem for Finitely Generated Modules over PID

From Googling, not personal knowledge: In Theorem 14 of Kaplansky, Irving, Modules over Dedekind rings and valuation rings, Trans. Am. Math. Soc. 72, 327-340 (1952). … And there's a whole Springer Lecture Notes volume by Brandal on the not-necessarily-domain case: Brandal, Willy, Commutative rings whose finitely generated modules decompose, Lecture Notes in Mathematics …
Jeremy Rickard's user avatar
2 votes
Accepted

example of a non-finitely generated co-Hopfian module over a commutative QF ring

Let $R$ be the four-dimensional algebra $k[x,y]/(x^2,y^2)$, where $k$ is an infinite field. For each $\lambda\in k$, $M_\lambda=R/(x-\lambda y)R$ is a two-dimensional module with one-dimensional radi …
Jeremy Rickard's user avatar
17 votes
Accepted

Tilting Objects in BGG Categories $\mathcal{O}$

$ that you describe in the first paragraph of your question, and that, in the case where the highest weight category is the module category of a finite dimensional algebra, that the direct sum of the modules … The algebraic groups/Lie algebras people were apparently not paying enough attention, and started referring to the $D(\lambda)$ as “the tilting modules”, which is wrong on possibly as many as three counts …
Jeremy Rickard's user avatar

15 30 50 per page