Introdução à

Álgebra
1. Apresentação 4
Introdução 5
1.Introdução à Álgebra 7
1.1.Expressões Algébricas 8
1.2.Equações 9
1.3.Funções 9
1.4.Da álgebra Clássica à Álgebra Abstrata 10

2. Estruturas Algébricas 12
2.1Grupos 13
2.1.1.Grupos Zn 14
2.1.2.Subgrupos e Monoides 15
2.1.3.Subgrupos Gerados por um Subconjunto de um
Grupo 16
2.1.4.Semigrupos Cancelativos e Não-Cancelativos 16
2.2.Homomorfismo de Grupos e Aplicações 17
2.3.Grupos de Permutação 20
2.3.1.Permutações 22
2.4.Grupos Solúveis 23

3. Referências Bibliográficas 25

02
03
INTRODUÇÃO À ÁLGEBRA
1. Apresentação
P rezado aluno,
Durante essa disciplina uma
introdução ao estudo de álgebra no
ensino acadêmico.
Essencialmente, relembrando
alguns conceitos, à Álgebra é um
campo da Matemática que dá ori-
gem a aritmética. Isso constitui que
as definições e as operações que de-
rivaram da aritmética (subtração,
adição, multiplicação, divisão entre
outros.) terão sua eficácia verifica-
dos, assim terá a sua comprovação
1 Retirado em brasilescola.com.br
Fonte: brasilescola.com.br1
para todos que os números que per-
tence a certos conjuntos numéricos.
Desse modo, a operação “adi-
ção”, via de fato, realmente funciona
para todos os números concerne ao
conjunto dos números naturais? Ou
há determinado número natural
grande demais, adjunto ao infinito,
que se suporta de maneira desseme-
lhante dos demais ao ser adicio-
nado? A resposta para essa dúvida é
oferecida pela álgebra: Fundamen-
talmente, é considerado como con-
4
INTRODUÇÃO À ÁLGEBRA
junto dos números naturais e a ope-
ração somatória; a seguir, é eviden-
ciado que a operação soma trabalha
para qualquer seja o número natu-
ral.
A aprendizagem da linguagem
algébrica habitua ser bem complexa
e traumática para os educandos das
séries iniciais do ensino fundamen-
tal II, habituados, até o momento,
exclusivamente com a aritmética.
Esta ocasião primitiva de contato
com a álgebra é uma protrusão com
a matemática "sólida" da aritmética,
para uma abertura da matemática
"abstrata" da álgebra. Os educandos
diversas vezes também não estão
aparelhados para essa nova locução
e, os professores, por outro lado, não
leva isso em consideração no mo-
mento delicado da transição e da
maturação que entender a álgebra.
Dessa forma, as linguagens de
matemática, assim como a algébrica,
em especial, proporcionada aos alu-
nos por vezes de modo descontextu-
alizado, o que os deixam, cheios de
enigmas a serem compreendidos,
portanto necessitam de sentido, e os
educandos se melindram nessa su-
perficial falta de significado.
Tendo alguma dúvida, não
deixe de encaminhar as suas per-
guntas ao setor pedagógico por meio
do protocolo ou atendimento aos
alunos. Bons estudos!
Introdução
Álgebra é uma área da mate-
mática que estuda a utilização for-
mal de equações, operações, polinó-
mios juntamente com as estruturas
algébricas. Assim, álgebra é um dos
basilares campos da matemática
pura, ao lado com a geometria, topo-
logia, análise, além da Teoria dos
números. A palavra álgebra, de fato,
compreende um espectro de díspa-
res campos da matemática, sendo
cada um possui as suas especificida-
des. Na álgebra estudam-se diversos
campos.
A álgebra elementar, que repe-
tidamente está presente do currículo
no ensino médio, adentra a aprecia-
ção de variável representativa de nú-
meros. Expressões empregando es-
tas variáveis manipuláveis utili-
zando as regras de operação aplica-
tivas em números, como a adição.
Essas definições podem ser
empregadas na Resolução de equa-
ções, por exemplo. Assim, a adição e
a multiplicação podem ser estendi-
das e as seus significados exatos
transportam a estruturas tais como
os grupos que veremos em detalhes
de início, anéis e corpos, assuntos de
estudos no campo da matemática ti-
tulada álgebra abstrata.
[...] O vocábulo "álgebra" e “al-
gebrista” são derivado do termo
5
INTRODUÇÃO À ÁLGEBRA
al-jabr, que na língua árabe sig-
nifica “arte de reunir ossos que-
brados” ou "cirurgião-bar-
beiro", aquele que faz "reunião"
ou "conexão". Quatro séculos
depois (século XII), Robert de
Chester traduziu a frase para o
latim, como "Liber Algebrae et
almucabala".[...]
A vocábulo "álgebra" no sentido
de conexão, foi usado matema-
ticamente, entre os anos 813 e
833, em um tratado escrito pelo
matemático persa Alcuarismi,
intitulado "Livro da Restaura-
ção e do Balanceamento" (ou
em árabe "Al-jabr w’al muqaba-
lah")[3][2][4] Com o objetivo
de ensinar soluções para os pro-
blemas matemáticos cotidianos
da época de forma didática. [...]
(BEATEN, 2005).
As ascendências da álgebra se
deparam na antiga Babilônia, no
qual os matemáticos criaram um sis-
tema aritmético adiantado, cujo pu-
deram realizar cálculos algébricos.
Com base nesse sistema possibilitou
a aplicação fórmulas e calcular reso-
luções para enigmas em um deter-
minado problema que, atualmente,
constituiriam solucionados como
equações quadráticas, lineares, in-
determinadas.
Do mesmo modo, a maioria
dos matemáticos egípcios da anti-
guidade em sua maioria os matemá-
ticos indianos, gregos e chineses no
primeiro milênio a.C. geralmente
solucionavam estas equações por
procedimentos geométricos, como
apresentado no Papiro Rhind, Sulba
Sutras, Itens de Euclides e Os Nove
Capítulos da Arte Matemática. Os
desenhos geométricos dos gregos,
firmado nos Elementos, ofereceram
a encosto para a criação de fórmulas,
indo lá ao longe da solução de pro-
blemas privadas para sistemas gené-
ricos para explicitar e resolver equa-
ções.
[...] Na data de 1140, Robert de
Chester traduziu o título árabe
para o latim, como Liber Alge-
brae et almucabala. No século
XVI, é encontrado em inglês
como Algiebar and Almachabel,
e em várias outras formas, mas
foi finalmente encurtado para
Álgebra. As palavras significam
"restauração e oposição". No
Kholâsat Al-Hisâb ("Essência
da Aritmética"), Behâ Eddin
(cerca de 1600 d.C.) escreve: "o
membro que é afetado por um
sinal de menos será aumentado
e o mesmo adicionado ao outro
membro, isto sendo álgebra; os
termos homogêneos e iguais se-
rão então cancelados, isto
sendo al-muqâbala". Os mou-
ros levaram a palavra al-jabr
para a Espanha, um algebrista
sendo um restaurador ou al-
guém que conserta ossos que-
brados. Por isso, Miguel de Cer-
vantes em Dom Quixote (II,
cap. 15) é feita menção a "um al-
gebrista que atendeu ao infeliz
Sansão". Em certo tempo não
era raro ver sobre a entrada de
uma barbearia as palavras "Al-
gebrista y Sangrador" (SOUZA
& FERREIRA, 2012). [...]
Assim, a palavra álgebra no in-
glês foi escrita em The Pathwaie to
Knowledge, por Roberte Record em
6
INTRODUÇÃO À ÁLGEBRA
meados de 1551: "também a regra da
falsa posição, que traz exemplos não
somente comuns, mas alguns perti-
nentes à regra da Álgebra".
[...] "Álgebras" (no plural) apa-
rece em 1849 no Trigonometry
and Double Algebra ("Trigono-
metria e Dupla Álgebra") de Au-
gustus de Morgan: É mais im-
portante que o estudante tenha
em mente que, com uma exce-
ção, nenhuma palavra ou sinal
de aritmética ou álgebra tem
um átomo de significado ao
longo deste capítulo, cujo ob-
jeto são os símbolos, e suas leis
de combinação, dando uma ál-
gebra simbólica (página 92) a
qual pode daqui em diante se
tornar a gramática de cem álge-
bras significativas e distintas.
(BOYER, 2019). [...]
Desse modo, de acordo com
Boyer (2019) o termo "uma álgebra"
ainda é descoberta em 1849 no Tri-
gonometry and Double Algebra o
quer dizer "Trigonometria e Dupla
Álgebra" de Augustus de Morgan:
[...] A linguagem ordinária tem
métodos de assinalamento ins-
tantâneo de significado a ter-
mos contraditórios: e assim ela
tem analogias mais fortes com
uma álgebra (se houvesse uma
tal coisa) na qual estão pré-or-
ganizadas regras para explicar
novos símbolos contraditórios à
medida que surgem, do que em
uma [álgebra] na qual uma
única instância deles demanda
uma imediata revisão de todo o
dicionário. (BOYER, 2019). [...]
Ainda Boyer (2019) consente
que assim, começou a ser empre-
gada na Europa para assinalar os
sistemas de equações contendo um
ou mais enigmas a partir do século
XI. O termo algébrico empregado
atualmente normalmente por nós
iniciou com François Viète e foi de-
notada no modo atual por René Des-
cartes. Antes disso, os métodos para
encontrar as raízes de equações dos
babilônios, hindus, grego junta-
mente com os árabes, mesmo dos al-
gebristas italianos do século XV
constituíam formulados com pala-
vras e em algumas ocasiões até com
versos na Índia por exemplo.
Viète tomou vogais para simu-
lar as variáveis e incógnitas, e conso-
antes para simular as constantes.
Hoje em dia, constantes são simula-
das pelas primeiras letras do alfa-
beto e variáveis pelas finais (sobre-
tudo, mas não tão-somente, x)
1. Introdução à Álgebra
De acordo com Silva (2020) na
aplicação de álgebra, letras são em-
pregadas para representar números.
Essas letras com tanta frequência
podem simular números desconhe-
cidos como um número qualquer
concernente a um conjunto numé-
rico. Assim, se o a é um numeral par,
então, A pode ser 2, 4, 6, 8, 10,..
7
INTRODUÇÃO À ÁLGEBRA
Desse modo, a é algum número con-
cernente ao conjunto dos números
pares e permanece manifesto a espé-
cie de número que x é: um múltiplo
de 2.
Ainda Silva (2020) fala que
compreendendo que qualquer nú-
mero qualquer concerne a um con-
junto que pode ser simulado por
uma letra, avalie os números a, b e c
como participantes ao conjunto dos
números reais, além das operações
adição e multiplicação concebidas
por “+” e “*”, concomitantemente.
Sendo assim, as seguintes caracte-
rísticas são válidas para a, b e c. Note
que de acordo com Silva (2020):
1. Associatividade
(a + b) + c = a + (b + c)
(a.b)·c = x·(b.c)
2. Comutatividade
a+b=b+a
a.b = b.a
3. Presença de elemento neutro
(0 para a adição e 1 para a multipli-
cação)
a+0=a
a.1 = a
4. Presença de elemento adverso
(ou simétrico).
a + (– a) = 1
5. Distributividade (ainda co-
nhecida como a propriedade distri-
butiva (multiplicação sobre a adi-
ção)
a·(b + c) = a.b + a.c
Desse modo, veja que essas
cinco propriedades são apropriadas
para todos os numerais reais a, b e c,
visto que essas letras foram utiliza-
das para simular algum número
real. Elas ainda são adequadas para
as operações adição e multiplicação
conforme Silva (2020).
1.1. Expressões Algébricas
Silva (2020) cita que na Mate-
mática, expressão é a um conjunto
de operações matemáticas concreti-
zadas com determinados números.
Por exemplo: 2 + 8 = 10 que por sua
vez é uma expressão numérica.
Quando essa expressão trabalha
com números desconhecidos (enig-
mas), ela é denominada de expres-
são algébrica.
Uma expressão algébrica que
tem apenas um termo é denominada
de monômio. Alguma expressão al-
gébrica que constitua a partir do re-
sultado de soma ou subtração em
meio a dois monômios é denomi-
nada de polinômio. Expressões algé-
bricas, monômios e polinômios são
modelos de elementos concernentes
8
INTRODUÇÃO À ÁLGEBRA
à álgebra, porquanto são compostos
a partir de operações alcançadas
com números incógnitos. Lembre-se
de que um número incógnito pode
simular qualquer número perten-
cente a um conjunto numérico.
1.2. Equações
Equações são expressões algé-
bricas que têm uma igualdade.
Dessa maneira, equação é um con-
texto da Matemática que cataloga
números a enigmas por intercessão
de uma igualdade.
1.3. Funções
Função é uma regra que associa cada elemento de um conjunto a um
singular elemento de um conjunto secundário.
Essa norma é matematica-
mente constituída por uma expres-
são algébrica que tem uma igual-
dade, contudo que liga enigma a
enigma. Esta é basicamente a diver-
gência entre função e equação: a
equação associa uma incógnita a um
algarismo fixo; na função, o enigma
demonstra todo um conjunto numé-
rico. Por esse fato, em meio as fun-
ções, os enigmas são denominados
variáveis, visto que elas podem ad-
Assim de acordo com Silva
(2020) a apresentação do desconhe-
cido é o que qualifica a equação
como expressão algébrica. O compa-
recimento da igualdade consente
achar a solução de uma equação, ou
seja, o valor numérico da incógnita.
Exemplos
1. 4a + 8 = 0
2. 6a - 6 = 36
3. 4 . 11 + 20a - 4 = 0
mitir algum valor dentro do con-
junto que pertence conforme Silva
(2020).
Como envolve algoritmos al-
gébricos, função é ainda um conte-
údo que concerne à Álgebra, visto
que as letras simulam qualquer nú-
mero concernente a um conjunto de
números qualquer.
Exemplos de Silva (2020):
[...]
1. Considere a função y = x2,
em que x é qualquer número
real.
9
INTRODUÇÃO À ÁLGEBRA

Nessa função, a variável x pode Desse modo, determinado um

assumir qualquer valor dentro
conjunto, com qualquer tipo de ele-
do conjunto dos números reais.
Como a regra que liga os núme- mentos podendo ser números ou ex-
ros representados por x aos nú- pressões, é admissível deliberar uma
meros representados por y é
uma operação matemática bá-
operação “adição”, ou operação
sica, então, y também repre- “multiplicação” e constatar a vivên-
senta números reais. O único cia ou não das características dessas
detalhe a respeito disso é que y
não pode representar um nú-
operações, assim como a veracidade
mero real negativo nessa fun- de “equações”, “funções”, “polinô-
ção, uma vez que y é resultado mios” etc, conforme Milies (2004).
de uma potência de expoente 2,
que sempre terá resultado posi-
tivo.
2. Considere a função y = 2x,
em que x é um número natural.

Nessa função, a variável x pode

assumir qualquer valor dentro
do conjunto dos números natu-
rais. Esses números são os in-
teiros positivos, portanto, os
valores que y pode assumir são
os números naturais múltiplos
de 2. Dessa maneira, y é um re-
presentante do conjunto dos
números pares. [...]

1.4. Da álgebra Clássica à Ál-

gebra Abstrata

De acordo com Milies (2004)

por fim, os conceitos dispostos até o
momento compõem a álgebra clás-
sica. Essa parte da álgebra está mais
próxima aos conjuntos dos números
naturais, racionais, inteiros, irracio-
nais, reais e complexos e é ensinada
desde o ensino fundamental até ao
ensino superior. A outra parte da ál-
gebra, versada como abstrata, pes-
quisa essas mesmas estruturas, en-
tretanto para quaisquer conjuntos.

10
INTRODUÇÃO À ÁLGEBRA
2. Estruturas Algébricas
D e acordo com Galdino (2017)
em matemática, um grupo é
um conjunto de informações adjun-
tos a uma operação que ajusta dois
elementos para desenvolver um ter-
ceiro. Para se classificar como grupo
o conjunto e a operação carecem de
satisfazer determinadas condições
denominadas axiomas de grupo: As-
sociatividade, Elemento Inverso e
Elemento neutro. Embora estes se-
rem triviais em muitas estruturas
2 Retirado em exame.com
Fonte: exame.com2
matemáticas familiares “e.g”. Os nú-
meros inteiros providos da adição
desenvolvem um grupo.
A formulação dos axiomas é li-
vre da natureza real do grupo e sua
operação.
Isso admite lidar com entes de
origens matemáticas inteiramente
dessemelhantes de um jeito flexível,
contudo atendo os aspectos estrutu-
rais efetivos de muitos componentes
da álgebra abstrata e além.
12
INTRODUÇÃO À ÁLGEBRA
[...] A ubiquidade dos grupos
em inúmeras áreas - dentro e
fora da matemática - os tornam
um princípio organizador cen-
tral da matemática contempo-
rânea. Grupos compartilham
um parentesco fundamental
com a noção de simetria. Um
grupo de simetria guarda infor-
mações sobre as simetrias de
um objeto geométrico. Ele con-
siste do conjunto de transfor-
mações que preservam o objeto
inalterado e a operação de com-
binar duas dessas transforma-
ções aplicando-as uma após a
outra. Tais grupos de simetria,
particularmente os grupos de
Lie contínuos, têm um impor-
tante papel em muitas discipli-
nas. [...] (GALDINO, 2017).
Desse modo, grupos de matri-
zes, a título de exemplo, podem ser
empregados para entender leis físi-
cas basilares da relatividade especial
e acontecimentos em química mole-
cular.
[...] O conceito de grupo emer-
giu do estudo de equações de
polinômios com Évariste Galois
na década de 1830. Após contri-
buições vindas de outros ramos
da matemática, como teoria dos
números e geometria, a noção
de grupo foi generalizada e se
estabeleceu firmemente por
volta de 1870. A teoria dos gru-
pos moderna - uma área muito
ativa de pesquisa - estuda os
grupos em si mesmos. Para ex-
plorá-los, matemáticos formu-
laram várias noções para que-
brar grupos em partes menores
e mais compreensíveis, como
subgrupos, grupos quocientes e
grupos simples. Além das pro-
priedades abstratas, matemáti-
cos estudam as diferentes ma-
neiras em que um grupo pode
ser expresso concretamente (as
representações do grupo), tanto
de um ponto-de-vista teorético
quanto prático-computacional.
Em particular, uma teoria rica-
mente desenvolvida é a dos gru-
pos finitos, que culminou com a
monumental classificação dos
grupos simples finitos, comple-
tada em 1983. [...] (GALDINO,
2017).
Grupos jazem por trás de di-
versas estruturas algébricas, como
corpos e espaços vetoriais, e consiste
em um importante instrumento
para o estudo de simetrias. Por esse
motivo, a Teoria de Grupos é esti-
mada uma área imprescindível da
matemática moderna, e tem muitos
aproveitamentos em Física Matemá-
tica, assim como na física de partícu-
las.
2.1 Grupos
De acordo com Barata (2013)
na matemática é importante a noção
de grupo. Sendo que um grupo é um
conjunto não vazio G formado por
uma operação binária G× G → G,
significada por “.” e chamada pro-
duto, e de uma operação unitária G
→ G, isto é, bijetora. Chamada in-
versa, mostrada pelo expoente “−1”,
cujo as seguintes propriedades po-
dem ser satisfeitas.
13
INTRODUÇÃO À ÁLGEBRA
1. Associatividade:
Para todos x, y e z ∈ G vale (x . y) . z
= x . (y . z).
2. Elemento neutro:
Há um elemento único e ∈ G, cha-
mado de elemento neutro, tal que g .
e = e . g = g assim todo g ∈ G.
3. Inversa:
Para cada g ∈ G há um elemento
único h ∈ G tal que g . h = h . g = e.
Esse elemento é chamado de inversa
de g e significado por g −1 .
Observações elementares:
1. A singularidade do elemento
neutro é afiançada pela observação
que se existisse e’ tal que g . e ′ = e ′
g = g assim para g ∈ G teríamos e′ =
e′ . e = e.
2. Semelhantemente se estabe-
lece a singularidade da inversa, por-
quanto se g, h ∈ G são tais que h . g
= g . h = e, conteremos, empregando
a associatividade, g −1 = g −1 · e = g
−1 . (g . h) = (g −1 . g) . h = e . h = h.
3. assim, a função G ∋ g → g −1 ∈
G, que agrega cada elemento de G à
sua inversa, é um modelo de uma
função unitária.
4. Como e . e = e, adota que e −1
= e.
5. Para g ∈ G vale (g−1) −1 = g
porquanto, empregando a associati-
vidade, (g −1) −1 = (g −1) −1 . e = (g
−1) −1 . (g −1 . g) = ((g −1) −1 . g −1 .
g = e . g = g.
Desse modo, todo grupo é,
usualmente, um quase-grupo, em
um loop, sendo semigrupo e um mo-
noide, conforme Barata (2013).
Assim, o grupo G é falado ser
comutativo ou Abeliano se x . y = y .
x para todos x, y ∈ G. Essa termino-
logia se aplica ainda a semigrupos e
monoide. Exemplo:
Fonte: Barata (2012)
2.1.1. Grupos Zn
De acordo com Barata (2013) a
Divisão Euclidiana: Seja n ∈ N, está-
vel. Então, todo número inteiro z é
capaz de ser escrito de modo único
como z = qn + r, aonde q ∈ Z e r ∈ {0,
1, ... , n − 1}. Sendo o número r é cha-
mado de resto da operação divisão
de z por n e é ainda apontado por r =
z mod n. Têm expressões para a de-
terminação especifica de q e r, como
o Algoritmo de Euclides, contudo
14
INTRODUÇÃO À ÁLGEBRA
eles não nos pertencem aqui. Assim,
n ∈ N, certo. Analisa-se para cada k
∈ Z o conjunto Jk:= {kn, ... , kn + n −
1}. Então, esse conjunto é formado
por n elementos consecutivos, sendo
o menor min(Jk) = kn e o maior
max(Jk) = kn + n − 1. Então agora
cabe analisar que não tem nenhum
inteiro a contentando max(Jk) < a <
min(Jk+1)
Porquanto, fato contrário va-
leria (k + 1) n − 1 < a < (k + 1) n, o
que se torna improvável, porquanto
(k + 1) n − 1 e (k + 1) n são inteiros
contínuos. Igualmente, o menor ele-
mento de Jk+1 é o herdeiro do maior
elemento de Jk.
Ainda conforme Barata (2013)
esses casos insinuam que Jk e Jk+1
são conjuntos disjuntos, não exis-
tindo qualquer inteiro entre os dois.
Finalizamos simplesmente isso que
a união de todos os conjuntos Jk é o
conjunto Z, a união constituindo em
disjunta:
Fonte: Barata (2013)
Sendo assim, se z ∈ Z, conse-
guimos afiançar que há um único q
∈ Z tal que z ∈ Jq. Quer dizer que z =
qn + r, para determinado r ∈ {0, 1, ...
n − 1}. A unicidade de r é evidente.
2.1.2. Subgrupos e Monoides
De acordo com Barata (2013) a
definição de semigrupo pode ser
considerado um conjunto não vazio
“S” acrescido por uma operação bi-
nária S ×S → S significada por “.” e
alcunhada “produto” tal que a con-
sequente propriedade será satis-
feita.
Associatividade: Para todos x,
y e z ∈ S vale (x . y) . z = x . (y . z).
Já os Monóides seria um con-
junto não vazio M acrescido por uma
operação binária M×M → M signifi-
cada por “.” e alcunhada produto tal
que as consequentes propriedades
serão satisfeitas.
Associatividade: Para todos x,
y e z ∈ M vale (x . y) . z = x . (y . z).
Outro o Elemento neutro: Há
um (único!) item e ∈ M, alcunhado
elemento neutro, tal que g . e = e . g
= g assim para cada g ∈ M.
Nota: A singularidade do item
neutro é afiançada pela observação
que se existisse e′ ∈ M tal que g . e′ =
e′ . g = g assim para cada g ∈ M apre-
sentaríamos e′ = e′ . e = e.
Então note que se G é grupo
em analogia a uma operação “.” e no
qual elemento neutro constitua “e”.
Assim, um subconjunto H de G é ci-
tado que ser um subgrupo de G se
for ainda por si somente um grupo
em afinidade à mesma operação,
isto é, se:
15
INTRODUÇÃO À ÁLGEBRA
 e ∈ H,
 h1 . h2 ∈ H paca cada h1 ∈ H e
h2 ∈ H,
 h −1 ∈ H para cada h ∈ H.
Assim, pode se dizer que todo
grupo G consecutivamente possui
pelo abaixo de dois subgrupos: o
próprio G, juntamente o subgrupo
{e} desenvolvido somente pelo ele-
mento neutro de G. Esses dois sub-
grupos são conhecidos como sub-
grupos comuns de G.
É simples averiguar que ( Z, +)
e (Q, +) são subgrupos de (R, +).
Ainda é simples notar que SL(R, n),
o adjacente (conjunto) de todas as
matrizes reais n x n com decisivo
igual a 1, sendo um subgrupo de
GL(R, n). A mesma coisa para SL(C,
n) em semelhança a GL(C, n).
Um evento proeminente é ex-
presso na consequente proposição:
Fonte: Barata (2013)
2.1.3. Subgrupos Gerados por
um Subconjunto de um Grupo
Note que sendo G um grupo e
A um subconjunto não vazio de G re-
tratamos por [A] um subgrupo acen-
dido por A que, por significação,
vem a apresentar a interseção de to-
dos os subgrupos de G que possuem:
A: [A] :=∩ H∈A H, assim A é o
ajuntamento de todos subgrupos de
G que domina A. Esse ajuntamento
não vazio, porquanto o próprio
grupo G possui A. E permitido falar
que [A] é o “menor” subgrupo de G
que possui o conjunto A porquanto,
pelo sentido, algum outro subgrupo
de G que possua “A” conterá ainda
[A].
2.1.4. Semigrupos Cancelativos
e Não-Cancelativos
Ainda conforme Barata (2013)
um item de um semigrupo S é ex-
presso por ser cancelável à esquerda
se x . y = x . z valer para y, z ∈ S se e
exclusivamente se y = z. Do mesmo
modo, um item a de um semigrupo S
é expresso por ser cancelável à di-
reita se y . x = z . x valer para y, z ∈ S
se e exclusivamente se y = z.
Se todo item de um semigrupo
S constituir cancelável à esquerda (à
direita), porquanto S é expresso ser
um semigrupo cancelativo à es-
querda (à direita). Além de S for can-
celativo à esquerda jutamente à di-
reita, logo S expresso por ser um se-
migrupo cancelativo.
Note que Monóides cancelati-
vos (à direita juntamente à es-
querda) são acentuados analoga-
mente.
16
INTRODUÇÃO À ÁLGEBRA

Fonte: Galdino (2017)

Fonte: Barata (2013)
Ainda, temos o Semigrupo
Abeliano cancelativo que é isomorfo
a um semigrupo pertencente dentro
de um grupo, designadamente, de-
nominado grupo de Grothendieck
acompanhante a esse semigrupo
Abeliano.
2) Caso: Constitui-se G um
grupo.
a) Um aproveitamento φ: G → G
é um endomorfismo se, e exclusiva-
mente se, φ é um homomorfismo.
b) Um aproveitamento φ: G → G
é um automorfismo se, e exclusiva-
mente se, φ é um isomorfismo.

