Canonical Decompositions of Abelian Groups

Phill Schultz

DOI: https://doi.org/10.48550/arXiv.2007.07508

2020-07-15

Abstract:Every torsion--free abelian group of finite rank has two essentially unique complete direct decompositions whose summands come from specific classes of groups.

Group Theory

What problem does this paper attempt to address?

Abelian $p$--groups and their endomorphism rings

Phill Schultz

2023-11-03

Abstract:The lattice of fully invariant subgroups of an abelian $p$--group and the lattice of ideals of its endomorphism ring are classified by systems of cardinal invariants.

Group Theory
Some torsion-free solvable groups with few subquotients

Adrien Le Boudec,Nicolás Matte Bon

2023-08-29

Abstract:We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated metabelian subgroups of $G$ are virtually abelian. The existence of such groups shows that there is no "torsion-free version" of P. Kropholler's theorem, which characterises solvable groups of infinite rank via their metabelian subquotients.

Group Theory
Semistable torsion classes and canonical decompositions in Grothendieck groups

Sota Asai,Osamu Iyama

DOI: https://doi.org/10.1112/plms.12639

2024-10-18

Proceedings of the London Mathematical Society

Abstract:Abstract We study two classes of torsion classes that generalize functorially finite torsion classes, that is, semistable torsion classes and morphism torsion classes. Semistable torsion classes are parametrized by the elements in the real Grothendieck group up to TF equivalence. We give a close connection between TF equivalence classes and the cones given by canonical decompositions of the spaces of projective presentations due to Derksen–Fei. More strongly, for ‐tame algebras and hereditary algebras, we prove that TF equivalence classes containing lattice points are exactly the cones given by canonical decompositions. One of the key steps in our proof is a general description of semistable torsion classes in terms of morphism torsion classes. We also answer a question by Derksen–Fei negatively by giving examples of algebras that do not satisfy the ray condition. As an application of our results, we give an explicit description of TF equivalence classes of preprojective algebras of type .

mathematics
A note on one decomposition of the 2-primary part of

Yakun Zhang

DOI: https://doi.org/10.1080/00927872.2023.2301525

2024-01-15

Communications in Algebra

Abstract:Let C n be a cyclic group of order n . We investigate K 2 of integral group rings via the Mayer-Vietoris sequence, and give a decomposition of the 2-primary torsion subgroup of K2(Z[Cp×(C2)n]) for any prime p≡3,5,7 (mod8) , in particular, K2(Z[C3×(C2)n]) is proven to be a finite abelian 2-group. As an application, we prove K2(Z[C3×(C2)2]) is an elementary abelian 2-group of rank at least 14, at most 16.

mathematics
Units, zero-divisors and idempotents in rings graded by torsion-free groups

Johan Öinert

DOI: https://doi.org/10.1515/jgth-2023-0110

2024-01-25

Journal of Group Theory

Abstract:The three famous problems concerning units, zero-divisors and idempotents in group rings of torsion-free groups, commonly attributed to Kaplansky, have been around for more than 60 years and still remain open in characteristic zero. In this article, we introduce the corresponding problems in the considerably more general context of arbitrary rings graded by torsion-free groups. For natural reasons, we will restrict our attention to rings without non-trivial homogeneous zero-divisors with respect to the given grading. We provide a partial solution to the extended problems by solving them for rings graded by unique product groups. We also show that the extended problems exhibit the same (potential) hierarchy as the classical problems for group rings. Furthermore, a ring which is graded by an arbitrary torsion-free group is shown to be indecomposable, and to have no non-trivial central zero-divisor and no non-homogeneous central unit. We also present generalizations of the classical group ring conjectures.

mathematics
Decompositions of Periodic Matrices into a Sum of Special Matrices

Peter Danchev,Esther García,Miguel Gómez Lozano

2024-04-03

Abstract:We study the problem of when a periodic square matrix of order $n$ over an arbitrary field $\mathbb{F}$ is decomposable into the sum of a square-zero matrix and a torsion matrix, and show that this decomposition can always be obtained for matrices of rank at least $\frac n2$ when $\mathbb{F}$ is either a field of prime characteristic, or the field of rational numbers, or an algebraically closed field of zero characteristic. We also provide a counterexample to such a decomposition when $\mathbb{F}$ equals the field of the real numbers. Moreover, we prove that each periodic square matrix over any field is a sum of an idempotent matrix and a torsion matrix.

Rings and Algebras
Monoids of modules and arithmetic of direct-sum decompositions

Nicholas R. Baeth,Alfred Geroldinger

DOI: https://doi.org/10.48550/arXiv.1401.6553

2014-01-26

