Constructing pure injective hulls

1980 ◽  
Vol 45 (3) ◽  
pp. 544-548 ◽  
Author(s):  
Wilfrid Hodges

Let A be an abelian group and B a pure injective pure extension of A. Then there is a homomorphic image C of B over A which is a pure injective hull of A; C can be constructed by using Zorn's lemma to find a suitable congruence on B. In a paper [4] which greatly generalises this and related facts about pure injectives, Walter Taylor asks (Problem 1.5) whether one can find a “construction” of C which is more concrete than the one mentioned above; he asks also whether the points of C can be explicitly described. In this note I return the answer No.

1973 ◽  
Vol 15 (4) ◽  
pp. 428-429 ◽  
Author(s):  
G. J. Hauptfleisch

If A, B, H, K are abelian group and φ: A → H and ψ: B → K are epimorphisms, then a given central group extension G of H by K is not necessarily a homomorphic image of a group extension of A by B. Take for instance A = Z(2), B = Z ⊕ Z, H = Z(2), K = V4 (Klein's fourgroup). Then the dihedral group D8 is a central extension of H by K but it is not a homomorphic image of Z ⊕ Z ⊕ Z(2), the only group extension of A by the free group B.


1964 ◽  
Vol 16 ◽  
pp. 787-796 ◽  
Author(s):  
E. C. Johnsen

In(1)Bruck introduced the notion of a difference set in a finite group. LetGbe a finite group ofvelements and let D = {di},i= 1, . . . ,kbe ak-subset ofGsuch that in the set of differences {di-1dj} each element ≠ 1 inGappears exactly λ times, where 0 < λ <k<v— 1. When this occurs we say that (G,D) is av,k,λ group difference set. Bruck showed that this situation is equivalent to the one where the differences {didj-1} are considered instead, and that av,k, λ group difference set is equivalent to a transitivev,k,λconfiguration, i.e., av,k,λconfiguration which has a collineation group which is transitive and regular on the elements (points) and on the blocks (lines) of the configuration. Among the parametersv,kandλ, then, we have the relation shown by Ryser(5)


1975 ◽  
Vol 18 (2) ◽  
pp. 233-239 ◽  
Author(s):  
N. C. Lang

Let R be an associative ring and denote by the injective hull of the right module RR. If can be endowed with a ring multiplication which extends the existing module multiplication, we say that is a ring and the statement that R is a ring will always mean in this sense.It is known that is a regular ring (in the sense of von Neumann) if and only if the singular ideal of R is zero.


1959 ◽  
Vol 55 (3) ◽  
pp. 232-238 ◽  
Author(s):  
C. St J. A. Nash-Williams

ABSTRACTIf g is a set of generatore of an enumerably infinite Abelian group A, it is proved that the elements of A can be arranged in both a one-ended and an endless infinite sequence in which successive terms differ by ± an element of g, except that the one-ended arrangement is impossible if g is finite and the rank of A is 1. Let ν be a cardinal number. Consider an infinite ‘chessboard’ whose positions are those lattice points of ν-dimensional space which have only finitely many non-zero coordinates. A piece associated with this chessboard is a generalized knight if every vector obtainable from a move of the piece by permuting its components and changing the signs of a subset of them is itself a permitted move. It is ascertained which positions a given generalized knight can reach in a finite sequence of moves starting at the origin, and whether or not, if it can trace out the whole chessboard in (i) a one-ended, (ii) an endless infinite sequence of moves visiting each position exactly once.


2008 ◽  
Vol 144 (4) ◽  
pp. 933-948 ◽  
Author(s):  
Mordechai Katzman

AbstractWe describe an algorithm for computing parameter-test-ideals in certain local Cohen–Macaulay rings. The algorithm is based on the study of a Frobenius map on the injective hull of the residue field of the ring and on the application of Sharp’s notion of ‘special ideals’. Our techniques also provide an algorithm for computing indices of nilpotency of Frobenius actions on top local cohomology modules of the ring and on the injective hull of its residue field. The study of nilpotent elements on injective hulls of residue fields also yields a great simplification of the proof of the celebrated result in the article Generators of D-modules in positive characteristic (J. Alvarez-Montaner, M. Blickle and G. Lyubeznik, Math. Res. Lett. 12 (2005), 459–473).


1973 ◽  
Vol 8 (3) ◽  
pp. 471-476 ◽  
Author(s):  
Ann K. Boyle

It is shown that rings in which the projective cover and injective hull of cyclic modules are isomorphic are equivalent to uniserial rings. Further, it is shown that rings for which the top and bottom of finitely generated modules are isomorphic also are equivalent to uniserial rings.


2007 ◽  
Vol 100 (1) ◽  
pp. 75 ◽  
Author(s):  
Yoshikazu Katayama ◽  
Masamichi Takesaki

To study outer actions $\alpha$ of a group $G$ on a factor $\mathcal M$ of type $\mathrm{III}_\lambda$, $0<\lambda<1$, we study first the cohomology group of a group with the unitary group of an abelian von Neumann algebra as a coefficient group and establish a technique to reduce the coefficient group to the torus $\mathsf T$ by the Shapiro mechanism based on the groupoid approach. We then show a functorial construction of outer actions of a countable discrete amenable group on an AFD factor of type $\mathrm{III}_\lambda$, sharpening the result in [17, §4]. The periodicity of the flow of weights on a factor $\mathcal M$ of type $\mathrm{III}_\lambda$ allows us to introduce an equivariant commutative square directly related to the discrete core. But this makes it necessary to introduce an enlarged group $\mathrm{Aut}(\mathcal M)_{m}$ relative to the modulus homomorphism $m=\mod\colon \mathrm{Aut}(\mathcal M)\to \mathsf R/T'\mathsf Z$. We then discuss the reduced modified HJR-exact sequence, which allows us to describe the invariant of outer action $\alpha$ in a simpler form than the one for a general AFD factor: for example, the cohomology group $H_{m,s}^{out}(G,N,\mathsf T)$ of modular obstructions is a compact abelian group. Making use of these reductions, we prove the classification result of outer actions of $G$ on an AFD factor $\mathcal M$ of type $\mathrm{III}_{\lambda}$.


Author(s):  
Andrei-Paul Grecianu ◽  
Alexei Myasnikov ◽  
Denis Serbin

In [A.-P. Grecianu, A. Kvaschuk, A. G. Myasnikov and D. Serbin, Groups acting on hyperbolic [Formula: see text]-metric spaces, Int. J. Algebra Comput. 25(6) (2015) 977–1042], the authors initiated a systematic study of hyperbolic [Formula: see text]-metric spaces, where [Formula: see text] is an ordered abelian group, and groups acting on such spaces. The present paper concentrates on the case [Formula: see text] taken with the right lexicographic order and studies the structure of finitely generated groups acting on hyperbolic [Formula: see text]-metric spaces. Under certain constraints, the structure of such groups is described in terms of a hierarchy (see [D. T. Wise, The Structure of Groups with a Quasiconvex Hierarchy[Formula: see text][Formula: see text]AMS-[Formula: see text], Annals of Mathematics Studies (Princeton University Press, 2021)]) similar to the one established for [Formula: see text]-free groups in [O. Kharlampovich, A. G. Myasnikov, V. N. Remeslennikov and D. Serbin, Groups with free regular length functions in [Formula: see text], Trans. Amer. Math. Soc. 364 (2012) 2847–2882].


2019 ◽  
Vol 17 (1) ◽  
pp. 1400-1410
Author(s):  
Xia Zhang ◽  
Wen Ma ◽  
Wolfgang Rump

Abstract This paper is devoted to the study of injectivity for ordered universal algebras. We first characterize injectives in the category $\begin{array}{} \displaystyle {\mathsf{OAL}_{{\it\Sigma}}^{\leqslant}} \end{array}$ of ordered Σ-algebras with lax morphisms as sup-Σ-algebras. Second, we show that every ordered Σ-algebra has an σ⩽-injective hull, and give its concrete form.


1971 ◽  
Vol 23 (6) ◽  
pp. 1094-1101 ◽  
Author(s):  
J. Zelmanowitz

In § 1, we begin with a basic theorem which describes a convenient embedding of a nonsingular left R-module into a complete direct product of copies of the left injective hull of R (Theorem 2). Several applications follow immediately. Notably, the injective hull of a finitely generated nonsingular left R-module is isomorphic to a direct sum of injective hulls of closed left ideals of R (Corollary 4). In particular, when R is left self-injective, every finitely generated nonsingular left R-module is isomorphic to a finite direct sum of injective left ideals (Corollary 6).In § 2, where it is assumed for the first time that rings have identity elements, we investigate more generally the class of left R-modules which are embeddable in direct products of copies of the left injective hull Q of R. Such modules are called torsion free, and can also be characterized by the property that no nonzero element is annihilated by a dense left ideal of R (Proposition 12).


Sign in / Sign up

Export Citation Format

Share Document