2.2. Homomorfismo de Gru-

pos e Aplicações

Caso: Constituam (G, ∗) e (H, ⊗)

grupos, de acordo com Galdino
Fonte: Galdino (2013)
(2017):
a) Uma aproveitamento f: G → H
Na continuação, excluiremos a
é um homomorfismo se, e exclusiva-
indicação da operação dos grupos.
mente se, ∀a, b ∈ G, f(a ∗ b) = f(a) ⊗
Entretanto, constituindo (G, ∗) e (H,
f(b).
⊗) grupos, e o aproveitamento f: G
b) Uma aproveitamento f : G → H
→ H, fica implícito assim como es-
é um isomorfismo se, e exclusiva-
crevemos f(ab) a operação justa-
mente se, f é um homomorfismo bi-
posta em meio a ab é a operação ∗ de
jetor. Nesse episódio, proferimos
G, comando da aproveitamento f. Do
que G e H consisti em grupos iso-
mesmo modo, que a operação justa-
morfos e significamos por G ∼= H.
posta em meio a f(a)f(b) é a operação
Veja os exemplos:
⊗ de H, contradomínio do aprovei-
tamento f.
De acordo com Galdino
(2017:17):
[...] Lema 3.5. Sejam G e H gru-
pos, e f : G → H um homomor-
fismo. Então:

