DAO: La semana en Calculemus (16 de septiembre de 2022)
Esta semana he publicado en Calculemus las demostraciones con Lean de las siguientes propiedades:
- 1. Si R es un anillo y a, b ∈ R, entonces a – b = a + -b
- 2. Si R es un anillo y a ∈ R, entonces 2 * a = a + a
- 3. Si G es un grupo y a ∈ G, entonces a * a⁻¹ = 1
- 4. Si G es un grupo y a ∈ G, entonces a * 1 = a
- 5. Si G es un grupo y a, b ∈ G tales que b * a = 1, entonces a⁻¹ = b
A continuación se muestran las soluciones.
Read More “DAO: La semana en Calculemus (16 de septiembre de 2022)”