Abstract:Let $R$ be a (possibly noncommutative) ring and let $\mathcal C$ be a class of finitely generated (right) $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Then the set $\mathcal V (\mathcal C)$ of isomorphism classes of modules is a commutative semigroup with operation induced by the direct sum. This semigroup encodes all possible information about direct sum decompositions of modules in $\mathcal C$. If the endomorphism ring of each module in $\mathcal C$ is semilocal, then $\mathcal V (\mathcal C)$ is a Krull monoid. Although this fact was observed nearly a decade ago, the focus of study thus far has been on ring- and module-theoretic conditions enforcing that $\mathcal V(\mathcal C)$ is Krull. If $\mathcal V(\mathcal C)$ is Krull, its arithmetic depends only on the class group of $\mathcal V(\mathcal C)$ and the set of classes containing prime divisors. In this paper we provide the first systematic treatment to study the direct-sum decompositions of modules using methods from Factorization Theory of Krull monoids. We do this when $\mathcal C$ is the class of finitely generated torsion-free modules over certain one- and two-dimensional commutative Noetherian local rings.

Commutative Algebra
The torsion ideal lattice of the endomorphism ring of an abelian p-group

Phill Schultz

2024-05-25

Abstract:The lattice of ideals of the torsion ideal of the endomorphism ring of an abelian p-group is classified by a system of cardinal invariants.

Group Theory
Primary Decompositions for Left Noetherian Rings

V. V. Bavula

DOI: https://doi.org/10.1007/s10468-008-9110-9

2009-01-31

Algebras and Representation Theory

Abstract:Two constructions are given that describe respectively all shortest primary decompositions and all shortest uniform decompositions for left Noetherian rings. They show that these decompositions are, in general, highly non-unique.

mathematics
Decomposing Finite $\mathbb{Z}$-Algebras

Martin Kreuzer,Alexei Miasnikov,Florian Walsh

2023-08-03

Abstract:For a finite $\mathbb{Z}$-algebra $R$, i.e., for a ring which is not necessarily associative or unitary, but whose additive group is finitely generated, we construct a decomposition of $R/{\rm Ann}(R)$ into directly indecomposable factors under weak hypotheses. The method is based on constructing and decomposing a ring of scalars $S$, and then lifting the decomposition of $S$ to the bilinear map given by the multiplication of $R$, and finally to $R/{\rm Ann}(R)$. All steps of the construction are given as explicit algorithms and it is shown that the entire procedure has a probabilistic polynomial time complexity in the bit size of the input, except for the possible need to calculate the prime factorization of one integer. In particular, in the case when ${\rm Ann}(R) = 0$, these algorithms compute a direct decomposition of $R$ into directly indecomposable factors.

Rings and Algebras,Commutative Algebra
Decompositions of the tensor products of irreducible sl(2)-modules in characteristic 3

Brian Clarke

DOI: https://doi.org/10.48550/arXiv.0809.3672

2008-09-22

Abstract:We completely describe the decompositions (into indecomposable submodules) of the tensor products of irreducible sl(2)-modules in characteristic 3. The answer resembles analogous decompositions for the Lie superalgebra sl(1|1).

Representation Theory
The separating Noether number of abelian groups of rank two

Barna Schefler

DOI: https://doi.org/10.1016/j.jcta.2024.105951

IF: 1.263

2024-09-02

Journal of Combinatorial Theory Series A

Abstract:The exact value of the separating Noether number of an arbitrary finite abelian group of rank two is determined. This is done by a detailed study of the monoid of zero-sum sequences over the group.

mathematics
Algebraically hyperbolic groups

Giles Gardam,Dawid Kielak,Alan D. Logan

2024-10-04

Abstract:We initiate the study of torsion-free algebraically hyperbolic groups; these groups generalise torsion-free hyperbolic groups and are intricately related to groups with no Baumslag--Solitar subgroups. Indeed, for groups of cohomological dimension $2$ we prove that algebraic hyperbolicity is equivalent to containing no Baumslag--Solitar subgroups. This links algebraically hyperbolic groups to two famous questions of Gromov; recent work has shown these questions to have negative answers in general, but they remain open for groups of cohomological dimension $2$. We also prove that algebraically hyperbolic groups are CSA, and so have canonical abelian JSJ-decompositions. In the two-generated case we give a precise description of the form of these decompositions.

Group Theory
Lattices over Bass Rings and Graph Agglomerations

Nicholas R. Baeth,Daniel Smertnig

DOI: https://doi.org/10.1007/s10468-021-10040-2

2021-03-15

Algebras and Representation Theory