17
INTRODUÇÃO À ÁLGEBRA
1. f(eG ) = eH onde eG ∈ G, eH
∈ H são os elementos neutros.
2. f(a −1 ) = f(a) −1 para todo a
∈ G.
3. f(a n ) = f(a) n para todo n ∈
Z.
Demonstração: Sejam eG e eH
os respectivos elementos neu-
tros de G e H. Se a ∈ G, n ∈ Z, e
f : G → H é um homomorfismo,
então:
1. f(eG ) = eH . De fato, f(eG ) =
f(eG eG ) = f(eG )f(eG ).
Logo, como f(eG ) ∈ H, pelo
Lema 1.7 vem que f(eG ) = eH .
2. f(a −1 ) = f(a) −1 . De fato,
f(a)f(a −1 ) = f(aa−1 ) = f(eG ) =
eH Consequentemente, pela
unicidade do elemento inverso
vem que f(a) −1 = f(a −1 ).
3. f(a n ) = f(a) n . De fato,
f(a n ) = f(aa ... a) = f(a)f(a) ...
f(a) = f(a) n . [...]
Comumente, os algebristas
não bancam qualquer diferenciação
em meio aos grupos isomorfos. Em
outros termos, não se atentam com
a natureza dos itens que endireitam
os grupos, entretanto somente com
a forma quão eles se operam. Dessa
maneira, como manifestação o lema
3.6. a seguir, não improvisamos ne-
nhuma diferenciação entre “um
grupo cíclico infinito e o grupo adi-
tivo dos inteiros,” a menos provavel-
mente da natureza de seus dados
dito assim por Galdino (2017:17).
Fonte: Galdino (2017:18)
Galdino (2017:37), ainda cita
que:
[...] Lema 3.7. Seja G um grupo
cíclico finito de ordem n. Então,
G Zn.
Demonstração: Sejam Zn = e G
um grupo cíclico
gerado por a, isto é,
G = {e, a, a2, ..., an−1}.
Considere a aplicação φ : Zn →
G dada por φ(m) = am. Afirma-
mos que φ assim definida é um
isomorfismo. De fato, a aplica-
ção φ é injetora, pois, φ(r) =
φ(s) ⇒ a r = a s ⇒ a r−s = e ⇒ n
| (r − s) ⇒ r ≡ s(mod n).
Donde concluímos que r = s.
Obviamente, φ é sobrejetora.
Resta então mostrar que φ é um
homomorfismo. Note que:
φ(r + s) = φ(r + s) = a r+s = a r
a s = φ(r)φ(s).
Portanto, φ é um isomorfismo
e, consequentemente, G =∼ Zn.
Note que para mostrar que dois
grupos G e H são isomorfos,
basta seguir os seguintes pas-
sos, não necessariamente na or-
dem:
18
INTRODUÇÃO À ÁLGEBRA

