Abelian p-groups with minimal full inertia

The class of abelian p-groups with minimal full inertia, that is, satisfying the property that fully inert subgroups are commensurable with fully invariant subgroups is investigated, as well as the class of groups not satisfying this property; it is known that both the class of direct sums of cyclic groups and that of torsion-complete groups are of the first type. It is proved that groups with “small" endomorphism ring do not satisfy the property and concrete examples of them are provided via Corner’s realization theorems. Closure properties with respect to direct sums of the two classes of groups are also studied. A topological condition of the socle and a structural condition of the Jacobson radical of the endomorphism ring of a p-group G, both of which are satisfied by direct sums of cyclic groups and by torsion-complete groups, are shown to be independent of the property of having minimal full inertia. The new examples of fully inert subgroups, which are proved not to be commensurable with fully invariant subgroups, are shown not to be uniformly fully inert.

inert subgroups of the p-group G is denoted by I(G); this set will be referred to as the full inertia set of G.
A subgroup commensurable with a fully inert subgroup is also fully inert, so, in particular, a subgroup H commensurable with a fully invariant subgroup is fully inert. Following [5] and [6], denote by Inv(G) the set of fully invariant subgroups of G and by Inv˜(G) the set of subgroups of G which are commensurable with fully invariant subgroups.
Then we have the chain of sublattices of the whole lattice L(G) of subgroups of G: In this paper we investigate when the inclusion Inv˜(G) ⊆ I(G) is strict or is an equality for G, a reduced p-group. Thus, it is useful to introduce the following Definition 1.1 A p-group G is said to have minimal full inertia if the full inertia set I(G) is equal to Inv˜(G).
Results in [15] and [14] indicate that on one hand the group G has minimal full inertia if End(G) is "big", as in case of unbounded direct sums of cyclic p-groups or of unbounded torsion-complete p-groups. On the other hand, the group G does not have minimal full inertia, i.e., the strict inclusion Inv˜(G) I(G) holds, when End(G) is as small as possible, that is, if End(G) = J p · 1 G ⊕ E s (G), where E s (G) is the two-sided ideal of the small endomorphisms of End(G).
There are two ways to look at End(G), both due to Pierce [20], from which we can argue whether End(G) is "small" or "big". In fact, given a reduced unbounded p-group G, Pierce proved the following two formulas, that we are going to explain: : End(G)/H (G) → n M α n (F p ). (1.1) In the left equality in 1.1 A is a subring of End(G) which is the completion in the p-adic topology of a free J p -module, containing J p · 1 G , the center of End(G). We shall call the decomposition End(G) = A ⊕ E s (G) the "Pierce decomposition" of End(G). Thus, End(G) is "as small as possible" if in its Pierce decomposition the equality A = J p · 1 G holds. On the right side in 1.1 we have a ring embedding of the factor ring End(G)/H (G), where H (G) is the Pierce radical of End(G) consisting of the endomorphisms that strictly increase the heights of the elements of the socle G[ p], M α n (F p ) is the ring of the α n × α n matrices over the field with p elements F p , and the α n 's are the Ulm-Kaplansky invariants of G. It is well known that Im( ) is a subdirect product of n M α n (F p ), and that is surjective if and only if G is torsion-complete (see [11, pp. 625-627]). Hence End(G) is "as big as possible" exactly when G is torsion-complete.
A central role in this context is reserved to semi-standard groups. Recall that a p-group G is said to be semi-standard if its Ulm-Kaplansky invariants of finite index α n (G) are finite, and that G is semi-standard if and only if the two-sided ideal of the small endomorphisms E s (G) is contained in the two-sided ideal E 0 (G) consisting of the endomorphisms φ such that φ(G [ p]) is finite (see [22,Proposition 4.1]). The hypothesis that the p-group G is semistandard is crucial in our main Theorem 2.4, and it is also assumed in one of the realization theorems by Corner in [4] that, as we will see in Sect. 2, produce examples of groups which do not have minimal full inertia. These theorems extend to a large extent the first construction due to Pierce in [20] of a semi-standard p-group G such that End(G) = J p · 1 G ⊕ E s (G). This group G furnished the main ingredient in the following theorem proved in [15,Theorem 4.2].

