🔢 mathematics

An extension theory and semidirect sums for nearrings

Este artigo estabelece uma teoria de extensão geral para quaseanéis, análoga às extensões de Schreier e Everett para grupos e anéis, respectivamente, a qual abrange a construção da soma semidireta e unifica vários exemplos de quaseanéis existentes criados para fins específicos.

Autores originais: Stefan Veldsman

Publicado 2026-08-11

📖 5 min de leitura🧠 Leitura aprofundada

CC0 1.0

Autores originais: Stefan Veldsman

Artigo original dedicado ao domínio público sob CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um mestre arquiteto projetando uma nova cidade. Você tem dois bairros distintos: um é um distrito rígido e ordenado onde todos seguem regras estritas (como um grupo de soldados), e o outro é um distrito caótico e criativo onde as coisas ficam bagunçadas, mas divertidas (como um mercado de rua). No mundo da matemática, especificamente um ramo chamado álgebra, esses bairros são chamados de "nearrings" (quase-anéis). Eles são como os projetos de como as coisas se combinam, somam e multiplicam. Mas aqui está o detalhe: nesses bairros, as regras de adição e multiplicação nem sempre jogam bem juntas. Às vezes, se você as mistura, a ordem importa, e às vezes a matemática nem sequer se importa com o zero.

Por muito tempo, os matemáticos sabiam como construir cidades simples apenas colocando dois bairros lado a lado (uma "soma direta") ou deixando um bairro influenciar o outro suavemente de uma forma específica e previsível (um "produto semidireto"). Mas e se você quisesse construir uma cidade onde os bairros interagem em uma dança selvagem e complexa? E se a maneira como eles se misturam dependesse de fatores ocultos, como códigos secretos ou regras mutáveis que mudam dependendo de quem está conversando com quem? Essa é a grande questão que este artigo aborda. Ele pergunta: "Como podemos construir uma nova e complexa cidade de nearrings a partir de duas mais simples, mesmo quando as regras da estrada são um pouco retorcidas?" A resposta não é apenas criar uma nova forma; é sobre criar um kit de ferramentas universal que explique todas as maneiras possíveis de colar esses bairros matemáticos uns aos outros.

O artigo, escrito por Stefan Veldsman, introduz uma grandiosa "Teoria de Extensão" para nearrings. Pense nesta teoria como o manual de instruções definitivo para construir uma nova estrutura matemática (vamos chamá-la de "Super-Nearring") pegando dois nearrings existentes, vamos chamá-los de "Nearring A" e "Nearring B", e fundindo-os. O autor prova que, não importa como você tente colar esses dois, você estará sempre usando uma receita específica envolvendo cinco "funções" especiais (que são apenas máquinas matemáticas que recebem entradas e produzem saídas).

O artigo mostra que, para construir este Super-Nearring, você precisa de um "sistema de fator". Imagine isso como um conjunto de instruções secretas ou uma "receita de cola" que diz exatamente como lidar com a adição e a multiplicação quando você mistura elementos de A e B. O autor define uma nova construção chamada "E-soma". Esta é uma maneira elegante de dizer "uma soma construída com um conjunto específico de regras". O artigo prova duas coisas massivas:

Se você seguir as regras desta receita de E-soma (que envolve verificar seis condições específicas, rotuladas como G1, G2, A1, A2, D1 e D2), você sempre terminará com um nearring válido.
Inversamente, se você tiver qualquer nearring que seja construído pela extensão de A com B, ele é garantido como equivalente a uma dessas E-somas. Em outras palavras, não há maneiras ocultas e secretas de construir essas estruturas que esta receita não cubra.

O artigo então foca em um caso especial e mais simples chamado "soma semidireta". Isso é como um tipo específico de cidade onde um bairro (B) atua como um "epimorfismo dividido" — uma maneira elegante de dizer que B pode ser extraído do Super-Nearring de forma limpa, como uma gaveta deslizando para fora de um armário, deixando o resto da cidade (A) intacto. O artigo demonstra que muitas construções existentes e complicadas no campo dos nearrings (como o "produto de coroas" usado por outros matemáticos) são, na verdade, apenas versões especiais desta soma semidireta. É como descobrir que vários brinquedos de aparência diferente são, na verdade, apenas versões de cores diferentes do mesmo conjunto de LEGO.

