Gerador de Grupo

Propósito e intenção do usuário: esta ferramenta resolve o problema exato de identificar conjuntos geradores para um grupo a partir de representações diversas. O público-alvo são pesquisadores em álgebra, docentes e estudantes que precisam verificar se um conjunto dado gera o grupo ou encontrar um conjunto gerador mínimo. É usado quando o grupo é descrito por uma apresentação, por permutações explícitas ou por matrizes geradoras, e o usuário quer analisar propriedades de geração, ordem e estrutura sem programar. O objetivo principal é formalizar o problema de geração, fornecer resultados verificáveis e apoiar tarefas curriculares e de pesquisa.
Lógica central e funcionalidades: a ferramenta aceita três representações (apresentação, permutação e matriz). Funções obrigatórias: teste de geração, estimativa da ordem para grupos finitos e verificação de conjuntos geradores. Funções opcionais/avançadas: descoberta de conjuntos geradores mínimos, aproximação de relações entre subgrupos e exportação de resultados. O resultado mostra os menores conjuntos geradores encontrados, confirma se um conjunto gera o grupo e retorna a ordem do grupo se determinável. A saída é estruturada para processamento adicional por agentes de IA.
Entradas & Saídas: entradas incluem representação do grupo, geradores e relações. Apresentação: forneça geradores e relações; permutação: forneça permutações geradoras; matrizes: forneça matrizes geradoras. Saídas: ordem do grupo (se determinável), lista de conjuntos geradores, flags de status e indicador de geração finita. Validação assegura a consistência das entradas e que o grupo seja gerado finite sob a representação dada. Exemplos: apresentação com geradores S e relações R; grupo de permutações com ciclos; grupo matricial com matrizes geradoras.
Algoritmos & Cálculos: algoritmos incluem teste de geração via fechamento, estimativa de ordem e busca de subconjuntos para conjuntos geradores mínimos. Para representações de permutação, utiliza-se algoritmos padrão de grupos de permutação para calcular ou estimar ordem e subgrupos geradores. Para apresentações, reduções de palavras contra relações testam pertença ao subgrupo gerado. Os resultados são reprodutíveis a partir dos dados de entrada e não geram prova simbólica.
Erros & Casos Limites: trata-se de sintaxe inválida, apresentações inconsistentes e entradas ambíguas. Se a ordem não puder ser determinada, informar ordem indeterminada, mas listar conjuntos geradores. Grupos muito grandes podem exigir mais tempo de cálculo ou timeout. Entradas incompletas geram códigos de erro explícitos.
Indústria/Região & Localização: como ferramenta de álgebra abstrata, padrões respeitam notação matemática e convenções comuns para representações de grupos. Unidades: ordem do grupo sem dimensão. Em entradas de matriz, assume-se precisão numérica exata ou conforme aritmética racional.
Suposições & Exclusões: assume que o grupo é finitamente gerado pela entrada fornecida e que a entrada descreve um grupo válido. Exclui demonstrações teoremáticas simbólicas, estruturas algébricas não padrão e recursos orientados à UI; foco em análise de geração.