then the socle B[ p] of B is fully inert in G but it is not commensurable with any fully invariant subgroup of G.
Thus, Pierce's construction provided the first example of a p-group which does not have minimal full inertia. In Sect. 2 of this paper we extend Theorem 1.2 to semi-standard separable p-groups G with endomorphism rings bigger than J p · 1 G ⊕ E s (G), but still "small". We will see that, in a technical sense, "small" means that the J p -algebra A in the Pierce decomposition is the completion of a free J p -module of at most countable rank. Thus, Theorem 2.4, the main result of Sect. 2, shows that groups with "small" endomorphism rings do not have minimal full inertia. As recalled above, concrete examples of these groups are obtained via realization theorems by Corner in [4].
In Sect. 3 we consider direct sums of groups that have minimal full inertia, and of groups which do not have minimal full inertia; a nice consequence of the techniques developed here is that one can easily derive a simple proof of the main theorem in [15]: direct sums of cyclic groups have minimal full inertia. We show in Example 3.6 that the class of groups that have minimal full inertia is not closed under taking finite direct sums and that groups which do not have minimal full inertia may have "big" endomorphism ring. We provide also in Proposition 3.9 examples of groups which do not have minimal full inertia obtained via finite direct sums of groups of the same type.
In Sect. 4 we consider two conditions studied by Sands [23] which are satisfied, inter alia, by direct sums of cyclic groups and by torsion-complete groups. The first condition relates to Cauchy sequences of the socle of a p-group G, and the second concerns a structural condition on the Jacobson radical of End(G). We show that these conditions are also satisfied by certain groups which do not have minimal full inertia. Thus, these conditions are shown to be independent on the property of having minimal full inertia.
In Sect. 5 we prove that the new examples, furnished in the preceding sections, of fully inert subgroups which fail to be commensurable with fully invariant subgroups are not uniformly fully inert, thus giving further evidence of the likely truth of Conjecture 1.6 in [6], which states that every uniformly fully inert subgroup of an arbitrary group is commensurable with a fully invariant subgroup.

Groups with small endomorphism ring do not have minimal full inertia
We start by generalizing Theorem 1.2 just noting that its proof can be extended almost verbatim to prove the following The hypothesis that End(G)/E s (G) ∼ = J p implies that G is not isomorphic to a direct sum of cyclic groups, hence G must be uncountable (see the next Lemma 2.3). An immediate consequence of Theorem 2.1 is the following Corollary 2.2 Under the hypotheses of the preceding theorem, every subgroup commensurable with a p k -socle (k ≥ 1) of a pure subgroup of cardinality ℵ 0 belongs to I(G)\Inv˜(G).
The next theorem provides many fully inert subgroups not commensurable with fully invariant subgroups for a wider class of separable p-groups, thus extending to a large extent Theorem 2.1. First we need the following lemma whose proof utilises an argument from [1, Proposition 2.2].

