Opened 5 years ago

Closed 5 years ago

#23188 closed enhancement (fixed)

p-adic rings embed into their fraction fields

Reported by: Julian Rüth Owned by:
Priority: minor Milestone: sage-8.0
Component: padics Keywords: sd86.5
Cc: David Roe Merged in:
Authors: Julian Rüth Reviewers: David Roe
Report Upstream: N/A Work issues:
Branch: 2deaa0f (Commits, GitHub, GitLab) Commit: 2deaa0fedc581c87b35f99b9362d4bfd831d4a26
Dependencies: Stopgaps:

Status badges

Description

Currently, this fails: 

sage: R.<a> = ZqCA(9)
sage: R.fraction_field().coerce_map_from(R).is_injective()
NotImplementedError

Change History (5)

comment:1 Changed 5 years ago by Julian Rüth

Branch: → u/saraedum/p_adic_rings_embed_into_their_fraction_fields

comment:2 Changed 5 years ago by git

Commit: → 2deaa0fedc581c87b35f99b9362d4bfd831d4a26

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

​2deaa0fImplement is_injective/is_surjective for inclusions of p-adic rings into their fraction fields

comment:3 Changed 5 years ago by Julian Rüth

Authors: → Julian Rüth
Cc: David Roe added
Status: new → needs_review

comment:4 Changed 5 years ago by David Roe

Reviewers: → David Roe
Status: needs_review → positive_review

Seems fine to me.

comment:5 Changed 5 years ago by Volker Braun

Branch: u/saraedum/p_adic_rings_embed_into_their_fraction_fields → 2deaa0fedc581c87b35f99b9362d4bfd831d4a26
Resolution: → fixed
Status: positive_review → closed
Note: See TracTickets for help on using tickets.