O autor não se limita à teoria; ele fornece um "menu" de exemplos. Ele mostra como construir essas estruturas usando coisas como grupos de inteiros, funções em conjuntos e até mesmo nearrings com multiplicação nula (onde tudo multiplica por zero). Ele prova que, ao ajustar as cinco funções em sua receita, você pode recriar construções famosas, como a "extensão de Dorroh" (que adiciona uma unidade a um anel) ou várias construções "radicais" usadas na álgebra avançada.

Crucialmente, o artigo é muito preciso sobre o que ele não faz. Ele não afirma que resolve todos os problemas da álgebra, nem sugere que essas novas estruturas sejam úteis para construir pontes ou codificar softwares (pelo menos, não neste artigo). É uma prova matemática pura. Ele estabelece que a "E-soma" é a maneira correta e completa de descrever essas extensões. Ele exclui explicitamente a ideia de que existam "pontas soltas" ou formas indefinidas de combinar esses nearrings; se uma estrutura existe, ela se encaixa no molde da E-soma. O artigo é confiante em suas descobertas, apresentando-as como teoremas provados em vez de suposições ou simulações. É uma base lógica e sólida que diz: "Aqui está o mapa, e aqui está o território; eles coincidem perfeitamente".

Portanto, se você é um adolescente curioso querendo saber como os matemáticos constroem mundos complexos a partir de blocos simples, este artigo é o projeto. Ele pega a ideia confusa e bagunçada de "colar" dois sistemas matemáticos e a transforma em uma receita limpa e passo a passo. Ele diz que, mesmo no mundo caótico dos nearrings, onde as regras da matemática podem ser um pouco rebeldes, existe uma ordem subjacente. Ao usar um conjunto de cinco funções como guia, podemos construir qualquer extensão possível, provando que o universo dos nearrings é mais organizado do que parece à primeira vista. É um pouco como perceber que cada sabor de sorvete que você pode imaginar é apenas uma combinação específica de alguns ingredientes básicos, misturados de uma maneira muito específica. O artigo nos dá a tigela de mistura e a receita.

Resumo Técnico: Uma Teoria de Extensão e Somas Semidiretas para Nearrings

Enunciado do Problema
O artigo aborda a necessidade de uma teoria de extensão unificada e natural para nearrings, análoga à teoria de extensão de Schreier para grupos e à teoria de extensão de Everett para anéis. Embora existam na literatura construções específicas, como o produto semidireto de nearrings definido por Bellas para produtos de coroa (wreath products), estas são frequentemente ad-hoc ou carecem de um arcabouço teórico geral. O autor busca estabelecer uma teoria geral que caracterize todas as extensões de um nearring $A$ por um nearring $B$ e identifique a soma semidireta como um caso específico e natural dentro desta teoria mais ampla.

Metodologia
O artigo procede em duas etapas primárias para construir e classificar extensões de nearrings:

Construção da E-soma ( $A \boxtimes B$ ):
O autor define uma nova estrutura, a "E-soma", sobre o produto cartesiano $A \times B$ $A \times B$ . Esta construção baseia-se em um quintupla de funções $E(\psi, [-,-], \alpha, \beta, \langle-,-\rangle)$ $E (ψ, [-, -], α, β, ⟨ -, - ⟩)$ :
- $\psi: B \to \text{Aut}(A, +)$
- $[-,-]: B^2 \to A$ (sistema de fator aditivo)
- $\alpha: B \to \text{Map}(A^2, A)$
- $\beta: B^2 \to \text{Map}(A)$
- $\langle-,-\rangle: B^2 \to A$ (sistema de fator multiplicativo)

As operações em $A \boxtimes B$ são definidas como:
* Adição: $(a_1, b_1) + (a_2, b_2) = (a_1 + \psi_{b_1}(a_2) + [b_1, b_2], b_1 + b_2)$
* Multiplicação: $(a_1, b_1)(a_2, b_2) = (\alpha_{b_2}(a_1, a_2) + \beta_{b_1, b_2}(a_2) + \langle b_1, b_2 \rangle, b_1 b_2)$

