On groups whose small-order elements generate a small subgroup

It is proved that every finite group G can be represented as the quotient group of some finite group K such that all elements of “small” primary orders in K generate an Abelian normal subgroup.     

Bounded sets in topological groups and embeddings

We show that the existence of a non-metrizable compact subspace of a topological group G often implies that G contains an uncountable supersequence (a copy of the one-point compactification of an uncountable discrete space). The existence of uncountable supersequences in a topological group has a strong impact on bounded subsets of the group. For example, if a topological group G contains an uncountable supersequence and K is a closed bounded subset of G which does not contain uncountable supersequences, then any subset A of K is bounded in G?(K?A). We also show that every precompact Abelian topological group H can be embedded as a closed subgroup into a precompact Abelian topological group G such that H is bounded in G and all bounded subsets of the quotient group G/H are finite. This complements Ursul's result on closed embeddings of precompact groups to pseudocompact groups.     

Abelian extensions of topological vector groups

The possibility of endowing an Abelian topological group G with the structure of a topological vector space when a subgroup F of G and the quotient group $\text{G}\text{F}$ are topological vector groups is investigated. It is shown that, if F is a real Fréchet group and $\text{G}\text{F}$ a complete metrizable real vector group, then G is a complete metrizable real vector group. This result is of particular interest if $\text{G}\text{F}$ is finite dimensional or if F is one dimensional and $\text{G}\text{F}$ a separable Hilbert group.     

Spectra of ergodic transformations

We study the group properties of the spectrum of a strongly continuous unitary representation of a locally compact Abelian group G implementing an ergodic group of ¹-automorphisms of a von Neumann algebra $\text{R}$. It is shown that in many cases the spectrum equals the dual group of G; e.g. if G is the integers and $\text{R}$ not finite dimensional and Abelian, then the spectrum is the circle group.     

Torsion Abelian RAI-Groups

A subgroup A of an Abelian group G is called its absolute ideal if A is an ideal of any ring on G. An Abelian group is called an RAI-group if there exists a ring on it in which every ideal is absolute. The problem of describing RAI-groups was formulated by L. Fuchs (Problem 93). In this paper, absolute ideals of torsion Abelian groups and torsion Abelian RAI-groups are described.     

When are all group codes of a noncommutative group Abelian (a computational approach)?

Let G be a finite group and F be a field. Any linear code over F that is permutation equivalent to some code defined by an ideal of the group ring FG will be called a G-code. The theory of these ??abstract?? group codes was developed in 2009. A code is called Abelian if it is an A-code for some Abelian group A. Some conditions were given that all G-codes for some group G are Abelian but no examples of non-Abelian group codes were known at that time. We use a computer algebra system GAP to show that all G-codes over any field are Abelian if |G|?<?128 and |G| ? {24, 48, 54, 60, 64, 72, 96, 108, 120}, but for F?=? $ {\mathbb{F}_5} $ and G?=?S₄ there exist non-Abelian G-codes over F. It is also shown that the existence of left non-Abelian group codes for a given group depends in general on the field of coefficients, while for (two-sided) group codes the corresponding question remains open.     

Residually finite algorithmically finite groups,their subgroups and direct products

We construct a finitely generated infinite recursively presented residually finite algorithmically finite group G, thus answering a question of Myasnikov and Osin. The group G here is “strongly infinite” and “strongly algorithmically finite,” which means that G contains an infinite Abelian normal subgroup and all finite Cartesian powers of G are algorithmically finite (i.e., for any n, there is no algorithm writing out infinitely many pairwise distinct elements of the group G ⁿ ). We also formulate several open questions concerning this topic.     

Self-duality in the class of precompact groups

A topological Abelian group G is called (strongly) self-dual if there exists a topological isomorphism Φ:G→G^∧ of G onto the dual group G^∧ (such that Φ(x)(y)=Φ(y)(x) for all x,y∈G). We prove that every countably compact self-dual Abelian group is finite. It turns out, however, that for every infinite cardinal κ with κω=κ, there exists a pseudocompact, non-compact, strongly self-dual Boolean group of cardinality κ.     

The Index of a 1-Form on a Real Quotient Singularity

Let G be a finite Abelian group acting (linearly) on space ?ⁿ and, therefore, on its complexification ?ⁿ, and let W be the real part of the quotient ?ⁿ/G (in the general case, W ≠ ?ⁿ/G). The index of an analytic 1-form on the space W is expressed in terms of the signature of the residue bilinear form on the G-invariant part of the quotient of the space of germs of n-forms on (?ⁿ, 0) by the subspace of forms divisible by the 1-form under consideration.     

Invariants of modular groups

For a faithful linear representation of a finite group G over a field of characteristic p, we study the ring of invariants. We especially study the polynomial and Cohen–Macaulay properties of the invariant ring. We first show that certain quotient rings of the invariant ring are polynomial rings by which we prove that the Hilbert ideal conjecture is true for a class of groups. In particular, we prove that the conjecture is true for vector invariant rings of Abelian reflection p-groups. Then we study the relationships between the invariant ring of G and that of a subgroup of G. Finally, we study the invariant rings of affine groups and show that, over a finite field, if an affine group contains all translations then the invariant ring is isomorphic to the invariant ring of a linear group.     