Abstract:Abstract We study direct-sum decompositions of torsion-free, finitely generated modules over a (commutative) Bass ring R through the factorization theory of the corresponding monoid T ( R ). Results of Levy–Wiegand and Levy–Odenthal together with a study of the local case yield an explicit description of T ( R ). The monoid is typically neither factorial nor cancellative. Nevertheless, we construct a transfer homomorphism to a monoid of graph agglomerations—a natural class of monoids serving as combinatorial models for the factorization theory of T ( R ). As a consequence, the monoid T ( R ) is transfer Krull of finite type and several finiteness results on arithmetical invariants apply. We also establish results on the elasticity of T ( R ) and characterize when T ( R ) is half-factorial. (Factoriality, that is, torsion-free Krull–Remak–Schmidt–Azumaya, is characterized by a theorem of Levy–Odenthal.) The monoids of graph agglomerations introduced here are also of independent interest.

mathematics
Quotient sets in nonabelian groups

Vsevolod F. Lev

2024-04-10

Abstract:We show that for a finite, nonempty subset $A$ of a group, the quotient set $A^{-1}A:=\{a_1^{-1}a_2\colon a_1,a_2\in A\}$ has size $|A^{-1}A|\ge\frac53\,|A|$, unless $A$ is densely contained in a coset, or in a union of two cosets of a finite subgroup.

Group Theory,Combinatorics,Number Theory
The decomposition theorem and the intersection cohomology of quotients in algebraic geometry

Jonathan Woolf

DOI: https://doi.org/10.1016/s0022-4049(03)00030-6

IF: 0.834

2003-08-01

Journal of Pure and Applied Algebra

Abstract:Suppose a connected reductive complex algebraic group G acts linearly on an irreducible complex projective variety X. We prove that if1→N→G→H→1is a short exact sequence of connected reductive groups and Xss the open set of semistable points for the action of N on X then IHH∗(XssN) is (non-canonically) a direct summand of IHG∗(Xss). The inclusion is provided by the decomposition theorem and certain resolutions of the action allow us to define projections.

mathematics, applied
Decomposable ordered groups

Eliana Barriga,Alf Onshuus,Charles Steinhorn

DOI: https://doi.org/10.48550/arXiv.1402.6520

2014-02-26

Abstract:Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered group operation is defined on the structure. The main result at this level of generality asserts that any such group is supersolvable, and that topologically it is homeomorphic to the product of o-minimal groups. Then, working in an o-minimal ordered field $\mathcal R$ satisfying some additional assumptions, in Sections 3-7 definable ordered groups of dimension 2 and 3 are completely analyzed modulo definable group isomorphism. Lastly, this analysis is refined to provide a full description of these groups with respect to definable ordered group isomorphism.

Logic
On the topology and combinatorics of decomposable arrangements

Alexander I. Suciu

2024-04-07

Abstract:A complex hyperplane arrangement $\mathcal{A}$ is said to be decomposable if there are no elements in the degree 3 part of its holonomy Lie algebra besides those coming from the rank 2 flats. When this purely combinatorial condition is satisfied, it is known that the associated graded Lie algebra of the arrangement group $G$ decomposes (in degrees greater than 1) as a direct product of free Lie algebras. It follows that the $I$-adic completion of the Alexander invariant $B(G)$ also decomposes as a direct sum of "local" invariants and the Chen ranks of $G$ are the sums of the local contributions. Moreover, if $B(G)$ is separated, then the degree 1 cohomology jump loci of the complement of $\mathcal{A}$ have only local components, and the algebraic monodromy of the Milnor fibration is trivial in degree 1.

Group Theory,Algebraic Geometry,Geometric Topology

Canonical Decompositions of Abelian Groups

Abelian $p$--groups and their endomorphism rings

Some torsion-free solvable groups with few subquotients

Semistable torsion classes and canonical decompositions in Grothendieck groups

A note on one decomposition of the 2-primary part of

Units, zero-divisors and idempotents in rings graded by torsion-free groups

Decompositions of Periodic Matrices into a Sum of Special Matrices

Monoids of modules and arithmetic of direct-sum decompositions

The torsion ideal lattice of the endomorphism ring of an abelian p-group

Primary Decompositions for Left Noetherian Rings

Decomposing Finite $\mathbb{Z}$-Algebras

Decompositions of the tensor products of irreducible sl(2)-modules in characteristic 3

The separating Noether number of abelian groups of rank two

Algebraically hyperbolic groups

Lattices over Bass Rings and Graph Agglomerations

Quotient sets in nonabelian groups

The decomposition theorem and the intersection cohomology of quotients in algebraic geometry

Decomposable ordered groups

On the topology and combinatorics of decomposable arrangements