¿Qué es un generador de álgebra abstracta?

Soy teoría de grupo, hay dos conceptos diferentes a los que podría referirse.

A. Generador de un grupo cíclico . Decimos que un grupo es cíclico si todos los elementos se pueden escribir como [math] g ^ n [/ math], donde [math] g [/ math] es el generador.

Ejemplo: [math] \ mathbb Z_n [/ math] es generado por [math] 1 [/ math]

B. Grupo electrógeno . Decimos que un grupo es generado por un conjunto si el subgrupo más pequeño que contiene el conjunto es el grupo mismo.

Ejemplo: [math] \ mathbb Z_2 \ times \ mathbb Z [/ math] es generado por [math] \ {(0,1), (1,0) \} [/ math]

Pero como señaló Henning Breede, también hay muchas más definiciones para generadores en otras estructuras algebraicas.

Para ser más general, un generador o grupo electrógeno generalmente se refiere a un conjunto más pequeño de objetos de modo que cuando está equipado con alguna operación / s puede generar un conjunto más grande.

El elemento cuyo orden es igual al orden del grupo