English
Related papers

Related papers: Reflection principle characterizing groups in whic…

200 papers

If $G$ is a finite primitive complex reflection group, all reflection subgroups of $G$ and their inclusions are determined up to conjugacy. As a consequence, it is shown that if the rank of $G$ is $n$ and if $G$ can be generated by $n$…

Group Theory · Mathematics 2022-01-26 D. E. Taylor

Let $F$ be a field with at least three elements and $G$ a locally finite group. This paper aims to show that if either $F$ is algebraically closed or the characteristic of $F$ is positive, then an element in the group algebra $FG$ is a…

Rings and Algebras · Mathematics 2022-11-18 M. H. Bien , P. V. Danchev , M. Ramezan-Nassab , T. N. Son

This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D for all natural n. The theorem states that any divisible…

Group Theory · Mathematics 2015-06-05 Daniel Miller

The reflection principle is the statement that if a sentence is provable then it is true. Reflection principles have been studied for first-order theories, but they also play an important role in propositional proof complexity. In this…

Logic · Mathematics 2020-07-30 Pavel Pudlák

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

Logic · Mathematics 2019-03-01 Cédric Milliet

Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a…

Rings and Algebras · Mathematics 2020-09-08 Eli Aljadeff , Darrell Haile , Yakov Karasik

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

Logic · Mathematics 2024-12-23 Lorna Gregory

Let A denote the algebraic closure of the rationals Q in the complex numbers C. Suppose G is a torsion-free group which contains a congruence subgroup as a normal subgroup of finite index and denote by U(G) the C-algebra of closed densely…

Rings and Algebras · Mathematics 2007-05-23 Daniel R. Farkas , Peter A. Linnell

This survey article has two components. The first part gives a gentle introduction to Serre's notion of $G$-complete reducibility, where $G$ is a connected reductive algebraic group defined over an algebraically closed field. The second…

Group Theory · Mathematics 2023-09-12 Alastair J. Litterick , David I. Stewart , Adam R. Thomas

An abelian group is said to be aleph_1-free if all its countable subgroups are free. Our main result is: If R is a ring with R^+ free and |R|<lambda <= 2^{aleph_0}, then there exists an aleph_1-free abelian group G of cardinality lambda…

Logic · Mathematics 2007-05-23 Rüdiger Göbel , Saharon Shelah

Steinberg showed that when a finite reflection group acts on a real or complex vector space of finite dimension, the Jacobian determinant of a set of basic invariants factors into linear forms which define the reflecting hyperplanes. This…

Representation Theory · Mathematics 2007-05-23 Julia Hartmann , Anne V. Shepler

We continue [GbSh:568] (math.LO/0003164), proving a stronger result under the special continuum hypothesis (CH). The original question of Eklof and Mekler related to dual abelian groups. We want to find a particular example of a dual group,…

Logic · Mathematics 2007-05-23 Ruediger Goebel , Saharon Shelah

Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or…

Logic · Mathematics 2022-08-23 Will Johnson , Ningyuan Yao

Let G be any abelian group and {a_sG_s}_{s=1}^k be a finite system of cosets of subgroups G_1,...,G_k. We show that if {a_sG_s}_{s=1}^k covers all the elements of G at least m times with the coset a_tG_t irredundant then [G:G_t]\le 2^{k-m}…

Group Theory · Mathematics 2008-03-11 Günter Lettl , Zhi-Wei Sun

It is proved that the continuum hypothesis implies the existence of a group M containing a nonalgebraic unconditionally closed set, i.e., a set which is closed in any Hausdorff group topology on M but is not an intersection of finite unions…

Group Theory · Mathematics 2007-05-23 Ol'ga V. Sipacheva

For an Abelian group $G$, any homomorphism $\mu\colon G\otimes G\rightarrow G$ is called a \textsf{multiplication} on $G$. The set $\text{Mult}\,G$ of all multiplications on an Abelian group $G$ is an Abelian group with respect to addition.…

Group Theory · Mathematics 2023-06-05 Ekaterina Kompantseva , Askar Tuganbaev

Let p be a fixed prime. An Abelian p-group is an Abelian group (not necessarily finitely generated) in which every element has for its order some power of p. The countable Abelian p-groups are classified by Ulm's theorem, and Khisamiev…

Logic · Mathematics 2008-05-14 W. Calvert , D. Cenzer , V. S. Harizanov , A. Morozov

Families of unconditionally $\tau$-closed and $\tau$-algebraic sets in a group are defined, which are natural generalizations of unconditionally closed and algebraic sets defined by Markov. A sufficient condition for the coincidence of…

Group Theory · Mathematics 2007-06-14 Ol'ga V. Sipacheva

We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…

Logic · Mathematics 2019-10-31 Lev D. Beklemishev , Fedor N. Pakhomov

It has been recently proved (by Croot, Lev and Pach and the subsequent work by Ellenberg and Gijswijt) that for a group $G=G_0^n$, where $G_0\ne \{1,-1\}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without…

Combinatorics · Mathematics 2020-04-20 Fedor Petrov