i) Defina uma aplicação f : G → e uma aplicação f : G → H, o

H. conjunto imagem de f, deno-
ii) Mostre que f é injetora. tado por Im(f), é dado por:
iii) Mostre que f é sobrejetora. Im(f) = {y ∈ H | y = f(x) para al-
iv) Mostre que f é um homo- gum x ∈ G}.
morfismo. [...] (GALDINO, Além disso, dado S ⊆ G, a ima-
2017:37-38). gem de S por f, denotada por
f(S), é: f(S) = {f(x) | x ∈ S}.
Desse modo, adotando as con- Também, sendo E ⊆ H, a ima-
gem inversa de E por f, deno-
venções dos algebristas, quando al- tada por f −1 (E), é o subcon-
mejamos despontar que dois grupos junto de G dado por:
não são isomorfos, um dos modos é f−1 (E) = {x ∈ G | f(x) ∈ E}. [...]
achar uma propriedade algébrica
Note também nas imagens
que seria conservada pela essência
abaixo:
de qualquer isomorfismo em meio
os dois grupos, contudo que é satis-
feita exclusivamente por um dos
grupos conexos.
A título de exemplo, se existe
um isomorfismo em meio os dois
grupos e um deles é abeliano, desse
modo, o outro tem por coação ser
ainda abeliano, como apresentado a
seguir, por Galdino (2017:38).

