Skip to content

Add group lift to right-regular antirepresentation - #491

Merged
perlinm merged 1 commit into
mainfrom
opposite
May 19, 2026
Merged

Add group lift to right-regular antirepresentation#491
perlinm merged 1 commit into
mainfrom
opposite

Conversation

@perlinm

@perlinm perlinm commented May 19, 2026

Copy link
Copy Markdown
Collaborator

Previously Group.regular_lift(g, right=True) lifted to the right-regular representation. For consistency with RingMember.regular_lift(r, right=True), which lifts to a matrix that encodes multiplication from the right (because a right-regular representation of a ring is generally not defined), the former now lifts to the right-regular anti-representation. The right-regular representation can be recovered by Group.regular_lift(g, right=True).T = Group.regular_lift(~g, right=True).

See docstrings of Group.regular_lift and RingMember.regular_lift for additional information.

@perlinm perlinm changed the title Add lift to right-regular antirepresentations Add group lift to right-regular antirepresentation May 19, 2026
@perlinm
perlinm merged commit 3934417 into main May 19, 2026
3 checks passed
@perlinm
perlinm deleted the opposite branch May 19, 2026 12:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant