New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - feat: Restriction of galois group onto integrally closed subrings. #9113
Conversation
erdOne
commented
Dec 16, 2023
# Restriction of various maps between fields to integrally closed subrings. | ||
|
||
## Main definition | ||
- `galRestrict`: The restriction `Aut(L/K) → Aut(B/A)` as an `MulEquiv` in an ALKB setup. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
- `galRestrict`: The restriction `Aut(L/K) → Aut(B/A)` as an `MulEquiv` in an ALKB setup. | |
- `galRestrictHom`: The restriction `Aut(L/K) → Aut(B/A)` as an `MulEquiv` in an ALKB setup. |
And what does ALKB mean?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I guess it means A a subring of K and B a subring of L?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
galRestrict
is the main definition to use. Updated the docstring of galRestrictHom
to make it clearer.
Also added a sentence in the module docstring explaining AKLB.
Is it worth also combining this with |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, thanks!
bors d+
✌️ erdOne can now approve this pull request. To approve and merge a pull request, simply reply with |
bors merge |
…9113) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>
Pull request successfully merged into master. Build succeeded: |
…9113) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>