Skip to content

Instantly share code, notes, and snippets.

@msakai
Last active May 2, 2026 08:13
Show Gist options
  • Select an option

  • Save msakai/42a4ff7ea7be32781ad646502f42765f to your computer and use it in GitHub Desktop.

Select an option

Save msakai/42a4ff7ea7be32781ad646502f42765f to your computer and use it in GitHub Desktop.
体 F が x + y = 1 かつ x y = 1 を満たすような元を持たない時、F ∪ {∞} は演算 x ⊛ y := (x y - 1) / (x + y - 1) に関して群になる
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment