Related papers: On the counterexamples to the unit conjecture for …

Nearly $60$ years ago, L\'{a}szl\'{o} Fuchs posed the problem of determining which groups can be realized as the group of units of a commutative ring. To date, the question remains open, although significant progress has been made. Along…

We give an elementary proof of a Caratheodory-type result on the invertibility of a sum of matrices, due first to Facchini and Barioli. The proof yields a polynomial identity, expressing the determinant of a large sum of matrices in terms…

For commutative rings, we introduce the notion of a {\em universal grading}, which can be viewed as the "largest possible grading". While not every commutative ring (or order) has a universal grading, we prove that every {\em reduced order}…

Let $x$, $y$ be two integral quaternions of norm $p$ and $l$, respectively, where $p$, $l$ are distinct odd prime numbers. We investigate the structure of $<x,y>$, the multiplicative group generated by $x$ and $y$. Under a certain condition…

We introduce structure theorems for the study of the unit conjecture for supersoluble group rings and apply our results to the (Passman) fours group G. We show that over any field K, the group algebra KG has no non-trivial units of length…

We give a new proof of a_4\phi_3 summation due to G.E. Andrews and confirm another_4\phi_3 summation conjectured by him recently. Some variations of these two_4\phi_3 summations are also given.

In this manuscript, we define the notion of linearly reductive groups over commutative unital rings and study the Cohen-Macaulay property of the ring of invariants under rational actions of a linearly reductive group. Moreover, we study the…

Given a finite group $G$, its double Burnside ring $B(G,G)$, has a natural duality operation that arises from considering opposite $(G,G)$-bisets. In this article, we systematically study the subgroup of units of $B(G,G)$, where elements…

In \cite[Problem 72]{Fuchs60} Fuchs posed the problem of characterizing the groups which are the groups of units of commutative rings. In the following years, some partial answers have been given to this question in particular cases. In a…

In this note we provide some counterexamples for the conjectures of finite simple groups, one of the conjectures said "all finite simple groups $G$ can be determined using their orders $|G|$ and the number of elements of order $p$, where…

We construct families of curves which provide counterexamples for a uniform boundedness question. These families generalize those studied previously by several authors. We show, in detail, what fails in the argument of Caporaso, Harris,…

We consider first-order definability and decidability questions over rings of integers of algebraic extensions of $\Q$, paying attention to the uniformity of definitions. The uniformity follows from the simplicity of our first-order…

Let $R$ be an associative ring with identity and let $N$ be a nil ideal of $R$. It is shown that units of $R/N$ can be lifted to units in $R$. Under some mild conditions on the ring, a procedure is given to determine those lifted units in a…

Let $G$ be a nontrivial permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is…

In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Let $\pi$ be a finite $p$-group and $\mathbb{F}_q$ a finite field with $q=p^n$ elements. Denote by $\mathrm{I}_{\mathbb{F}_q}$ the augmentation ideal of the group ring $\mathbb{F}_q[\pi]$. We have found a surprising relation between the…

We consider the problem of determining whether the union of two infinite matroids is a matroid. We introduce a superclass of the finitary matroids, the nearly finitary matroids, and prove that the union of two nearly finitary matroids is a…

We introduce a new method to study rational conjugacy of torsion units in integral group rings using integral and modular representation theory. Employing this new method, we verify the first Zassenhaus Conjecture for the group…

Let $K$ be a number field and ${\mathcal O}$ be the ring of $S$-integers in $K$. Morgan, Rapinchuck, and Sury have proved that if the group of units ${\mathcal O}^{\times}$ is infinite, then every matrix in ${\rm SL}_2({\mathcal O})$ is a…