[...] Sejam G e H grupos, e f : G

→ H um isomorfismo. Se G é Fonte: Galdino (2017:38)
abeliano, então H é abeliano.
Demonstração: Se G é um
grupo abeliano, então para todo
a, b ∈ G temos ab = ba. Sendo
assim, f(ab) = f(ba) ⇒ f(a)f(b) =
f(b)f(a), ou seja, para todo a, b
∈ G vem que f(a)f(b) = f(b)f(a).
Como f é bijetora concluímos
que H é abeliano.
Em geral, um homomorfismo
de grupo f : G → H envia sub-
grupos de G em subgrupos de
H, como mostra o Lema 3.9 a
seguir. Mas antes relembremos
que dados dois conjuntos G e H, Fonte: Galdino (2017:39)

19
INTRODUÇÃO À ÁLGEBRA
Fonte: Galdino (2017:39)
Note também que a solução
mostrada a seguir é uma ferramenta
muito benéfica para provar quando
um homomorfismo é injetor ou não.
Fonte: Galdino (2013:40)
Uma das principais implica-
ções da Teoria de Grupos é, indiscu-
tivelmente, o Teorema de Cayley.
Este teorema assenta todos os gru-
pos em um mesmo plano, e expõe
que para estudar o Grupo das Per-
mutações, marcado na continuação,
é de indescritível relevância, por-
quanto ele manifesta que todo grupo
é isomorfo se torna um grupo de
permutações. Contrapondo de tal
modo a consequente pergunta: De
que verdadeiramente são desenvol-
vidos os grupos abstratos? Que vere-
mos a seguir.
2.3. Grupos de Permutação
De acordo com Ferreira; Ta-
marozzi; Modesto (2011: 41-44) per-
mutação são grupos em que todos os
grupos que possuem elementos n
distintos em que penetram os n itens
de uma vez, diferindo os grupos em
meio a si pela ordem de lugar dos
elementos. Então, será uma permu-
tação simples é análoga a um arranjo
simples onde n = p.
Nestas classes, o número Pn
de permutações dispares de n ele-
mentos é apresentado por Pn = n!
[...] A teoria de permutações
iniciou com o estudo de Cauchy
(1789-1857) publicado em 1815,
cuja motivação principal era a
de explorar as permutações de
raízes de equações algébricas.
Somente em 1844, Cauchy pu-
blicou um artigo principal que
determina a teoria de permuta-
ções como um assunto de sua
autoria. Ele introduz a notação
de potências positivas e negati-
vas para permutações (com a
permutação na potência 0
(zero) sendo a identidade), de-
fine ordem de uma permutação
20
INTRODUÇÃO À ÁLGEBRA
e introduz a notação de ciclo,
amplamente empregada nas re-
ferências [...] (DEAN), (GAR-
CIA; LEAQUIN, 1989; GON-
ÇALVES, 1980).
A Teoria de Galois mostra a
precisão da existência de subgrupos
normais para um grupo especifico.
Desse modo, os grupos simples são
na verdade grupos não abelianos
que não aceitam subgrupos normais
não corriqueiros. Galois constituiu a
não solução de equações algébricas
de quinto grau, devido justamente a
incomplexidade dos grupos de per-
mutações de cinco elementos con-
forme diz Ferreira; Tamarozzi; Mo-
desto (2011: 41-44).
Assim, um grupo G, não essen-
cialmente finito, adentraremos a se-
guir algumas camadas de subgrupos
de G.
[...] Consideremos o conjunto
Z(G) {aG / ax xa, x G} a G ax
xa x G , dos elementos de G que
comutam com todos os elemen-
tos de G. É fácil constatar que
Z(G) é um subgrupo, chamado
centro do grupo G, para o qual
temos: G é abeliano, se, e so-
mente se, Z(G) = G.
Considerando qualquer ele-
mento x G , podemos conside-
rar o subconjunto CG (x) + {g G
/ xg + gx} de G. Esse conjunto é
um subgrupo de G, chamado
centralizador de x em G. E
ainda, CG (x) + G, se, e somente
se x Z (G). Dado a um elemento
qualquer de G, o subgrupo ge-
rado por a é o seguinte conjunto
elemento de [a] é chamando de
ordem de a[...] (FERREIRA;
TAMAROZZI; MODESTO,
2011: 41-44)
Então, se G = (a), falamos que
G é um grupo cíclico, no momento
em que a é denominado causador do
grupo. Este subgrupo adapta a ave-
riguação de resultados intensos na
Teoria dos Grupos, como a conse-
quente aproveitamento do Teorema
de Lagrange: “Todo grupo de ordem
prima é cíclico”, conforme Ferreira;
Tamarozzi; Modesto (2011: 41-44).
[...] Dado um grupo finito G,
uma das principais relações en-
tre Z(G) e CG(x) é dada pela se-
guinte igualdade
conhecida como a equação das
classes. Seja S um subconjunto
não vazio de G, então podemos
a2…,
gerado por S, que generaliza o
subgrupo interessante que se
pode observar a partir de G é o
subgrupo gerado pelo conjunto
S = {xyx -1 y -
Trata-se do subgrupo dos co-
mutadores de G, que denota-
G. Avaliando o tamanho de G’,
podemos ter uma ideia do
quanto G é abeliano. [...] (FER-
REIRA; TAMAROZZI; MO-
DESTO, 2011: 41-44).
21
INTRODUÇÃO À ÁLGEBRA
2.3.1. Permutações
Ainda com concerto com Fer-
reira; Tamarozzi; Modesto (2011:
41-44) sendo X um conjunto. Logo o
conjunto S(x) = {δ: X →X / δ é bije-
tora}, provido da operação de for-
mação de funções, é um grupo deno-
minado de grupo das permutações
sobre X. Sendo X={1, 2, ..., n}, logo
S(X) é denominado Sn , e uma per-
mutação  de Sn é denotada por δ=
Fonte: (FERREIRA; TAMAROZZI;
MODESTO, 2011: 41-44)
Para definir então  uma per
mutação de Sn. Denotamos  de r-
ciclo se houver itens:
Fonte: (FERREIRA; TAMAROZZI; MO-
DESTO, 2011: 41-44)
De acordo com Ferreira; Ta-
marozzi; Modesto (2011: 41-44) en-
tão, no r-ciclo, o número r é denomi-
nado dimensão do ciclo onde {a1, a2,
..., ar} é o conjunto apoio de ,, e os
2-ciclos serão denominado transpo-
sições.
Desse modo, seja ,Sn uma
permutação, logo ,poderá ser colo-
cada como um produto de ciclos
avulsos. Sendo essa fatoração a
única, e não ser por ordem dos ci-
clos.
Ferreira; Tamarozzi; Modesto
(2011: 41-44) afirmam que sendo
,um r-ciclo algum, logo , = (a1, a2,
..., ar), podemos averiguar simples-
mente que, “(a1, a2) ○ (a1, a3) ○...○
(a1, ar-1) ○ (a1, ar)  ou sendo  pode
ser fatorada como um produto de
transposições. Se  pode ser fato-
rada com um número par de trans-
posições, então dizemos que  é uma
permutação par.”
Caso contrário,  será denomi-
nada uma permutação ímpar. E a fa-
toração de uma permutação em
transposições não pode ser a única,
todavia permanece-se a paridade, o
que possibilita deliberarmos o sub-
conjunto de Sn a seguir.
Então, logo “An o conjunto de
todas as permutações pares em Sn .
O fechamento da composição para
permutações pares e a propriedade
(ab)-1 = b-1 a-1, válida em qualquer
22
INTRODUÇÃO À ÁLGEBRA

grupo, asseguram que An é um sub- Quanto menor é, será próximo de G

grupo de Sn. Este é o grupo alter- e será de ser um grupo comutativo.
nado de grau n. Pode-se mostrar que Assim, por fim, podemos dizer que
𝑛! “um grupo é solúvel quando seus fa-
|An| . Como |Sn|  n!, vemos
2
tores de composição são abelianos”,
que An é um subgrupo de Sn de ín-
conforme UFRJ (2013: 9-11)
dice 2, de onde segue que As ◄ Sn
nas palavras de Ferreira; Tamarozzi;
Modesto (2011: 41-44).
Resumindo:

2.4. Grupos Solúveis

De acordo com UFRJ (2013: 9-

11) têm diversos modos de medir a
não-comutatividade de um grupo G.
Como já demonstrado anterior-
mente, podemos empregar “o centro
de G, conjunto dos elementos de G
que comutam com todos demais:
Z(G) = {z ∈ G : ∀x ∈ G, xz = zx} (1)”
Sendo o maior é o mais pró-
ximo é G de se tornar um grupo co-
mutativo. É ainda admissível intro-
duzir o denominado grupo derivado
do mesmo modo sendo definido, as-
sim: “denotamos [x, y] = xyx−1y −1,
o comutador de x e y. O grupo deri-
vado de G é o grupo gerado pelos co-
mutadores denotado G’ ou D(G)”.

23
24
INTRODUÇÃO À ÁLGEBRA
3. Referências Bibliográficas
ATIYAH, M. F., MACDONALD, I. G., In-
troduction to Commutative Algebra Addi-
son-Wesley, 1969.
BAETEN, Jos CM. A brief history of pro-
cess algebra. Theoretical Computer Sci-
ence, v. 335, n. 2-3, p. 131-146, 2005.
BARATA, J. C. A. Curso de Física-Mate-
mática, available on http://denebola. if.
usp. br/∼ jbarata. Notas de aula/capitulos.
html, 2013.
BAUMSLAG, B.; CHANDLER, B. Theory
and problems of Group Theory. New York:
McGrawhill, 1968.
DEAN, R. Elementos de Álgebra Abstrata.
Rio de Janeiro: LTC, 1978.
FERREIRA¹, Lauro Maycon Fernandes;
TAMAROZZI, Antonio Carlos; MO-
DESTO, Sônia Angelina Garcia. GRUPOS
DE PERMUTAÇÕES E GRUPOS FINITOS
SIMPLES. Colloquium Exactarum, Presi-
dente Prudente, v. 3, n. 1, p. 40-45, jan/jun
2011. DOI: 10.5747/ce.2011.v03.n1.e027.
GALDINO, André Luiz. Grupos, Subgru-
pos e Homomorfismos de Grupos, Álgebra
I, 2017.
GARCIA, A.; LEAQUIM, I. Álgebra, um
Curso de Introdução. Rio de Janeiro:
Impa, 1989
GARCIA, Arnaldo; LEQUAIN, Yves. Ele-
mentos de algebra. 3. ed. Rio de Janeiro:
IMPA, 2005. 326 p. (Série: Projeto Eucli-
des).
HERSTEIN, I.N, Tópicos de Álgebra, Tra-
dução de Adalberto P. Bergamasco, L. H.
Jacy Monteiro. São Paulo: USP, 1970.
HUNGERFORD, Thomas W. Abstract al-
gebra: an introduction. 2nd. ed. Australia:
Thomson Learning, ©1997.
HUNGERFORD, W., Algebra, Springer-
Verlag, 1974
J. Delcourt. Théorie des groupes. Dunod,
2007.
LANG, S., Algebra, Addison-Wesley, 1984.
LEQUAIN, Y. A., GARCIA, A., Elementos
de Álgebra. Rio de Janeiro: Instituto de
Matematica Pura e Aplicada, 2005.
MILIES, César Polcino. Breve história da
álgebra abstrata. II Bienal da Sociedade
Brasileira de Matemática (www. bie-
nasbm. ufba. br/M18. pdf), 2004.
P. Alu . Algebra: Chapter 0. AMS Graduate
Studies in Mathematics (Vol. 104), 2009.
SILVA, Luiz Paulo Moreira. "O que é álge-
bra?"; Brasil Escola. Disponível em:
https://brasilescola.uol.com.br/o-que-
e/matematica/o-que-e-algebra.htm.
Acesso em 03 de fevereiro de 2020.
SOUZA, Keila Barreto & FERREIRA, Fabi-
anne. Da Conquista–Bahia, Vitória. Es-
tudo Básico de Polinômios na Educação de
Cegos. 2007.
UFRJ. Estruturas Algébricas. Mestrado
Matemática, Parte I – Grupos, 2013. Reti-
rado em: http://im.ufrj.br/~puig-
nau/EA_2013/EA_grupos.pdf. Acessado
em: 3 de fev de 2020.
25
02
6