Día: 19 agosto 2023

Esta semana he publicado en Calculemus las demostraciones con Lean4 de las siguientes propiedades:

• 1. Si R es un anillo y a ∈ R, entonces a – a = 0
• 2. En los anillos, 1 + 1 = 2
• 3. Si R es un anillo y a ∈ R, entonces 2a = a+a
• 4. Si G es un grupo y a ∈ G, entonces aa⁻¹ = 1
• 5. Si G es un grupo y a ∈ G, entonces a·1 = a

A continuación se muestran las soluciones.
Read More “La semana en Calculemus (19 de agosto de 2023)”