Lemma 2.3 Let G be an unbounded separable semi-standard p-group with Pierce decomposition of its endomorphism ring End(G) = A ⊕ E s (G).
If A is the completion in the p-adic topology of a free J p -module F of countable rank, then G is uncountable.
Proof Suppose to the contrary that G is countable. Then, by [11,Theorem 5.3,p. 96], G is a direct sum of cyclic groups, say G = i∈N C i .
Let χ : End(G) → Hom(G[p], G) be the restriction map sending φ ∈ End(G) into φ G [ p]. We claim that χ(End(G)) has cardinality at least 2 ℵ 0 . In fact, every element of Hom(G[p], G) can be thought of as an infinite vector of the form δ = (δ 1 , δ 2 , . . .) where δ i correspond to homomorphisms from C i [ p] into G. If we choose δ i to be either the zero map or the identity map, we can clearly produce 2 ℵ 0 homomorphisms in Hom(G[p], G).
Furthermore, since the zero map and the identity map from C i [ p] → G both extend trivially to maps from C i → G, the vector δ clearly extends to a map γ : G → G which satisfies χ(γ ) = δ. This proves that |χ(End(G)| ≥ 2 ℵ 0 .
However, the image of A under the map χ is countable, since χ( p A) = 0 and A/ p A ∼ = F/ pF ∼ = (J p / p J p ) (ℵ 0 ) . Additionally, as G is semi-standard, every small endomorphism vanishes on a cofinite subgroup p n G[ p] of G[ p], for some n. Since there are only countably many values of n, the image χ(E s (G)) is countable. Thus, χ(A ⊕ E s (G)) is also countable, a contradiction. We conclude that G must be uncountable.

Theorem 2.4 Let G be a separable semi-standard p-group such that, in the Pierce decomposition End(G) = A ⊕ E s (G),
A is the completion in the p-adic topology of a J p -subalgebra F which is a free J p -module of at most countable rank. If H is a countable infinite subgroup of G, then the higher socles H F [ p k ] (k ≥ 1) of the subgroup H F = α∈F α(H ) are fully inert in G but not commensurable with any fully invariant subgroup of G.
Proof We give the proof when the rank of F equals ℵ 0 . If the rank is finite, the proof is simpler and it is left to the reader.
cannot be commensurable with a nonzero fully invariant subgroup of G, since these subgroups are also uncountable, as proved in [15,Theorem 4.2].
To prove that H F [ p k ] is fully inert, we must show that, given any endomorphism Since H F is countable, a classical result by Szele (see [11,Theorem 1.5,p. 151]) ensures that there exists a countable pure subgroup of G, C say, with H F ≤ C. Now C is countable and separable and hence it is a direct sum of cyclic groups; we write C = i ≥ 1C i where each C i is a direct sum of cyclic groups of order p i (possibly zero). Thus, each C i is a bounded pure subgroup of C and hence is a direct summand of G. Since, by hypothesis, G is semi-standard, each C i is of finite rank.
and this latter term is finite since it is a homomorphic image of a finite direct sum of finite groups.
In the next remark and in the following we deal with the algebraic entropy of endomorphisms of p-groups. For an illustration of the notion of algebraic entropy and its properties we refer to [8] and to our survey paper [13]. We just recall here that the algebraic entropy of an endomorphism φ of an abelian group G, denoted by ent(φ), is an invariant (actually, a length function on the category of Z[X ]-modules), which measures by means of nonnegative real numbers and the symbol ∞ the behaviour of the discrete dynamical system obtained by the powers of φ.

Remark 2.5
If a J p -algebra A is a free J p -module of finite rank, then it is integral over J p . This implies (see [8,Proposition 2.4]) that every endomorphism φ of a semi-standard p-group G such that End(G) = A ⊕ E s (G) has algebraic entropy ent(φ) equal to 0. In fact, ent(φ) = 0 is equivalent to the fact the φ is pointwise integral over G, which means that for every x ∈ G there exists a monic polynomial g(X ) ∈ J p [X ] depending on x such that g(φ)(x) = 0. Looking at Theorem 2.4, one could conjecture that the strict inclusion Inv˜(G) I(G) is related to the property of G of having the total entropy ent(G) = 0 (i.e., ent(φ) = 0 for all φ ∈ End(G)). The following discussion will show that this conjecture is wrong; see Proposition 2.8 below.
At this point, a natural question arises. Can we find separable semi-standard p-groups G satisfying the hypotheses of Theorem 2.4?
The answer comes from the realization theorems proved by Corner in his outstanding paper on endomorphism rings of separable p-groups. One of these theorems ( [4, Theorem 4.1]) is the following. Theorem 2.6 [Corner] Let A be a J p -algebra which is the completion of a free J p -module of countable rank. If A satisfies the following condition: In [8, Example 5.12] a J p -algebra A integral over J p was constructed using the Nagata idealization satisfying the hypothesis of Corner's Theorem 2.6. The p-group G obtained via Theorem 2.6 such that End(G) = A ⊕ E s (G) had total entropy ent(G) = 0, because of the integrality of A over J p .
Another powerful theorem in Corner's paper ( [4, Theorem 2.1]) is the following Theorem 2.7 [Corner] LetB be a torsion-complete p-group with an unbounded basic subgroup B of cardinality at most 2 ℵ 0 , and let be a separable closed subring of End(B) that leaves B invariant and satisfies the condition (C) if φ ∈ and φ( p nB [ p]) = 0 for some n, then φ ∈ p . Then there exists a family G σ (σ ∈ ) of 2 2 ℵ 0 pure subgroups ofB containing B such that Using this theorem, in [8,Theorem 4.4] it was proved that there exist 2 2 ℵ 0 non-isomorphic groups G with standard basic subgroup B = n∈N Z( p n ) and contained in the torsion-completionB of B, such that End(G) = A ⊕ E s (G), where A is isomorphic to the p-adic completion of the polynomial ring J p [X ]. Furthermore, if ω denotes the endomorphism of G corresponding to the indeterminate X , then ent(ω) = ∞. This depends on the fact that ω is not only nonalgebraic over J p , but it fails also to be pointwise integral over G.
To sum up, we can answer the above question as follows. Using Corner's realization theorems we can construct separable semi-standard p-groups G satisfying the hypotheses of our Theorem 2.4, with the J p -algebra A either integral over J p , or neither integral over J p nor pointwise integral over G. All these groups do not have minimal full inertia. This shows that the proper inclusion Inv˜(G) I(G) is independent of the vanishing of the total entropy of G. In conclusion, we have seen that Proposition 2.8 There exists separable semi-standard p-groups G which do not have minimal full inertia such that ent(G) = 0 and also such that ent(G) = ∞.

Minimal full inertia for direct sums of p-groups
In this section we investigate direct sums of groups which have minimal full inertia and of groups which do not have minimal full inertia.
We are interested in identifying fully inert subgroups up to commensurability. The following lemma was proved in [2, Lemma 7] using an idea in [15,Lemma 3.3].
Lemma 3.1 [Chekhlov] If G = i∈I G i is a direct sum of arbitrary groups, π i : G → G i are the canonical projections, and H is a fully inert subgroup, then H is commensurable with i∈I π i (H ).
Thus, from now on, when dealing with fully inert subgroups H of a direct sum of cyclic groups i∈I G i , we will assume that H = i∈I H i , with H i ≤ G i for all i. This situation is expressed by saying that H is a box-like subgroup of G in [7], where this terminology was introduced and this notion was used for direct sums of divisible groups; it was used also more recently in [3], [6] and [14].
The following result concerning box-like subgroups was proved in [2] and [3] and is based on results in [2] and [14]. For the convenience of the reader we present a proof of part (b); this is a very slight modification of that given in [3, Lemma 2.2]. We will prove that there exists a cofinite set of indices I 0 contained in I 1 such that the whole direct sum i∈I 0 H i is fully invariant in i∈I 0 G i . Consider the set S = j ∈ I 1 | there exist i ∈ I 1 and φ i j : If the set S is infinite, for each j ∈ S choose an index i ∈ I 1 and a map φ i j : G i → G j such that φ i j (H i ) H j and define the endomorphism ψ of i∈I G i by setting ψ G i = φ i j for each one of these chosen maps φ i j , and extend trivially on the remaining direct summands of G. By the definition of S, for each j ∈ S and the corresponding map φ i j , there exists an element x j ∈ G j such that x j ∈ φ i j (H i ) \ H j . Now the quotient group (ψ(H ) + H )/H contains the cosets x j + H for each one of these indices j. We claim that these cosets are all distinct; in fact, if x j + H = x t + H for some j = t, then x j − x t ∈ H , so that π j (x j − x t ) = x j ∈ π j (H ) = H j , absurd. Therefore the quotient (ψ(H ) + H )/H is infinite, and this contradicts the full inertia of H . We derive that the set S is finite. Removing this finite set from I 1 , we obtain a cofinite subset I 0 of I such that for all j ∈ I 0 and for all i ∈ I 1 -and a fortiori for all i ∈ I 0 -it happens that φ(H i ) ⊆ H j for all maps φ : From Lemmas 3.1 and 3.2 it is possible to deduce a very simple proof of the main theorem in [15], which states, in our terminology, that direct sums of cyclic p-groups have minimal full inertia. The proof was very long and elaborate, split into the bounded and the unbounded cases, with many intermediate results of independent interest. Even allowing for the fact that detailed proofs of these lemmas require careful arguments, the total effort to prove the theorem in this way is much lower than that required in [15] and as such, this represents a substantial improvement on the original solution. We illustrate this by including the proof as a corollary to Lemma 3.2.

Corollary 3.3 If G is a direct sum of cyclic p-groups, then G has minimal full inertia.
Proof Suppose that G = i∈I C i where each C i is a cyclic p-group, and let H be an arbitrary fully inert subgroup of G. As observed above, we may assume that H = i∈I H i is a box-like subgroup of G. Then it follows from Lemma 3.2 that there is a finite subset I 0 of I such that M = i∈I \I 0 H i is fully invariant in G 0 = i∈I \I 0 C i ; setting F 0 = i∈I 0 C i , we have that H ∼ F ⊕ M where F = i∈I 0 H i is a subgroup of the finite group F 0 . Now it is well known-see for example [15, Lemma 1.5]-that there is a subgroup F 1 of F 0 such that F 1 ⊕ M is fully invariant in G. Since F 1 is also finite, we have H ∼ F ⊕ M ∼ F 1 ⊕ M and the latter is fully invariant in G. Since H was an arbitrary fully inert subgroup of G, G has minimal full inertia.
The result in Corollary 3.3 has been extended to arbitrary totally projective p-groups by Patrick Keef in the remarkable paper [18].
We consider now direct sums of a fixed group G which has minimal full inertia, under the additional hypothesis that G is fully transitive; recall that a separable p-group is fully transitive. We start with the case of a finite direct sum.

for all i, and G is an unbounded fully transitive p-group which has minimal full inertia, then X also has minimal full inertia.
Proof Let H be a fully inert subgroup of X . Then H is commensurable with H 1 ⊕ H 2 ⊕ · · · ⊕ H n , where H i = H ∩ G i , which is still fully inert. Then Lemma 3.2 (a) and the fact that G is fully transitive ensure that each H i is commensurable with G(u i ) (i = 1, 2, . . . , n), for suitable increasing sequences of ordinals or symbols ∞. So H is commensurable with G(u 1 ) ⊕ G(u 2 ) ⊕ · · · ⊕ G(u n ) and this subgroup is still fully inert. Then [2, Proposition 1] ensures that, for every homomorphism α : G i → G j , with i = j, the quotient (α(G(u i )) + G(u j ))/G(u j ) is finite. In particular, if α = 1 G , we have Clearly this implies that each subgroup G(u i ) is commensurable with G(u 1 ∩ u 2 ∩ · · · ∩ u n ).
We extend now Lemma 3.4 to infinite direct sums of a group with minimal full inertia. Theorem 3.5 If X = i∈I G i , where each G i is isomorphic to a fixed unbounded fully transitive p-group which has minimal full inertia, then X has minimal full inertia.
Proof Let H be a fully inert subgroup of X and let π i : X → G i be the canonical projections. From Lemma 3.2 we get that H is commensurable with i∈I π i (H ), with π i (H ) fully inert in G i for all i ∈ I ; furthermore, there exists a finite subset I 0 of I such that X = C ⊕ A where C = i∈I 0 G i and A = i∈I \I 0 G i and i∈I \I 0 H i is actually fully invariant in A. Note that C has minimal full inertia, by Lemma 3.4, and i∈I 0 H i is fully inert in C.
Since A is fully transitive, i∈I \I 0 H i can be expressed in the form A(v) for some suitable U -sequence v. Lemma 3.4 ensures that i∈I 0 H i is commensurable with a fully invariant subgroup of C of the form C(u) for a U -sequence u. Hence we have that H is commensurable with C(u)⊕ A(v), thus C(u)⊕ A(v) is fully inert in X , and these summands are fully invariant in C and A, respectively.
We are now in a position to apply Lemma 3.2. For any homomorphism γ : Similarly, for any homomorphism δ : Thus, X has minimal full inertia, as required.
Theorem 3.5 applies in particular when the groups G i are isomorphic to a fixed unbounded torsion-complete group.
The next example shows that the class of groups which have minimal full inertia is not closed under taking finite direct sums.

Example 3.6
Let G = B 1 ⊕B 2 , where B 1 is an unbounded direct sum of cyclic p-groups andB 2 is an unbounded semi-standard torsion-complete group. We claim that G does not have minimal full inertia.
In fact, the subgroup H = {0} ⊕B 2 [ p] is fully inert, by Proposition 3.1; the only nonobvious condition to be verified is that, for every homomorphism α : is finite. But α is small by a well-known result of Megibben (see [11,Exercise 14,p. 317]), hence α( p NB 2 [ p]) = 0 for a suitable N ∈ N. AsB 2 is semi-standard, it follows that αB 2 [ p] is finite, so H is fully inert. On the other hand, H is not commensurable with a fully invariant subgroup of G; as G is fully transitive, such a subgroup is of the form G(u) for some sequence u. But G(u) = B 1 (u) ⊕B 2 (u), and B 1 (u) is never finite, unless B 1 (u) = 0, equivalently, u = (∞, ∞, . . .), in which case alsoB 2 (u) = 0. Some comments on Example 3.6 are in order. First, in place of B 1 we could use any unbounded separable p-group not containing an unbounded torsion-complete group. Furthermore, if either B 1 orB 2 is bounded, then G has minimal full inertia, since it becomes either torsion-complete or a direct sum of cyclic groups. Example 3.6 is also interesting, since it shows that also groups with "big" endomorphism ring may fail to have minimal full inertia and that the property of being semi-standard is independent of the property of having minimal full inertia. Finally, Example 3.6 may be generalized by the following proposition, which enables us to produce many p-groups which do not have minimal full inertia. Proposition 3.7 If G = A ⊕ C is a separable p-group which is the direct sum of two unbounded groups A and C, such that A is semi-standard and every homomorphism from A to C is small, then G does not have minimal full inertia.
Then the same argument as used in Example 3.6 shows that H is fully inert in G. Suppose to the contrary that H is commensurable with a fully invariant subgroup of G, say, G(u) = A(u) ⊕ C(u) for some U-sequence u = (u 0 , u 1 , . . .); since G is separable, u 0 is a nonnegative integer. Then C(u) must be commensurable with {0}, that is, it must be finite. However, as C is unbounded, this is impossible, so we get the desired contradiction.
Lemma 3.2 makes it possible to construct more examples of p-groups which fail to have minimal full inertia using direct sums of these groups. Selecting finitely many groups obtained in the above-mentioned [8,Theorem 4.4], which uses Corner's Theorem [4, Theorem 2.1], we get the following where A is isomorphic to the p-adic completion of the polynomial ring J p [X ] and every homomorphism G i → G j is small for i = j. We claim that G = 1≤i≤n G i does not have minimal full inertia.
In fact, choose arbitrary countable subgroups H i in G i for all i. Using the notation of Theorem 2.4, set [ p] for all i. We claim that the subgroup K = 1≤i≤n K i is fully inert in G but not commensurable with any fully invariant subgroup, so that Inv˜(G) I(G). The fact that K is fully inert follows from Lemma 3.2, because all the subgroups K i are fully inert in G i , by Theorem 2.4, and the fact that every homomorphism α i j : G i → G j is small for i = j implies that α i j K i is finite; therefore (α i j K i + K j )/K j is finite too. Finally, K is not commensurable with a fully invariant subgroup of G because such a subgroup is uncountable and K is countable.
Again, using the results and the notation of [8,Theorem 4.4], we can generalize the preceding example to the following where A is isomorphic to the p-adic completion of the polynomial ring J p [X ], and every homomorphism G σ → G τ is small for σ = τ , then G = σ G σ does not have minimal full inertia.
Proof Fix a τ ∈ and take a countable subgroup H τ in G τ . Using the notation of Theorem . We claim that the subgroup K = σ ∈ K σ , where K σ = 0 for all σ = τ , is fully inert in G but not commensurable with any fully invariant subgroup, so that Inv˜(G) I(G). The fact that K is fully inert follows from Lemma 3.2, since all the subgroups K σ are trivially fully invariant in G σ , except K τ which is fully inert in G τ , and since every homomorphism α τ σ : G τ → G σ small implies that α τ σ K τ is finite; therefore (α τ σ K τ + K σ )/K σ is finite too. Furthermore, condition (c) of Lemma 3.2 is satisfied trivially for I 0 = {σ }. Finally, K is not commensurable with a nonzero fully invariant subgroup of G, because such a subgroup is uncountable and K is countable.

Trying to enlarge the family of p-groups with minimal full inertia
Up to now the only concrete examples of separable p-groups with minimal full inertia at disposal are the direct sums of cyclic groups, the torsion-complete groups and the direct sums of a fixed torsion-complete group. We would like to enlarge the family of groups with minimal full inertia, even if we guess that a characterization of these groups via structural properties of the groups themselves, or of their endomorphism ring, is hopeless.
To justify this idea, we consider properties of p-groups G and of their endomorphism ring End(G) investigated by Arthur D. Sands in [23]. Sands calls sufficiently projective a separable p-group G such that every countable subset is contained in a direct summand of G that is a direct sum of cyclic groups. Sufficiently projective p-groups are called also ℵ 1 -separable (or ω 1 -separable) by other authors, and have been investigated also using settheoretic techniques (see [17], [10,Chapter VIII], [19] and [12]). Clearly direct sums of cyclic groups are sufficiently projective and a torsion-complete group is sufficiently projective exactly if it is bounded. Hill gave in [16] an example of a sufficiently projective group which fails to be a direct sum of cyclics. Sands notes in [23] that sufficiently projective groups and torsion-complete groups satisfy the following technical condition: (C) given any Cauchy sequence {g i } i∈N in G[ p] which is not convergent in G, there exists a direct sum of cyclic groups H and a homomorphism α : G → H such that {α(g i )} i∈N is Cauchy but not convergent in H .
Warning: the preceding condition (C) introduced by Sands is not to be confused with condition (C) in Corner's Theorem 2.7.
One of the main results in Sands's paper, [23,Theorem 5], is that, if a group G satisfies condition (C), then the Jacobson radical J (End(G)) of End(G) equals H (G) ∩ C(G), where H (G) is the Pierce radical mentioned in the Introduction, and C(G) the ideal of End(G) consisting of those endomorphisms which send Cauchy sequences of the socle G[ p] into convergent sequences. In general the inclusion H (G) ∩ C(G) ⊆ J (End(G)) holds, and Dugas gave in [9] an example of a p-group for which the strict inclusion holds.
Thus, we may consider this condition (C) for a p-group G and the condition J (End(G)) = H (G) ∩ C(G) for its endomorphism ring, and we may ask whether groups satisfying these conditions have minimal full inertia. The next result shows that having minimal full inertia is independent of both these conditions.

Proposition 4.1 There exist separable p-groups G satisfying Sands's condition (C), or such that J (End(G)) = H (G) ∩ C(G), which have minimal full inertia and also which do not have minimal full inertia.
Proof Concerning condition (C), on one hand, we have seen in Example 3.6 that the group G = B 1 ⊕B 2 , where B 1 is an unbounded direct sum of cyclic p-groups andB 2 is an unbounded semi-standard torsion-complete group, does not have minimal full inertia. It is quite obvious that this group G satisfies condition (C). On the other hand, both direct sums of cyclic groups and torsion-complete groups satisfy condition (C) and have minimal full inertia.
Concerning the condition J (End(G)) = H (G) ∩ C(G), on one hand, the results by Sands show that sufficiently projective groups, and in particular direct sums of cyclic groups, and torsion-complete groups satisfy this equality; all these groups have minimal full inertia. On the other hand, Sands noted in [23] that the Pierce group G such that End(G) = J p · 1 G ⊕ E s (G) also has this property; this group G was the first example of a group which has not minimal full inertia.
B ∩ C = 0 and consequently also C ∩ C = 0. Now the desired map φ : 1≤i≤n C i → G is the restriction to 1≤i≤n C i of the isomorphism C ∼ = C . Thus, we are done.
The second result makes use of an idea used in the proof of [13,Lemma 3.2].

Proposition 5.2 The fully inert subgroup H
is not uniformly fully inert.
Proof We must show that for every positive integer k there exists an endomorphism φ ∈ Let B = i∈I e i be a basic subgroup of A and B = j∈J e j a basic subgroup of C. Select a sequence of cyclic summands e i n (n ∈ N) of B and a sequence of cyclic summands e j n (n ∈ N) of B of strictly increasing order, such that the order of e j n is greater than or equal to the order of e i n . Then define a map σ : B → B by embedding each e i n into e j n , and sending to zero all the remaining generators e i .
Choose now an index N such that |( 1≤n≤N e i n )[ p]| ≥ k and define the endomorphism φ of G = A ⊕C in the following way: φC = 0, φ( 1≤n≤N e i n ) = σ ( 1≤n≤N e i n ) and φ vanishes on a complement of 1≤n≤N e i n in A.

It is clear that |(φ A[ p]+ A[ p])/A[ p]| ≥ k, since (φ A[ p] + A[ p])/A[ p] ∼ = σ (( 1≤n≤N e i n )[ p]).
The proof of the last result makes use of arguments similar to those used in Propositions 5.1 and 5.2, taking care that the groups G σ have the same basic subgroup B = n Z( p n ), and that the subgroup K τ is infinite. We just sketch the proof and leave the details to the reader.

Proposition 5.3 The fully inert subgroup K of G =
σ ∈ G σ of Proposition 3.9 is not uniformly fully inert.
Proof We must show that for every positive integer k there exists an endomorphism φ ∈ End(G) such that |(φ(K ) + K )/K | ≥ k. We use the notation of Proposition 3.9: so K is the direct sum of a single subgroup K τ and the zero subgroups of all the G ρ with ρ ∈ and ρ = τ . Now it follows from the proof of Proposition 5.1 that, for any given positive integer k, there is an endomorphism, φ τ say, of G τ such that |(φ τ (K ) + K τ )/K τ | ≥ k. Extend φ τ to an endomorphism φ of G by setting φ G τ = φ τ and setting φ to be identically zero on the complement ρ =τ G ρ of G τ in G. It follows immediately that |(φ(K ) + K )/K | = |(φ τ (K τ ) + K τ )/K τ | ≥ k.
Question 7.5 in [6] asks whether the p-group G of Theorem 2.4 satisfies the equality Inv˜(G) = I u (G). In the same way we may ask whether this equality holds also for the groups considered in Proposition 3.7 and Proposition 3.9.
Funding Open access funding provided by Università degli Studi di Padova within the CRUI-CARE Agreement.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.