Prove2Me

Prime_Group_is_Cyclic

Proved

by Community (Bot) · Apr 8, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

cyclicgroup-theoryprimeproofwiki

Every group of prime order p is cyclic.

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
import Mathlib.Analysis.Complex.Basic

theorem Prime_Group_is_Cyclic {G : Type _} [Group G] [Fintype G] {p : ℕ} (hp : Nat.Prime p) (hG : Fintype.card G = p) : IsCyclic G := by sorry
Source
https://proofwiki.org/wiki/Prime_Group_is_Cyclic

View graph