Almost equal group multiplications

In a recent paper entitled “A commutative analogue of the group ring” we introduced, for each finite group (G,⋅), a commutative graded Z-algebra R_(G,⋅) which has a close connection with the cohomology of (G,⋅). The algebra R_(G,⋅) is the quotient of a polynomial algebra by a certain ideal I_(G,⋅) and it remains a fundamental open problem whether or not the group multiplication ⋅ on G can always be recovered uniquely from the ideal I_(G,⋅).Suppose now that (G,×) is another group with the same underlying set G and identity element e∈G such that I_(G,⋅)=I_(G,×). Then we show here that the multiplications ⋅ and × are at least “almost equal” in a precise sense which renders them indistinguishable in terms of most of the standard group theory constructions. In particular in many cases (for example if (G,⋅) is Abelian or simple) this implies that the two multiplications are actually equal as was claimed in the previously cited paper.     

Addition sets in a finite group

Addition sets with parameters (υ,k,λ,α) are defined in a finite group G of order υ, where α: G → G is a homomorphism or anti-homomorphism. It is shown that addition sets in a finite group have similar properties to that of (υ,k,λ,g) cyclic addition sets. The case α = I, where I: G → G is the identity automorphism, is studied and it is shown that no (υ,k,λ,I) group addition sets exist in an Abelian group of order υ, where ether υ is odd, υ≡2 (mod 4), or in certain cases when υ≡0 (mod 4). Many examples of group addition sets in both Abelian and non-Abelian groups are provided.     

Critical groups of graphs with reflective symmetry

The critical group of a graph is a finite Abelian group whose order is the number of spanning forests of the graph. For a graph G with a certain reflective symmetry, we generalize a result of Ciucu–Yan–Zhang factorizing the spanning tree number of G by interpreting this as a result about the critical group of G. Our result takes the form of an exact sequence, and explicit connections to bicycle spaces are made.     

Bass-Tits minimization of automata, quotients of trees and diameters

Let X be a tree and let G=Aut(X), Bass and Tits have given an algorithm to construct the ‘ultimate quotient’ of X by G starting with any quotient of X, an ‘edge-indexed’ graph. Using a sequence of integers that we compute at consecutive steps of the Bass-Tits (BT) algorithm, we give a lower bound on the diameter of the ultimate quotient of a tree by its automorphism group. For a tree X with finite quotient, this gives a lower bound on the minimum number of generators of a uniform X-lattice whose quotient graph coincides with G?X. This also gives a criterion to determine if the ultimate quotient of a tree is infinite. We construct an edge-indexed graph (A,i) for a deterministic finite state automaton and show that the BT algorithm for computing the ultimate quotient of (A,i) coincides with state minimizing algorithm for finite state automata. We obtain a lower bound on the minimum number of states of the minimized automaton. This gives a new proof that language for the word problem in a finitely generated group is regular if and only if the group is finite, and a new proof that the language of the membership problem for a subgroup is regular if and only if the subgroup has finite index.     

Rational G-matrices with rational eigenvalues

A study of the totally rational (entries and eigenvalues) centralizer of an Abelian group, G, is applied to the problem of determing which strongly regular graphs admit such a G as a egular automorphism group.     

The fixed-point algebra of tensor-product actions of finite Abelian groups on UHF-algebras

Let G be a finite Abelian group acting by tensor-product automorphisms on a UHF-C¹-algebra $\text{D}$. Extending a result of A. Kishimoto it is shown that the number of extremal traces on the fixed-point algebra $\text{D}$^G equals the cardinality of the subgroup K of automorphisms in G which are weakly inner in the trace representation of $\text{D}$.     

A non-Abelian analogue of Whitney’s 2-isomorphism theorem

We give a non-Abelian analogue of Whitney’s 2-isomorphism theorem for graphs. Whitney’s theorem states that the cycle space determines a graph up to 2-isomorphism. Instead of considering the cycle space of a graph which is an Abelian object, we consider a mildly non-Abelian object, the 2-truncation of the group algebra of the fundamental group of the graph considered as a subalgebra of the 2-truncation of the group algebra of the free group on the edges. The analogue of Whitney’s theorem is that this is a complete invariant of 2-edge connected graphs: let G, G′ be 2-edge connected finite graphs; if there is a bijective correspondence between the edges of G and G′ that induces equality on the 2-truncations of the group algebras of the fundamental groups, then G and G′ are isomorphic.     

Torsion Abelian afi-Groups

This paper is devoted to the study of Abelian afi-groups. A subgroup A of an Abelian group G is called its absolute ideal if A is an ideal of any ring on G. We will call an Abelian group an afi-group if all of its absolute ideals are fully invariant subgroups. In this paper, we will describe afi-groups in the class of fully transitive torsion groups (in particular, separable torsion groups) and divisible torsion groups.     

Free Groups and Subgroups of Finite Index in the Unit Group of an Integral Group Ring

In this article we construct free groups and subgroups of finite index in the unit group of the integral group ring of a finite non-Abelian group G for which every nonlinear irreducible complex representation is of degree 2 and with commutator subgroup G′ a central elementary Abelian 2-group.