BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

A. Silverberg

A. Silverberg appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.ACalg-geomCryptography and Securitymath.AG

Catalog footprint

What is connected

8works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2016arXiv

Algorithms for commutative algebras over the rational numbers

The algebras considered in this paper are commutative rings of which the additive group is a finite-dimensional vector space over the field of rational numbers. We present deterministic polynomial-time algorithms that, given such an algebra, determine its nilradical, all of its prime ideals, as well as the corresponding localizations and residue class fields, its largest separable subalgebra, and its primitive idempotents. We also solve the discrete logarithm problem in the multiplicative group of the algebra. While deterministic polynomial-time algorithms were known earlier, our approach is different from previous ones. One of our tools is a primitive element algorithm; it decides whether the algebra has a primitive element and, if so, finds one, all in polynomial time. A methodological novelty is the use of derivations to replace a Hensel-Newton iteration. It leads to an explicit formula for lifting idempotents against nilpotents that is valid in any commutative ring.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Lattices with Symmetry

For large ranks, there is no good algorithm that decides whether a given lattice has an orthonormal basis. But when the lattice is given with enough symmetry, we can construct a provably deterministic polynomial-time algorithm to accomplish this, based on the work of Gentry and Szydlo. The techniques involve algorithmic algebraic number theory, analytic number theory, commutative algebra, and lattice basis reduction.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Roots of unity in orders

We give deterministic polynomial-time algorithms that, given an order, compute the primitive idempotents and determine a set of generators for the group of roots of unity in the order. Also, we show that the discrete logarithm problem in the group of roots of unity can be solved in polynomial time. As an auxiliary result, we solve the discrete logarithm problem for certain unit groups in finite rings. Our techniques, which are taken from commutative algebra, may have further potential in the context of cryptology and computer algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On elliptic curves with an isogeny of degree 7

We show that if $E$ is an elliptic curve over $\mathbf{Q}$ with a $\mathbf{Q}$-rational isogeny of degree 7, then the image of the 7-adic Galois representation attached to $E$ is as large as allowed by the isogeny, except for the curves with complex multiplication by $\mathbf{Q}(\sqrt{-7})$. The analogous result with 7 replaced by a prime $p > 7$ was proved by the first author in [7]. The present case $p = 7$ has additional interesting complications. We show that any exceptions correspond to the rational points on a certain curve of genus 12. We then use the method of Chabauty to show that the exceptions are exactly the curves with complex multiplication. As a by-product of one of the key steps in our proof, we determine exactly when there exist elliptic curves over an arbitrary field $k$ of characteristic not 7 with a $k$-rational isogeny of degree 7 and a specified Galois action on the kernel of the isogeny, and we give a parametric description of such curves.

0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv

Hodge groups of abelian varieties with purely multiplicative reduction

The main result of the paper is that if $A$ is an abelian variety over a subfield $F$ of ${\bold C}$, and $A$ has purely multiplicative reduction at a discrete valuation of $F$, then the Hodge group of $A$ is semisimple. Further, we give necessary and sufficient conditions for the Hodge group to be semisimple. We obtain bounds on certain torsion subgroups for abelian varieties which do not have purely multiplicative reduction at a given discrete valuation, and therefore obtain bounds on torsion for abelian varieties, defined over number fields, whose Hodge groups are not semisimple.

0 citations0 reviewsNo code linkedOpen access