Related papers: A short characterization of the Octonions
Let $A$ be an elliptic curve over $\Q$ of square free conductor $N$. We prove that if $A$ has a rational torsion point of prime order $r$ such that $r$ does not divide $6N$, then $r$ divides the order of the cuspidal subgroup of $J_0(N)$.
Given a number field $F$ with ring of integers $\mathcal{O}_{F}$, one can associate to any torsion free subgroup of $\operatorname{SL}(2,\mathcal{O}_{F})$ of finite index a complete Riemannian manifold of finite volume with fibered cusp…
This paper addresses two of Kaplansky's conjectures concerning group rings $K[G]$, where $K$ is a field and $G$ is a torsion-free group: the zero-divisor conjecture, which asserts that $K[G]$ has no non-trivial zero-divisors, and the unit…
In this article we prove several important results on graded rings, especially monoid-rings, that are motivated and inspired by Kaplansky's zero-divisor, unit and idempotents conjectures. Among the main results, we first generalize…
We investigate the standard graded $k$-algebras over a field $k$ of characteristic zero for which general linear forms are exact zero divisors. We formulate a conjecture regarding the Hilbert function of such rings. We prove our conjecture…
Suppose X is a projective toric scheme defined over a commutative ring R equipped with an ample line bundle L. We prove that its K-theory has k+1 direct summands K(R) where k is minimal among non-negative integers such that the twisted line…
Let $R$ be a ring with unity. The non-zero divisor graph of $R$, $\Phi(R)$, is the graph with vertex set $R\backslash \{0,1,-1\}$, and two vertices $x$ and $y$ are adjacent if and only if either $xy$ or $yx$ is non-zero. In this article we…
Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field…
In this article, we show that the group comprising piecewise-linear homeomorphisms of the real line with bounded slopes is not simple. Furthermore, we establish that a quotient of this group is torsion-free, and importantly, the center of…
Let $\mathbb Z \langle X \rangle$ be the free unital associative ring freely generated by an infinite countable set $X = \{ x_1,x_2, \dots \}$. Define a left-normed commutator $[x_1,x_2, \dots, x_n]$ by $[a,b] = ab - ba$, $[a,b,c] =…
Let $k$ be a division ring and let $G$ be either a torsion-free virtually compact special group or a finitely generated torsion-free $3$-manifold group. We embed the group algebra $kG$ in a division ring and prove that the embedding is…
Let $n,k,$ and $r$ be nonnegative integers and let $S_n$ be the symmetric group. We introduce a quotient $R_{n,k,r}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which carries the structure of a graded $S_n$-module.…
Let $(X,o)$ be a germ of a 3-dimensional terminal singularity of index $m\geq 2$. If $(X,o)$ has type cAx/4, cD/3-3, cD/2-2, or cE/2, then assume that the standard equation of $X$ in $\mathbb{C}^4/\mathbb{Z}_m$ is non-degenerate with…
We introduce fusion algebras with not necessarily positive structure constants and without identity element. We prove that they are semisimple when tensored with $\mathbb{C}$ and that their characters satisfy orthogonality relations. Then…
Let $R\ $be an integral domain and $R^{\#}$ the set of all nonzero nonunits of $R.\ $For every elements $a,b\in R^{\#},$ we define $a\sim b$ if and only if $aR=bR,$ that is, $a$ and $b$ are associated elements. Suppose that $EC(R^{\#})$ is…
It is well known that the positive degree cohomology of a finite group G is annihilated by |G|. We improve on this bound in the case of odd degree elements in the integer cohomology ring and show that $e_{odd}(G)$, the exponent of the…
The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…
We compute the algebraic K-theory of the non-commutative ring k<x_1,...,x_n>/(m^a) when k is a perfect field of positive characteristic and m=(x_1,...,x_n). We express the answer in terms of the truncation poset Witt vectors developed in…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
As is well-known, the real quaternion division algebra $ {\cal H}$ is algebraically isomorphic to a 4-by-4 real matrix algebra. But the real division octonion algebra ${\cal O}$ can not be algebraically isomorphic to any matrix algebras…