O artigo deriva condições necessárias e suficientes (rotuladas como G1, G2, A1, A2, D1, D2) que estas funções devem satisfazer para que $A \boxtimes B$ forme um nearring válido. Estas condições são derivadas ao impor os axiomas de grupo na estrutura aditiva e os axiomas de nearring (associatividade e distributividade à direita) na estrutura multiplicativa.

Classificação de Extensões:
O artigo demonstra que qualquer extensão $N$ de $A$ por $B$ (onde $A$ é um ideal de $N$ e $N/A \cong B$ ) é equivalente a uma E-soma. Utilizando uma função de escolha $\sigma: B \to N$ (uma seção do homomorfismo de projeção), o autor constrói uma bijeção entre $N$ e $A \times B$ . Esta bijeção induz as funções específicas $\psi, [-,-], \alpha, \beta, \langle-,-\rangle$ sobre o conjunto produto, provando que toda extensão é estruturalmente isomórfica a uma E-soma que satisfaz as condições derivadas.

Principais Contribuições e Resultados

Teoria de Extensão Geral: O artigo fornece uma caracterização completa das extensões de nearrings. O Teorema 2.3 estabelece que $A \boxtimes B$ é um nearring se, e somente se, as funções associadas satisfizerem as seis condições algébicas específicas (G1, G2, A1, A2, D1, D2). O Teorema 2.4 confirma que toda extensão de $A$ por $B$ é equivalente a tal E-soma.
Definição de Soma Semidireta: O artigo propõe uma definição "mais natural" da soma semidireta de dois nearrings. Ela é definida como o caso especial da E-soma onde os sistemas de fator $[-,-]$ $[-, -]$ e $\langle-,-\rangle$ $⟨ -, - ⟩$ são identicamente zero.
- Neste caso, as condições simplificam-se: $\psi$ torna-se um homomorfismo de grupo de $(B, +)$ para $\text{Aut}(A, +)$ , e as demais condições (A1, A2, D1, D2) governam a interação entre a multiplicação em $B$ e a estrutura de $A$ .
- O artigo estabelece a conexão entre somas semidiretas e epimorfismos partidos (retrações), mostrando que um nearring $N$ é uma soma semidireta de $A$ e $B$ se, e somente se, existe um epimorfismo partido $f: N \to B$ com núcleo $A$ .
Unificação de Construções Existentes: O artigo demonstra que várias construções existentes na teoria de nearrings são instâncias específicas deste arcabouço de soma semidireta:
- Produto Semidireto de Bellas: A construção $A \times_\gamma B$ usada para produtos de coroa é mostrada como uma soma semidireta sob condições específicas (especificamente quando $\gamma_0(a_1)a_2 = a_1a_2$ ).
- Produtos de Coroa (Wreath Products): O produto de coroa de nearrings é identificado como uma construção específica de soma semidireta apenas quando a condição $\gamma_0(f_1)f_2 = f_1f_2$ é satisfeita; em geral, o produto de coroa padrão não é uma soma semidireta.
- Extensão de Dorroh: O artigo mostra que a extensão de Dorroh (a extensão unitária canônica de um anel) é um caso específico de uma soma semidireta envolvendo os inteiros $\mathbb{Z}$ .
- Construções da Teoria de Radicais: Diversas construções da teoria de radicais de nearrings (envolvendo nearrings com multiplicação zero ou constante) são apresentadas como exemplos de somas semidiretas.

Significância
O artigo afirma sua significância ao fornecer um arcabouço teórico abrangente que generaliza e unifica construções díspares na teoria de nearrings. Ao definir a soma semidireta como um caso especial de uma teoria de extensão geral, o autor oferece uma maneira sistemática de analisar e construir nearrings. O trabalho esclarece a relação entre epimorfismos partidos e somas semidiretas na categoria de nearrings e fornece uma base algébrica rigorosa para as existentes construções de nearrings "feitas sob medida" encontradas na literatura, como as de Bellas, Betsch e outros. A teoria serve como um análogo de nearring para as bem estabelecidas teorias de Schreier e Everett para grupos e anéis, respectivamente.

Mais como este